Problem 125
Easy Powers and Roots

Regard mathbb C as a subset of the extended complex plane…

Regard $\mathbb C$ as a subset of the extended complex plane $\overline{\mathbb C}=\mathbb C\cup\{\infty\}$. Is $\mathbb C$ closed?

Explanation of Method

Check whether the complement $\{\infty\}$ is open in $\overline{\mathbb C}$ (it isn't, since every neighborhood of $\infty$ necessarily contains finite points too); equivalently, exhibit a sequence in $\mathbb C$ that converges to $\infty$ in $\overline{\mathbb C}$ but whose limit is not in $\mathbb C$.

Step 1 · $\mathbb C$ is open in $\overline{\mathbb C}$

For every $z_0\in\mathbb C$, the disk $B(z_0,1)\subseteq\mathbb C$, so $\mathbb C$ is open — this part is uncontroversial.

Step 2 · Test closedness via the complement

$\mathbb C$ is closed in $\overline{\mathbb C}$ iff $\overline{\mathbb C}\setminus\mathbb C=\{\infty\}$ is open in $\overline{\mathbb C}$.

Step 3 · $\{\infty\}$ is not open

Every neighborhood of $\infty$ has the form $\{|z|>R\}\cup\{\infty\}$ for some $R>0$ — and this set always contains infinitely many finite points, never just $\{\infty\}$ alone. So no neighborhood of $\infty$ is contained in $\{\infty\}$:

$$ \{\infty\} \text{ is not open} \quad\Longrightarrow\quad \boxed{\mathbb C \text{ is not closed in } \overline{\mathbb C}} $$

Step 4 · Confirm via a limit point outside $\mathbb C$

Take $z_n=n$ for $n=1,2,3,\ldots$ — a sequence entirely within $\mathbb C$. In the topology of $\overline{\mathbb C}$ (where neighborhoods of $\infty$ are exactly the sets $\{|z|>R\}\cup\{\infty\}$), this sequence converges:

$$ \lim_{n\to\infty}z_n=\infty $$

Since $\infty\notin\mathbb C$, the set $\mathbb C$ fails to contain one of its own limit points — confirming it is not closed.

Summary of status in $\overline{\mathbb C}$

SetOpen?Closed?
$\mathbb C$YesNo
$\{\infty\}$NoYes
$\overline{\mathbb C}=\mathbb C\cup\{\infty\}$YesYes

General principle

A subset $E\subseteq\mathbb C$ is closed in $\overline{\mathbb C}$ if and only if $E$ is compact in $\mathbb C$ (closed and bounded, by Heine–Borel). Since $\mathbb C$ itself is unbounded, it fails compactness and is therefore not closed in $\overline{\mathbb C}$ — even though it is closed (trivially) in itself.

Result

$$ \mathbb C \text{ is open but } \textbf{not closed} \text{ in } \overline{\mathbb C}; \qquad \text{its complement } \{\infty\} \text{ is closed but not open} $$

Adjoining a single point at infinity to compactify the plane necessarily "opens up" $\mathbb C$'s complement — the price of compactifying an unbounded space is that the original space stops being closed in the larger one.