Uniform Spaces

Generally speaking, a uniform space is a space somewhat stronger than a topological space but weaker than a metric space. It allows us to discuss concepts like uniform continuity, completeness, and uniform convergence without necessarily having a metric. Intuitively, topology allows us to talk about “closeness” of points in a very general sense, while uniform spaces give us a way to compare “closeness” simultaneously across the whole space.

Uniform Space

A uniform space is a set equipped with a uniform structure, which is a collection of subsets of (called entourages) that satisfy

1. If , then ;
2. If , and then ;
3. If , and , then ;
4. If , then ;
5. If , then there exists such that .

Alternatively, a uniform space can be defined using a family of pseudometrics on , where a pseudometric is a function that satisfies all the properties of a metric except that distinct points can have zero distance. The uniform structure is then generated by the finite intersections of for all and .