Completely uniformizable space
In mathematics, a topological space is called completely uniformizable if there exists at least one complete uniformity that induces the topology T. Some authors additionally require X to be Hausdorff. Some authors have called these spaces topologically complete, although that term has also been used in other meanings like completely metrizable, which is a stronger property than completely uniformizable.
Properties
- Every completely uniformizable space is uniformizable and thus completely regular.
- A completely regular space X is completely uniformizable if and only if the fine uniformity on X is complete.
- Every regular paracompact space is completely uniformizable.
- A completely regular Hausdorff space is realcompact if and only if it is completely uniformizable and contains no closed discrete subspace of measurable cardinality.