En conséquence, il n'existe qu'un K-espace vectoriel normé de dimension n, à isomorphisme bi-uniformément continu près. On utilise pour cela que toute partie complète d'un espace séparé est fermée (ce ...