# Showing that projections $\mathbb{R}^2 \to \mathbb{R}$ are not closed

Consider $\mathbb{R}^2$ as $\mathbb{R} \times \mathbb{R}$ with the product topology. I am simply trying to show that the two projections $p_1$ and $p_2$ onto the first and second factor space respectively are not closed mappings. It seems like this should be easy, but I have not been able to come up with a closed set in $\mathbb{R}^2$ whose projection onto one of the axes is not closed.

I don't really have any work to show...I've really just tried the obvious things like closed rectangles and unions of such, the complement of an open rectangle or union of open rectangles, horizontal and vertical lines, unions of singletons, etc., and haven't come up with anything non-obvious, which I hope is where the answer lies. It's bothering me that I can't come up with an answer, and I'd appreciate some help. Thanks.

-
Take an hyperbole. – Tomás Oct 26 '12 at 23:24
@Tomás: The term hyperbole is actually from literature, and it means "exaggeration" (e.g. the pub was crowded, there were a million people there!); you probably wanted to say hyperbola which is a mathematical object. – Asaf Karagila Oct 27 '12 at 1:38
Yes @AsafKaragila, hahha, thank you, You help me to improve my english (it is so bad haha) – Tomás Oct 27 '12 at 10:24

No bounded set will work, because a closed and bounded set in ${\bf R}^2$ is compact, and the image of a compact set under any continuous map is compact (so closed in any Hausdorff space, in particular in $\bf R$).

On the other hand, the graph of any function with a vertical asymptote will work, for instance that of $1/x$.

In fact, it is not hard to show that any open set in $\bf R$ can be obtained as the projection of a closed set in ${\bf R}^2$ in such a way that the projection is injective (no two points in the closed set project onto the same point in $\bf R$), by a similar technique. This is related to the classical fact that any $G_\delta$ (countable intersection of open sets) in ${\bf R}$ (or any other Polish space, that is, separable and completely metrizable, if you're familiar with the concepts) can be embedded as a closed set in $\bf R^N$ (product of countably infinitely many copies of $\bf R$).

-
Thanks for making what could have been a very simple answer more significant, interesting, and even an introduction to higher concepts! – Alex Petzke Oct 27 '12 at 2:27
Someone downvoted this answer. Why? – tomasz May 17 '13 at 19:56

The graph of $\tan^{-1}(x)$ is closed, but its projection onto the $y$-axis is not.

There's a related discussion in SO at Projection map being a closed map.

-
I learned this example recently from @NateEldredge in [another SO question] (math.stackexchange.com/questions/214597/…). – Hew Wolff Oct 26 '12 at 23:26
Projection of the graph of $\tan (x)$ onto the $x$-axis is also not closed (and no wonder, it being symmetrical to the graph of $\tan ^{-1}(x)$). – tomasz Oct 26 '12 at 23:33