Any two nonempty open sets of the infinite cofinite topology intersect: their complements are finite sets, so the complement of their intersection is finite and cannot be all of .
Suppose the quotient space had distinct points with disjoint open neighbourhoods . Since the quotient map is surjective, both preimages would be nonempty. Since is continuous, these would be disjoint open subsets of with its cofinite topology, contradicting the observation above. Thus any such quotient space with at least two points is not Hausdorff.
Articles by others on the same topic
There are currently no matching articles.