Let be the canonical projections of the product topology.
Then each is an open map. #m/thm/topology
Proof
Denote with the topology of .
Consider the subbasis of ,
and let be a subbasic open set.
Then for some ,
and since is surjective, .
Hence is open.
Thus, by Proving open map with a subbasis, each is an open map.