Uniform Spaces 5 - Countably Uniform Spaces
![](/static/dividerdecorator-c9420a9fac07ae4a2a454236916e50cd.png)
This is the fifth post in my series on uniform spaces. See my other posts here:
- Nets
- Introduction to Uniform Spaces
- The Completion of a Uniform Space
- The Bolzano-Weierstrass Theorem
- Countably Uniform Spaces
Introduction
So far in this series of posts, I have introduced uniform spaces as a generalization of metric spaces, and I have drawn all of my inspiration for uniform spaces from metric spaces. Perhaps, I have even been too focused on metric spaces in these blog posts. In this post, I hope to rectify this situation by determining exactly when a uniform space arises from a metric space, and when it does not.
Countably Uniform Spaces
I don't know an official term for what I will call "countably uniform spaces", despite how important they are to the question of when a uniform space is metrizable. If anyone knows of a more accepted term, feel free to let me know.
Definition: A countably uniform space is a uniform space with a countable basis.
Recall that a basis for a uniform space is a subset such that for any entourage , there is some such that . (Note: this is completely separate from the notion of a topological space basis.) A uniform space can be entirely described in terms of its basis, and because of this, a smaller basis often corresponds to a less complicated space. For example, if is a metric space, then the entourages
form a countable basis for , as a uniform space. Thus, every metric space is countably uniform.
For an example of a space that is not countably uniform, let be an uncountable set and consider , the product of uncountably many copies of . If had a countable basis, then would be first-countable as a topological space, but it is not. I leave it as an exercise to prove moreover that any basis for must have at least elements.
In general, an uncountable product or coproduct of uniform spaces is usually not countably uniform.
However, countably uniform spaces are well-behaved with respect to to all the uniform space operations that we've discussed so far as long as those operations only involve countable collections of spaces. The following proofs have been omitted since they are a bit long to write up, but they do not require any new machinery,
Lemma: Let be a countable collection of countably uniform spaces. Then, is also countably uniform.
Lemma: Let be a countable collection of countably uniform spaces. Then, is also countably uniform.
Lemma: If is a countably uniform space, then so is .
Metrizable Uniform Spaces.
Define a uniform space to be metrizable if there exists a metric on such that the uniform space and the metric space are compatible. In other words, the uniform space associated to is . The metric need not be unique, and usually isn't. It is not hard to show that every metrizable space is separable and countably uniform.
Theorem (Metrizability of Uniform Spaces): A uniform space is metrizable if and only if it is separable and countably uniform.
It suffices to prove that a separable, countably uniform space is metrizable. Suppose that is a countable uniform basis for . By replacing with , we may assume that for all . By taking a subsequence of this, we may further assume that for all .
The key to constructing a metric on is treat as a notion of "-closeness". In particular, we would like to have whenever .
For any sequence , define the length of the sequence to be:
Define to be the minimum length of any sequence whose first term is and whose second term is . Although it may not be obvious, this function is a metric. This metric also satisfies: if and only if . From here, it can be shown that is indeed compatible with . .
For me, this theorem challenges the utility of uniform spaces in general because it implies that almost every uniform space encountered in practice is just a metric space, since the vast majority of practical uniform spaces are countably generated. After all, if almost every uniform space is a metric space, why not just deal with metric spaces? I have two answers to this.
First, metric spaces carry extra information that may be irrelevant. For example, you can make into a metric space in a number of ways, such as the Euclidean norm and the taxicab norm. Sometimes this is relevant, but sometimes all you need is the uniform structure on a metric space, and it makes more sense to not bother with assigning a metric at all.
Second, although most uniform spaces are countably uniform, not every uniform space is. For example, there are plenty of wild topological vector spaces (which I will describe in the next two posts) which require arbitrarily large bases.
Consequences
The most important consequence to the classification of metrizable uniform spaces, in my opinion, is that it allows you to quote well-known theorems about metric spaces without re-proving them in the consequence of countably uniform spaces.
For example, consider the Arzelà–Ascoli Theorem. In its classical form, the Arzelà–Ascoli Theorem states that if is a sequence of continuous functions which is both uniformly bounded and uniformly equicontinuous, then a subsequence converges uniformly.
While this is its most classical form, the Arzelà–Ascoli Theorem has been generalized to functions between complete metric spaces. Let and be metric spaces, and let be a collection of functions . Define to be totally bounded valued if a totally bounded . Define to be uniformly equicontinuous if for all , there exists a such that whenever and , then .
Theorem (Arzelà–Ascoli Theorem for Metric Spaces): Let be a sequence of functions where is a compact metric space and is a complete metric space. If this sequence is uniformly totally bounded valued and equicontinuous, then a subsequence converges uniformly.
Now we can generalize from metric spaces to countably uniform spaces. Recall from the last post that a separable uniform space is a compact if and only if it is totally bounded and complete. So, we may replace by a complete, totally bounded, countably uniform space and replace by a complete, countably uniform space.
Recall also that every continuous function on a compact uniform space is automatically uniformly continuous. So, the function should be uniformly continuous.
There are also clear ways to write the notions of "uniformly equicontinuous" and "uniformly convergent" without reference to a metric.
Let be uniform space, and let be a collection of uniform functions . Define to be uniformly equicontinuous if for all entourage of , there exists an entourage of such that for all .
Let be uniform space, and let be a sequence of uniform functions . Say that converges uniformly to if for any entourage of , there exists such that for all , we have .
Theorem (Arzelà–Ascoli Theorem for Uniform Spaces): Let be a complete, totally bounded countably uniform space, and let be a complete, countably uniform space. Let be a sequence of uniform functions . If this sequence is totally bounded valued uniformly equicontinuous, then it is converges uniformly.
On the one hand, this sort of proof is fairly easy to construct and can tell you a lot about uniform spaces and uniform continuity. On the other hand, the construction of a metric space on a countably uniform space is not trivial, and I find proofs that bootstrap metric space results directly to uniform space results (as I have just done) to be less instructive and less aesthetically pleasing. This is why I haven't discussed the metrizability of uniform spaces before now.
An Application to Topology
Lastly, because I can't resist, I once again conclude with an application to compact topological spaces.
Theorem: Let be a compact Hausdorff topological space. is metrizable if and only if it is second-countable.
Proof: Suppose that is a compact metric space. Then, is second-countable by a simple topological argument. For each , can be covered by a finite number of open balls of radius , say . Let . If and is a neighborhood of , then for some , . Thus, for some , and . We can see that is a topological basis for .
Now suppose that is compact, second-countable space. We know from the previous post that has a unique uniform structure, and we even know a basis for this uniform structure. Given a finite open cover of , define:
The collection of entourages is a basis for the uniform structure on . We just need to show that this uniform structure is countably uniform.
Let be a countable topological basis for . Since is compact, every finite open cover can be refined to a finite open cover using only sets in . As a result, the uniform structure on has a basis of entourages of the form , where is a finite open cover of using only sets in . There are a countable number of finite subsets of , so a countable number of finite open covers using . Thus, is countably uniform. .
Extensions: The metrizability of topological spaces is a very important area of topology; the two most important results here are (perhaps) Urysohn's Theorem, which applies only to second-countable spaces, and the general Nagata–Smirnov Theorem. I do not know if the version of the Arzelà–Ascoli Theorem for Uniform Spaces I gave can be generalized to non-countably uniform spaces, but my intuition says that it can't.