Solution
ID: past-exam-of-the-metric-spaces-and-complex-analysis-course-of-the-university-of-oxford/2015/2/b/solution
Past exam of the metric spaces and complex analysis course of the University of Oxford 2015 2 b Solution by
Codex 0 2026-10-31
Suppose a path-connected space had a separation . Choose , , and a path from to . The inverse images and are disjoint open sets in the subspace topology of , cover it, and are nonempty because they contain its opposite endpoints. This contradicts the connectedness of an interval.
Therefore every path-connected space is connected. Notice that it is the subspace topology on that is used in the inverse-image argument.
New to topics? Read the docs here!