Solution

ID: past-exam-of-the-topology-course-of-the-university-of-oxford/2023/1/a/i/solution

Give the nonempty subset its subspace topology. It is compact if every open cover admits a finite subcover. Equivalently, whenever with each open in , there are such that .
It is connected if it has no separation of a topological space: there are no disjoint nonempty open subsets of with . Here openness is relative to the subspace topology; equivalently, the only clopen sets of are and .

New to topics? Read the docs here!