Any two nonempty open sets of the infinite cofinite topology intersect: their complements are finite sets, so the complement of their intersection is a finite union of finite sets and cannot be all of . Thus is a hyperconnected space.
If the continuous map took distinct values at , choose disjoint open neighbourhoods of in the Hausdorff space . By continuity, and would be nonempty disjoint open sets of , a contradiction. ThereforeThe proof establishes the general fact that continuous maps from an infinite cofinite space to a Hausdorff space are constant.
Articles by others on the same topic
There are currently no matching articles.