Return to Revisions

It is an old result of Victor Klee (answering a question of Banach) that a metrizable topological vector space (i.e., there is a translation invariant metric giving the topology) is a complete topological vector space (i.e., w.r.t. the uniformity induced by the $0$-neighborhoods) if there is some complete metric (not necessarily translation invariant) giving the same topology.