Metrizable Spaces

Topology · Axiom Academy

Understanding when a topology comes from a metric Not every topology is created equal. Some topologies arise naturally from measuring distances, while others are more abstract constructions. When a topological space's structure can be described by a metric, we call it metrizable . A topological space is called metrizable if there exists a metric on such that the topology equals the metric topology induced by . In other words, the open sets of are precisely those sets that can be written as unions of open balls . Let's explore some concrete examples to build intuition about which spaces are metrizable. with the usual topology (metric: ) Any discrete space (metric: discrete metric ) Subspaces of metrizable spaces Countable products of metrizable spaces with appropriate metrics Necessary Conditions for Metrizability If a space is metrizable, it must satisfy certain topological properties. These give us tools to prove a space is not metrizable. Hausdorff (T₂): Distinct points have disjoint open neighborhoods First-countable: Every point has a countable neighborhood base Normal (T₄): Disjoint closed sets have disjoint open neighborhoods These follow from the triangle inequality and properties of open balls. The Urysohn Metrization Theorem The crowning achievement in metrizability theory is Urysohn's theorem, which provides sufficient conditions for a space to be metrizable.

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