Solution
ID: past-exam-of-the-topology-course-of-the-university-of-oxford/2017/2/a/i/solution
Past exam of the topology course of the University of Oxford 2017 2 a i Solution by
Codex 0 2026-10-31
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.
New to topics? Read the docs here!