Skip to main content

Section The Subspace Topology

In our preview activity, we saw that the intersection of the open sets in a topological space \(X\) with any nonempty subset \(A\) of \(X\) forms a topology for \(A\text{.}\) We then have \(A\) as a subspace of \(X\text{.}\)
The topology \(\tau_A\) in Definition 15.2 is called the subspace topology, the induced topology, or the relative topology. In our preview activity we saw that sets that are open in a subspace \(A\) of a topological space \(X\) need not be open in \(X\text{.}\) So we call the sets in \(\tau_A\) relatively open.
Once we have defined relatively open sets, we can then consider how to define relatively closed sets.

Activity 15.2.

Let \((X, \tau)\) be a topological space, and let \(A\) be a subset of \(X\text{.}\)

(a)

Recall that a subset of a topological space is closed if its complement is open. Given that \((A, \tau_A)\) is a topological space, how is a closed set in \(A\) defined? Such a set will be called relatively closed.

(b)

Recall that a subset \(U\) of \(A\) is relatively open if and only if \(U = A \cap O\) for some open subset of \(X\text{.}\) With this in mind, how might we expect a relatively closed set in \(A\) to be related to a closed set in \(X\text{?}\) State and prove a theorem for this result.