Countability Axioms

Topology · Axiom Academy

Understanding first countable, second countable, separable spaces, and the Lindelöf property A topological space is first countable if every point has a countable local base , i.e., there exists a countable collection of neighborhoods of such that for any neighborhood of , there exists with . First countability is a local property that ensures we can "approach" a point using sequences. The countable local base means we only need countably many neighborhoods to describe the local structure around each point. The real line with the standard topology is first countable. For any point , the collection forms a countable local base. A topological space is second countable if it has a countable base , i.e., there exists a countable collection of open sets such that every open set in can be written as a union of sets from . Second countability is a global property that's much stronger than first countability. It means the entire topology can be generated from just countably many open sets. This is an extremely useful property for analysis and measure theory. Second countable implies first countable. If is a countable base for , then for any point , the collection of all containing forms a countable local base at . The Euclidean space is second countable. A countable base is given by all open balls where has rational coordinates and is a positive rational number.

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