Uniform space

In topology, one defines uniform spaces in order to study concepts such as uniform continuity, completeness and uniform convergence. Uniform spaces generalize metric spaces and topological groups and therefore underlie most of analysis. They were introduced by Bourbaki.

If X is a set, a nonempty system Φ of subsets of the Cartesian product X × X is called a uniform structure on X if the following axioms are satisfied:

1. if U is in Φ, then U contains { (x, x) : x in X }.
2. if U is in Φ, then { (y, x) : (x, y) in U } is also in Φ
3. if U is in Φ and V is a subset of X × X which contains U, then V is in Φ
4. if U and V are in Φ, then U ∩ V is in Φ
5. if U is in Φ, then there exists V in Φ such that, whenever (x, y) and (y, z) are in V, then (x, z) is in U.

The set X together with a uniform structure Φ is called a uniform space. The elements of Φ are called entourages.

Intuitively, two points x and y are "close together" if the pair (x, y) is contained in many entourages. A single entourage captures a particular degree of "closeness". Interpreted thusly, the axioms mean the following:

1. every point is close to itself
2. if x is close to y, then y is close to x
3. relaxing a degree of closeness yields another degree of closeness
4. by combining two degrees of closeness, you get another one
5. to every degree of closeness, there exists another one that captures "twice as close".

The essential difference between a topological space and a uniform space is that in a uniform space, you can formalize the idea that "x₁ is about as far away from x₂ as y₁ is from y₂" while in a topological space you can only formalize "x₁ is about as far away from x as x₂ is from x".

Uniform spaces may be defined alternatively and equivalently using systems of pseudo-metrics, an approach which is often useful in functional analysis.

Every uniform space X becomes a topological space by defining a subset O of X to be open if and only if for every x in O there exists an entourage V such that { y in X : (x, y) in V } is a subset of O. It is possible that two different uniform structures generate the same topology on X.

Every metric space (M, d) can be considered as a uniform space by defining a subset V of M × M to be an entourage if and only if there exists an ε > 0 such that for all x, y in M with d(x, y) < ε we have (x, y) in V. This uniform structure on M generates the usual topology on M.

Every topological group (G,*) becomes a uniform space if we define a subset V of G × G to be an entourage if and only if the set {x*y^-1 : (x, y) is in V} is a neighborhood of the identity element of G. This uniform structure on G is called the right uniformity on G, because for every a in G, the right multiplication x |-> x*a is uniformly continuous with respect to this uniform structure. One may also define a left uniformity on G; the two need not coincide, but they both generate the given topology on G.

Every uniform space is a completely regular topological space, and conversely, every completely regular space can be turned into a uniform space (often in many ways) so that the induced topology coincides with the given one.

A uniform space X is a T₀-space if and only if the intersection of all the elements of its uniform structure equals the diagonal {(x, x) : x in X}. If this is the case, X is in fact a Tychonoff space and in particular Hausdorff.

Common misspelling and questions (FAQ)

niform-space  uiform-space  unform-space  uniorm-space  unifrm-space  unifom-space  unifor-space  uniformspace  uniform-pace  uniform-sace  uniform-spce  uniform-spae  uniform-spac  nuiform-space  uinform-space  unfiorm-space  uniofrm-space  unifrom-space  unifomr-space  unifor-mspace  uniforms-pace  uniform-psace  uniform-sapce  uniform-spcae  uniform-spaec  uniform-spac  uuniform-space  unniform-space  uniiform-space  unifform-space  unifoorm-space  uniforrm-space  uniformm-space  uniform--space  uniform-sspace  uniform-sppace  uniform-spaace  uniform-spacce  uniform-spacee  7niform-space  yniform-space  hniform-space  8niform-space  jniform-space  8niform-space  iniform-space  jniform-space  uhiform-space  ubiform-space  ujiform-space  ujiform-space  umiform-space  un8form-space  unuform-space  unjform-space  un9form-space  unkform-space  un9form-space  unoform-space  unkform-space  unirorm-space  unidorm-space  unicorm-space  unitorm-space  univorm-space  unitorm-space  unigorm-space  univorm-space  unif9rm-space  unifirm-space  unifkrm-space  unif0rm-space  uniflrm-space  unif0rm-space  unifprm-space  uniflrm-space  unifo4m-space  unifoem-space  unifodm-space  unifo5m-space  unifofm-space  unifo5m-space  unifotm-space  unifofm-space  uniforj-space  uniforn-space  unifork-space  unifork-space  unifor,-space  uniform0space  uniformpspace  uniform[space  uniform-wpace  uniform-apace  uniform-zpace  uniform-epace  uniform-xpace  uniform-epace  uniform-dpace  uniform-xpace  uniform-s0ace  uniform-soace  uniform-slace  uniform-s-ace  uniform-s;ace  uniform-s-ace  uniform-s[ace  uniform-s;ace  uniform-spqce  uniform-spwce  uniform-spzce  uniform-spwce  uniform-spsce  uniform-spzce  uniform-spade  uniform-spaxe  uniform-spafe  uniform-spafe  uniform-spave  uniform-spac3  uniform-spacw  uniform-spacs  uniform-spac4  uniform-spacd  uniform-spac4  uniform-spacr  uniform-spacd  unyform-space  uniform-spaces 


and gardens. The road which led to it, and which followed all the two men could hardly pass abreast, then, farther on, lost itself in a one climbed to the village of Langside, while the other led to comprehended the importance of occupying this village, and, turning before the enemy, who doubtless, having made the same observation as moment a considerable body of cavalry. Lord Seyton called up his men directly, but while he was ranging them Earl of Argyll "My lord," said he, "you do me a wrong in charging Lord Seyton to honour belongs. Allow me, then, to use my privilege in claiming it." "It is I who received the order to seize it; I will seize it!" cried Seyton, putting his horse to the gallop and rushing down into the his side with the same object; "come, my men-at-arms! For God and the ran against one another in the narrow way, where, as we have said, there, and the conflict began among friends who should have been them some corpses stifled in the press, or even killed by their of in the ravine. But during this struggle Seyton and Arbroath had taken the road by Glasgow, had reached the village beforehand; it was and, understanding more and more the importance of the village, .