Let be an open cover. We need to show that this has a finite subcover.
Since we have an open cover, such that is an open neighbourhood of . But the only open subsets containing are of the form , so a compact closed subset of such that .
Also, is an open cover of . Since is compact, a finite subcover where .
Hence we have that is a finite subcover of the original cover. Thus our one-point compactification is compact.
Comments
Leave a comment