Exercise · ZW-SUBSPACE-TOPOLOGY-003 · ★☆☆ Basic

Let \(A\subseteq X\) have the subspace topology and let \(i:A\to X\) be the inclusion. If \(U\subseteq X\), what is \(i^{-1}(U)\)?

Choose one option.

Show answer
  • D. \(A\cap U\)

Explanation

\(i^{-1}(U)=\{a\in A: i(a)=a\in U\}=A\cap U\). This is why the subspace topology makes the inclusion continuous: preimages of open sets of \(X\) are exactly the open sets of \(A\).

Study General topology in ZWMath →

Review the concept: Subspace topology

The topology \(\mathcal{T}_A\) on a subset \(A\) of a topological space \((X,\mathcal{T})\) whose open sets are the intersections of \(A\) with the open sets \(U\) of \(X\).

\[\mathcal{T}_A=\{A\cap U:\ U\in\mathcal{T}\}\]

More practice problems: subspace topology

← ZW-SUBSPACE-TOPOLOGY-002 ZW-SUBSPACE-TOPOLOGY-004 →