I am new to topology and I have some trouble with the following exercise in my topology class:
Let I be an infinite index set and for each $i \in I$ we are given a non-empty topological space $X_i$.
If X is another topological space and $f_i:X \rightarrow X_i$ are open maps for each $i \in I$, then $f:X \rightarrow \prod_{i\in I}X_i$, $f(x)=(f_i(x))_{i \in I}$, is an open map aswell.
I have to decide and prove/give a counterexample if the statement is true when $\prod_{i\in I}X_i$ is equipped with (a) the product topology and (b) the box topology.
I know a function $f:X \rightarrow Y$ is called open, if for all open $U \subseteq X$ the image $f(U) \subseteq Y$ is open.
I also know that if I is finite then box top. = prod. top. (but in this problem I is infinite).
Best Answer
$\newcommand{\box}{\prod_i U_i \ \text{for $U_i$ open in $X_i$}}$ $\newcommand{\pro}{ \{\ p^{-1}(U_i), U_i \text{ open in } X_i \}\ }$ For box topology remember the definition of the box topology the basis consists of $\box$
For the product topology recall the definition of the product topology, here $p$ represents the projection map Definition of product topology: $\pro$