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]

For a set $X$ with its cofinite topology, a subset $S$ is a connected subset exactly when $S$ is empty, a singleton, or infinite. Indeed, its subspace topology is the cofinite topology on $S$: the traces of open sets are precisely $S\setminus F$ for finite $F\subseteq S$, together with the empty set. For infinite $S$, two nonempty open sets intersect, because their complements have finite union. Hence $S$ is a hyperconnected space and therefore a connected space. A finite $S$ has the discrete topology, which admits a separation of a topological space as soon as $S$ has at least two points.

If $X$ is an infinite set with its cofinite topology and $Y$ is a Hausdorff space, every continuous map $f:X\to Y$ is a constant function. Otherwise two distinct image points would have disjoint open neighbourhoods. Their inverse images would be nonempty disjoint open sets of $X$, contradicting its hyperconnected space property.

For example, $f(n)=n$ from ${\mathbb{N}}_{>0}$ with its cofinite topology into the real line with its usual Euclidean metric is not continuous: the inverse image of the open interval $(1/2,3/2)$ is $\{1\}$, which is not open in the infinite domain. A continuous real-valued readout on that domain can only report one value. Finite cofinite domains are different: their discrete topology allows arbitrary functions into any topological space.

Any two nonempty open sets in the cofinite topology on $\mathbb{N}$ intersect: their complements have finite union, which cannot exhaust $\mathbb{N}$. Thus this is a hyperconnected space. Suppose a continuous map $f$ took two distinct values $a$ and $b$. The usual real line is a Hausdorff space, so there are disjoint open intervals $U$ and $V$ containing $a$ and $b$. Their inverse images under the continuous map are disjoint, nonempty open sets, contradicting hyperconnectedness. Every such $f$ is constant.

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.

Every topological subspace $S\subseteq X$ again has the cofinite topology: its nonempty open subsets have finite complements in $S$, and every finite exclusion is obtained by intersecting with a cofinite open subset of $X$. As usual, the empty set is also open; this exception is implicit in the paper's shorthand definition.

If $S$ is infinite, any two nonempty relatively open sets intersect, since their complements are finite. Hence $S$ is hyperconnected space and therefore connected. If $S$ is finite, its cofinite topology is discrete topology. It is then connected exactly when it has at most one point. ThusThere are also infinite disconnected subsets of the product. Choose distinct $a,b\in X$ and put $D=\{a,b\}\times X$. This is infinite. The traces on $D$ of the ambient open setsare respectively $\{a\}\times X$ and $\{b\}\times X$. They are disjoint, nonempty and cover $D$, giving a separation. This answers the infinite-subset question, rather than only producing two isolated product points.

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.