# uniform space

A uniform structure (or uniformity) on a set $X$ is a non empty set $\mathcal{U}$ of subsets of $X\times X$ which satisfies the following axioms:

1. 1.

Every subset of $X\times X$ which contains a set of $\mathcal{U}$ belongs to $\mathcal{U}$.

2. 2.

Every finite intersection of sets of $\mathcal{U}$ belongs to $\mathcal{U}$.

3. 3.

Every set of $\mathcal{U}$ is a reflexive relation on $X$ (i.e. contains the diagonal).

4. 4.

If $V$ belongs to $\mathcal{U}$, then $V^{{\prime}}=\{(y,x):(x,y)\in V\}$ belongs to $\mathcal{U}$.

5. 5.

If $V$ belongs to $\mathcal{U}$, then exists $V^{{\prime}}$ in $\mathcal{U}$ such that, whenever $(x,y),(y,z)\in V^{{\prime}}$, then $(x,z)\in V$ (i.e. $V^{{\prime}}\circ V^{{\prime}}\subseteq V$).

The sets of $\mathcal{U}$ are called entourages or vicinities. The set $X$ together with the uniform structure $\mathcal{U}$ is called a uniform space.

If $V$ is an entourage, then for any $(x,y)\in V$ we say that $x$ and $y$ are $V$-close.

Every uniform space can be considered a topological space with a natural topology induced by uniform structure. The uniformity, however, provides in general a richer structure, which formalize the concept of relative closeness: in a uniform space we can say that $x$ is close to $y$ as $z$ is to $w$, which makes no sense in a topological space. It follows that uniform spaces are the most natural environment for uniformly continuous functions and Cauchy sequences, in which these concepts are naturally involved.

Examples of uniform spaces are metric spaces, topological groups, and topological vector spaces.

Type of Math Object:
Definition
Major Section:
Reference
Groups audience:

## Mathematics Subject Classification

54E15 Uniform structures and generalizations

## Recent Activity

May 17
new image: sinx_approx.png by jeremyboden
new image: approximation_to_sinx by jeremyboden
new image: approximation_to_sinx by jeremyboden
new question: Solving the word problem for isomorphic groups by mairiwalker
new image: LineDiagrams.jpg by m759
new image: ProjPoints.jpg by m759
new image: AbstrExample3.jpg by m759
new image: four-diamond_figure.jpg by m759
May 16
new problem: Curve fitting using the Exchange Algorithm. by jeremyboden
new question: Undirected graphs and their Chromatic Number by Serchinnho

## Info

Owner: mps
Added: 2002-06-10 - 10:20
Author(s): mps

## Corrections

clarify by mps ✓

vicinity by CWoo ✓

## Versions

(v12) by mps 2013-03-22
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 33, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.8993343710899353, "perplexity_flag": "middle"}