The Subspace Topology

Topology · Axiom Academy

How subsets inherit topological structure from their parent spaces Step 1: The Fundamental Definition When we have a topological space and a subset of it, we naturally ask: can this subset be a topological space in its own right? The answer is yes, and the construction is elegant and natural. Let be a topological space and let . The subspace topology on is defined by: In words: a set is open in if and only if it can be expressed as the intersection of an open set in with . Step 2: The Intuition - "Inheriting" Open Sets Think of the subspace topology as a way for a subset to "inherit" the topological structure from the larger space. We take the open sets from and restrict them to by intersecting with it. Notice how the open set in "cuts through" , creating an open set in the subspace. Step 3: Example - The Unit Interval [0,1] Let's examine a concrete example: as a subspace of with the standard topology. Consider the interval in . The intersection is: So is open in with the subspace topology! Step 4: Example - The Circle in the Plane Consider the unit circle as a subspace of with the standard topology. Take an open disk in . The intersection is an open arc on the circle. These open arcs form the basis for the subspace topology on . Step 5: A Set Can Be Open in Y but Not in X This is a crucial point that often surprises students: a set can be open in the subspace topology without being open in the larger space!

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