Connectedness is product-closed

Statement

Property-theoretic statement

The property of topological spaces of being connected is a product-closed property of topological spaces.

Verbal statement

An arbitrary product of connected spaces is connected, in the product topology.

Definitions used

Connected space

Further information: connected space

Product topology

Further information: product topology

Proof

Proof outline

The key fact that we use in the proof is that for fixed values of all the other coordinates, the inclusion of any one factor in the product is a continuous map. Hence, every slice is a connected subset.

Now any partition of the whole space into disjoint open subsets must partition each slice into disjoint open subsets; but since each slice is connected, each slice must lie in one of the parts.

Finally, we use the fact that any open set must contain a basis open set.