0
$\begingroup$

Theorem:

Suppose $Y \subset X$. A subset $E \subset Y$ is open relative to $Y$ if and only if $E = Y \cap G$ for some open subset G of X.

enter image description here

I don't understand what's happening neither can I follow the proof.

  • 6
    For me, that's the defition of being "relatively open", what is your definition?2012-07-12
  • 0
    @martini I don't know that as yet. In fact, that's what I believe the theorem tries to teach (that it is necessary to describe the metric space within which the set is believed to be open unlike compactness since compactness is not relative)2012-07-12
  • 0
    @Inequest: So you are considering *metric* spaces ...?2012-07-12
  • 0
    @martini. I think so. (I don't know of any other possibilities)2012-07-12
  • 0
    I think it would be nice to include your definition of “relatively open” in the question!2012-07-12
  • 0
    I think the definition is, for every $p$ in $E$, there is a neighborhood $N$ of $p$ in $X$ such that $E$ contains $N\cap Y$.2012-07-12
  • 0
    @DylanMoreland, I don't know what that is as yet.2012-07-12
  • 0
    Interesting picture.2012-07-12
  • 0
    Similar question: [Long proof of equivalence of subspace and metric topology](http://math.stackexchange.com/questions/74245/long-proof-of-equivalence-of-subspace-and-metric-topology).2012-07-12
  • 0
    If you don't have a definition of "relatively open" there are only two possibilities: Either the above is the definition of "relatively open" or it is meaningless because the term "relatively open" was not yet defined. So if the above is a theorem, there *must* be a definition of "relatively open" to which it refers.2012-07-12
  • 0
    To me this looks like a definition rather than a theorem. Also, where is the proof that you can not follow?2012-07-12

2 Answers 2

2

For metric spaces you can argue as follows:

First we note, that balls in $Y$ (which I will denote by $B^Y_\epsilon(y) = \{z \in Y \mid d(z,y) < \epsilon\}$ are intersections of balls in $X$ with $Y$, more concretely $B^X_\epsilon(y) \cap Y = B^Y_\epsilon(y)$: To prove this, first let $z \in B^Y_\epsilon(y)$, then $z \in Y$ and $d(z,y) < \epsilon$, hence $z \in B^X_\epsilon(y) \cap Y$. The other way round: If $z \in Y \cap B^X_\epsilon(y)$, then $z \in Y$ and $d(y,z) < \epsilon$, that is $z \in B^Y_\epsilon(y)$ by defition of a ball in $Y$. (If you want to draw a picture to see what is happening, you should imagine $y$ lying on the "boundary" of $Y$).

No to the proof of your theorem: First suppose that $E \subseteq Y$ is relatively open, that is for each $y \in E$ there is an $\epsilon_y > 0$ such that $B_{\epsilon_y}^Y(y) \subseteq E$. We want an open set in $X$ and only know something about balls, so we let $G = \bigcup_{y\in E} B^X_{\epsilon_y}(y)$. As a union of open balls in $X$, $G$ is clearly open in $X$ and (by our above lemma) \[ G \cap Y = \bigcup_{y \in E} B^X_{\epsilon_y}(y) \cap Y = \bigcup_{y\in E} B^Y_{\epsilon_y}(y) = E. \] Otherwise if $E = G \cap Y$ for some open $G \subseteq X$, given $y \in E$ we have an $\epsilon > 0$ with $B_\epsilon^X(y) \subseteq G$, hence $B^Y_\epsilon(y) = Y \cap B^X_\epsilon(y) \subseteq G \cap Y = E$. So $E$ is relatively open.

1

A possibility for general topology: Let $(X,\tau)$ be a topological space and $Y \subset X$. We define the induced topology on $Y$ by $\tau'= \{ \Omega \cap Y | \Omega \in \tau \}$. So a subset of $Y$ is said to be relatively open in $Y$ if it is open in $Y$ for the induced topology.

Then, $Z \subset Y$ is relatively open in $Y$ iff there exists an open set $G \subset X$ such that $G \cap Y = Z$.

Indeed, if there exists such an open set $G$, $Z$ is relatively open by definition of the induced topology. If $Z$ is relatively open in $Y$ then for all $x \in Z$ there exists an open set $B_x$ of $X$ such that $x \in B_x \cap Y \subset Z$. Then, $Z= \left( \bigcup\limits_{x \in Z} B_x \right) \cap Y$.

Notice that the open sets of $Y$ are open in $X$ iff $Y$ is open. For example, $]0,1]$ is open in $[-1,1]$ but not open in $\mathbb{R}$.