Subspace Topology — Mathematics Knowledge System

Overview

Given a topological space (X, τ) and a subset Y ⊆ X, the subspace topology on Y is the natural way to make Y itself into a topological space, using X's topology as a guide: a subset of Y is declared open exactly when it is the intersection of Y with some open set of X. This is how every subset of ℝⁿ inherits a topology — for instance, a closed interval [a,b], a circle, or a Cantor set are each viewed as topological spaces via the subspace topology from the ambient Euclidean space. A key subtlety is that 'open in Y' does not mean 'open in X': a set can be open in the subspace topology on Y while not being open in X itself, precisely when Y is not open in X.

Intuition

Imagine X = ℝ and Y = [0,1]. As a subset of ℝ, Y is not open — but topologically, Y itself has its own notion of open sets, obtained by 'slicing' open sets of ℝ down to Y. The half-open piece [0, 0.5) is not open in ℝ, but it IS open in Y, because it equals Y ∩ (−0.1, 0.5), and (−0.1, 0.5) is open in ℝ. The subspace topology is the mathematically correct way to say 'restrict my notion of openness to this smaller piece of the space' — it is exactly the topology that makes the inclusion map from Y into X continuous, and in fact the coarsest such topology.

Formal Definition

Definition

Let (X, τ) be a topological space and Y ⊆ X any subset. The subspace topology (or relative topology) τ_Y on Y is defined by:

\tau_Y = \{ Y \cap U : U \in \tau \}

A subset V ⊆ Y is open in Y exactly when V = Y∩U for some open U ⊆ X

Subspace topology

(Y, \tau_Y) \text{ is called a subspace of } (X, \tau)

The pair Y with its inherited topology

C \text{ is closed in } Y \iff C = Y \cap D \text{ for some closed } D \subseteq X

The dual statement for closed sets, obtained by taking complements

Closed sets in a subspace

Notation

Notation	Meaning
$\tau_Y$	The subspace (relative) topology on Y induced by (X, τ)
$i: Y \hookrightarrow X$	The inclusion map, which is always continuous when Y carries the subspace topology
$Y \cap U$	The trace of an open set U of X on the subset Y

Derivation

Verifying directly that τ_Y = {Y∩U : U∈τ} satisfies the three topology axioms on Y.

\emptyset = Y \cap \emptyset \in \tau_Y, \qquad Y = Y \cap X \in \tau_Y

Axiom 1: since ∅, X ∈ τ, their traces on Y give ∅ and Y itself in τ_Y

\bigcup_\alpha (Y \cap U_\alpha) = Y \cap \bigcup_\alpha U_\alpha \in \tau_Y

Axiom 2: intersection distributes over union, and ∪U_α ∈ τ since τ is a topology on X

\bigcap_{i=1}^n (Y\cap U_i) = Y \cap \bigcap_{i=1}^n U_i \in \tau_Y

Axiom 3: intersection distributes over finite intersection, and ∩U_i ∈ τ

Proofs

In the subspace topology on Y = [0,1] ⊂ ℝ, the set [0, 0.5) is open in Y even though it is not open in ℝ

$\text{Let } U = (-0.1,\, 0.5) \subset \mathbb{R}, \text{ which is open in the standard topology on } \mathbb{R}$ (Standard open interval)
$Y \cap U = [0,1] \cap (-0.1, 0.5) = [0, 0.5)$ (Intersecting the interval with [0,1] clips off the negative part)
$\text{By definition of the subspace topology, } [0,0.5) \in \tau_Y$ (It is the trace on Y of an open set of ℝ)
$\text{But } [0,0.5) \text{ is not open in } \mathbb{R}\text{: no interval around } 0 \text{ stays inside } [0,0.5)$ (0 has no full neighborhood in ℝ contained in [0,0.5), since any interval around 0 dips below 0)

Properties

τ_Y is a genuine topology

\tau_Y \text{ satisfies all three topology axioms on } Y

Condition: Follows directly since intersection with Y commutes with unions and finite intersections.

Inclusion is continuous

i: Y \to X \text{ is continuous when } Y \text{ has the subspace topology}

Condition: By construction, i⁻¹(U) = Y∩U ∈ τ_Y for every open U ⊆ X.

Coarsest topology making inclusion continuous

\tau_Y \text{ is the coarsest topology on } Y \text{ for which } i: Y\to X \text{ is continuous}

Openness in Y vs. in X

\text{If } Y \in \tau \text{ (Y itself is open in X), then } V \in \tau_Y \iff V \in \tau

Condition: When the subspace is an open subset of the ambient space, subspace-open and ambient-open coincide; this fails when Y is not open in X.

Restriction of continuous maps

f: X \to Z \text{ continuous} \implies f|_Y : Y \to Z \text{ continuous, where } Y \text{ has the subspace topology}

Applications

Subspace topologies formalize how algorithms on subsets of data (e.g. a mesh boundary within a 3D model) inherit continuity and connectivity properties from the ambient space they sit in.

Worked Examples

Y = [0,1] = Y ∩ ℝ, and ℝ is open in itself.
$Y = Y \cap \mathbb{R} \in \tau_Y$
So Y (the whole subspace) is always open in its own subspace topology, exactly as X is always open in itself — regardless of whether Y is open in the ambient space X.
$Y \in \tau_Y \text{ always}$

Answer: Yes — Y is always open (and closed) in its own subspace topology, even though [0,1] is not open in ℝ.

Practice Problems

Difficulty 4/10

A subset V of Y ⊆ X is open in the subspace topology τ_Y exactly when:

V is open in XV = Y ∩ U for some open U ⊆ XV is closed in XY ⊆ V

Difficulty 5/10

In the subspace topology on Y = [0,1] ⊂ ℝ, is (0.5, 1] open in Y?

Difficulty 7/10

Prove that if Y ⊆ X is itself an open subset of X, then a subset V ⊆ Y is open in the subspace topology on Y if and only if V is open in X.

Quiz

Which of the following is generally FALSE about the subspace topology on Y ⊆ X?

The inclusion map Y ↪ X is always continuousτ_Y is always a valid topology on YA set open in Y must also be open in XY itself is always open (and closed) in the subspace topology τ_Y

The subspace topology τ_Y is characterized as:

The finest topology on YThe coarsest topology on Y making the inclusion map continuousThe discrete topology restricted to YAny topology containing all singletons of Y

Summary

The subspace topology on Y ⊆ X is τ_Y = {Y∩U : U ∈ τ} — a set is open in Y iff it is the trace of some open set of X.
τ_Y is the coarsest topology on Y making the inclusion map i: Y ↪ X continuous.
Sets open (or closed) in the subspace topology need not be open (or closed) in the ambient space, unless Y itself is open (or closed) in X.
Restrictions of continuous functions to a subspace remain continuous with respect to the subspace topology.

References

WebsiteWikipedia — Subspace topology
BookMunkres, J. Topology, 2nd ed. Ch. 2.