T0 (Kolmogorov) Spaces

Topology · Axiom Academy

LESSON T 0 (Kolmogorov) Spaces Understanding the weakest separation axiom in topology In topology, we study spaces with various properties. One important class of properties concerns how well we can "separate" points using open sets. These are called separation axioms . The separation axioms form a hierarchy, from weakest to strongest: T 0 (Kolmogorov) - The weakest A topological space is called a T 0 space (or Kolmogorov space ) if for any two distinct points , there exists an open set containing one but not the other. We have two different points x and y in our space We need to find at least one open set that distinguishes them The open set must contain exactly one of the two points It doesn't matter which point is contained - we just need some way to tell them apart The Sierpiński space is the simplest non-trivial example of a T 0 space. It consists of two points with a specific topology. Consider our two distinct points, 0 and 1: The open set contains 1 but not 0 This distinguishes the two points! Notice: there's no open set containing 0 but not 1 (both contain both points) But we only need separation in one direction for T 0 Non-Example: Indiscrete Spaces To better understand T 0 , let's see an example of a space that fails to be T 0 . Consider any two distinct points a and b The empty set ∅ contains neither point The whole space X contains both points There is no open set that contains exactly one of them Therefore, we cannot distinguish any two points

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