Uniformizable space
In mathematics, a topological space X is uniformizable if there exists a uniform structure on X that induces the topology of X. Equivalently, X is uniformizable if and only if it is homeomorphic to a uniform space (equipped with the topology induced by the uniform structure).
Any (pseudo)metrizable space is uniformizable since the (pseudo)metric uniformity induces the (pseudo)metric topology. The converse fails: There are uniformizable spaces that are not (pseudo)metrizable. However, the topology of a uniformizable space can always be induced by a family of pseudometrics; indeed, this is because any uniformity on a set X can be defined by a family of pseudometrics.
Showing that a space is uniformizable is much simpler than showing it is metrizable. In fact, uniformizability is equivalent to a common separation axiom:
- A topological space is uniformizable if and only if it is completely regular.