12

If we have closed subset $F$ of product $X \times Y$ (product topology) does it mean that $p_1(F)$ (projection on first coordinate) is closed in $X$ and $p_2(F)$ in $Y$ are closed? If not, why not (some counterexample or explanation please =)

Martin Sleziak
  • 51,859
  • 20
  • 181
  • 357
Meow
  • 1,860
  • 16
  • 28

2 Answers2

18

This is not always true. A counterexample is $X=Y=\mathbb{R}$, $F=\{(x,y)\in\mathbb{R}^2:xy=1\}$.

Julian Rosen
  • 15,670
  • 3
  • 37
  • 66
10

As you have known, it is not always true. However, putting some conditions on the spaces, we have the following lemma:

If $Y$ is compact, then the projection $\pi_1: X \times Y \to X$ is a closed map.

It means that if $C$ is closed in $X \times Y$, then $\pi_1(C)$ is closed in $X$.

You can find the proof of the lemma here.

hengxin
  • 3,547
  • 23
  • 45