Relative Openness in Subspace Topology

Welcome, students! 🌟 In topology, one of the most useful ideas is learning how a set can be “open” inside a smaller space, even if it is not open in the bigger space. This lesson focuses on relative openness, a key idea in subspace topology. You will learn what it means for a set to be open relative to a subspace, how to test it, and why this idea matters when studying continuity, embeddings, and everyday mathematical examples.

What is relative openness?

Suppose $X$ is a topological space and $Y$ is a subset of $X$. We can give $Y$ a topology called the subspace topology. In this topology, the open sets of $Y$ are not chosen independently. Instead, they are created from the open sets of $X$.

A set $U \subseteq Y$ is called relatively open in $Y$ if there exists an open set $V$ in $X$ such that

$$U = V \cap Y.$$

This is the central definition. The word “relative” means “inside the subspace.” So “relatively open” means open when viewed from inside $Y$, even if the set may not be open in the whole space $X$.

A helpful way to think about it is this: if $X$ is the whole classroom and $Y$ is a group of students sitting together in one row, then a relatively open set in $Y$ is like a group that feels “open” within that row, even though the same group might not be open in the entire classroom. 🧠

Key idea

If $Y$ has the subspace topology, then a set is open in $Y$ exactly when it is the intersection of $Y$ with some open set of $X$.

The definition in action

Let’s look at a concrete example in the real line. Take $X = \mathbb{R}$ with the usual topology, and let

$$Y = [0,2].$$

Consider the set

$$U = (0,1) \subseteq Y.$$

Is $U$ relatively open in $Y$? Yes, because we can write

$$U = (-1,1) \cap [0,2].$$

Since $(-1,1)$ is open in $\mathbb{R}$, the set $(0,1)$ is open in the subspace $[0,2]$.

Now consider the set

$$A = [0,1) \subseteq Y.$$

This set is also relatively open in $Y$, because

$$[0,1) = (-1,1) \cap [0,2]?$$

No, that intersection gives $(0,1)$, not $[0,1)$. So we need a different open set. Try

$$(-1,1) \cap [0,2] = [0,1),$$

wait—this is still not correct because $(-1,1)$ does not include $1$. The correct choice is

$$A = (-1,1) \cap [0,2] = [0,1).$$

This works because every number in $[0,1)$ is in both $(-1,1)$ and $[0,2]$, and anything in the intersection must be in that interval.

This example shows something important: a set may look “not open” from the perspective of $\mathbb{R}$, but still be relatively open inside a subspace.

Relative openness versus openness in the whole space

Relative openness is not the same as openness in the ambient space $X$.

For example, the interval

$$[0,1)$$

is not open in $\mathbb{R}$, because any open interval around $0$ contains negative numbers, so $[0,1)$ cannot be open in the usual sense. But if we view it as a subset of $[0,2]$, then it can be open relative to that subspace.

This distinction matters because many spaces in topology are studied as parts of larger spaces. A set’s behavior can change depending on the space in which it is viewed.

A simple test

To check whether $U \subseteq Y$ is relatively open:

Find an open set $V$ in the larger space $X$.
Compute $V \cap Y$.
See whether the result is $U$.

If yes, then $U$ is open in the subspace topology.

Relative openness and neighborhoods

Another way to understand relative openness is through neighborhoods.

If $U$ is open in $Y$ and $y \in U$, then there is some open set $V$ in $X$ such that

$$y \in V \cap Y \subseteq U.$$

This means every point of a relatively open set has a little “room” around it inside the subspace.

For instance, in $Y = [0,2]$, the point $0$ belongs to the set $[0,1)$. Even though $0$ is an endpoint in the real line, inside $Y$ it still has a neighborhood like

$$(-1,1) \cap [0,2] = [0,1).$$

So $0$ is not “isolated” from the subspace viewpoint. This is one reason subspace topology is so useful: it lets us study the local behavior of points inside a smaller set.

Examples from geometry and everyday intuition

Relative openness appears naturally in geometry. Imagine the unit circle

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

If you take a small open disk in $\mathbb{R}^2$ and intersect it with $S^1$, you get an arc of the circle. That arc is open in the subspace topology on $S^1$.

So, an open arc on the circle is not open in the plane $\mathbb{R}^2$, but it is relatively open in the circle itself. This is a very common pattern in topology. 🌍

Another example comes from a line segment in the plane. Let

$$Y = \{(x,0) : 0 \le x \le 1\}.$$

A set like

$$U = \{(x,0) : 0 < x < 1\}

is relatively open in $Y$, because it equals the intersection of $Y$ with an open strip in the plane.

Why relative openness matters for continuity

Relative openness is important because many functions are naturally defined on subspaces.

A function

$$f : Y \to Z$$

is continuous when the preimage of every open set in $Z$ is open in $Y$.

If $Y$ has the subspace topology, then openness in $Y$ means relative openness. So continuity on a subspace is tested using relative openness.

This connects directly to the subspace continuity principle: if $f : X \to Z$ is continuous and $Y \subseteq X$, then the restricted function

$$f|_Y : Y \to Z$$

is also continuous.

Why? Because if $W$ is open in $Z$, then

$$f^{-1}(W)$$

is open in $X$, and therefore

$$\big(f|_Y\big)^{-1}(W) = f^{-1}(W) \cap Y$$

is open in $Y$ by relative openness.

This is one of the reasons subspace topology is so useful: it makes continuity behave naturally on subsets.

Relative openness and embeddings

Relative openness is also important when studying embeddings. An embedding is a function that identifies one space with a subspace of another space while preserving topology.

If a space $Y$ is embedded into $X$, then the open sets of $Y$ correspond to relatively open sets in its image inside $X$.

This means the topology of $Y$ can be studied by looking at its image inside a larger space. For example, the circle $S^1$ can be viewed as a subspace of $\mathbb{R}^2$. The open sets of $S^1$ are exactly the sets that can be written as intersections of $S^1$ with open sets in $\mathbb{R}^2$.

This perspective is powerful because it allows complicated spaces to be understood as pieces of familiar ones.

Common mistakes to avoid

A common mistake is to assume that if a set is open in a subspace, then it must be open in the whole space. That is false.

For example, $[0,1)$ is relatively open in $[0,2]$, but not open in $\mathbb{R}$.

Another mistake is to forget that the ambient space matters. A set can be relatively open in one subspace and not relatively open in another. If the subspace changes, the topology may change too.

A third mistake is to think that relative openness is just a technical detail. In fact, it is one of the main tools that makes subspace topology work smoothly.

Conclusion

Relative openness is the idea that a set can be open inside a subspace even if it is not open in the larger space. The rule is simple and powerful:

$$U \text{ is open in } Y \iff U = V \cap Y \text{ for some open } V \text{ in } X.$$

This definition helps us understand examples like intervals in $[0,2]$, arcs on a circle, and line segments in the plane. It also supports important ideas such as restricted continuity and embeddings. In subspace topology, relative openness is the bridge between a big space and the smaller spaces inside it. ✅

Study Notes

A set $U \subseteq Y$ is relatively open in $Y$ if there exists an open set $V$ in $X$ such that $U = V \cap Y$.
In the subspace topology, the open sets of $Y$ are exactly the relatively open sets.
Relative openness depends on the ambient space $X$ and the subspace $Y$.
A set can be relatively open in $Y$ even if it is not open in $X$.
Example: $[0,1)$ is relatively open in $[0,2]$ but not open in $\mathbb{R}$.
To test relative openness, look for an open set $V$ in $X$ with $U = V \cap Y$.
If $f : X \to Z$ is continuous, then the restriction $f|_Y : Y \to Z$ is continuous.
Relative openness is essential for understanding subspace continuity and embeddings.
Common geometric examples include open arcs on circles and open intervals inside line segments.