Product topology

Canonical projections are open

Let be the canonical projections of the product topology. Then each is an open map. 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.

---

tidy | en | sembr