Added to Favorites

Related Searches

Definitions

In mathematics, a topological space X is uniformizable if there exists a uniform structure on X which 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 unform structure).## Induced uniformity

## Fine uniformity

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. ## References

Any (pseudo)metrizable space is uniformizable since the (pseudo)metric uniformity induces the (pseudo)metric topology. The converse fails: There are uniformizable spaces which are not (pseudo)metrizable. However, it is true that 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.

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

- $D\_\{f,varepsilon\}\; =\; \{(x,y)in\; Xtimes\; X\; :\; |f(x)\; -\; f(y)|\; <\; varepsilon\}$

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.

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 which assigns to any completely regular space X the fine uniformity on X is left adjoint to the forgetful functor which sends 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 the exists a sequence D_{1}, D_{2}, …
of open neighborhoods of the diagonal with D = D_{1} and $D\_ncirc\; D\_nsubset\; 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 (Dover edition).

Wikipedia, the free encyclopedia © 2001-2006 Wikipedia contributors (Disclaimer)

This article is licensed under the GNU Free Documentation License.

Last updated on Wednesday July 09, 2008 at 22:22:06 PDT (GMT -0700)

View this article at Wikipedia.org - Edit this article at Wikipedia.org - Donate to the Wikimedia Foundation

This article is licensed under the GNU Free Documentation License.

Last updated on Wednesday July 09, 2008 at 22:22:06 PDT (GMT -0700)

View this article at Wikipedia.org - Edit this article at Wikipedia.org - Donate to the Wikimedia Foundation

Copyright © 2014 Dictionary.com, LLC. All rights reserved.