Homepage Solution manuals Theodore Gamelin Introduction to Topology Exercise 2.2.4 (Openness in the original and relative topologies)

Exercise 2.2.4 (Openness in the original and relative topologies)

Prove that a set S in X is open if and only if every relatively open subset of S is open in X. Is this statement true if "open’" is replaced by "closed"?

Answers

Open version.

Proof. If S is open in X, then every open subset of S will be open in X as well since it is an intersection of an open set in X with S, which is as well open. Conversely, if every relatively open set in S is open in X, then, in particular, S, which is trivially open in S, must be open in X as well. □

Closed version.

Proof. Suppose that S is closed in X. Let C be an arbitrary relatively closed set in S. Since S C is open in X, we can find an open set U in X such that U S = S C. We thus obtain

X C = (X S) (S C) = (X S) (S U) = (X S) U.

Since X S and U are both open in X, X C must be open as well and thus, C must be closed in X. Conversely, if every relatively closed set in S is also closed in X, then, in particular, S, which is trivially closed in S, must be closed in X as well. □

User profile picture
2022-07-04 18:33
Comments