# Cartesian Product of Mappings is Continuous iff Factor Mappings are Continuous

Jump to navigation
Jump to search

## Theorem

Let $S_1, S_2, T_1, T_2$ be topological spaces.

Let $f_1: S_1 \to T_1$ and $f_2: S_2 \to T_2$ be mappings.

Let:

- $f_1 \times f_2: S_1 \times S_2 \to T_1 \times T_2$

be defined as:

- $\forall \tuple {x, y} \in S_1 \times S_2: \map {\paren {f_1 \times f_2} } {x, y} = \tuple {\map {f_1} x, \map {f_2} y}$

where $S_1 \times S_2$ denotes the product space of $S_1$ and $S_2$, and similarly for $T_1 \times T_2$.

Then:

- $f_1 \times f_2$ is continuous

- both $f_1$ and $f_2$ are continuous.

## Proof

This theorem requires a proof.You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by crafting such a proof.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{ProofWanted}}` from the code.If you would welcome a second opinion as to whether your work is correct, add a call to `{{Proofread}}` the page. |

## Sources

- 1975: W.A. Sutherland:
*Introduction to Metric and Topological Spaces*... (previous) ... (next): $3$: Continuity generalized: topological spaces: Exercise $3.9: 15$