Uniformizable space

Uniformizable space

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).

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."

Induced uniformity

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 X imes 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.

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.

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" : CRegUni 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" &times; "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.

References

*cite book | last = Willard | first = Stephen | title = General Topology | publisher = Addison-Wesley | location = Reading, Massachusetts | year = 1970 | id = ISBN 0-486-43479-6 (Dover edition)


Wikimedia Foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

  • Completely uniformizable space — In mathematics, a topological space (X, T) is called completely uniformizable (or Dieudonné complete or topologically complete) if there exists at least one complete uniformity that induces the topology T. Some authors additionally require X to… …   Wikipedia

  • Uniform space — In the mathematical field of topology, a uniform space is a set with a uniform structure. Uniform spaces are topological spaces with additional structure which is used to define uniform properties such as completeness, uniform continuity and… …   Wikipedia

  • Completely metrizable space — In mathematics, a completely metrizable space (complete topological space or topologically complete space) is a topological space (X, T) for which there exists at least one metric d on X such that (X, d) is a complete metric space and d induces… …   Wikipedia

  • Tychonoff space — Separation Axioms in Topological Spaces Kolmogorov (T0) version T0 | T1 | T2 | T2½ | completely T2 T3 | T3½ | T4 | T5 | T6 In topology and related branches of mathematic …   Wikipedia

  • Finite topological space — In mathematics, a finite topological space is a topological space for which the underlying point set is finite. That is, it is a topological space for which there are only finitely many points.While topology is mostly interesting only for… …   Wikipedia

  • Gauge space — In topology and related areas of mathematics a gauge space is a topological space where the topology is defined by a family of pseudometrics.A space is uniformizable if and only if it is a gauge space. Examples * A metric space is trivially a… …   Wikipedia

  • List of mathematics articles (U) — NOTOC U U duality U quadratic distribution U statistic UCT Mathematics Competition Ugly duckling theorem Ulam numbers Ulam spiral Ultraconnected space Ultrafilter Ultrafinitism Ultrahyperbolic wave equation Ultralimit Ultrametric space… …   Wikipedia

  • Glossary of topology — This is a glossary of some terms used in the branch of mathematics known as topology. Although there is no absolute distinction between different areas of topology, the focus here is on general topology. The following definitions are also… …   Wikipedia

  • Convergence in measure — can refer to two distinct mathematical concepts which both generalize the concept of convergence in probability. Contents 1 Definitions 2 Properties 3 Counterexamples 4 Topology …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”