Open sets in product topology I'm quite certain that this should be trivially simple, but it's very late and I'm not that bright at the best of times:
$\{(X_\lambda, \mathcal{U}_\lambda)\,|\,\lambda \in \Lambda\}$ is a family of topological spaces with natural projection
$$\pi_\mu\,:\, \prod\limits_{\lambda\in\Lambda} X_\lambda \rightarrow X_\mu, \quad (x_\lambda)_{\lambda\in\Lambda} \mapsto x_\mu.$$
I need to prove that $G \subseteq \prod X_\lambda$ is open in the product topology if and only if $G = \bigcup\limits_{\alpha\in A} G_\alpha$, and each $G_\alpha = \prod\limits_{\lambda \in \Lambda} G_{\alpha \lambda}$, with each $G_{\alpha\lambda}\in \mathcal{U}_\lambda$ and $G_{\alpha\lambda} = X_\lambda$ for all but finitely many $\lambda$. The product topology is then taken to be the topology induced by $\{\pi_\mu\,|\,\mu\in\Lambda\}$.
Then I need to show that each $\pi_\mu$ is an open mapping.
I appreciate that this is basically just writing out the definition of the product topology, and it feels like it's very close to clicking in my brain, but I keep getting jumbled and the devil Time ruthlessly pushes ever forward.
 A: The product topology is the one induced by the projections. That means that a subbase for the topology is given by all sets of the form $\pi_{\mu}^{-1}[O]$ where $O$ is any open subset of $X_{\mu}$, and $\mu$ ranges over the index set $\Lambda$. Note that this set is just the product of $O$ in coordinate $\mu$ and $X_{\lambda}$ for all other coordinates $\lambda \neq \mu$. This means that all finite intersections of such sets form a base, and these are exactly the sets that are products of open sets in finitely many coordinates, and the whole space in all others. (The subbase and base remarks are always true for topologies induced by maps, here we just apply them to projections.) As these sets form a base, any open set can be written as a union of them.
As to showing that $\pi_{\mu}$ is open, it suffices to show that basic open sets (as described above) have open images, as unions are preserved by function images, and this is quite clear: a projection of such a set is either the whole space or the non-trivial open factor. This does not depend on there being finitely many non-trivial factors etc. and also holds for the box topology on the product set.
