7
$\begingroup$

I learned in different math courses, that $\mathbb{C}$ is a clopen set. I'm very uncertain if I understand this right, please tell me if these two examples are true:

  • $\mathbb{C} \setminus \{ 0 \}$ is open,
  • $\mathbb{C} \setminus \{ z \in \mathbb{C} : |z| < 1 \}$ is closed.

Thanks.

  • 5
    The examples are true. But they don't show that $\mathbb{C}$ is clopen.2011-01-11

3 Answers 3

17

A clopen set is a set which is both closed and open.

When talking about a space, it is always clopen in itself. This is because we want both the space and the empty set to be open.

So $\mathbb{C}$ is indeed clopen in $\mathbb{C}$ (in any given topology). However, note that $\mathbb{R}$ is clopen in $\mathbb{R}$, but as a subset of $\mathbb{C}$ it's actually just closed. So when you move from $\mathbb{C}$ to something bigger (for example the Riemann sphere) then $\mathbb{C}$ is open, and not closed.

  • 0
    To build on Qiaochu's comment, some have suggested that compact (Hausdorff) is the appropriate "absolute" version of closed. One shouldn't take this too literally, but it can be a helpful heuristic.2011-01-11
9

The whole space is always clopen in any topology. That is part of the definition of a topology. Your two examples are correct.

  • 0
    @Andres: I agree. Thanks2011-01-11
1

$\mathbb{C}$ is indeed clopen since it is both open and closed. Note that one way to define a connected space in topology is that there are no non-trivial clopen sets (the empty set and the whole set will trivially be clopen regardless of the topology).