Uniformizable space

One way to construct a uniform structure on a topological space X is to take the initial uniformity on X induced by C(X), the family of real-valued continuous functions on X. This is the coarsest uniformity on X for which all such functions are uniformly continuous. A subbase for this uniformity is given by the set of all entourages

${\displaystyle D_{f,\varepsilon }=\{(x,y)\in X\times X:|f(x)-f(y)|<\varepsilon \}}$

where f ∈ C(X) and ε > 0.

The uniform topology generated by the above uniformity is the initial topology induced by the family C(X). In general, this topology will be coarser than the given topology on X. The two topologies will coincide if and only if X is completely regular.

Given a uniformizable space X there is a finest uniformity on X compatible with the topology of X called the fine uniformity or universal uniformity. A uniform space is said to be fine if it has the fine uniformity generated by its uniform topology.

The fine uniformity is characterized by the universal property: any continuous function f from a fine space X to a uniform space Y is uniformly continuous. This implies that the functor F : CReg → Uni that assigns to any completely regular space X the fine uniformity on X is left adjoint to the forgetful functor sending a uniform space to its underlying completely regular space.

Explicitly, the fine uniformity on a completely regular space X is generated by all open neighborhoods D of the diagonal in X × X (with the product topology) such that there exists a sequence D₁, D₂, … of open neighborhoods of the diagonal with D = D₁ and ${\displaystyle D_{n}\circ D_{n}\subseteq D_{n-1}}$.

The uniformity on a completely regular space X induced by C(X) (see the previous section) is not always the fine uniformity.

• Willard, Stephen (1970). General Topology. Reading, Massachusetts: Addison-Wesley. ISBN 0-486-43479-6.