The Metric Topology

Topology · Axiom Academy

Understanding how metrics naturally induce topological structures Step 1: Open Balls - The Building Blocks Let be a metric space. For a point and radius , the open ball centered at with radius is: Open balls are the fundamental building blocks of the metric topology. They capture the intuitive notion of "all points within a certain distance" from a center point. Step 2: Open Balls in Different Metrics The shape of an open ball depends on the metric! In , different metrics produce different "shapes" for open balls with the same radius. Euclidean metric: - produces circles Taxicab metric: - produces diamonds Maximum metric: - produces squares Step 3: From Open Balls to Open Sets A subset of a metric space is called open if for every point , there exists a radius such that: In other words, every point in has an open ball around it that is entirely contained in . This definition captures the idea that open sets have "room around" each of their points - there are no boundary points included in an open set. Step 4: The Basis for the Metric Topology The collection of all open balls in a metric space forms a basis for a topology. This means every open set can be expressed as a union of open balls. This is a profound result: it tells us that open balls are "sufficient" to generate all open sets. We don't need to define open sets arbitrarily - they arise naturally from the metric structure. Open balls are simple and concrete objects we can visualize

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