Examples and Embeddings in Subspace Topology

Introduction

Hi students 👋 — in this lesson, you will explore examples and embeddings inside subspace topology. This topic helps answer a very practical question in topology: if we already know a space $X$ and we pick out a smaller set $A \subseteq X$, how do we study the shape of $A$? The answer is to give $A$ the subspace topology, which lets $A$ inherit open sets, continuity, and other structure from $X$.

Learning objectives

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

explain the main ideas and terminology behind examples and embeddings,
apply topology reasoning to subspace examples,
connect embeddings to the broader topic of subspace topology,
summarize how these ideas fit into the study of subspaces,
use examples and evidence to reason about embedded spaces.

A big idea to keep in mind is this: many spaces in mathematics are not studied all by themselves, but as parts of larger spaces. For example, a circle can be studied as a subset of the plane $\mathbb{R}^2$, or an interval can be studied as part of the real line $\mathbb{R}$. 🌍

What a subspace example looks like

Suppose $X$ is a topological space and $A \subseteq X$. The subspace topology on $A$ is defined by declaring a set $U \subseteq A$ to be open in $A$ if and only if there exists an open set $V \subseteq X$ such that $U = A \cap V$.

This definition gives many important examples.

Example 1: An interval inside the real line

Take $X = \mathbb{R}$ with the usual topology, and let $A = (0,1)$. Then the subspace topology on $A$ is the same as the usual topology on an open interval. For instance, the set $(0,\tfrac{1}{2})$ is open in $A$ because

$(0,\tfrac{1}{2}) = A \cap (-\infty, \tfrac{1}{2}),$

and $(-\infty, \tfrac{1}{2})$ is open in $\mathbb{R}$.

This shows how open sets in the subspace are created by cutting open sets from the larger space. students, this is a classic example of “relative” openness: a set may be open in $A$ even if it is not open in $X$.

Example 2: A closed interval inside the real line

Let $A = [0,1] \subseteq \mathbb{R}$. The set $[0,\tfrac{1}{2})$ is open in the subspace $[0,1]$ because

$[0,\tfrac{1}{2}) = [0,1] \cap (-\infty, \tfrac{1}{2}).$

But $[0,\tfrac{1}{2})$ is not open in $\mathbb{R}$. This example helps show that subspace topology changes what “open” means. It is always measured relative to the ambient space.

Example 3: The rational numbers inside the real line

Let $A = \mathbb{Q} \subseteq \mathbb{R}$. Then a set like

$(\sqrt{2},2) \cap \mathbb{Q}$

is open in $\mathbb{Q}$, even though $\sqrt{2}$ is irrational and the set is not an interval in the usual sense. More generally, every open set in $\mathbb{Q}$ looks like $U \cap \mathbb{Q}$ for some open set $U \subseteq \mathbb{R}$.

This example is very important because it shows that a subspace can behave differently from the larger space. For instance, the singleton set $\{q\}$ is not open in $\mathbb{Q}$, but the way neighborhoods work in $\mathbb{Q}$ still depends entirely on $\mathbb{R}$.

Relative openness and continuity in subspaces

One of the most useful ideas in subspace topology is relative openness. A set is relatively open in $A$ if it is open in the subspace topology on $A$. This is the same as saying it is the intersection of $A$ with an open set of the larger space.

That rule makes continuity easier to understand too.

Subspace continuity

Suppose $f : X \to Y$ is continuous, and $A \subseteq X$. Then the restricted function

$f|_A : A \to Y$

is also continuous. Why? If $V \subseteq Y$ is open, then

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

and because $f^{-1}(V)$ is open in $X$, its intersection with $A$ is open in $A$.

This is a major example of how subspace topology works in practice. It lets us study functions on smaller spaces without losing continuity.

A real-world style example

Imagine a temperature sensor installed along a straight road. The full road can be thought of as a space $X$, and the portion of road near a school can be a subspace $A$. If temperature changes continuously along the whole road, then it also changes continuously when we only watch the school zone. That is exactly the idea behind restricting a continuous function to a subspace 🌡️

Embeddings: when a space sits inside another space

Now let’s move to embeddings, one of the most important ideas in this lesson.

A map $f : X \to Y$ is called a topological embedding if it is continuous, injective, and a homeomorphism between $X$ and its image $f(X)$ when $f(X)$ has the subspace topology from $Y$.

In simpler words, an embedding places one space inside another without changing its topological shape.

Why embeddings matter

If $f : X \to Y$ is an embedding, then $X$ and $f(X)$ are topologically the same. The space $X$ is not just mapped into $Y$; it is copied into $Y$ in a way that preserves all open-set structure.

This is stronger than just being one-to-one. A continuous injective map is not always an embedding. The key extra requirement is that the map must give the same topology on $X$ as the one inherited by $f(X)$ from $Y$.

Example 4: The unit circle in the plane

Define $S^1 \subseteq \mathbb{R}^2$ by

S^1 = \{(x,y) $\in$ \mathbb{R}^2 : x^2 + y^2 = 1\}.

The inclusion map

$i : S^1 \to \mathbb{R}^2$

is an embedding. The circle inherits its topology from the plane, and that inherited topology is exactly the one used to study the circle as a space.

This is one of the most common examples in topology. The circle is not studied only as an abstract set of points; it is studied as a subspace of $\mathbb{R}^2$.

Example 5: The parabola in the plane

Consider the set

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

The map $g : \mathbb{R} \to P$ given by

$g(t) = (t,t^2)$

is a homeomorphism from $\mathbb{R}$ onto $P$. So $g$ is an embedding. Even though $P$ curves through the plane, topologically it behaves like a line. This is a powerful example of how embeddings identify spaces that look different geometrically but are the same topologically.

How to recognize an embedding

students, when you want to check whether a map is an embedding, you usually look for three things:

Continuity: is the map continuous?
Injectivity: does it avoid collapsing distinct points?
Topology preservation onto its image: does the map give the image the same topology as the original space?

A useful shortcut is this: if $f : X \to Y$ is continuous and injective, and if the inverse map

$f^{-1} : f(X) \to X$

is continuous when $f(X)$ has the subspace topology, then $f$ is an embedding.

Another common situation is when a map is already known to be a homeomorphism onto its image. Then it is automatically an embedding.

A warning example

Let $f : \mathbb{R} \to \mathbb{R}^2$ be given by

$f(t) = (\cos t, \sin t).$

This map is continuous, but it is not injective because

$f(t) = f(t + 2\pi).$

So it is not an embedding of $\mathbb{R}$ into $\mathbb{R}^2$. It does parametrize the unit circle, but not in an embedding way from all of $\mathbb{R}$. This shows why injectivity matters.

Embeddings and the bigger picture of subspace topology

Embeddings are closely tied to subspace topology because every embedded space is studied through the subspace topology on its image. The image $f(X)$ becomes a subspace of $Y$, and the embedding says that $X$ and $f(X)$ are topologically identical.

This connection is useful in many areas:

curves and surfaces in geometry,
solution sets in algebraic geometry,
manifolds in advanced topology,
graphs and networks in applied math.

For example, a graph drawn in the plane can often be studied as a subspace of $\mathbb{R}^2$. The choice of topology on the graph comes from the surrounding plane. That is exactly the subspace viewpoint.

Embeddings also help us compare spaces. If one space can be embedded into another, then the larger space contains a topological copy of the smaller one. This can reveal hidden structure and make complex spaces easier to understand.

Conclusion

Subspace topology lets us study a smaller space by inheriting open sets and continuity from a larger one. In this lesson, students, you saw how examples like intervals, rational numbers, the circle, and the parabola show the power of this idea. You also learned that an embedding is a map that places one space into another without changing its topology.

The main lesson is simple but important: subspaces are not just subsets; they are spaces in their own right, with topology inherited from the ambient space. Embeddings are the formal way to recognize when one space sits inside another as a perfect topological copy. That makes them a central tool in topology and a key part of understanding subspace topology.

Study Notes

A subspace topology on $A \subseteq X$ is defined by sets of the form $A \cap V$, where $V$ is open in $X$.
A set open in a subspace is called relatively open.
If $f : X \to Y$ is continuous, then the restriction $f|_A : A \to Y$ is continuous for any $A \subseteq X$.
A topological embedding is a continuous injective map that is a homeomorphism onto its image.
The image of an embedding gets the subspace topology from the larger space.
Common embedding examples include $S^1 \subseteq \mathbb{R}^2$ and the parabola $y = x^2$ in $\mathbb{R}^2$.
A continuous injective map is not automatically an embedding; the topology on the image must match the original topology.
Subspace topology helps compare spaces by treating one space as a topological copy inside another. 🚀