Definition of a Topological Space

Topology · Axiom Academy

LESSON Definition of a Topological Space Understanding the fundamental structure that unifies geometry and continuity Topology is the study of properties that remain unchanged under continuous deformations. But to make this precise, we need a rigorous definition. The concept of a topological space provides the foundation for all of topology. Before diving into the formal definition, let's understand why mathematicians settled on these particular axioms. The definition emerged from studying properties of open sets in metric spaces and abstracting the essential features. Let be a set. A topology on is a collection of subsets of , called open sets , satisfying the following three axioms: Axiom 1: The empty set and the entire set are in Axiom 2: The union of any collection of sets in is also in (arbitrary unions) Axiom 3: The intersection of any finite collection of sets in is also in (finite intersections) The pair is called a topological space . Step 3: Visualizing the Axioms Let's visualize each axiom to understand what they mean. We'll use a simple set and show how the axioms work. Axiom 1 ensures the boundary cases (everything and nothing) are included Axiom 2 allows us to take arbitrarily large unions Axiom 3 restricts us to finite intersections (infinite intersections are not guaranteed!) Step 4: Why These Specific Axioms? You might wonder: why these three axioms and not others? The answer lies in the properties of open sets in metric spaces.

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