Uniform room
Uniform spaces are generalizations of metric spaces in the subarea of topology of mathematics . Any metric space can naturally be viewed as a uniform space, and any uniform space can naturally be viewed as a topological space .
A uniform space is an amount with a socalled uniform structure defining a topology on the amount, but in addition allows environments to compare at various points to each other and from the theory of metric spaces known terms such as completeness , uniform continuity and uniform convergence to generalize and abstract.
The concept of uniform space allows formalizing the idea that "a point equidistant from another point is how a third point to a fourth point ," while in topological spaces only statements of the form " is equally close in as at is" can be made. In contrast to metric rooms, this comparison is not conveyed by a distance measure, but by a direct relationship between the ambient filters of and .
In addition to metric spaces , topological groups also induce uniform structures on the underlying set.
A topological space whose topology has a uniform structure that induces it is called a space that can be made uniform . This term is equivalent to that of fully regular space .
history
Before André Weil gave the first explicit definition of a uniform structure in 1937 , uniform concepts were mainly discussed in connection with metric spaces . Nicolas Bourbaki presented a definition of a uniform structure based on neighborhoods in their book Topologie Générale , and John W. Tukey provided a definition based on uniform coverings. André Weil characterized uniform spaces with the help of a family of pseudometrics.
definition
Definition with neighborhoods
A uniform space is a set together with a nonempty family of subsets of the Cartesian product that satisfies the following axioms:
 All sets that belong to contain the diagonal .
 If is and another subset in which contains, then is also .
 If and in are available, as is in .
 For each there is one with the property .
 For everyone is too .
is called a uniform structure . The elements of are called neighborhoods . The axioms 2, 3 and 5 can be summarized as: A uniform structure is a quantity filter on , so that the symmetrical elements are a filter base of the structure.
One writes . A typical neighborhood is often graphically drawn as a tube around the diagonal in . is a typical environment of . is then a typical environment of . The two surroundings are then considered to be the same size.
Definition with even overlaps
A uniform space is a set together with a family of coverages of that form a filter on star refinement . The overlap is a starrefinement of the overlap (written ) if, for every one exists, such that for each with also applies. This is reduced to the following axioms:
 is in .
 Is and , so also applies
 If and are in , there is an in with and .
The elements from are called uniform overlaps . itself is called the coverage structure .
For a point and an even coverage , the union of the elements of that contain form a typical neighborhood of the size . This measure can be clearly applied evenly over the entire room.
Let there be a uniform space defined by neighborhoods. Then a cover is said to be uniform if there is a neighborhood such that for each one with exists. The so defined even overlaps form a uniform space according to the second definition. Conversely, let a uniform space be given by even overlaps. Then the supersets of , with which the uniform overlaps passes, form the neighborhoods of a uniform space according to the first definition. These two transformations are inverse to one another.
Definition through pseudometrics
Uniform spaces can also be defined with the help of systems of pseudometrics. This approach, which is described in detail in the article Pseudometrics , is particularly useful in functional analysis.
Fundamental system of a uniform structure
Be a neighborhood system. A subsystem of is called a fundamental system of if every neighborhood from contains a neighborhood from (that is, that is a filter basis of ).
A fundamental system plays the same role for the uniform structure that plays a basis for the topology in general topological spaces. This can be specified as follows: denote
the set of neighborhoods of a point , and be
 .
Then an environment base of and the union of all environment bases is a base of the topology.
A criterion for fundamental systems
Just as a basis can be used to define a unique topological structure, a fundamental system can be used to define a unique, uniform structure:
Let be a system of subsets of with the following properties:
 Each element of contains the identical relation.
 Every finite intersection of sets from contains a set from .
 For each element from exists from with .
 For each element from exists from with .
Then the filter generated by is a uniform structure with as a fundamental system. (With or the inversion or concatenation in the sense of the relation is meant.)
These four characteristics describe the elements of a class of binary relations on . The first property demands the reflexivity of each of these relations. The second property describes the relationship between these relations, it can also be formulated as follows:
 Every finite set of relations has a common tightening in .
The third and fourth properties weaken the following attributes of individual relations:
 If all relations are symmetric , then 3. is fulfilled.
 If all relations from are transitive , then 4. is fulfilled.
Application example
Be a set, a uniform space and the set of images from to . One sets for each neighborhood
 ,
then the set of neighborhoods defined in this way is based on a fundamental system of a uniform structure . With this construction, the uniform structure of the image space can be transferred to the full set of images and thus also to each subset of (as a subspace).
Intuition
In metric spaces, terms like continuity and uniformity are usually defined using and , which numerically describe proximity. In topological spaces this view is expressed with the help of the surroundings of a point . The expression replaces the designation . The  definition of continuity is then transferred directly to topological spaces.
In uniform rooms is the substitute for . The  definition of uniform continuity can also be translated directly into the corresponding definition in uniform spaces.
The uniform structure makes it possible not only to consider proximity, as in general topological spaces, for each point individually, but one has a uniform concept of proximity available that can be applied to the entire space.
The axioms for neighborhoods guarantee a nonnumeric measure of proximity. The fourth axiom includes both the triangle inequality and the possibility of halving sets.
The idea for a uniform coverage structure is that different elements of a coverage are considered to be of the same size. The meaning of star refinement is that if it holds, then sets of magnitude are half the size of sets of magnitude .
Uniformly continuous functions
A uniformly continuous function is defined by the fact that preimages of neighborhoods are in turn neighborhoods, or equivalently, that preimages of uniform cover structures are again uniform cover structures.
Just as the continuous functions between topological spaces receive the topological properties, uniformly continuous functions receive the uniform structures. An isomorphism between uniform structures, i.e. a bijection that is uniformly continuous in both directions, is called a uniform isomorphism .
Topology of uniform spaces
Every uniform structure on a set also induces a topology on it . It is a subset of exactly open when for each in a neighborhood exists, so that a subset of is. It is possible for different uniform structures to produce the same topology . The resulting topology is a symmetrical topology; H. the space is an R _{0} space . _{}
Furthermore, every uniform space is a completely regular space , and a uniform structure can be defined on every completely regular space, which creates the given topology.
A uniform room is a Kolmogoroff room if and only if the intersection of all neighborhoods is the diagonal. In this case it is even a Tychonoff room and therefore in particular a Hausdorff room .
completeness
In analogy to complete metric spaces , one can also examine completeness in uniform spaces. Instead of Cauchy sequences , Cauchy nets or Cauchy filters are used .
A Cauchy filter on a uniform room is a filter , so there is one with for every neighborhood . A uniform space is called complete if every Cauchy filter converges .
As with metric spaces every uniform space has a completion , that is, there exists a Hausdorff uniform space and a uniformly continuous mapping , so that at any uniformly continuous mapping into a complete, separated, uniform space a uniquely determined uniformly continuous map with exists. Similar to metric spaces, this completion can be defined using equivalence classes of Cauchy filters. This applies if there is a Cauchy filter. For a neighborhood is an environment.
Instead, minimal filters or round filters can be used. A filter is called round if it implies that a neighborhood and a exist such that . Each equivalence class contains exactly one minimal or round filter, so the completion can be defined on the set of minimal / round Cauchy filters.
Examples
Each metric space has a uniform structure, the topology of which corresponds to the topology generated by the metric. To do this, define the neighborhood for each
and the uniform structure
This construction makes the generalization of the metric to the uniform rooms particularly striking.
Examples from the theory of metric spaces show that different uniform structures can create the same topology. For example, let the common metric be on and . Both metrics generate the standard topology, but the associated uniform structures are different. Such is a neighborhood in the uniform structure produced by, but not for that of . This is expressed by the fact that the "identity"
is continuous but not uniformly continuous.
Every topological group (and especially every topological vector space ) becomes a uniform space if we define the subsets of as neighborhoods that contain a set of the shape for a neighborhood of the neutral element of . The marked uniform structure is right uniform structure on because for each in the right multiplication uniformly continuous is. You can also define a left uniform structure in the same way . The two uniform structures can be different, but create the same topology . If the topology of a topological group is generated by a leftinvariant metric, then the leftuniform structure of the topological group agrees with the uniform structure as metric space. For example, the uniform structure of as a topological group matches the uniform structure of as metric space (with the standard metric).
Every compact Hausdorff room has a unique, uniform structure that induces the given topology. The uniqueness follows from the fact that continuous functions on compact spaces are uniformly continuous and thus every homeomorphism is also a uniform isomorphism.
Remarks

↑ Uniform continuity of would mean that
 .
 .
literature
 Ioan M. James : Introduction to Uniform Spaces (= London Mathematical Society Lecture Note Series. Vol. 144). Cambridge University Press, Cambridge et al. 1990, ISBN 0521386209 .
 Boto von Querenburg : Set theoretical topology (= Springer textbook ). 3rd, revised and expanded edition. Springer, Berlin et al. 2001, ISBN 3540677909 .