Subspace Continuity

Imagine looking at a city map and zooming in on just one neighborhood. The streets do not change, but now you are focusing on a smaller area. In topology, this idea appears when we give a subset its own topology using the larger space around it. students, this lesson explains subspace continuity: how continuity works when the domain or codomain is a subset with the subspace topology 🌟

What you will learn

By the end of this lesson, students, you should be able to:

explain what subspace continuity means,
use the definition of the subspace topology to test continuity,
connect subspace continuity to relative openness and embeddings,
work with examples from familiar spaces like $\mathbb{R}$ and $\mathbb{R}^2$,
understand why the subspace viewpoint is useful in topology.

The big idea behind subspace continuity

Suppose $X$ is a topological space and $A \subseteq X$. The subspace topology on $A$ is defined so that a set $U \subseteq A$ is open in $A$ exactly when there exists an open set $V \subseteq X$ such that $U = A \cap V$.

This gives $A$ a topology inherited from $X$. Now suppose $f : Y \to X$ is a function and $Y$ is a subspace of some larger space. Or suppose we want a function from a subspace into another space. Continuity is then tested using the open sets from the subspace topology.

The key principle is simple:

A function $f : A \to B$ between subspaces is continuous if for every open set $U$ in $B$, the preimage $f^{-1}(U)$ is open in $A$.

This is exactly the same continuity rule used in all topology. The only difference is that “open” now means open in the subspace topology.

A useful way to think about it

If $A$ is a subspace of $X$, then open sets in $A$ may look smaller than open sets in $X$, but they are still made from intersections with open sets of $X$. So when checking continuity into or out of a subspace, students, you often rewrite everything using intersections with the larger space.

For example, if $U$ is open in $A$, then $U = A \cap V$ for some open $V$ in $X$. This often makes continuity checks easier because you can work in the bigger space first and then restrict to the subset.

Continuity of restricted functions

One of the most important facts about subspace continuity is this:

If $f : X \to Z$ is continuous and $A \subseteq X$, then the restricted function $f|_A : A \to Z$ is continuous.

Why is this true? Let $W$ be open in $Z$. Since $f$ is continuous, $f^{-1}(W)$ is open in $X$. Then

$(f|_A)^{-1}(W) = A \cap f^{-1}(W).$

Because $f^{-1}(W)$ is open in $X$, the set $A \cap f^{-1}(W)$ is open in the subspace $A$. So $f|_A$ is continuous.

This is a central idea in subspace topology: restricting a continuous function to a subset keeps it continuous. That is one reason subspaces are so useful in geometry and analysis 📘

Example: Restricting a function on $\mathbb{R}$

Let $f : \mathbb{R} \to \mathbb{R}$ be defined by $f(x) = x^2$. This function is continuous on all of $\mathbb{R}$. Now let $A = [0,\infty)$, viewed as a subspace of $\mathbb{R}$. Then the restricted function $f|_A : A \to \mathbb{R}$ is also continuous.

If we want to prove this using subspace topology, we take any open set $W \subseteq \mathbb{R}$ and compute

$(f|_A)^{-1}(W) = A \cap f^{-1}(W).$

Since $f^{-1}(W)$ is open in $\mathbb{R}$, the intersection with $A$ is open in $A$.

This shows how continuity survives when we zoom in on a subset.

Continuity when the codomain is a subspace

Now let $B \subseteq Z$, where $Z$ is a topological space. A function $f : Y \to B$ is continuous as a map into the subspace $B$ if and only if the same function, viewed as a map $Y \to Z$, has preimages of open sets in $B$ that are open in $Y$.

The important test is:

$f : Y \to B$ is continuous if for every open set $U$ in $B$, the set $f^{-1}(U)$ is open in $Y$.

Because open sets in $B$ have the form $B \cap V$ with $V$ open in $Z$, continuity into the subspace can often be checked by using the larger space $Z$.

Example: A curve into the unit circle

Let $S^1 = \{(x,y) \in \mathbb{R}^2 : x^2 + y^2 = 1\}$, which is a subspace of $\mathbb{R}^2$. Consider the function

f : \mathbb{R} $\to$ S^1, \quad f(t) = ($\cos$ t, $\sin$ t).

This function is continuous because both coordinate functions $\cos t$ and $\sin t$ are continuous, and the map into $\mathbb{R}^2$ is continuous. Since the image lies in $S^1$, we regard it as a function into the subspace $S^1$.

To check continuity into $S^1$, it is enough to use open sets in $S^1$, which are intersections of open sets in $\mathbb{R}^2$ with $S^1$.

So the subspace perspective lets us work with familiar continuous maps and then reinterpret the codomain as a smaller space.

The subspace continuity criterion in action

A very useful theorem says:

If $A \subseteq X$ and $B \subseteq Y$, and $f : X \to Y$ is continuous, then the restricted map

$f|_A : A \to Y$

is continuous. If in addition $f(A) \subseteq B$, then the same map can be viewed as

$f|_A : A \to B,$

and it is continuous as a map into the subspace $B$.

This is often how subspace continuity appears in practice: start with a continuous function on a big space, then restrict its domain and codomain to smaller spaces.

Real-world style example

Think of a weather map of the whole country. A continuous temperature function gives a temperature value for every point. If you focus only on one state, the same temperature rule still changes smoothly inside that state. If you also only care about temperatures between two rivers or inside a park, you are effectively working with a subspace. The continuity does not disappear when you zoom in; it is inherited from the larger map 🌍

Embeddings and why they matter

Subspace continuity is closely tied to embeddings. An embedding is a map $f : X \to Y$ that is a homeomorphism onto its image $f(X)$, where $f(X)$ has the subspace topology from $Y$.

This means two things are happening:

$f$ is continuous,
the inverse map $f^{-1} : f(X) \to X$ is continuous when $f(X)$ is given the subspace topology.

So the image behaves like a copy of the original space inside a larger one.

Why this is important

If $X$ embeds into $Y$, then studying $X$ through its image in $Y$ is valid because the topology is preserved. Subspace continuity guarantees that the map and its inverse both behave well with the restricted topology.

For example, the parabola

P = \{(x,y) $\in$ \mathbb{R}^2 : y = x^2\}

is a subspace of $\mathbb{R}^2$. The map

g : \mathbb{R} $\to$ P, \quad g(x) = (x, x^2)

is an embedding. It is continuous, and its inverse $g^{-1} : P \to \mathbb{R}$ given by $g^{-1}(x,y) = x$ is continuous when $P$ has the subspace topology. This shows that the parabola is topologically the same as a line, even though it sits curved inside the plane.

How to check subspace continuity in practice

When students needs to check continuity involving subspaces, a good strategy is:

Identify whether the domain or codomain is a subspace.
Rewrite open sets using intersections with the ambient space.
Compute the preimage.
Show that the preimage is open in the subspace.

A common formula is:

f^{-1}(A $\cap$ V) = f^{-1}(A) $\cap$ f^{-1}(V),

which helps when $A$ is a subspace and $V$ is open in the larger space.

Example with intervals

Let $A = [0,1]$ as a subspace of $\mathbb{R}$, and let $f : [0,1] \to \mathbb{R}$ be defined by $f(x) = x(1-x)$.

This function is continuous because it is a polynomial restricted to a subspace. If we want to see that explicitly, take an open set $W$ in $\mathbb{R}$. Since the polynomial $p(x) = x(1-x)$ is continuous on $\mathbb{R}$, the set $p^{-1}(W)$ is open in $\mathbb{R}$. Then

$f^{-1}(W) = [0,1] \cap p^{-1}(W),$

which is open in the subspace $[0,1]$.

Conclusion

Subspace continuity is just continuity viewed through the lens of a smaller space. The definition stays the same, but the open sets come from the subspace topology. This lets us restrict continuous functions, study images as embedded copies, and analyze parts of a space without losing topological structure. students, understanding this idea is essential for working with relative openness, subspaces, and embeddings in topology ✅

Study Notes

A subspace $A$ of $X$ has open sets of the form $A \cap V$, where $V$ is open in $X$.
A function $f : A \to B$ between subspaces is continuous if preimages of open sets in $B$ are open in $A$.
If $f : X \to Z$ is continuous, then the restriction $f|_A : A \to Z$ is continuous.
If $f(A) \subseteq B$, then $f|_A : A \to B$ is continuous as a map into the subspace $B$.
To check continuity into a subspace, rewrite open sets as intersections with the ambient space.
Embeddings are continuous maps whose inverse on the image is also continuous, with the image given the subspace topology.
Subspace continuity explains why many familiar geometric objects, like circles and parabolas, can be treated as topological spaces in their own right.