proof that a path connected space is connected
Let be a path connected topological space. Suppose that , where and are non empty, disjoint, open sets. Let , , and let denote a path from to .
We have , where are non empty, open and disjoint. Since is connected, this is a contradiction, which concludes the proof.