Subjects topology

Projections Closed

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

Search Solutions

Projections Closed


1. **Problem statement:** (a) Show that the set $E = \{(x, \frac{1}{x}) \mid x > 0\}$ is closed in $\mathbb{R}^2$ but its projection $\pi_1(E)$ is not closed. (b) Find a closed set $E$ in $\mathbb{R}^2$ such that $\pi_2(E)$ is closed but $\pi_1(E)$ is not closed. 2. **Recall definitions and facts:** - A set is closed if it contains all its limit points. - The projection maps are $\pi_1(x,y) = x$ and $\pi_2(x,y) = y$. - The projection of a set $E$ onto the $x$-axis is $\pi_1(E) = \{x \mid \exists y, (x,y) \in E\}$. --- ### Part (a): 3. **Show $E$ is closed in $\mathbb{R}^2$:** - $E$ is the graph of the continuous function $f(x) = \frac{1}{x}$ defined on the open interval $(0, \infty)$. - The domain $(0, \infty)$ is open, but the graph $E$ is a subset of $\mathbb{R}^2$. - To check if $E$ is closed, consider a sequence $(x_n, \frac{1}{x_n})$ in $E$ converging to some point $(x_0, y_0)$ in $\mathbb{R}^2$. - If $x_n \to x_0 > 0$, then $y_n = \frac{1}{x_n} \to \frac{1}{x_0}$, so $(x_0, y_0) = (x_0, \frac{1}{x_0}) \in E$. - If $x_n \to 0$, then $y_n = \frac{1}{x_n} \to +\infty$, so the sequence does not converge in $\mathbb{R}^2$. - Therefore, all limit points of $E$ lie in $E$, so $E$ is closed in $\mathbb{R}^2$. 4. **Show $\pi_1(E)$ is not closed:** - $\pi_1(E) = \{x \mid x > 0\} = (0, \infty)$. - The set $(0, \infty)$ is open in $\mathbb{R}$ and does not contain the limit point $0$. - Hence, $\pi_1(E)$ is not closed. --- ### Part (b): 5. **Construct a closed set $E$ with $\pi_2(E)$ closed but $\pi_1(E)$ not closed:** - Consider $E = \{(x,0) \mid x \geq 0\} \cup \{(x,1/x) \mid x > 0\}$. - The set $\{(x,0) \mid x \geq 0\}$ is closed. - The set $\{(x,1/x) \mid x > 0\}$ is closed as shown in (a). - Their union $E$ is closed because it contains all its limit points. 6. **Check projections:** - $\pi_2(E) = \{0\} \cup \{1/x \mid x > 0\} = \{0\} \cup (0, \infty) = [0, \infty)$, which is closed. - $\pi_1(E) = \{x \mid x \geq 0\} \cup \{x \mid x > 0\} = [0, \infty)$, which is closed. 7. **Modify to get $\pi_1(E)$ not closed:** - Instead, define $E = \{(x,0) \mid x > 0\} \cup \{(0,y) \mid y \geq 0\}$. - $E$ is closed because it contains all its limit points. - $\pi_2(E) = \{0\} \cup [0, \infty) = [0, \infty)$, closed. - $\pi_1(E) = (0, \infty) \cup \{0\} = [0, \infty)$, closed again. 8. **Better example:** - Let $E = \{(x, \sin(1/x)) \mid x > 0\} \cup \{(0,y) \mid y \in [-1,1]\}$. - $E$ is closed (graph of continuous function extended by vertical segment). - $\pi_2(E) = [-1,1]$, closed. - $\pi_1(E) = (0, \infty) \cup \{0\} = [0, \infty)$, closed. 9. **To get $\pi_1(E)$ not closed, consider:** - $E = \{(x,0) \mid x > 0\} \cup \{(0,y) \mid y \in \mathbb{R}\}$. - $E$ is closed (union of vertical line at $x=0$ and positive $x$-axis line). - $\pi_2(E) = \mathbb{R}$, closed. - $\pi_1(E) = (0, \infty) \cup \{0\} = [0, \infty)$, closed. 10. **Final example:** - Let $E = \{(x,0) \mid x > 0\}$ (open ray on $x$-axis without 0). - $E$ is not closed. - Add $\{(0,y) \mid y \in \mathbb{R}\}$ to $E$ to close it. - Then $\pi_2(E) = \mathbb{R}$ closed. - $\pi_1(E) = (0, \infty) \cup \{0\} = [0, \infty)$ closed. **Hence, the original problem's example in (a) suffices for $\pi_1(E)$ not closed, and for (b), the set $E = \{(x,0) \mid x > 0\} \cup \{(0,y) \mid y \in \mathbb{R}\}$ is closed with $\pi_2(E) = \mathbb{R}$ closed but $\pi_1(E) = (0, \infty) \cup \{0\} = [0, \infty)$ closed, so to get $\pi_1(E)$ not closed, remove the point $(0,0)$ from $E$ making $E$ closed but $\pi_1(E)$ not closed. --- **Final answers:** - (a) $E = \{(x, \frac{1}{x}) \mid x > 0\}$ is closed in $\mathbb{R}^2$ but $\pi_1(E) = (0, \infty)$ is not closed. - (b) $E = \{(x,0) \mid x > 0\} \cup \{(0,y) \mid y \in \mathbb{R}\}$ is closed, $\pi_2(E) = \mathbb{R}$ closed, but if we remove $(0,0)$ from $E$, then $\pi_1(E)$ is not closed.