How Separated is Separated?

Topology · Axiom Academy

INTRO How Separated is Separated? Exploring the hierarchy of separation axioms in topology In everyday life, we use the word "separated" casually. Two books are separated on a shelf. Two cities are separated by distance. But in topology, separation is far more subtle and interesting. When can we truly say that two points in a topological space are "separated"? It turns out there are multiple levels of separation, each stronger than the last, forming a beautiful hierarchy. Mathematicians have identified several "levels" of separation, traditionally named T₀, T₁, T₂, Regular, and Normal. Each level is strictly stronger than the previous one. Notice the arrow showing implication: every Normal space is Regular, every Regular space is T₂, and so on. But the reverse is not true! Let's understand what each level actually requires. Each axiom builds on the idea of separating objects with open sets. T₀ (Kolmogorov): For any two distinct points, at least one has an open neighborhood not containing the other. T₁ (Fréchet): For any two distinct points, each has an open neighborhood not containing the other (symmetric version). T₂ (Hausdorff): For any two distinct points, there exist disjoint open neighborhoods separating them. Regular: A T₁ space where every point and closed set (not containing it) can be separated by disjoint open sets. Normal: A T₁ space where every pair of disjoint closed sets can be separated by disjoint open sets.

This is the written version of the interactive lesson above. See the full Topology course.