Let $X$ and $Y$ be topological spaces. Show that if both $X$ and $Y$ satisfy $T_j$ separation axiom with $j = 1, 2, 3$, then $X \times Y$ equipped with the product topology satisfies $T_j$ as well.
- Anybody can ask a question
- Anybody can answer
- The best answers are voted up and rise to the top
HINTS: For $T_1$ suppose that $\langle x_0,y_0\rangle,\langle x_1,y_1\rangle\in X\times Y$ and $\langle x_0,y_0\rangle\ne\langle x_1,y_1\rangle$. Then either $x_0\ne x_1$, or $y_0\ne y_1$. If $x_0\ne x_1$, use the fact that $X$ is $T_1$; otherwise, use the fact that $Y$ is $T_1$. The argument for $T_2$ is similar.
For $T_3$ suppose that $\langle x,y\rangle\in X\times Y$, $F\subseteq X\times Y$, $F$ is closed, and $\langle x,y\rangle\notin F$. Then there are open sets $U$ in $X$ and $V$ in $Y$ such that $\langle x,y\rangle\in U\times V$ and $(U\times V)\cap F=\varnothing$ (why?).