Uniform space: Difference between revisions

From Citizendium
Jump to navigation Jump to search
imported>Hendra I. Nurdin
mNo edit summary
imported>Meg Taylor
No edit summary
 
(91 intermediate revisions by 3 users not shown)
Line 1: Line 1:
{{subpages}}
{{subpages}}
In [[mathematics]], and more specifically in [[topology]], the notions of a '''uniform structure''' and a '''uniform space''' generalize the notions of a  metric (''distance function'') and a [[metric space]] respectively. As a human activity, the theory of uniform spaces is a chapter of [[general topology]]. From the formal point of view, the notion of a uniform space is a sibling of the notion of a topological space. While uniform spaces are significant for mathematical analysis, the notion seems less fundamental than that of a topological space. The notion of uniformity is auxiliary rather than an object to be studied for their own sake (specialists on uniform spaces may disagree though).
In [[mathematics]], and more specifically in [[topology]], the notions of a '''uniform structure''' and a '''uniform space''' generalize the notions of a  metric (''distance function'') and a [[metric space]] respectively. As a human activity, the theory of uniform spaces is a chapter of [[general topology]]. From the formal point of view, the notion of a uniform space is a sibling of the notion of a topological space. While uniform spaces are significant for mathematical analysis, the notion seems less fundamental than that of a topological space. The notion of uniformity is auxiliary rather than an object to be studied for its own sake (specialists on uniform spaces may disagree though).


For two points of a metric space, their distance is given, and it is a measure of how close each of the given two points is to another. The notion of uniformity catches the idea of two points being near one another in a more general way, without assigning a numerical value to their distance. Instead, given a subset <math>W \subseteq X\times X\ </math>, we may say that two points&nbsp; <math>x, y \in X\ </math> are W-near one to another, when <math>\ (x, y) \in W</math>; certain such sets <math>W \subseteq X\times X\ </math> are called '''entourages''' (see below), and then the mathematician Roman Sikorski would write suggestively:
For two points of a metric space, their distance is given, and it is a measure of how close each of the given two points is to another. The notion of uniformity catches the idea of two points being near one another in a more general way, without assigning a numerical value to their distance. Instead, given a subset <math>W \subseteq X\times X\ </math>, we may say that two points&nbsp; <math>x, y \in X\ </math> are W-near one to another, when <math>\ (x, y) \in W</math>; certain such sets <math>W \subseteq X\times X\ </math> are called '''entourages''' (see below), and then the mathematician Roman Sikorski would write suggestively:
Line 8: Line 8:
meaning that this whole mathematical phrase stands for: <math>W\ </math> ''is an entourage, and'' <math>\ (x, y) \in W</math>. &nbsp;Thus we see that in the general case of uniform spaces, the distance between two points is (not measured but) estimated by the entourages to which the ordered pair of the given two points belongs.
meaning that this whole mathematical phrase stands for: <math>W\ </math> ''is an entourage, and'' <math>\ (x, y) \in W</math>. &nbsp;Thus we see that in the general case of uniform spaces, the distance between two points is (not measured but) estimated by the entourages to which the ordered pair of the given two points belongs.


:A different but equivalent approach was developed by Soviet topologists. They axiomatized the notion of two sets approaching one another (''infinitely closely'', possibly overlapping). In terms of entourages, two sets approach one another if for every entourage <math>W\ </math> there is an ordered pair of points <math>\ (x, y)</math>, one from each of the given two sets, for which the above Sikorski's inequality holds.
== Historical remarks ==
The uniform ideas, in the context of finite dimensional real linear spaces (Euclidean spaces), appeared already in the work of the pioneers of the precision in [[mathematical analysis]] (A.-L. Cauchy, E. Heine). Next, [[George Cantor]] constructed the real line by metrically completing the field of rational numbers, while Frechet introduced metric spaces. Then [[Felix Hausdorff]] extended the Cantor's completion construction onto arbitrary metric spaces. General uniform spaces were introduced by [[Andre Weil]] in a 1937 publication.
 
The uniform ideas may be expressed equivalently in terms of coverings. The basic idea of an abstract triangle inequality in terms of coverings has appeared already in the proof of the metrization Aleksandrov-Urysohn theorem (1923).
 
A different but equivalent approach was introduced by V.A. Efremovich, and developed by [[Yuri Smirnov|Y.M.Smirnov]]. Efremovich axiomatized the notion of two sets approaching one another (''infinitely closely'', possibly overlapping). In terms of entourages, two sets approach one another if for every entourage <math>W\ </math> there is an ordered pair of points <math>\ (x, y)\in W</math>, one from each of the given two sets, i.e. for which the Sikorski's inequality holds:


== Historical remarks ==
::<math>d(x, y) < W\ </math>


The uniform ideas, in the context of finite dimensional real linear spaces (Euclidean spaces), appeared already in the work of the pioneers of the precision in [[mathematical analysis]] (A.-L. Cauchy, E. Heine).Next, [[George Cantor]] constructed the real line by metrically completing the field of rational numbers, while Frechet introduced metric spaces. Then [[Felix Hausdorff]] extended the Cantor's completion construction onto arbitrary metric spaces. General uniform spaces were introduced by [[Andre Weil]] in 1937. A different but equivalent construction was introduced and developed by Soviet topologists.
According to [[Pavel Aleksandrov|P.S.Aleksandrov]], this kind of approach to uniformity, in the language of nearness, goes back to Riesz (perhaps F.Riesz).


== Definition ==
== Topological prerequisites ==
This article assumes that the reader is familiar with certain elementary, basic notions of [[topology]],  namely:


=== Auxiliary notation and notions ===
* topology (as a family of open sets), [[topological space]];
* [[neighborhood]]s (of points and sets), bases of neighborhoods;
* [[separation axioms]]:
** <math>T_0\ </math>&nbsp; ([[Andrei Kolmogorov|Kolmogorov]] axiom);
** <math>T_1\ </math>
** <math>T_2\ </math>&nbsp; (Hausdorff axiom);
** regularity axiom and&nbsp; <math>T_3\ </math>
** complete regularity (Tichonov axiom) and&nbsp; <math>\ T_{3\frac{1}{2}}</math>;
** [[normal space]]s and&nbsp; <math>T_4\ </math>;
* [[continuous function]]s (maps, mappings);
* [[compact space]]s (and compact Hausdorff spaces, i.e. compact <math>\ T_2</math>-spaces);
* metrics and pseudo-metrics, metric and pseudo-metric spaces, topology induced by a metric or pseudo-metric.


== Definition ==
=== Auxiliary set-theoretical notation, notions and properties ===
Given a set <math>\ X</math>, and <math>V, W \subseteq X\times X</math>, let's use the notation:
Given a set <math>\ X</math>, and <math>V, W \subseteq X\times X</math>, let's use the notation:


::<math>\Delta_{X}\ :=\ \{(x,x) : x \in X\}</math>
::<math>\Delta_{X}\ :=\ \{(x,x) : x \in X\}</math>
Line 27: Line 45:
::<math>W \circ\, V := \{(x,z) : \exists_{y\in X}\ \left((x,y)\in V,\ \ (y,z)\in W\right)\}</math>
::<math>W \circ\, V := \{(x,z) : \exists_{y\in X}\ \left((x,y)\in V,\ \ (y,z)\in W\right)\}</math>


'''Theorem'''
:* <math>\left(\left(V\subseteq V'\right) \and \left(W\subseteq W'\right)\right)\ \Rightarrow\ \left(W \circ V \subseteq W'\circ V'\right)</math>
:* <math>\Delta_X \circ V\ =\ V \circ \Delta_X\ =\ V</math>
:* <math>\Delta_X\subseteq V\ \Rightarrow W\circ V \supseteq W</math>
:* <math>\Delta_X\subseteq W\ \Rightarrow W\circ V \supseteq V</math>
:* <math>(\Delta_X\subseteq V\ \and\ \Delta_X\subseteq W)\ \ \Rightarrow\ \ W\circ V\ \supseteq\ V\cup W</math>
:* if <math>\ A</math>&nbsp; and <math>\ B</math>&nbsp; are <math>\ W</math>-sets,&nbsp; where <math>\Delta_X\subseteq W</math>,&nbsp; and if <math>\ A\cap B \ne \emptyset</math>,&nbsp; then <math>\ A\cup B</math>&nbsp; is a <math>\ (W\circ W)</math>-set; or in the Sikorski's notation:


Also, a subset <math>\ A\ </math> of <math>\ X\ </math> is called a <math>\ V</math>-'''set''' if&nbsp; <math>A\times A \subseteq V</math>.


::::<math>A\cup B \ne \emptyset\ \ \Rightarrow\ \ \mathit{diam}(A\cup B)\ <\ W\circ W</math>
:for every&nbsp; <math>\ V,V',W,W'\subseteq X\times X</math>,&nbsp; and <math>\ A, B \subseteq X</math>.
'''Definition'''&nbsp; A subset <math>\ A\ </math> of <math>\ X\ </math> is called a <math>\ V</math>-'''set''' if&nbsp; <math>A\times A \subseteq V</math>, in which case we may also use Sikorski's notation:
:::<math>\mathit{diam}(A)\ <\ V</math>
* Let <math>\ \mathcal K</math>&nbsp; be a family of sets such that the union of any two of them is a <math>\ V</math>-set&nbsp; (where <math>\ V \subseteq X\times X</math>).&nbsp; The union <math>\ \bigcup \mathcal K</math>&nbsp; is a <math>\ V</math>-set.


=== Uniform space (definition) ===
=== Uniform space (definition) ===
Line 41: Line 75:


Members of <math>\mathcal U</math> are called '''entourages'''.
Members of <math>\mathcal U</math> are called '''entourages'''.
Instead of the somewhat long term ''uniform structure'' we may also use short term '''uniformity'''&mdash;it means exactly the same.




'''Example:''' &nbsp; <math>X\times X\ </math>&nbsp; is an entourage of every uniform structure in <math>\ X</math>.
'''Example:''' &nbsp; <math>X\times X\ </math>&nbsp; is an entourage of every uniform structure in <math>\ X</math>.


== Two extreme examples ==
=== Two extreme examples ===
 
The single element family <math>\mathcal U := \{X\times X\}</math> is a uniform structure in <math>\ X</math>; it is called '''the weakest uniform structure''' (in <math>\ X</math>).
The single element family <math>\mathcal U := \{X\times X\}</math> is a uniform structure in <math>\ X</math>; it is called '''the weakest uniform structure''' (in <math>\ X</math>).


Line 52: Line 87:


::<math>\mathcal U\ :=\ \{W \subseteq X\times X : \Delta_X \subseteq W\}</math>
::<math>\mathcal U\ :=\ \{W \subseteq X\times X : \Delta_X \subseteq W\}</math>
is a uniform structure in <math>\ X</math> too; it is called the '''strongest uniform structure''' or the '''discrete uniform structure''' in <math>\ X</math>.
is a uniform structure in <math>\ X</math>&nbsp; too; it is called the '''strongest uniform structure''' or the '''discrete uniform structure''' in <math>\ X</math>; it contains every other uniform structure in <math>\ X</math>.
*<math>\ \mathcal U</math>&nbsp; is the strongest uniform structure in <math>\ X</math>&nbsp; if and only if&nbsp; <math>\ \Delta_X\in \mathcal U</math>.


== Uniform base ==
== Uniform base ==
A family <math>\mathcal B</math> is called to be a '''base of a uniform structure''' <math>\mathcal U</math> in <math>\ X</math> if&nbsp; <math>\mathcal U = \mathcal U_{\mathcal B}</math>, where:
A family <math>\mathcal B</math> is called to be a '''base of a uniform structure''' <math>\mathcal U</math> in <math>\ X</math> if&nbsp; <math>\mathcal U = \mathcal U_{\mathcal B}</math>, where:


Line 77: Line 111:


=== The symmetric base ===
=== The symmetric base ===
Let <math>\ V \subseteq X\times X</math>. We say that <math>\ V \ </math>&nbsp; is '''symmetric''' if <math>\ V^{-1} = V</math>.
Let <math>\ V \subseteq X\times X</math>. We say that <math>\ V \ </math>&nbsp; is '''symmetric''' if <math>\ V^{-1} = V</math>.


Line 93: Line 126:


=== Example ===
=== Example ===
'''Notation:'''&nbsp; <math>Fin(X)\ </math> is the family of all finite subsets of <math>\ X</math>.
'''Notation:'''&nbsp; <math>Fin(X)\ </math> is the family of all finite subsets of <math>\ X</math>.


Line 114: Line 146:
The generated uniform structure <math>\ \mathcal U_{\mathcal A}\ </math> is different both from the weakest and from the strongest uniform structure in <math>\ X</math>,&nbsp; (because <math>\ X\ </math> is infinite).
The generated uniform structure <math>\ \mathcal U_{\mathcal A}\ </math> is different both from the weakest and from the strongest uniform structure in <math>\ X</math>,&nbsp; (because <math>\ X\ </math> is infinite).


== [[Metric space]]s ==
=== [[Metric space]]s ===
 
Let <math>\ (X, d)</math> be a metric space. Let
Let <math>\ (X, d)</math> be a metric space. Let


Line 147: Line 178:


:(for arbitrary&nbsp; <math>\ x, y \in X</math>).
:(for arbitrary&nbsp; <math>\ x, y \in X</math>).


== The induced topology ==
== The induced topology ==
First another piece of auxiliary notation--given a set <math>\ X</math>, and <math>W\subseteq X\times X</math>, let
First another piece of auxiliary notation--given a set <math>\ X</math>, and <math>W\subseteq X\times X</math>, let


Line 163: Line 194:
::<math>\mathcal T_{\mathcal U}\ :=\ \{G \subseteq X : \forall_{x\in G}\ G \in \mathcal U_x\}</math>
::<math>\mathcal T_{\mathcal U}\ :=\ \{G \subseteq X : \forall_{x\in G}\ G \in \mathcal U_x\}</math>


* The topology induced by the weakest uniform structure is [[the weakest topology]]. Furthermore, the weakest uniform structure is the only one which induces the weakest topology (in a given set).
* The topology induced by the weakest uniform structure is the [[indiscrete topology|weakest topology]]. Furthermore, the weakest uniform structure is the only one which induces the weakest topology (in a given set).
* The topology induced by the strongest (discrete) uniform structure is [[discrete topology|the strongest]] (discrete) topology. Furthermore, the strongest uniform structure is the only one which induces the discrete topology in the given set if and only if that set is finite. Indeed, for any infinite set also the uniform structure <math>\ \mathcal U_{\mathcal A}\ </math> (see '''Example''' above) induces the discrete topology. Thus different uniform structures (defined in the same set) can induce the same topology.
* The topology induced by the strongest (discrete) uniform structure is the [[discrete topology|strongest]] (discrete) topology. Furthermore, the strongest uniform structure is the only one which induces the discrete topology in the given set if and only if that set is finite. Indeed, for any infinite set also the uniform structure <math>\ \mathcal U_{\mathcal A}\ </math> (see '''Example''' above) induces the discrete topology. Thus different uniform structures (defined in the same set) can induce the same topology.
* The topology <math>\mathcal T_d\ </math> induced by a metrics <math>\ d\ </math> is the same as the topology induced by the uniform structure induced by that metrics:
* The topology <math>\mathcal T_d\ </math> induced by a metrics <math>\ d\ </math> is the same as the topology induced by the uniform structure induced by that metrics:
::::<math>\mathcal T_{\mathcal U_d}\ =\ \mathcal T_d</math>
::::<math>\mathcal T_{\mathcal U_d}\ =\ \mathcal T_d</math>
:'''Convention'''&nbsp; From now on, unless stated explicitly to the contrary, the topology considered in a uniform space is always the topology induced by the uniform structure of the given space. In particular, in the case of the uniform spaces the general topological operations on sets, like interior <math>\ \mathit{Int}(A)</math> &nbsp;and closer &nbsp;<math>\ \mathit{Cl}(A)</math>,&nbsp; are taken with respect to the topology induced by the uniform structure of the respective uniform space.




Line 172: Line 206:




* <math>d(x,y) := |x-y|\ </math>
:* <math>d(x,y) := |x-y|\ </math>
* <math>\delta(x,y)\ :=\ 2\cdot d(x,y)\ </math>
:* <math>\delta(x,y)\ :=\ 2\cdot d(x,y)\ </math>
* <math>d_c(x,y) := |x^3 - y^3|\ </math>
:* <math>d_c(x,y) := |x^3 - y^3|\ </math>




All these three metric functions induce the same, standard topology in <math>\ \mathcal R</math>. &nbsp;Furthermore, functions <math>\ d\ </math> and <math>\ \delta\ </math> induce the same uniform structure in <math>\ \mathcal R</math>.  Thus different metric functions can induce the same uniform structure. On the other hand, the uniform structures induced by <math>\ d\ </math> and <math>\ d_c\ </math> are different, which shows that different uniform structures, even when they are induced by metric functions, can induce the same topology.
All these three metric functions induce the same, standard topology in <math>\ \mathcal R</math>. &nbsp;Furthermore, functions <math>\ d\ </math> and <math>\ \delta\ </math> induce the same uniform structure in <math>\ \mathcal R</math>.  Thus different metric functions can induce the same uniform structure. On the other hand, the uniform structures induced by <math>\ d\ </math> and <math>\ d_c\ </math> are different, which shows that different uniform structures, even when they are induced by metric functions, can induce the same topology.


== Uniform continuity ==
'''Theorem'''&nbsp; Let <math>(X, \mathcal U)</math> be a uniform space. The family of all entourages <math>\ U \in\mathcal U</math>&nbsp; which are open in <math>\ X\times X</math> is a base of structure <math>\mathcal U</math>
 
'''Remark'''&nbsp; An equivalent formulation of the above theorem is:
 
:* the interior of every entourage is an entourage.
 
'''Proof''' (of the theorem).&nbsp; Let <math>\ W\in\mathcal U</math>&nbsp; be an arbitrary entourage. Let <math>\ V\in\mathcal U</math>&nbsp; be a symmetric entourage such that <math>\ V\circ V\circ V\subseteq W</math>. It is enough to prove that entourage <math>\ V</math>&nbsp; is contained in the topological interior of <math>\ U</math>. Let's do it. Let <math>\ (a,b)\in V</math>&nbsp;. Let <math>\ (x,y)\in V(a)\times V(b)</math>. &nbsp;Then, since <math>\ V</math>&nbsp; is symmetric, we have:
 
:::<math>(x,a),\ (a,b),\ (b,y)\ \in\ V</math>
 
hence <math>\ (x,y)\in V\circ V\circ V\subseteq W</math>.&nbsp; This proves that
 
:::<math>V(a)\times V(b)\ \subseteq W</math>
 
Thus every point <math>\ (a,b) \in V</math>&nbsp; belongs to the topological interior of <math>\ W</math>,&nbsp; i.e. the entire <math>\ V</math>&nbsp; is contained in the interior of <math>\ W</math>.
'''End''' of proof.
 
== Separation properties ==
'''Notation''':
:::<math>W(A)\ :=\ \bigcup_{x\in A}\ W(x)</math>
 
for every entourage <math>\ W</math>&nbsp; and <math>\ A \subseteq X</math>&nbsp; (see above the definition of <math>\ W(x)</math>). Thus <math>\ W(A)</math>&nbsp; is a neighborhood of <math>\ A</math>.
 
 
'''Warning'''&nbsp; <math>\{W(A) : W \in \mathcal U\}</math> &nbsp; does not have to be a base of neighborhoods of <math>\ A</math>, as shown by the following example (consult the section about metric spaces, above):
 
'''Example'''&nbsp; Let <math>\ \mathcal R</math>&nbsp; be the space of real numbers with its customary Euclidean distance (metric)
:::<math>d(x,y)\ :=\ |x-y|</math>
and the uniformity induced by this metric (see above)&mdash;this uniformity is called '''Euclidean'''. Let <math>\ \mathcal N := \{1, 2, \dots\}</math>&nbsp; be the set of natural numbers. Then the union of open intervals:
 
:::<math>U\ :=\ \bigcup_{n\in \mathcal N} (n-\frac{1}{n};n+\frac{1}{n})</math>


Let <math>(X,\mathcal U)</math> and <math>(Y,\mathcal V)</math> be uniform spaces. Function <math>\ f : X \rightarrow Y</math> is called '''uniformly continuous''' if
is an open neighborhood of <math>\ \mathcal N</math>&nbsd in <math>\ \mathcal R</math>,&nbsd but there does not exist any <math>\ t > 0</math>&nbsp; such that <math>\ B_t(\mathcal N) \subseteq U</math>&nbsp; (see above). It follows that <math>\ U</math>&nbsp; does not contain any set <math>\ W(\mathcal N)\in \mathcal U</math>,&nbsp; where <math>\ \mathcal U</math>&nbsp; is the Euclidean uniformity in <math>\ \mathcal R</math>.


::<math>\forall_{V\in \mathcal V}\ (f\times f)^{-1}(V) \in \mathcal U</math>
 
'''Definition'''&nbsp; Let <math>\ A, B \subseteq X</math>,&nbsp; and <math>\ W</math>&nbsp; be an entourage. We say that <math>\ A</math>&nbsp; and <math>\ B</math>&nbsp; are <math>\ W</math>-'''apart''', if
 
:::<math>(A\times B)\ \cap W\ =\ \emptyset</math>
 
in which case we write
 
:::<math>\delta(A, B)\ >\ W</math>
 
in the spirit of Sikorski's notation (it is an idiom, don't try to parse it).
 
* Let <math>\ A, B \subseteq X</math>&nbsp; be <math>\ W</math>-apart. Let <math>\ V</math>&nbsp; be another entourage, and let it be symmetric (meaning <math>\ V^{-1} = V)</math>&nbsp; and such that&nbsp; <math>\ V \circ V \circ V \subseteq W</math>.&nbsp; Then <math>\ V(A)</math>&nbsp; and <math>\ V(B)</math>&nbsp; are <math>\ V</math>-apart:
 
:::<math>\delta(V(A),V(B))\ >\ V</math>
 
We see that two sets which are apart (for an entourage) admit neighborhoods which are apart too. Now we may mimic [[Paul Urysohn]] by stating a uniform variant of his topological lemma:
 
:'''Uniform Urysohn Lemma''' Let <math>\ A, B \subseteq X</math>&nbsp; be apart. Then there exists a uniformly continuous function <math>\ f : X \rightarrow [0;1]</math>&nbsp; such that <math>\ f(x) = 0</math> for every <math>\ x \in A</math>,&nbsp; and <math>\  f(x) = 1</math> for every <math>\ x \in B</math>.
 
It is possible to adopt the main idea of the Urysohn's original proof of his lemma to this new uniform situation by iterating the statement just above the ''Uniform Urysohn Lemma''.
 
:'''Proof''' (of the Uniform Urysohn Lemma)
 
:Let <math>\ W</math> be an entourage. Let <math>\ A, B \subseteq X</math>&nbsp; be <math>\ W</math>-apart.&nbsp; Let <math>\ (W_n : n=0,1,\dots)</math>&nbsp; be a sequence of entourages such that
 
:*<math>W_0\ :=\ W</math>
:*<math>W_n^{-1}\ =\ W_n</math>
:*<math>W_n\circ W_n \subseteq W_{n-1}\ </math>
 
:for every <math>\ n=1,2,\dots</math>. &nbsp;Next, let <math>\ A_r, B_r \subseteq X</math>&nbsp; for every <math>\ r := \frac{k}{2^n}</math>,&nbsp; where <math>\ n = 1,2,\dots</math>&nbsp; and <math>\ k=0,1,\dots,2^n</math>,&nbsp; be defined, inductively on <math>\ n</math>,&nbsp; as follows:
 
:*<math>A_0 := A\quad \mathit{and}\quad A_1 := X</math>
:*<math>B_0 := X\quad \mathit{and}\quad B_1 := B</math>
:*<math>A_{\frac{2\cdot k-1}{2^n}}\ :=\ X\ \backslash\ W_n\left(B_{\frac{k}{2^{n-1}}}\right)</math>
:*<math>B_{\frac{2\cdot k-1}{2^n}}\ :=\ X\ \backslash\ W_n\left(A_{\frac{k-1}{2^{n-1}}}\right)</math>
 
:for every <math>\ n=1,2,\dots</math>&nbsp; and <math>\ k=1,\dots,2^{n-1}</math>.&nbsp; We see that
 
:* <math>\ A_{\frac{m-1}{2^n}}</math>&nbsp; and <math>B_{\frac{m}{2^n}}</math>&nbsp; are <math>\ W_n</math>-apart for every <math>\ n=0,1,\dots</math>&nbsp; and <math>\ m=1,\dots,2^m</math>;
:* <math>A_r \cup B_r\ =\ X</math>&nbsp; for every <math>\ r</math>;
:* the assignment <math>\ r \mapsto A_r</math>&nbsp; is increasing, while <math>\ r \mapsto B_r</math>&nbsp; is decreasing.
 
:The required uniform function can be defined as follows:
 
:::<math>f(x)\ :=\ \inf\ \{r : x \in A_r\}</math>
 
:for every <math>\ x\in X</math>.&nbsp; Obviously, <math>\ f(x) = 0</math>&nbsp; for every <math>\ x \in A</math>,&nbsp; and <math>\ f(x) = 1</math>&nbsp; for every <math>\ x\in B</math>.&nbsp; Furthermore, let &nbsp;<math>\ \epsilon > 0</math>.&nbsp; Then
 
:::<math>\epsilon\ >\ \frac{1}{2^{n-1}}</math>
 
:for certain positive integer <math>\ n</math>. Let <math>\ x,y \in X</math>&nbsp; be such that
 
:::<math>f(x) + \epsilon\ \le\ f(y)</math>
 
:Then there exists <math>\ m \in \{1,\dots,2^n\}</math>&nbsp; such that
 
:::<math>f(x)\ <\ \frac{m-1}{2^n}\ <\ \frac{m}{2^n}\ <\ f(y)</math>
 
:Thus <math>\ x\in A_{\frac{m-1}{2^n}}</math>,&nbsp; while <math>\ y\notin A_{\frac{m}{2^n}}</math>,&nbsp; hence <math>\ y\in B_{\frac{m}{2^n}}</math>.&nbsp; Thus points <math>\ x</math>&nbsp; and <math>\ y</math>&nbsp; are <math>\ W_n</math>-apart.
 
:We have proved that for every <math>\ (x,y)\in W_n</math>&nbsp; the images are less then <math>\ \epsilon</math>-apart:
 
:::<math>\forall_{(x,y)\in W_n}\ |f(x)-f(y)|\ <\ \epsilon</math>
 
:'''End''' of proof.
 
 
Now let's consider a special case of one of the two sets being a 1-point set.
 
* Let <math>\ p \in X</math>,&nbsp; and let <math>\ G</math> be a neighborhood of <math>\ p</math>&nbsp; (with respect to the uniform topology, i.e. with respect to the topology induced by the uniform structure). Then <math>\ \{p\}</math>&nbsp; and <math>\ X \backslash G</math>&nbsp; are apart.
 
Indeed, there exists an entourage <math>\ W \in \mathcal U</math>&nbsp; such that <math>\ W(p) \subseteq G</math>,&nbsp; which means that
:::<math>\ (\{p\}\times (X\backslash G))\ \cap\ W\ \ =\ \ \emptyset</math>
i.e.&nbsp; <math>\ \{p\}</math>&nbsp; and <math>\ X \backslash G</math>&nbsp; are <math>\ W</math>-apart.
 
Thus we may apply the ''Uniform Urysohn Lemma:
 
:'''Theorem'''&nbsp; Every uniform space is completely regular (as a topological space with the topology induced by the uniformity).
 
'''Remark'''&nbsp; This only means that there is a continuous function <math>\ f : X \rightarrow [0;1]</math>&nbsp; such that <math>\ f(p) = 0</math>&nbsp; and <math>\  f(x) = 1</math> for every <math>\ x \in X\backslash G</math>,&nbsp; whenever <math>\ G</math>&nbsp; is a neighborhood of <math>\ p</math>.&nbsp; However, it does not mean that uniform spaces have to be [[Hausdorff space]]s. In fact, uniform space with the weakest uniformity has the weakest topology, hence it's never Hausdorff, not even T<sub>0</sub>, unless it has no more than one point.
 
On the other hand, when one of any two points has a neighborhood to which the other one does not belong then the two 1-point sets, consisting of these two points, are apart, hence they admit disjoint neighborhoods. Thus it is easy to prove the following:
 
:'''Theorem'''&nbsp; The following three topological properties of a uniform space <math>\ (X,\mathcal U)</math>&nbsp; are equivalent
 
:* <math>\ (X,\mathcal T_{\mathcal U})</math>&nbsp; is a T<sub>0</sub>-space;
:* <math>\ (X,\mathcal T_{\mathcal U})</math>&nbsp; is a T<sub>2</sub>-space (i.e. Hausdorff);
:* <math>\bigcap\ \mathcal U\ =\ \Delta_X</math>.
 
When a uniform structure induces a Hausdorff topology then it's called '''separating'''.
 
== Uniform continuity and uniform homeomorphisms ==
Let <math>(X,\mathcal U)</math> and <math>(Y,\mathcal V)</math> be uniform spaces. Function <math>\ f : X \rightarrow Y</math>&nbsp; is called '''uniformly continuous''' if
 
::<math>\forall_{V\in \mathcal V}\ (f\times f)^{-1}(V)\ \in\ \mathcal U</math>


A more elementary calculus δε-like equivalent definition would sound like this (UV play the role of δε respectively):
A more elementary calculus δε-like equivalent definition would sound like this (UV play the role of δε respectively):
Line 192: Line 351:


'''Example''' Every constant map from one uniform space to another is uniformly continuous.
'''Example''' Every constant map from one uniform space to another is uniformly continuous.
A uniform map <math>\ f : X \rightarrow Y</math>&nbsp; of a uniform space <math>(X,\mathcal U)</math>&nbsp; into a uniform space <math>(Y,\mathcal V)</math>&nbsp; is called a '''uniform homeomorphism''' of these two spaces) if it is bijective, and the inverse function <math>\ f^{-1} : Y \rightarrow X</math>&nbsp; is a uniform map of<math>(Y,\mathcal V)</math>&nbsp; into <math>(X,\mathcal U)</math>.
== Constructions and operations ==
Constructions of new uniform spaces based on already existing uniform spaces are called operations. Otherwise they are called simply constructions. Thus the uniformity induced by a metric (see above) is an example of a construction (of a uniformity).
A full conceptual appreciation of operations and constructions requires the [[theory of categories]] (see below).
=== Partial order of uniformities ===
The set of uniform structures in a set <math>\ X</math>&nbsp; is (partially) ordered by the inclusion relation; given two uniformities <math>\ \mathcal U</math>&nbsp; and <math>\ \mathcal V</math>&nbsp; in <math>\ X</math>&nbsp; such that <math>\ \mathcal U\subseteq\mathcal V</math>&nbsp; we say that <math>\ \mathcal U</math>&nbsp; is weaker than <math>\ \mathcal V</math>&nbsp; and <math>\ \mathcal V</math>&nbsp; is stronger than <math>\ \mathcal U</math>.&nbsp; The set of all uniform structures in <math>\ X</math>&nbsp; has the weakest (smallest) and the strongest (largest) element (uniformity). We will see in the next section, that each set of uniform structures in <math>\ X</math>&nbsp; admits the least upper bound. Thus it follows that each set admits also the greatest lower bound&mdash;indeed, the weakest uniformity is one of the lower bounds of a set, and there exists the least upper bound of the set of all lower bounds, which is the required greatest lower bound. In short, the uniformities in arbitrary set <math>\ X</math> form a [[Birkhoff lattice|complete]] [[Birkhoff lattice]].
=== The least upper bound ===
Let &nbsp;<math>\ U, U', W, W' \subseteq X\times X</math>&nbsp; be such that:
:<math>U\circ U \subseteq U'</math> &nbsp; &nbsp; and &nbsp; &nbsp; <math>W\circ W \subseteq W'</math>
Then
::<math>(U\cap W)\circ (U\cap W)\ \subseteq U'\cap W'</math>
The same holds not just for two but for any finite (or just arbitrary) family of pairs <math>\ (U, U')</math> as above. In particular, let <math>\ A</math>&nbsp; be an arbitrary family of uniformities in <math>\ X</math>.&nbsp; We will construct the least upper bound of such a family:
For each <math>\ U\in \mathcal U\in\mathcal A</math>&nbsp; let entourage <math>\ \sqrt{U/\mathcal U}\in \mathcal U</math>&nbsp; be such that:
:::<math>\sqrt{U/\mathcal U}\circ \sqrt{U/\mathcal U}\ \subseteq \mathcal U</math>
Then, whenever for a finite (or any) family <math>\ \mathcal C\subseteq \mathcal A</math>&nbsp; an entourage <math>\ U_{\mathcal U}</math>&nbsp; is selected for each <math>\ \mathcal U\in\mathcal C</math>, we obtain:
:::<math>(\bigcap_{\mathcal U\in\mathcal C} \sqrt{U_{\mathcal U}/\mathcal U})\circ (\bigcap_{\mathcal U\in\mathcal C} \sqrt{U_{\mathcal U}/\mathcal U})\ \subseteq\ \bigcap_{\mathcal U\in\mathcal C}U_{\mathcal U}</math>
Now it is easy to see that the family
:::<math>\mathcal B\ :=\ \{\bigcap_{\mathcal U\in\mathcal C}U_{\mathcal U} : \mathcal C\in \mathit{Fin}(\mathcal A)\ \and\ \forall_{\mathcal U\in\mathcal C}\ U_{\mathcal U}\in \mathcal U \}</math>
is a uniform base. It is obvious that the uniformity <math>\ \mathcal U_{\mathcal B}</math>,&nbsp; generated by <math>\ \mathcal B</math>,&nbsp; is the least upper bound of <math>\mathcal A</math>:
:::<math>\ \mathcal U_{\mathcal B}\ =\ \mathit{lub}(\mathcal A)</math>
=== Preimage ===
Let <math>\ X</math>&nbsp; be a set; let <math>\ (Y,\mathcal V)</math>&nbsp; be a uniform space; let <math>\ f : X \rightarrow Y</math>&nbsp; be an arbitrary function. Then
:::<math>\mathcal B_f\ :=\ \{(f\times f)^{-1}(V) : V \in \mathcal V\}</math>
is a base of a uniform structure <math>\ \mathcal U_f</math>&nbsp; in <math>\ X</math>.&nbsp; Uniformity <math>\ \mathcal U_f</math>&nbsp; is called the '''preimage''' of uniformity <math>\ \mathcal V</math>&nbsp; under function <math>\ f</math>.&nbsp; Now <math>\ f</math>&nbsp; became a uniform map of the uniform space <math>\ (X,\mathcal U_f)</math>&nbsp; into <math>\ (Y,\mathcal Y)</math>.&nbsp; Moreover, and that's the whole point of the preimage operation, uniformity <math>\ \mathcal U_f</math>&nbsp; is the weakest in <math>\ X</math>&nbsp;, with respect to which function <math>\ f</math>&nbsp; is uniform.
* Let <math>\ X</math>&nbsp; be a set; let <math>\ (Y,\mathcal V)</math>&nbsp; be a uniform space; let <math>\ f : X \rightarrow Y</math>&nbsp; be an arbitrary surjection. Then for every uniform space <math>\ (Z, \mathcal W)</math>,&nbsp; and every function <math>\ g : Y \rightarrow Z</math>&nbsp; such that <math>\ g\circ f</math>&nbsp; is a uniform map of <math>\ (X,\mathcal U_f)</math>&nbsp; into <math>\ (Z,\mathcal W)</math>,&nbsp; the function <math>\ g</math>&nbsp; is a uniform map of <math>\ (Y,\mathcal V)</math>&nbsp; into <math>\ (Z,\mathcal W)</math>.
The preimage uniformity can be characterized purely in terms of function; thus the following theorem could be a (non-constructive) definition of the preimage uniformity:
'''Theorem'''&nbsp; Let <math>\ X</math>&nbsp; be a set; let <math>\ (Y,\mathcal V)</math>&nbsp; be a uniform space; let <math>\ f : X \rightarrow Y</math>&nbsp; be an arbitrary function. The preimage uniformity is the only uniform structure <math>\ \mathcal U = \mathcal U_f</math>&nbsp; which satisfies the following two conditions:
* <math>\ f</math>&nbsp; is a uniform map of <math>\ (X,\mathcal U)</math>&nbsp; into  <math>\ (Y,\mathcal V)</math>;
* for every uniform space <math>(E, \mathcal S)</math>,&nbsp; and for every function <math>\ c : E \rightarrow X</math>,&nbsp; if <math>\ f\circ c</math>&nbsp; is a uniform map of <math>(E, \mathcal S)</math>,&nbsp; into <math>(Y, \mathcal V)</math>,&nbsp; then <math>\ c</math>&nbsp; is a uniform map of <math>\ (E,\mathcal S)</math>&nbsp; into <math>\ (X,\mathcal U)</math>.
'''Proof'''&nbsp; The first condition means that <math>\ \mathcal U</math>&nbsp; is stronger than the preimage <math>\ \mathcal U_f</math>;&nbsp; and the second condition, once we substitute <math>(E, \mathcal S) := (X,\mathcal U_f)</math>,&nbsp;
and <math>\ c := \mathit{Id}_X</math>, tells us that <math>\ \mathcal U</math>&nbsp; is weaker than <math>\ \mathcal U_f</math>.&nbsp; Thus <math>\ \mathcal U = \mathcal U_f</math>.&nbsp; Of course <math>\ \mathcal U</math>&nbsp; satisfies both conditions of the theorem.
'''End''' of proof.
=== Uniform subspace ===
Let <math>\ (Y,\mathcal V)</math>&nbsp; be a uniform space; let <math>\ X</math>&nbsp; be a subset of <math>\ Y</math>.&nbsp; Let uniformity <math>\ \mathcal U</math>&nbsp; be the primage of uniformity <math>\ \mathcal V</math>&nbsp; under the identity embedding <math>\ i : X \rightarrow Y</math>&nbsp; (where <math>\ \forall_{x\in X}\ i(x) := x</math>).&nbsp; Then <math>\ (X,\mathcal U)</math>&nbsp; is called the '''uniform subspace''' of the uniform space <math>\ (Y,\mathcal V)</math>,&nbsp; and <math>\ \mathcal U</math>&nbsp; &ndash; the '''subspace uniformity'''. It is directly described by the equality:
:::<math>\mathcal U\ =\ \{ V\cap(X\times X) :\ V \in  \mathcal V\}</math>
The subspace uniformity is the weakest in <math>\ X</math>&nbsp; under which the embedding <math>\ i : X \rightarrow Y</math>&nbsp; is uniform.
The following theorem is a characterization of the subspace uniformity in terms of functions (it is a special case of the theorem about the preimage structure; see above):
'''Theorem'''&nbsp; Let <math>\ X\subseteq Y</math>,&nbsp; where <math>\ (Y,\mathcal V)</math>&nbsp; is a uniform space. The subspace uniformity is the only uniform structure <math>\ \mathcal U</math>&nbsp; in <math>\ X</math>&nbsp; which satisfies the following two conditions:
* the identity embedding <math>\ i : X \rightarrow Y</math>&nbsp; is a uniform map of <math>\ (X,\mathcal U)</math>&nbsp; into  <math>\ (Y,\mathcal V)</math>;
* for every uniform space <math>(E, \mathcal S)</math>,&nbsp; and for every function <math>\ c : E \rightarrow X</math>,&nbsp; if <math>\ i\circ c</math>&nbsp; is a uniform map of <math>(E, \mathcal S)</math>&nbsp; into <math>(Y, \mathcal V)</math>,&nbsp; then <math>\ c</math>&nbsp; is a uniform map of <math>\ (E,\mathcal S)</math>&nbsp; into <math>\ (X,\mathcal U)</math>.
=== Uniform (Cartesian) product ===
Let <math>\ \mathcal X := \left(\left(X_a,\mathcal U_a\right) : a \in A\right)</math>&nbsp; be an indexed family of uniform spaces. Let <math>\ \pi_a : X \rightarrow X_a</math>&nbsp; be the standard projection of the cartesian product
::::<math>\ X := \prod_{a\in A}\ X_a</math>
onto <math>\ X_a</math>,&nbsp; for every <math>\ a\in A</math>. Then the least upper bound of the preimage uniformities:
:::<math>\mathcal U\ :=\ \mathit{lub}\,\{\mathcal U_{\pi_a} : a \in A\}</math>
is called the '''product uniformity''' in <math>\ X</math>,&nbsp; and <math>\ (X,\mathcal U)</math>&nbsp; is called the '''product of the uniform family''' <math>\ \mathcal X</math>.&nbsp; Thus the product uniformity is the weakiest under which the standard projections are uniform. It is characterized in terms of functions as follows:
'''Theorem'''&nbsp; The product uniformity <math>\mathcal U</math>&nbsp; (see above) is the only one in the Cartesian product <math>\ X</math>,&nbsp; which satisfies the following two conditions:
* each projection <math>\ pi_a\ (a\in A)</math>&nbsp; is a uniform map of <math>\ (X_a,\mathcal U_a)</math>&nbsp; into <math>\ (X,\mathcal U)</math>;
* for every uniform space <math>(E, \mathcal S)</math>,&nbsp; and for every (indexed) family of uniform maps <math>\ c_a : E \rightarrow X_a</math>,&nbsp; of <math>(E, \mathcal S)</math>&nbsp; into <math>\ (X_a,\mathcal U_a)</math>&nbsp; (for <math>\ a\in A</math>)&nbsp; there exists exactly one uniform map <math>\ c : E \rightarrow X</math>&nbsp; such that:
:::<math>\forall_{a\in A}\ c_a\ =\ \pi_a\circ c</math>
'''Remark'''&nbsp; The theory of sets tells us that that unique uniform map <math>\ c</math>&nbsp; is, as a function, the [[diagonal product]]:
:::<math>c = \triangle_{a\in A}\ c_a</math>
Thus the above theorem really says that the diagonal product of uniform maps is uniform.
'''Remark'''&nbsp; In many texts the diagonal product,&nbsp; <math>\ \triangle_{a\in A}\ c_a</math>,&nbsp; is called incorrectly the Cartesian product of functions,&nbsp; <math>\prod_{a\in A}c_a</math>;&nbsp; the correct terminology is used for instance in &nbsp;"''Outline of General Topology''"&nbsp; by Ryszard Engelking.


== The category of the uniform spaces ==
== The category of the uniform spaces ==
The identity function <math>\ \mathcal I_X : X \rightarrow X</math>, which maps every point onto itself, is a uniformly continuous map of <math>(X,\mathcal U)</math> onto itself, for every uniform structure <math>\mathcal U</math> in <math>\ X</math>.
The identity function <math>\ \mathcal I_X : X \rightarrow X</math>, which maps every point onto itself, is a uniformly continuous map of <math>(X,\mathcal U)</math> onto itself, for every uniform structure <math>\mathcal U</math> in <math>\ X</math>.


Line 204: Line 461:


== Pointers ==
== Pointers ==
'''Pointers''' play a role in the theory of uniform spaces which is similar to the role of Cauchy sequences of points, and of the Cantor decreasing sequences of closed sets (whose diameters converge to 0) in mathematical analysis. First let's introduce auxiliary notions of neighbors and clusters.
'''Pointers''' play a role in the theory of uniform spaces which is similar to the role of Cauchy sequences of points, and of the Cantor decreasing sequences of closed sets (whose diameters converge to 0) in mathematical analysis. First let's introduce auxiliary notions of neighbors and clusters.


=== Neighbors ===
=== Neighbors ===
Let <math>\ (X,\mathcal U)\ </math> be a uniform space. Two subsets <math>\ A, B\ </math> of <math>\ X\ </math> are called '''neighbors''' &ndash; and then we write <math>\ A\delta B</math> &ndash; if:
Let <math>\ (X,\mathcal U)\ </math> be a uniform space. Two subsets <math>\ A, B\ </math> of <math>\ X\ </math> are called '''neighbors''' &ndash; and then we write <math>\ A\delta B</math> &ndash; if:


:::<math>(A\times B)\ \cap\ U\ \ne\ \emptyset\ </math>
:::<math>(A\times B)\ \cap\ U\ \ne\ \emptyset\ </math>


for arbitrary <math>\ U \in\mathcal U</math>. If more than one uniform structure is present then we write <math>\ A\delta_{\mathcal U}B\ </math> in order to specify the structure in question.
for arbitrary <math>\ U \in\mathcal U</math>.
 
* Either <math>\ A\delta B</math>&nbsp; or there exists an entourage <math>\ W</math> such that <math>\ A</math>&nbsp; and <math>\ B</math>&nbsp; are <math>\ W</math>-apart.
 
If more than one uniform structure is present then we write <math>\ A\delta_{\mathcal U}B\ </math> in order to specify the structure in question.


The neighbor relation enjoys the following properties:
The neighbor relation enjoys the following properties:
Line 220: Line 479:
* <math>A\delta B\ \Rightarrow B\delta A</math>
* <math>A\delta B\ \Rightarrow B\delta A</math>
* <math>(A \subseteq A'\ \and\ A\delta B)\ \Rightarrow\ A'\delta B</math>
* <math>(A \subseteq A'\ \and\ A\delta B)\ \Rightarrow\ A'\delta B</math>
* <math>A\,\delta\,(B\cup C)\ \Rightarrow\ (A\delta B\ \or\ A\delta C)</math>
* <math>\{x\}\,\delta\, A\ \Leftrightarrow\ x \in \mathit{Cl}(A)</math>
* <math>\mathit{Cl}(A) \cap \mathit{Cl}(B)\ \ne\ \emptyset\ \ \Rightarrow\ \ A\delta B</math>


for arbitrary <math>\ A, A', B \subseteq X</math>.
for arbitrary <math>\ A, A', B \subseteq X</math>&nbsp; and&nbsp; <math>\ x \in X</math>.


'''Remark'''&nbsp; Relation <math>\ A\delta B</math>,&nbsp; and a set of axioms similar to the above selection of properties of <math>\ \delta</math>,&nbsp; was the start point of the Efremovich-Smirnov approach to the topic of uniformity.
Also:
* if&nbsp; <math>\ W</math>&nbsp; is an entourage,&nbsp; <math>\ A</math>&nbsp; and <math>\ B</math>&nbsp; are both <math>\ W</math>-sets, and <math>\ A</math>&nbsp; and <math>\ B</math>&nbsp; are neighbors, then the union <math>\ A\cup B</math>&nbsp; is a <math>\ (W\circ V \circ W)</math>-set for every entourage <math>\ V</math>; in particular, it is a <math>\ (W\circ W \circ W)</math>-set.


Furthermore, if <math>\ f : X \rightarrow Y\ </math> is a uniformly continuous map of <math>\ (X,\mathcal U)\ </math> into <math>\ (Y,\mathcal V)</math>, &nbsp;then
Furthermore, if <math>\ f : X \rightarrow Y\ </math> is a uniformly continuous map of <math>\ (X,\mathcal U)\ </math> into <math>\ (Y,\mathcal V)</math>, &nbsp;then
Line 231: Line 498:


=== Clusters ===
=== Clusters ===
Let <math>\ (X,\mathcal U)\ </math> be a uniform space. A family <math>\ \mathcal K\ </math> of subsets of <math>\ X\ </math> is called a '''cluster''' if each two members of <math>\ \mathcal K\ </math> are neighbors.
Let <math>\ (X,\mathcal U)\ </math> be a uniform space. A family <math>\ \mathcal K\ </math> of subsets of <math>\ X\ </math> is called a '''cluster''' if each two members of <math>\ \mathcal K\ </math> are neighbors.


If <math>\ f : X \rightarrow Y\ </math> is a uniformly continuous map of&nbsp; <math>(X,\mathcal U)</math>&nbsp; into &nbsp;<math>\ \ (Y,\mathcal V)</math>, &nbsp;and <math>\ \mathcal K\ </math> is a cluster in <math>\ (X,\mathcal U)</math>, &nbsp;then
* Every subfamily of a cluster is a cluster.
* If every member of a cluster is a <math>\ W</math>-set, then its union is a <math>\ W\circ W\circ W</math>-set.
* If <math>\ f : X \rightarrow Y\ </math> is a uniformly continuous map of&nbsp; <math>(X,\mathcal U)</math>&nbsp; into &nbsp;<math>\ \ (Y,\mathcal V)</math>, &nbsp;and <math>\ \mathcal K\ </math> is a cluster in <math>\ (X,\mathcal U)</math>, &nbsp;then


::::<math>\{ f(W) : W \in \mathcal K\}</math>
::::<math>\{ f(W) : W \in \mathcal K\}</math>
Line 241: Line 509:


=== Pointers ===
=== Pointers ===
A cluster <math>\ \mathcal K\ </math> in a uniform space <math>\ (X,\mathcal U)\ </math> is called a '''pointer''' if for every entourage <math>\ U \in \mathcal U\ </math> there exists a <math>\ U</math>-set <math>\ A</math> &nbsp;(meaning&nbsp; <math>A\times A \subseteq U</math>)  &nbsp;such that
A cluster <math>\ \mathcal K\ </math> in a uniform space <math>\ (X,\mathcal U)\ </math> is called a '''pointer''' if for every entourage <math>\ U \in \mathcal U\ </math> there exists a <math>\ U</math>-set <math>\ A</math> &nbsp;(meaning&nbsp; <math>A\times A \subseteq U</math>)  &nbsp;such that


:::<math>\forall_{K\in\mathcal K}\ A \cap K\ \ne\ \emptyset</math>
:::<math>\forall_{K\in\mathcal K}\ A \cap K\ \ne\ \emptyset</math>
If <math>\ f : X \rightarrow Y\ </math> is a uniformly continuous map of&nbsp; <math>(X,\mathcal U)</math>&nbsp; into &nbsp;<math>\ \ (Y,\mathcal V)</math>, &nbsp;and <math>\ \mathcal K\ </math> is a pointer in <math>\ (X,\mathcal U)</math>, &nbsp;then
::::<math>\{ f(W) : W \in \mathcal K\}</math>
is a pointer in <math>\ (Y,\mathcal V)</math>.
* Every base of neighborhoods of a point is a pointer. Thus the filter of all neighborhoods of a point is called '''the pointer of neighborhoods''' (of the given point).
=== Equivalence of pointers, maximal and minimal pointers ===
Let the '''elunia''' of two families <math>\ \mathcal K, \mathcal L</math>, &nbsp;be the family &nbsp;<math>\ \mathcal K\Cup \mathcal L</math> &nbsp;of the unions of pairs of elements of these two families, i.e.
:::<math>\ \mathcal K\Cup \mathcal L\ :=\ \{K\cup L : K\in \mathcal K,\ L\in \mathcal L\}</math>
'''Definition'''&nbsp; Two pointers <math>\ \mathcal K, \mathcal L</math> &nbsp; are called equivalent if their &nbsp;<math>\ \mathcal K\Cup \mathcal L</math> &nbsp;elunia is a pointer,
in which case we write <math>\ \mathcal K \sim \mathcal L</math>.
This is indeed an equivalence relation: reflexive, symmetric and transitive.
* Two pointers are equivalent if and only if their union is a pointer.
* The union of all pointers equivalent with a given one is a pointer from the same equivalence class. Thus each equivalent class of pointers has a pointer which contains every pointer of the given class. The following three properties of a pointer <math>\ \mathcal P</math>&nbsp; in a uniform space <math>\ (X,\mathcal U)</math>&nbsp; are equivalent:
**if <math>\ A\subseteq X</math>&nbsp; is a neighbor of every member of <math>\ \mathcal P</math>&nbsp; then <math>\ A\in \mathcal P</math>;
**<math>\mathcal P</math>&nbsp; is not contained in any pointer different from itself;
**<math>\mathcal P</math>&nbsp; contains every pointer equivalent to itself.
* Let <math>\ \mathcal P</math>&nbsp; be a pointer in <math>\ (X,\mathcal U)</math>.&nbsp; Let
:::<math>P_U\ :=\ \bigcup\ \{A \in \mathcal P : A\times A \subseteq U\}</math>
for every entourage <math>\ U \in \mathcal U</math>.&nbsp; Then <math>\ P_U</math>&nbsp; is a <math>U\circ U\circ U</math>-set. It follows that
:::<math>\mathcal Q\ :=\ \{P_U : U \in \mathcal U\}</math>
is a pointer equivalent to <math>\ \mathcal P</math>.
* Let's call a pointer <math>\ \mathcal P</math>&nbsp; '''upward full''' if it has every superset <math>\ B \subseteq X</math>&nbsp; of each of its members <math>\ A\in \mathcal U</math>.&nbsp; If <math>\ \mathcal P</math>&nbsp; is an arbitrary pointer, then its '''upward fulfillment'''
:::<math>\mathcal P'\ :=\ \{B : \exists_{A\in \mathcal P}\ A \subseteq B \subseteq X\}</math>
is an upward full pointer equivalent to <math>\ \mathcal P</math>.
* Let <math>\ \mathcal P</math>&nbsp; be a pointer which is maximal in its equivalence class. Let \mathcal Q</math>&nbsp; be the pointer defined above. Let \mathcal Q'</math>&nbsp; be its upward fulfillment. Pointer \mathcal Q'</math>&nbsp; is the unique upward full pointer of its class, which is contained in any other upward full pointer of this class.
We see that each equivalent class of pointers has two unique pointers: one maximal in the whole class, and one minimal among all upward full pointers.
=== Convergent pointers ===
A pointer <math>\ \mathcal P</math> &nbsp;in a uniform space is said '''to point''' to point <math>\ x</math>&nbsp; if it is equivalent to the pointer of the neighborhoods of <math>\ x</math>. &nbsp;When a pointer points to a point then we say that such a pointer id '''convergent'''.
*A uniform space is Hausdorff (as a topological space) of and only if no pointer converges to more than one point.
== Complete uniform spaces and completions ==
A uniform space is called '''complete''' if each pointer of this space is convergent.
'''Remark'''&nbsp; In mathematical practice (so far) only Hausdorff complete uniform spaces play an important role; it must be due to the fact that in Hausdorff spaces each pointer points to at the most one point, and to exactly one in the case of a Hausdorff complete space.
For every uniform space <math>\ (X,\mathcal U)</math>&nbsp; its completion is defined as a uniform map <math>\ c : X \rightarrow X'</math>&nbsp; of <math>\ (X,\mathcal U)</math>&nbsp; into a Hausdorff complete space <math>\ (X',\mathcal U')</math>,&nbsp; which has the following universality property:
:for every uniform map <math>\ f : X \rightarrow Y</math>&nbsp; of <math>\ (X,\mathcal U)</math>&nbsp; into a Hausdorff complete space <math>\ (Y,\mathcal V)</math> there exists exactly one uniform map <math>\ f' : X' \rightarrow Y</math>&nbsp; of <math>\ (X',\mathcal U')</math>&nbsp; into <math>\ (Y,\mathcal V)</math> such that <math>\ f = f'\circ c</math>.
'''Theorem'''&nbsp; For every uniform space<math>\ (X,\mathcal U)</math>&nbsp; there exists a completion <math>\ c' : X \rightarrow X'</math>&nbsp; of <math>\ (X,\mathcal U)</math>&nbsp; into a Hausdorff complete space <math>\ (X',\mathcal U')</math>.&nbsp; Such a completion is unique up to a uniform homeomorphism, meaning that if <math>\ c'' : X \rightarrow X''</math>&nbsp; is another completion of <math>\ (X,\mathcal U)</math>&nbsp; into a Hausdorff complete space <math>\ (X'',\mathcal U'')</math>.&nbsp; then there is exactly one uniform homeomorphism <math>\ h : X' \rightarrow X''</math>&nbsp; such that <math>\ c'' = h\circ c'</math>.
'''Remark'''&nbsp; The second part of the theorem, about the uniqueness of the completion (up to a uniform homeomorphism) is an immediate consequence of the definition of the completion (it has a uniqueness statement as its part).

Latest revision as of 06:00, 17 October 2013

This article is developing and not approved.
Main Article
Discussion
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
 
This editable Main Article is under development and subject to a disclaimer.

In mathematics, and more specifically in topology, the notions of a uniform structure and a uniform space generalize the notions of a metric (distance function) and a metric space respectively. As a human activity, the theory of uniform spaces is a chapter of general topology. From the formal point of view, the notion of a uniform space is a sibling of the notion of a topological space. While uniform spaces are significant for mathematical analysis, the notion seems less fundamental than that of a topological space. The notion of uniformity is auxiliary rather than an object to be studied for its own sake (specialists on uniform spaces may disagree though).

For two points of a metric space, their distance is given, and it is a measure of how close each of the given two points is to another. The notion of uniformity catches the idea of two points being near one another in a more general way, without assigning a numerical value to their distance. Instead, given a subset , we may say that two points  are W-near one to another, when ; certain such sets are called entourages (see below), and then the mathematician Roman Sikorski would write suggestively:

meaning that this whole mathematical phrase stands for: is an entourage, and .  Thus we see that in the general case of uniform spaces, the distance between two points is (not measured but) estimated by the entourages to which the ordered pair of the given two points belongs.

Historical remarks

The uniform ideas, in the context of finite dimensional real linear spaces (Euclidean spaces), appeared already in the work of the pioneers of the precision in mathematical analysis (A.-L. Cauchy, E. Heine). Next, George Cantor constructed the real line by metrically completing the field of rational numbers, while Frechet introduced metric spaces. Then Felix Hausdorff extended the Cantor's completion construction onto arbitrary metric spaces. General uniform spaces were introduced by Andre Weil in a 1937 publication.

The uniform ideas may be expressed equivalently in terms of coverings. The basic idea of an abstract triangle inequality in terms of coverings has appeared already in the proof of the metrization Aleksandrov-Urysohn theorem (1923).

A different but equivalent approach was introduced by V.A. Efremovich, and developed by Y.M.Smirnov. Efremovich axiomatized the notion of two sets approaching one another (infinitely closely, possibly overlapping). In terms of entourages, two sets approach one another if for every entourage there is an ordered pair of points , one from each of the given two sets, i.e. for which the Sikorski's inequality holds:

According to P.S.Aleksandrov, this kind of approach to uniformity, in the language of nearness, goes back to Riesz (perhaps F.Riesz).

Topological prerequisites

This article assumes that the reader is familiar with certain elementary, basic notions of topology, namely:

  • topology (as a family of open sets), topological space;
  • neighborhoods (of points and sets), bases of neighborhoods;
  • separation axioms:
    •   (Kolmogorov axiom);
    •   (Hausdorff axiom);
    • regularity axiom and 
    • complete regularity (Tichonov axiom) and  ;
    • normal spaces and  ;
  • continuous functions (maps, mappings);
  • compact spaces (and compact Hausdorff spaces, i.e. compact -spaces);
  • metrics and pseudo-metrics, metric and pseudo-metric spaces, topology induced by a metric or pseudo-metric.

Definition

Auxiliary set-theoretical notation, notions and properties

Given a set , and , let's use the notation:

and

and

Theorem

  • if   and   are -sets,  where ,  and if ,  then   is a -set; or in the Sikorski's notation:



for every  ,  and .

Definition  A subset of is called a -set if  , in which case we may also use Sikorski's notation:

  • Let   be a family of sets such that the union of any two of them is a -set  (where ).  The union   is a -set.

Uniform space (definition)

An ordered pair , consisting of a set and a family of subsets of , is called a uniform space, and is called a uniform structure in , if the following five properties (axioms) hold:

Members of are called entourages.

Instead of the somewhat long term uniform structure we may also use short term uniformity—it means exactly the same.


Example:     is an entourage of every uniform structure in .

Two extreme examples

The single element family is a uniform structure in ; it is called the weakest uniform structure (in ).

Family

is a uniform structure in   too; it is called the strongest uniform structure or the discrete uniform structure in ; it contains every other uniform structure in .

  •   is the strongest uniform structure in   if and only if  .

Uniform base

A family is called to be a base of a uniform structure in if  , where:

Remark  Uniform bases are also called fundamental systems of neighborhoods of the uniform structure (by Bourbaki).


Instead of starting with a uniform structure, we may begin with a family .  If family is a uniform structure in , then we simply say that is a uniform base (without mentioning explicitly any uniform structure).

Theorem A family of subsets of is a uniform base if and only if the following properties hold:


Remark  Property 3 above features (it's not a typo!)--it's simpler this way.

The symmetric base

Let . We say that   is symmetric if .


Let be as above, and let . Then is symmetric, i.e.


Now let be a uniform structure in . Then

is a base of the uniform structure ; it is called the symmetric base of .  Thus every uniform structure admits a symmetric base.

Example

Notation:  is the family of all finite subsets of .

Let   be an infinite set. Let

for every , and

Each member of is symmetric. Let's show that is a uniform base:

Indeed, axioms 1-3 of uniform base obviously hold. Also:
hence axiom 4 holds too. Thus is a uniform base.

The generated uniform structure is different both from the weakest and from the strongest uniform structure in ,  (because is infinite).

Metric spaces

Let be a metric space. Let

for every real .  Define now

and finally:

Then is a uniform structure in ; it is called the uniform structure induced by metric   (in ).

Family is a base of the structure (see above). Observe that:

for arbitrary real numbers  .  This is why is a uniform base, and is a uniform structure (see the axioms of the uniform structure above).

Remark (!)   Everything said in this text fragment is true more generally for arbitrary pseudo-metric space ; instead of the standard metric axiom:
a pseudo-metric space is assumed to satisfy only a weaker axiom:
(for arbitrary  ).


The induced topology

First another piece of auxiliary notation--given a set , and , let


Let be a uniform space. Then families

where runs over , form a topology defining system of neighborhoods in . The topology itself is defined as:

  • The topology induced by the weakest uniform structure is the weakest topology. Furthermore, the weakest uniform structure is the only one which induces the weakest topology (in a given set).
  • The topology induced by the strongest (discrete) uniform structure is the strongest (discrete) topology. Furthermore, the strongest uniform structure is the only one which induces the discrete topology in the given set if and only if that set is finite. Indeed, for any infinite set also the uniform structure (see Example above) induces the discrete topology. Thus different uniform structures (defined in the same set) can induce the same topology.
  • The topology induced by a metrics is the same as the topology induced by the uniform structure induced by that metrics:


Convention  From now on, unless stated explicitly to the contrary, the topology considered in a uniform space is always the topology induced by the uniform structure of the given space. In particular, in the case of the uniform spaces the general topological operations on sets, like interior  and closer  ,  are taken with respect to the topology induced by the uniform structure of the respective uniform space.


Example  Consider three metric functions in the real line :



All these three metric functions induce the same, standard topology in .  Furthermore, functions and induce the same uniform structure in . Thus different metric functions can induce the same uniform structure. On the other hand, the uniform structures induced by and are different, which shows that different uniform structures, even when they are induced by metric functions, can induce the same topology.

Theorem  Let be a uniform space. The family of all entourages   which are open in is a base of structure

Remark  An equivalent formulation of the above theorem is:

  • the interior of every entourage is an entourage.

Proof (of the theorem).  Let   be an arbitrary entourage. Let   be a symmetric entourage such that . It is enough to prove that entourage   is contained in the topological interior of . Let's do it. Let  . Let .  Then, since   is symmetric, we have:

hence .  This proves that

Thus every point   belongs to the topological interior of ,  i.e. the entire   is contained in the interior of .

End of proof.

Separation properties

Notation:

for every entourage   and   (see above the definition of ). Thus   is a neighborhood of .


Warning    does not have to be a base of neighborhoods of , as shown by the following example (consult the section about metric spaces, above):

Example  Let   be the space of real numbers with its customary Euclidean distance (metric)

and the uniformity induced by this metric (see above)—this uniformity is called Euclidean. Let   be the set of natural numbers. Then the union of open intervals:

is an open neighborhood of &nbsd in ,&nbsd but there does not exist any   such that   (see above). It follows that   does not contain any set ,  where   is the Euclidean uniformity in .


Definition  Let ,  and   be an entourage. We say that   and   are -apart, if

in which case we write

in the spirit of Sikorski's notation (it is an idiom, don't try to parse it).

  • Let   be -apart. Let   be another entourage, and let it be symmetric (meaning   and such that  .  Then   and   are -apart:

We see that two sets which are apart (for an entourage) admit neighborhoods which are apart too. Now we may mimic Paul Urysohn by stating a uniform variant of his topological lemma:

Uniform Urysohn Lemma Let   be apart. Then there exists a uniformly continuous function   such that for every ,  and for every .

It is possible to adopt the main idea of the Urysohn's original proof of his lemma to this new uniform situation by iterating the statement just above the Uniform Urysohn Lemma.

Proof (of the Uniform Urysohn Lemma)
Let be an entourage. Let   be -apart.  Let   be a sequence of entourages such that
for every .  Next, let   for every ,  where   and ,  be defined, inductively on ,  as follows:
for every   and .  We see that
  •   and   are -apart for every   and ;
  •   for every ;
  • the assignment   is increasing, while   is decreasing.
The required uniform function can be defined as follows:
for every .  Obviously,   for every ,  and   for every .  Furthermore, let  .  Then
for certain positive integer . Let   be such that
Then there exists   such that
Thus ,  while ,  hence .  Thus points   and   are -apart.
We have proved that for every   the images are less then -apart:
End of proof.


Now let's consider a special case of one of the two sets being a 1-point set.

  • Let ,  and let be a neighborhood of   (with respect to the uniform topology, i.e. with respect to the topology induced by the uniform structure). Then   and   are apart.

Indeed, there exists an entourage   such that ,  which means that

i.e.    and   are -apart.

Thus we may apply the Uniform Urysohn Lemma:

Theorem  Every uniform space is completely regular (as a topological space with the topology induced by the uniformity).

Remark  This only means that there is a continuous function   such that   and for every ,  whenever   is a neighborhood of .  However, it does not mean that uniform spaces have to be Hausdorff spaces. In fact, uniform space with the weakest uniformity has the weakest topology, hence it's never Hausdorff, not even T0, unless it has no more than one point.

On the other hand, when one of any two points has a neighborhood to which the other one does not belong then the two 1-point sets, consisting of these two points, are apart, hence they admit disjoint neighborhoods. Thus it is easy to prove the following:

Theorem  The following three topological properties of a uniform space   are equivalent
  •   is a T0-space;
  •   is a T2-space (i.e. Hausdorff);
  • .

When a uniform structure induces a Hausdorff topology then it's called separating.

Uniform continuity and uniform homeomorphisms

Let and be uniform spaces. Function   is called uniformly continuous if

A more elementary calculus δε-like equivalent definition would sound like this (UV play the role of δε respectively):

  is uniformly continuous if (and only if) for every    there exists    such that for every    if    then  .

Every uniformly continuous map is continuous with respect to the topologies induced by the ivolved uniform structures.

Example Every constant map from one uniform space to another is uniformly continuous.


A uniform map   of a uniform space   into a uniform space   is called a uniform homeomorphism of these two spaces) if it is bijective, and the inverse function   is a uniform map of  into .

Constructions and operations

Constructions of new uniform spaces based on already existing uniform spaces are called operations. Otherwise they are called simply constructions. Thus the uniformity induced by a metric (see above) is an example of a construction (of a uniformity).

A full conceptual appreciation of operations and constructions requires the theory of categories (see below).

Partial order of uniformities

The set of uniform structures in a set   is (partially) ordered by the inclusion relation; given two uniformities   and   in   such that   we say that   is weaker than   and   is stronger than .  The set of all uniform structures in   has the weakest (smallest) and the strongest (largest) element (uniformity). We will see in the next section, that each set of uniform structures in   admits the least upper bound. Thus it follows that each set admits also the greatest lower bound—indeed, the weakest uniformity is one of the lower bounds of a set, and there exists the least upper bound of the set of all lower bounds, which is the required greatest lower bound. In short, the uniformities in arbitrary set form a complete Birkhoff lattice.

The least upper bound

Let    be such that:

    and    

Then

The same holds not just for two but for any finite (or just arbitrary) family of pairs as above. In particular, let   be an arbitrary family of uniformities in .  We will construct the least upper bound of such a family:

For each   let entourage   be such that:

Then, whenever for a finite (or any) family   an entourage   is selected for each , we obtain:

Now it is easy to see that the family

is a uniform base. It is obvious that the uniformity ,  generated by ,  is the least upper bound of :

Preimage

Let   be a set; let   be a uniform space; let   be an arbitrary function. Then

is a base of a uniform structure   in .  Uniformity   is called the preimage of uniformity   under function .  Now   became a uniform map of the uniform space   into .  Moreover, and that's the whole point of the preimage operation, uniformity   is the weakest in  , with respect to which function   is uniform.

  • Let   be a set; let   be a uniform space; let   be an arbitrary surjection. Then for every uniform space ,  and every function   such that   is a uniform map of   into ,  the function   is a uniform map of   into .

The preimage uniformity can be characterized purely in terms of function; thus the following theorem could be a (non-constructive) definition of the preimage uniformity:

Theorem  Let   be a set; let   be a uniform space; let   be an arbitrary function. The preimage uniformity is the only uniform structure   which satisfies the following two conditions:

  •   is a uniform map of   into ;
  • for every uniform space ,  and for every function ,  if   is a uniform map of ,  into ,  then   is a uniform map of   into .

Proof  The first condition means that   is stronger than the preimage ;  and the second condition, once we substitute ,  and , tells us that   is weaker than .  Thus .  Of course   satisfies both conditions of the theorem.

End of proof.

Uniform subspace

Let   be a uniform space; let   be a subset of .  Let uniformity   be the primage of uniformity   under the identity embedding   (where ).  Then   is called the uniform subspace of the uniform space ,  and   – the subspace uniformity. It is directly described by the equality:

The subspace uniformity is the weakest in   under which the embedding   is uniform.

The following theorem is a characterization of the subspace uniformity in terms of functions (it is a special case of the theorem about the preimage structure; see above):

Theorem  Let ,  where   is a uniform space. The subspace uniformity is the only uniform structure   in   which satisfies the following two conditions:

  • the identity embedding   is a uniform map of   into ;
  • for every uniform space ,  and for every function ,  if   is a uniform map of   into ,  then   is a uniform map of   into .

Uniform (Cartesian) product

Let   be an indexed family of uniform spaces. Let   be the standard projection of the cartesian product

onto ,  for every . Then the least upper bound of the preimage uniformities:

is called the product uniformity in ,  and   is called the product of the uniform family .  Thus the product uniformity is the weakiest under which the standard projections are uniform. It is characterized in terms of functions as follows:

Theorem  The product uniformity   (see above) is the only one in the Cartesian product ,  which satisfies the following two conditions:

  • each projection   is a uniform map of   into ;
  • for every uniform space ,  and for every (indexed) family of uniform maps ,  of   into   (for )  there exists exactly one uniform map   such that:

Remark  The theory of sets tells us that that unique uniform map   is, as a function, the diagonal product:

Thus the above theorem really says that the diagonal product of uniform maps is uniform.

Remark  In many texts the diagonal product,  ,  is called incorrectly the Cartesian product of functions,  ;  the correct terminology is used for instance in  "Outline of General Topology"  by Ryszard Engelking.

The category of the uniform spaces

The identity function , which maps every point onto itself, is a uniformly continuous map of onto itself, for every uniform structure in .

Also, if and are uniformly continuous maps of into , and of into respectively, then is a uniformly continuous map of into .

These two properties of the uniformly continuous maps mean that the uniform spaces (as objects) together with the uniform maps (as morphisms) form a category    (for Uniform Spaces).

Remark A morphism in category    is more than a set function; it is an ordered triple consisting of two objects (domain and range) and one set function (but it must be uniformly continuous). This means that one and the same function may serve more than one morphism in  .

Pointers

Pointers play a role in the theory of uniform spaces which is similar to the role of Cauchy sequences of points, and of the Cantor decreasing sequences of closed sets (whose diameters converge to 0) in mathematical analysis. First let's introduce auxiliary notions of neighbors and clusters.

Neighbors

Let be a uniform space. Two subsets of are called neighbors – and then we write – if:

for arbitrary .

  • Either   or there exists an entourage such that   and   are -apart.

If more than one uniform structure is present then we write in order to specify the structure in question.

The neighbor relation enjoys the following properties:

  • no set is a neighbor of the empty set;

for arbitrary   and  .

Remark  Relation ,  and a set of axioms similar to the above selection of properties of ,  was the start point of the Efremovich-Smirnov approach to the topic of uniformity.

Also:

  • if    is an entourage,    and   are both -sets, and   and   are neighbors, then the union   is a -set for every entourage ; in particular, it is a -set.

Furthermore, if is a uniformly continuous map of into ,  then

for arbitrary .

Clusters

Let be a uniform space. A family of subsets of is called a cluster if each two members of are neighbors.

  • Every subfamily of a cluster is a cluster.
  • If every member of a cluster is a -set, then its union is a -set.
  • If is a uniformly continuous map of    into  ,  and is a cluster in ,  then

is a cluster in .

Pointers

A cluster in a uniform space is called a pointer if for every entourage there exists a -set  (meaning  )  such that

If is a uniformly continuous map of    into  ,  and is a pointer in ,  then

is a pointer in .

  • Every base of neighborhoods of a point is a pointer. Thus the filter of all neighborhoods of a point is called the pointer of neighborhoods (of the given point).

Equivalence of pointers, maximal and minimal pointers

Let the elunia of two families ,  be the family    of the unions of pairs of elements of these two families, i.e.

Definition  Two pointers   are called equivalent if their    elunia is a pointer, in which case we write .

This is indeed an equivalence relation: reflexive, symmetric and transitive.

  • Two pointers are equivalent if and only if their union is a pointer.
  • The union of all pointers equivalent with a given one is a pointer from the same equivalence class. Thus each equivalent class of pointers has a pointer which contains every pointer of the given class. The following three properties of a pointer   in a uniform space   are equivalent:
    • if   is a neighbor of every member of   then ;
    •   is not contained in any pointer different from itself;
    •   contains every pointer equivalent to itself.
  • Let   be a pointer in .  Let

for every entourage .  Then   is a -set. It follows that

is a pointer equivalent to .

  • Let's call a pointer   upward full if it has every superset   of each of its members .  If   is an arbitrary pointer, then its upward fulfillment

is an upward full pointer equivalent to .

  • Let   be a pointer which is maximal in its equivalence class. Let \mathcal Q</math>  be the pointer defined above. Let \mathcal Q'</math>  be its upward fulfillment. Pointer \mathcal Q'</math>  is the unique upward full pointer of its class, which is contained in any other upward full pointer of this class.

We see that each equivalent class of pointers has two unique pointers: one maximal in the whole class, and one minimal among all upward full pointers.

Convergent pointers

A pointer  in a uniform space is said to point to point   if it is equivalent to the pointer of the neighborhoods of .  When a pointer points to a point then we say that such a pointer id convergent.

  • A uniform space is Hausdorff (as a topological space) of and only if no pointer converges to more than one point.

Complete uniform spaces and completions

A uniform space is called complete if each pointer of this space is convergent.

Remark  In mathematical practice (so far) only Hausdorff complete uniform spaces play an important role; it must be due to the fact that in Hausdorff spaces each pointer points to at the most one point, and to exactly one in the case of a Hausdorff complete space.

For every uniform space   its completion is defined as a uniform map   of   into a Hausdorff complete space ,  which has the following universality property:

for every uniform map   of   into a Hausdorff complete space there exists exactly one uniform map   of   into such that .

Theorem  For every uniform space  there exists a completion   of   into a Hausdorff complete space .  Such a completion is unique up to a uniform homeomorphism, meaning that if   is another completion of   into a Hausdorff complete space .  then there is exactly one uniform homeomorphism   such that .

Remark  The second part of the theorem, about the uniqueness of the completion (up to a uniform homeomorphism) is an immediate consequence of the definition of the completion (it has a uniqueness statement as its part).