Past exam of the topology course of the University of Oxford / 2021 / 2 / b

The sphere $S^2$ is path-connected. For $u,v\in S^2$ which are not an antipodal pair, a continuous path isThe denominator never vanishes: a zero would make $u$ and $v$ antipodal. If $v=-u$, choose a unit vector $w$ perpendicular to $u$ and concatenate the paths from $u$ to $w$ and from $w$ to $v$ of the same form. Thus $S^2$ is connected. The quotient map $q_S$ is continuous and surjective, so the continuous image of a connected space theorem proves that ${\mathbb{RP}}^2$ is connected. In fact composing the paths above with $q_S$ also proves path connectedness.

False, with “disjoint union” understood as a topological disjoint union. Take the rational numbers $\mathbb{Q}$ with the usual subspace topology from the real line.

Every connected subset of $\mathbb{Q}$ has at most one point. Indeed, if it contained $r<s$, choose an irrational number $t\in (r,s)$. The two relatively open setspartition $\mathbb{Q}$ and separate any subset containing both $r$ and $s$. Hence the connected components of $\mathbb{Q}$ are singletons.

If a topological disjoint union of nonempty connected spaces were homeomorphic to $\mathbb{Q}$, the image of each summand would be connected, hence a singleton. Every summand would therefore be a one-point topological space. Their topological disjoint union is a discrete space, since each summand is open. But $\mathbb{Q}$ is not a discrete space: for each $r\in \mathbb{Q}$, the distinct rational numbers $r+1/n$ approach $r$, so $r$ is not an isolated point. This is a contradiction. The set decomposition into connected components always exists; giving those pieces the topological disjoint union topology need not recover the original topology.