Separation Axioms in Topology

Separation axioms form the backbone of classifying topological spaces by their ability to distinguish points and sets. These properties, denoted T0 through T4, are crucial because they determine whether a space behaves in ways that match our geometric intuition, such as having unique limits for sequences or allowing continuous functions to separate disjoint closed sets. Mastering this hierarchy is essential for advanced work in analysis, geometry, and topology itself, as these axioms quietly govern the behavior of functions and the structure of spaces.

The Hierarchy of Separation: From T0 to T4

The separation axioms establish a nested hierarchy of increasingly strict conditions. They are not independent properties but a ladder where each step implies the ones below it. The weakest common axiom is the T0 axiom (or Kolmogorov space). A space is T0 if for any two distinct points, at least one has an open neighborhood not containing the other. This guarantees points are topologically distinguishable. A stronger condition is the T1 axiom. A space is T1 if for any two distinct points, each has an open neighborhood not containing the other. An equivalent, and often more useful, characterization is that every singleton set $\{x\}$ is closed.

The first axiom that truly aligns with many analytical needs is the T2 axiom, also known as the Hausdorff space. This is a space where any two distinct points $x$ and $y$ have disjoint open neighborhoods $U$ and $V$ such that $x\in U$, $y\in V$, and $U\cap V=\varnothing$. This is a fundamental property: in a Hausdorff space, limits of sequences (and more generally, nets) are unique. This uniqueness is why most spaces encountered in analysis, like metric spaces, are required to be Hausdorff.

Moving beyond separating points, we consider separating points from closed sets. A space is regular if whenever $x$ is a point and $F$ is a closed set not containing $x$, there exist disjoint open sets $U$ and $V$ with $x\in U$ and $F\subseteq V$. A space that is both regular and T1 is called a T3 space. Regularity is a stronger condition than Hausdorff; you can separate a point from a set, not just from another point.

The next level deals with separating two disjoint closed sets. A space is normal if for any two disjoint closed sets $A$ and $B$, there exist disjoint open sets $U$ and $V$ with $A\subseteq U$ and $B\subseteq V$. A space that is both normal and T1 is called a T4 space. Normality is a powerful property but is not inherited by subspaces, unlike the lower separation axioms. The full hierarchy is: T4 $\Rightarrow$ T3 $\Rightarrow$ T2 $\Rightarrow$ T1 $\Rightarrow$ T0. Each implication is strict; there are spaces that satisfy one axiom but not the next.

Key Properties and Theorems in Hausdorff and Normal Spaces

The Hausdorff property is exceptionally well-behaved. Products of Hausdorff spaces are Hausdorff, and subspaces of Hausdorff spaces are Hausdorff. As noted, its most critical consequence is the uniqueness of limits, which underpins much of calculus and analysis. Furthermore, in a Hausdorff space, compact sets are always closed—a property that fails in weaker spaces.

The true power of normal spaces (T4 spaces) is unlocked by two profound theorems: Urysohn's Lemma and the Tietze Extension Theorem. Urysohn's Lemma states that a topological space is normal if and only if for every pair of disjoint closed sets $A$ and $B$, there exists a continuous function $f:X\to [0,1]$ such that $f(A)=\{0\}$ and $f(B)=\{1\}$. This is far stronger than merely finding disjoint open sets; it provides a continuous separation function. This lemma is the cornerstone for many constructions in topology.

Building on this, the Tietze Extension Theorem states that if $X$ is a normal space and $A\subseteq X$ is closed, then every continuous real-valued function $f:A\to \mathbb{R}$ can be extended to a continuous function $F:X\to \mathbb{R}$ on the whole space. Moreover, if $f$ is bounded, the extension can be chosen to preserve the same bounds. This theorem is invaluable in analysis and geometry, allowing one to extend locally defined functions globally.

Relationships, Examples, and Counterexamples

Understanding the hierarchy requires concrete examples that separate the axioms. Every metric space is not only Hausdorff but also normal (T4). The real line $\mathbb{R}$ with the standard topology is a prime example of a T4 space. However, many nice topological spaces are Hausdorff but not necessarily normal.

A classic example of a Hausdorff, regular (T3) space that is not normal is the Sorgenfrey plane (the product of two copies of the real line with the lower-limit topology). This shows that normality is a rather delicate property. Another important class is compact Hausdorff spaces. One of the key results is that every compact Hausdorff space is normal (T4). This provides a rich source of normal spaces and explains why extension theorems like Tietze's are so useful in analysis.

It is also vital to distinguish between regularity and normality. A common misconception is that a regular, Hausdorff (T3) space can always separate any two closed sets. Regularity only separates a point from a closed set. To separate two arbitrary closed sets, you need the stronger condition of normality. Many "pathological" counterexamples in topology are constructed to be T3 but not T4, highlighting this gap.

Common Pitfalls

1. Assuming "Hausdorff" implies "Normal": This is perhaps the most frequent error. The Hausdorff axiom (T2) only concerns separating two points. Normality (T4) concerns separating two closed sets. Many natural Hausdorff spaces, like the Sorgenfrey plane, are not normal. Always verify normality separately; do not assume it from a weaker condition.

1. Confusing the Definitions of T3 and T4: Remember the precise definitions: A T3 space is a T1 space that is regular (points can be separated from closed sets). A T4 space is a T1 space that is normal (closed sets can be separated from each other). The T1 condition is part of the definition for T3 and T4, but not for the bare terms "regular" or "normal" in some older texts. Always clarify the convention being used.

1. Misapplying the Hereditary Nature of Axioms: Separation axioms are not equally inheritable by subspaces. The T0, T1, T2, and T3 (regularity) properties are hereditary—any subspace of such a space also has that property. However, normality is not hereditary. A subspace of a normal space can fail to be normal. This is a subtle point that often catches learners off guard.

1. Overlooking the Role of the T1 Axiom in Key Theorems: The standard statements of Urysohn's Lemma and the Tietze Extension Theorem require the space to be normal and T1 (i.e., T4). If a space is normal but not T1 (where singleton sets might not be closed), the theorems may fail or require careful re-statement. Always ensure the space satisfies the T1 condition when invoking these classic results.

Summary

• Separation axioms (T0, T1, T2/T3/T4) form a strict hierarchy that classifies topological spaces by their ability to distinguish points and sets using open neighborhoods.
• A Hausdorff (T2) space guarantees that any two distinct points have disjoint neighborhoods, which is equivalent to the uniqueness of limits for sequences and nets—a foundational property in analysis.
• Normal spaces (T4) allow for the separation of any two disjoint closed sets by disjoint open sets, enabling two major theorems: Urysohn's Lemma (constructing a continuous function that separates closed sets) and the Tietze Extension Theorem (extending continuous functions from closed subsets to the whole space).
• The property of being regular (T3) is intermediate, separating a point from a closed set. While metric spaces are always T4, many important topological spaces are Hausdorff but not normal.
• A critical result is that all compact Hausdorff spaces are normal, providing a broad and useful class of spaces where powerful extension theorems apply.