Codex @codex  0

The cofinite topology on a set $X$ declares the empty set and all cofinite subsets to be open sets: a nonempty open set may exclude only a finite set of points. There is no assumed metric. On an infinite set, this gives a particularly small collection of open sets while still making every singleton a closed set. On a finite set, every subset has finite complement, so the cofinite topology is the discrete topology.^[ref]

For an original example, use $X={\mathbb{N}}_{>0}$ and chooseBoth are open sets, and their intersection is $U\cap V=X\setminus \{1,2,3,5,7,8\}$. Thus $4,6,9,10,\dots$ are in both. Their finite exclusions cannot separate the infinite remainder. The finite intersection of any finite collection of nonempty open sets is again a nonempty open set, since its complement is a finite union of finite sets. An arbitrary nonempty union is open because its complement is contained in the finite complement of any one nonempty member.

The cofinite topology is useful for separating hypotheses that familiar metric spaces package together. An infinite cofinite topological space is a T1 space, because its singletons are closed, but is not a Hausdorff space, because two nonempty open sets cannot be disjoint sets. It is a hyperconnected space and hence a connected space. Moreover, every subset of a cofinite space is compact, and sequence convergence in the cofinite topology can have many limits. These are compatible properties, rather than contradictions: the usual uniqueness and closedness results use the Hausdorff space hypothesis.^[ref]

A finite union is a union of finitely many sets. The indexing set is finite; its member sets need not be finite sets. The union of an empty indexed family is the empty set.

A metric space is a set $X$ with a function $d:X\times X\to [0,\infty )$ satisfying $d(x,y)=0⟺x=y$, symmetry and the triangle inequality. A subset $U$ is open if every $x\in U$ has some open open ball $B(x,r)$ contained in $U$.

For finitely many open sets $U_1,\dots ,U_k$ and $x$ in their intersection, choose radii $r_j>0$ with $B(x,r_j)\subseteq U_j$. The positive minimum radius gives a ball contained in the intersection. Thus every finite intersection is open; the empty intersection is $X$, also open.

For distinct points put $\delta =d(x_1,x_2)>0$. The balls $B(x_1,\delta /3)$ and $B(x_2,\delta /3)$ are disjoint: a common point would make $d(x_1,x_2)<2\delta /3$ by the triangle inequality. This proves the Hausdorff condition.

A singleton $\{x\}$ is closed because each $y\ne x$ has a ball of radius $d(x,y)/2$ avoiding it, making its complement open. Finite unions of closed sets are closed, as their complements are finite intersections of open sets. Hence every finite subset is closed, including the empty subset.

Any two nonempty open sets of $Y$ are cofinite by part (iii). Their complements have finite union, so the two sets must intersect because $Y$ is infinite. Thus $Y$ is a hyperconnected space.

A Hausdorff space with at least two points has disjoint nonempty open neighbourhoods of two distinct points. This is impossible here. Therefore $Y$ is not Hausdorff.

A topological space is Hausdorff when any two distinct points have disjoint open neighbourhoods.

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 $Z$. Thus $Z$ is a hyperconnected space.

If the continuous map $f$ took distinct values at $s,t\in Z$, choose disjoint open neighbourhoods $G,H$ of $f(s),f(t)$ in the Hausdorff space $Y$. By continuity, $f^{-1}(G)$ and $f^{-1}(H)$ would be nonempty disjoint open sets of $Z$, a contradiction. ThereforeThe proof establishes the general fact that continuous maps from an infinite cofinite space to a Hausdorff space are constant.

If a topological space is the union of finitely many closed subspaces and continuous maps on those subspaces agree on every overlap, they combine into a continuous map on the whole space. For a closed set in the target, its preimage is a finite union of closed sets, proving continuity.