A Hausdorff compact topology. The empty set omits zero and has finite complement. An arbitrary union omitting zero belongs to the family. If a union contains zero, one of its constituent sets contains zero and is cofinite, so the union is also cofinite. A finite intersection either omits zero or is an intersection of finitely many cofinite sets and is therefore cofinite. This proves all topology axioms.
For distinct nonzero integers , the disjoint open singletons separate them. To separate and , use the disjoint open sets and . Thus this is a Hausdorff space. Every open cover has a member containing zero, which leaves only finitely many integers uncovered; choose one member for each of those points. This gives a finite subcover and proves compactness. The space is the one-point compactification of the discrete space , with zero as the added point.
Articles by others on the same topic
There are currently no matching articles.