Infinite set with cofinite topology

general-topologyreal-analysis

Prove: If $X$ is an infinite set with the cofinite topology, then every $f \in C(X)$ is constant.

Attempt: I can show that $X$, an infinite set with the cofinite topology is connected. Are all continuous functions with connected, cofininte topology constant? If so, how? Or is there another way to solve the original problem.This is from Folland's Real Analysis book.

Best Answer

If $f$ is not constant it has at least two values, say $p$ and $q$ in the reals. We can find two disjoint open intervals $I=(p-r,p+r)$ and $I'=(q-r,q+r)$ in the reals that are disjoint (for small enough $r$), and then by continuity of $f$, both $O=f^{-1}[I]$ and $O' = f^{-1}[I']$ are disjoint non-empty (as $p$ and $q$ are assumed values) open sets in $X$.

But such open sets cannot exist: $O=X\setminus F$ for some finite set $F$ and $O' = X\setminus F'$ for some finite set $F'$. Any point in $X \setminus (F \cup F')$, which must exist as the union of two finite sets is finite and $X$ is infinite, is in both $O$ and $O'$, so non-empty open sets in $X$ (in the cofinite topology) always intersect. This property is called hyperconnected, FYI.

So any continuous map from a hyperconnected space to a Hausdorff space is constant, is what the previous proof shows.

Related Question