PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very high Entry average rating: No information on entry rating
complete uniform space (Definition)

Let $X$ be a uniform space with uniformity $\mathcal{U}$ A filter $\mathcal{F}$ on $X$ is said to be a Cauchy filter if for each entourage $V$ in $\mathcal{U}$ there is an $F\in \mathcal{F}$ such that $F\times F\subseteq V$

We say that $X$ is complete if every Cauchy filter is a convergent filter in the topology $T_{\mathcal{U}}$ induced by $\mathcal{U}$ $\mathcal{U}$ in this case is called a complete uniformity.

A Cauchy sequence $\lbrace x_i\rbrace$ in a uniform space $X$ is a sequence in $X$ whose section filter is a Cauchy filter. A Cauchy sequence is said to be convergent if its section filter is convergent. $X$ is said to be sequentially complete if every Cauchy sequence converges (every section filter of it converges).

Remark. This is a generalization of the concept of completeness in a metric space, as a metric space is a uniform space. As we see above, in the course of this generalization, two notions of completeness emerge: that of completeness and sequentially completeness. Clearly, completeness always imply sequentially completeness. In the context of a metric space, or a metrizable uniform space, the two notions are indistinguishable: sequentially completeness also implies completeness.




"complete uniform space" is owned by CWoo.
(view preamble | get metadata)

View style:

See Also: complete

Other names:  semicomplete, semi-complete
Also defines:  Cauchy filter, Cauchy sequence, sequentially complete, complete uniformity
Log in to rate this entry.
(view current ratings)

Cross-references: metrizable, imply, metric space, converges, convergent, section filter, sequence, topology, convergent filter, entourage, filter, uniformity, uniform space
There are 17 references to this entry.

This is version 4 of complete uniform space, born on 2007-02-12, modified 2007-03-10.
Object id is 8907, canonical name is CompleteUniformSpace.
Accessed 5106 times total.

Classification:
AMS MSC54E15 (General topology :: Spaces with richer structures :: Uniform structures and generalizations)

Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add derivation | add example | add (any)