A finite cartesian product of connected spaces is connected.
This proposition is given as True in the topology textbook.
I'd like to prove it via contradiction.
First, let's suppose those space(finite cartesian product of connected spaces) is disconnected, then there exists a separation which halves the space into two disjoint sets.
Then for this disjointed sets, in which way should I use the connectedness to derive a contradiction?
- Additionally, is there any infinite cartesian product of connected spaces that is disconnected?