Subjects topology

Closed Set Projections

Step-by-step solutions with LaTeX - clean, fast, and student-friendly.

Search Solutions

Closed Set Projections


1. **Problem statement:** We want to find a closed set $E \subseteq \mathbb{R}^2$ such that the projection onto the second coordinate $\pi_2(E)$ is closed, but the projection onto the first coordinate $\pi_1(E)$ is not closed. 2. **Recall definitions:** - The projection maps are $\pi_1(x,y) = x$ and $\pi_2(x,y) = y$. - A set is closed if it contains all its limit points. 3. **Key idea:** - The projection $\pi_2(E)$ is the set of all $y$ such that $(x,y) \in E$ for some $x$. - Similarly for $\pi_1(E)$. - We want $\pi_2(E)$ to be closed but $\pi_1(E)$ not closed. 4. **Constructing $E$:** - Consider the set $E = \{(x, \sin(1/x)) : x \in (0,1] \} \cup \{(0,0)\}$. - This set is the graph of $y = \sin(1/x)$ for $x$ in $(0,1]$ plus the point $(0,0)$. 5. **Check if $E$ is closed:** - The graph of $\sin(1/x)$ is continuous on $(0,1]$. - Adding the point $(0,0)$ closes the set because $\lim_{x \to 0} \sin(1/x)$ does not exist, but the point $(0,0)$ is included. - The closure of the graph includes $(0,y)$ for all $y$ in $[-1,1]$, but since we only add $(0,0)$, $E$ is closed in $\mathbb{R}^2$. 6. **Projection $\pi_2(E)$:** - $\pi_2(E) = \{\sin(1/x) : x \in (0,1]\} \cup \{0\}$. - The set $\{\sin(1/x) : x \in (0,1]\}$ is dense in $[-1,1]$. - However, since $E$ only contains $(0,0)$ at $x=0$, $\pi_2(E)$ is not the entire interval $[-1,1]$, but it contains $0$. - The closure of $\pi_2(E)$ is $[-1,1]$, but $\pi_2(E)$ itself is not closed. 7. **Projection $\pi_1(E)$:** - $\pi_1(E) = (0,1] \cup \{0\} = [0,1]$. - This is a closed interval. 8. **We want the opposite:** - So switch the roles: define $E = \{(x,0) : x \in (0,1)\} \cup \{(0,y) : y \in [0,1]\}$. 9. **Check $E$ closed:** - $E$ is the union of the vertical segment at $x=0$ from $y=0$ to $y=1$ and the horizontal segment along $y=0$ for $x$ in $(0,1)$. - The set $E$ is closed because it contains all its limit points. 10. **Projection $\pi_2(E)$:** - $\pi_2(E) = \{0\} \cup [0,1] = [0,1]$, which is closed. 11. **Projection $\pi_1(E)$:** - $\pi_1(E) = (0,1) \cup \{0\} = [0,1)$, which is not closed because it does not contain $1$. 12. **Final answer:** - The set $E = \{(x,0) : x \in (0,1)\} \cup \{(0,y) : y \in [0,1]\}$ is closed in $\mathbb{R}^2$. - $\pi_2(E) = [0,1]$ is closed. - $\pi_1(E) = [0,1)$ is not closed. Thus, this $E$ satisfies the problem conditions.