# Uniform space

In the mathematical field of topology, a **uniform space** is a set with a **uniform structure**.^{[clarification needed]} Uniform spaces are topological spaces with additional structure that is used to define uniform properties such as completeness, uniform continuity and uniform convergence. Uniform spaces generalize metric spaces and topological groups, but the concept is designed to formulate the weakest axioms needed for most proofs in analysis.

In addition to the usual properties of a topological structure, in a uniform space one formalizes the notions of relative closeness and closeness of points. In other words, ideas like "*x* is closer to *a* than *y* is to *b*" make sense in uniform spaces. By comparison, in a general topological space, given sets *A,B* it is meaningful to say that a point *x* is *arbitrarily close* to *A* (i.e., in the closure of *A*), or perhaps that *A* is a *smaller neighborhood* of *x* than *B*, but notions of closeness of points and relative closeness are not described well by topological structure alone.

There are three equivalent definitions for a uniform space. They all consist of a space equipped with a uniform structure.

The non-emptiness of Φ taken together with (2) and (3) states that Φ is a filter on *X* × *X*. If the last property is omitted we call the space **quasiuniform**. The elements U of Φ are called **vicinities** or **entourages** from the French word for *surroundings*.

A **base** or **fundamental system of entourages** (or **vicinities**) of a uniformity Φ is any set **B** of entourages of Φ such that every entourage of Ф contains a set belonging to **B**. Thus, by property 2 above, a fundamental systems of entourages **B** is enough to specify the uniformity Φ unambiguously: Φ is the set of subsets of *X* × *X* that contain a set of **B**. Every uniform space has a fundamental system of entourages consisting of symmetric entourages.

Intuition about uniformities is provided by the example of metric spaces: if (*X*, *d*) is a metric space, the sets

form a fundamental system of entourages for the standard uniform structure of *X*. Then *x* and *y* are *U*_{a}-close precisely when the distance between *x* and *y* is at most *a*.

A uniformity Φ is *finer* than another uniformity Ψ on the same set if Φ ⊇ Ψ; in that case Ψ is said to be *coarser* than Φ.

Uniform spaces may be defined alternatively and equivalently using systems of pseudometrics, an approach that is particularly useful in functional analysis (with pseudometrics provided by seminorms). More precisely, let *f*: *X* × *X* → **R** be a pseudometric on a set *X*. The inverse images *U*_{a} = *f*^{−1}([0,*a*]) for *a* > 0 can be shown to form a fundamental system of entourages of a uniformity. The uniformity generated by the *U*_{a} is the uniformity defined by the single pseudometric *f*. Certain authors call spaces the topology of which is defined in terms of pseudometrics *gauge spaces*.

For a *family* (*f*_{i}) of pseudometrics on *X*, the uniform structure defined by the family is the *least upper bound* of the uniform structures defined by the individual pseudometrics *f*_{i}. A fundamental system of entourages of this uniformity is provided by the set of *finite* intersections of entourages of the uniformities defined by the individual pseudometrics *f*_{i}. If the family of pseudometrics is *finite*, it can be seen that the same uniform structure is defined by a *single* pseudometric, namely the upper envelope sup *f*_{i} of the family.

Less trivially, it can be shown that a uniform structure that admits a countable fundamental system of entourages (hence in particular a uniformity defined by a countable family of pseudometrics) can be defined by a single pseudometric. A consequence is that *any* uniform structure can be defined as above by a (possibly uncountable) family of pseudometrics (see Bourbaki: General Topology Chapter IX §1 no. 4).

A **uniform space** (*X*, **Θ**) is a set *X* equipped with a distinguished family of coverings **Θ**, called "uniform covers", drawn from the set of coverings of *X*, that form a filter when ordered by star refinement. One says that a cover **P** is a *star refinement* of cover **Q**, written **P** <* **Q**, if for every *A* ∈ **P**, there is a *U* ∈ **Q** such that if *A* ∩ *B* ≠ ø, *B* ∈ **P**, then *B* ⊆ *U*. Axiomatically, the condition of being a filter reduces to:

Given a point *x* and a uniform cover **P**, one can consider the union of the members of **P** that contain *x* as a typical neighbourhood of *x* of "size" **P**, and this intuitive measure applies uniformly over the space.

The topology defined by a uniform structure is said to be **induced by the uniformity**. A uniform structure on a topological space is *compatible* with the topology if the topology defined by the uniform structure coincides with the original topology. In general several different uniform structures can be compatible with a given topology on *X*.

A topological space is called **uniformizable** if there is a uniform structure compatible with the topology.

Every uniformizable space is a completely regular topological space. Moreover, for a uniformizable space *X* the following are equivalent:

Some authors (e.g. Engelking) add this last condition directly in the definition of a uniformizable space.

The topology of a uniformizable space is always a symmetric topology; that is, the space is an R_{0}-space.

Conversely, each completely regular space is uniformizable. A uniformity compatible with the topology of a completely regular space *X* can be defined as the coarsest uniformity that makes all continuous real-valued functions on *X* uniformly continuous. A fundamental system of entourages for this uniformity is provided by all finite intersections of sets (*f* × *f*)^{−1}(*V*),
where *f* is a continuous real-valued function on *X* and *V* is an entourage of the uniform space **R**. This uniformity defines a topology, which is clearly coarser than the original topology of *X*; that it is also finer than the original topology (hence coincides with it) is a simple consequence of complete regularity: for any *x* ∈ *X* and a neighbourhood *V* of *x*, there is a continuous real-valued function *f* with *f*(*x*)=0 and equal to 1 in the complement of *V*.

In particular, a compact Hausdorff space is uniformizable. In fact, for a compact Hausdorff space *X* the set of all neighbourhoods of the diagonal in *X* × *X* form the *unique* uniformity compatible with the topology.

A Hausdorff uniform space is metrizable if its uniformity can be defined by a *countable* family of pseudometrics. Indeed, as discussed above, such a uniformity can be defined by a *single* pseudometric, which is necessarily a metric if the space is Hausdorff. In particular, if the topology of a vector space is Hausdorff and definable by a countable family of seminorms, it is metrizable.

Similar to continuous functions between topological spaces, which preserve topological properties, are the uniformly continuous functions between uniform spaces, which preserve uniform properties. Uniform spaces with uniform maps form a category. An isomorphism between uniform spaces is called a uniform isomorphism.

A uniformly continuous function is defined as one where inverse images of entourages are again entourages, or equivalently, one where the inverse images of uniform covers are again uniform covers.

All uniformly continuous functions are continuous with respect to the induced topologies.

Generalizing the notion of complete metric space, one can also define completeness for uniform spaces. Instead of working with Cauchy sequences, one works with Cauchy filters (or Cauchy nets).

Conversely, a uniform space is called **
complete** if every Cauchy filter converges. Any compact Hausdorff space is a complete uniform space with respect to the unique uniformity compatible with the topology.

A topological space that can be made into a complete uniform space, whose uniformity induces the original topology, is called a completely uniformizable space.

Before André Weil gave the first explicit definition of a uniform structure in 1937, uniform concepts, like completeness, were discussed using metric spaces. Nicolas Bourbaki provided the definition of uniform structure in terms of entourages in the book *Topologie Générale* and John Tukey gave the uniform cover definition. Weil also characterized uniform spaces in terms of a family of pseudometrics.