2
$\begingroup$

I am trying understanding product maps better. Suppose that we have open maps$$f_1:X_1\rightarrow Y_1, f_2:X_2\rightarrow Y_2$$ Then, if $U_i\subseteq X_i \Rightarrow f_i(U_i)\subseteq Y_i$ for $i=1,2$.

Now consider, $$f_1\times f_2:(X_1\times X_2)\rightarrow(Y_1\times Y_2)$$ I believe that this should also be an open map.

Let $U$ be an open subset of $X_1\times X_2$, then $U$ can be expressed as $U_1\times U_2$ where $U_1\subseteq X_1$ and $U_2\subseteq X_2$. I want to show that $(f_1\times f_2)(U)$ is an open subset of $Y_1\times Y_2$. If $x=(x_1,x_2)\in U$, then $(f(x_1),f(x_2))\in (f_1\times f_2)(U)$. Also, $f_1(U_1)$ is open in $Y_1$ and $f_2(U_2)$ is open in $Y_2$. Here is where I am stuck and having difficulty continuing.

Hints are welcome, please no full solutions. I want to work through this. Thank you for your help.

$\endgroup$
6
  • $\begingroup$ Open sets are unions of products of basic open sets, not products. For example, an open disk in the plane is not a product of two open intervals. $\endgroup$ Commented Oct 23, 2017 at 0:54
  • $\begingroup$ Open sets needn’t be products of open sets. But they are unions of such products since products of open sets form a basis for the product space. $\endgroup$
    – MPW
    Commented Oct 23, 2017 at 0:54
  • $\begingroup$ Instead, should it be: If $U$ is open in $X_1\times X_2$, then there are $U_1,U_2$ such that $U_1\times U_2\subseteq U$? $\endgroup$
    – Joe
    Commented Oct 23, 2017 at 0:55
  • $\begingroup$ Prove the easy and useful theorem that if B is a base for X and for all U in B, f(U) is open, then f is open. $\endgroup$ Commented Oct 23, 2017 at 1:17
  • 2
    $\begingroup$ If $U$ is open in $X_1\times X_2$ then $U=\cup G$ where each $g\in G$ is $U_{1,g}\times U_{2,g}$ for some open $U_{i,g}$ of $X_i$..... So $(f_1\times f_2)(U)=$ $\cup_{g\in G} (f_1\times f_2)(g)=$ $\cup_{g\in G}[\;(f_1\times f_2)(U_{1,g}\times U_{2,g})\;].$ ... To solve your problem, answer this : What is the definition of $(f_1\times f_2)(U_{1,g}\times U_{2,g})$ ? $\endgroup$ Commented Oct 23, 2017 at 16:22

1 Answer 1

3
$\begingroup$

$U \subseteq X \times Y$ is open iff for every $(x,y) \in U$ there exist $U_1 = U_1(x) \subseteq X$ open, and $U_2 = U_2(x) \subseteq Y$ with $x \in U_1, y \in U_2$ and $U_1 \times U_2 \subseteq U$.

This just says that all "open squares" are a base for the product topology.

Now check that $\pi_1[U] = \bigcup_{(x,y) \in U} U_1(x)$, which is a union of open sets and thus open.

$\endgroup$
1
  • $\begingroup$ This helps a lot. I was under the "false" impression that if $U$ was open in $X_1\times X_2$, then $U=U_1\times U_2$. However, by definition, the product topology is generated by the basis $\{U_1\times U_2 : U_1\subseteq X_1, U_2\subseteq X_2\}$. $\endgroup$
    – Joe
    Commented Oct 25, 2017 at 12:27

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .