A topology on contains , is closed under arbitrary unions and under finite intersections. The cofinite family has these properties: a nonempty union contains one cofinite member and therefore has finite complement; the complement of a finite intersection is a finite union of finite sets. The empty union and the sets are included explicitly.
Any two nonempty open sets intersect, because their intersection has finite complement in the infinite set . Thus no two disjoint nonempty open sets can separate , proving connectedness. For compactness, take any open cover and choose a nonempty member . Only finitely many points lie outside . Choose one covering member for each of those points. Together with these give a finite subcover. Thus is compact.
Articles by others on the same topic
There are currently no matching articles.