Hausdorff Space Examples

Topology · Axiom Academy

EXAMPLE Hausdorff Space Examples Proving that common spaces satisfy the Hausdorff separation axiom A topological space is Hausdorff (or T₂ ) if for any two distinct points, there exist disjoint open neighborhoods separating them. Let's prove this property for three fundamental examples: the real line with its standard topology, general metric spaces, and subspaces of Hausdorff spaces. Example 1: The Real Line ℝ is Hausdorff Visualization: Separating Points on ℝ For any two distinct points on ℝ, we can always find a positive distance between them and construct disjoint open balls. This geometric construction is the essence of the Hausdorff property in metric spaces. Example 2: Every Metric Space is Hausdorff Visualization: Metric Space Separation The proof for metric spaces generalizes Example 1. The key property is that metrics satisfy , giving us a positive separation that we can exploit to build disjoint neighborhoods. Example 3: Subspaces of Hausdorff Spaces are Hausdorff Visualization: Subspace Topology Inheritance The Hausdorff property is hereditary: it passes to subspaces. This is because the subspace topology is defined by intersecting open sets of X with A, and the intersection of disjoint sets remains disjoint. You've successfully worked through three fundamental examples of Hausdorff spaces. These results are building blocks for understanding separation axioms in topology.

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