X-Nico

unusual facts about metric spaces



Uniform space

Before André Weil gave the first explicit definition of a uniform structure in 1937, uniform concepts, like completeness, were discussed using metric spaces.


see also

Baire category theorem

Note that neither of these statements implies the other, since there are complete metric spaces which are not locally compact (the irrational numbers with the metric defined below; also, any Banach space of infinite dimension), and there are locally compact Hausdorff spaces which are not metrizable (for instance, any uncountable product of non-trivial compact Hausdorff spaces is such; also, several function spaces used in Functional Analysis; the uncountable Fort space).

Flat convergence

In 2001 the notion of an integral current was extended to arbitrary metric spaces by Ambrosio and Kirchheim.