Connectedness is product-closed: Difference between revisions
(→Proof) |
|||
| Line 24: | Line 24: | ||
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. | 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. | 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. This allows us to show that if two points differ in only finitely many coordinates, then they must lie in the same open subset of the partition. | ||
Finally, we use the fact that any open set must contain a basis open set. | Finally, we use the fact that any open set must contain a basis open set; the basis open set allows us to alter the remaining ''cofinitely'' many coordinates. | ||
Revision as of 01:04, 27 December 2007
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. This allows us to show that if two points differ in only finitely many coordinates, then they must lie in the same open subset of the partition.
Finally, we use the fact that any open set must contain a basis open set; the basis open set allows us to alter the remaining cofinitely many coordinates.