Difference between revisions of "Characteristic property of the product topology/Statement"

Revision as of 00:55, 3 May 2016

Statement

Let [ilmath]\big((X_\alpha,\mathcal{J}_\alpha)\big)_{\alpha\in I} [/ilmath] be an arbitrary family of topological spaces. Let [ilmath](Y,\mathcal{ K })[/ilmath] be any topological space. Then^[1]:

• A map, [ilmath]f:Y\rightarrow \prod_{\alpha\in I}X_\alpha[/ilmath] is continuous (where [ilmath]\prod_{\alpha\in I}X_\alpha[/ilmath] is imbued with the product topology and [ilmath]\prod[/ilmath] denotes the Cartesian product)

if and only if

• Each component function, [ilmath]f_\alpha:=\pi_\alpha\circ f[/ilmath] is continuous (where [ilmath]\pi_\alpha[/ilmath] denotes one of the canonical projections of the product topology)

Furthermore, the product topology is the unique topology on [ilmath]\prod_{\alpha\in I}X_\alpha[/ilmath] with this property.

TODO: Diagram

Notes

References

1. ↑ Introduction to Topological Manifolds - John M. Lee