Past exam of the topology course of the University of Oxford / 2023 / 1 / a / i / Solution

Give the nonempty subset $A\subseteq X$ its subspace topology. It is compact if every open cover admits a finite subcover. Equivalently, whenever $A\subseteq {\bigcup }_{j\in J}{U}_j$ with each $U_j$ open in $X$, there are $j_1,\dots ,j_m$ such that $A\subseteq U_{j_1}\cup \cdots \cup U_{j_m}$.

It is connected if it has no separation of a topological space: there are no disjoint nonempty open subsets $B,C$ of $A$ with $A=B\cup C$. Here openness is relative to the subspace topology; equivalently, the only clopen sets of $A$ are $\varnothing$ and $A$.