What are interesting properties of totally bounded uniform spaces?

Question

I work on reloids, a generalization of uniform spaces.

As such I am interested about properties of totally bounded uniform spaces.

My question: What are interesting properties of totally bounded uniform spaces? (The more theorems/propositions you give, the better.)

By the way, here is a book “Uniform spaces” by J.R. Isbell (MSM012, AMS, 1964) — Alex Ravsky, May 27 '13 at 06:33

score 4 · Answer 1 · 2013-05-25T13:50:24.357

4

As far as I remember, these are equivalent for a uniform space $(X,\mathcal D)$:

$(X,\mathcal D)$ is totally bounded, that is, for each entourage $D\in \mathcal D$, there are $x_1,...,x_n\in X$ with $D[x_1]\cup...\cup D[x_n]=X$.
$(X,\mathcal D)$ is precompact, that is, it has a compact completion.
Every completion of $(X,\mathcal D)$ is compact.
Every net in $X$ has a Cauchy subnet.

Also every Tychonoff space has a compatible totally bounded uniformity.

edited May 25 '13 at 13:50

answered May 25 '13 at 13:26

The way round: uniformities are a generalization of proximities – porton May 25 '13 at 13:37
How (1) follows from the Wikipedia's definition of total boundness? http://en.wikipedia.org/wiki/Totally_bounded_space – porton May 25 '13 at 19:48
OK, (1) is proved. But I have some trouble proving the reverse implication. – porton May 27 '13 at 16:56

1 Answers1