# Clopen Sets in Finite Complement Topology

Jump to navigation
Jump to search

## Theorem

Let $T = \left({S, \tau}\right)$ be a finite complement topology on an infinite set $S$.

Then the only clopen sets of $T$ are $S$ and $\varnothing$.

## Proof

Let $U \in \tau$ be open in $T$.

Then by definition of finite complement topology, $S \setminus U$ is finite.

By definition of open set, $S \setminus U$ is closed.

As $S$ is infinite, it follows that $U$ must also be infinite.

Thus unless $U = S$, $S \setminus U$ can not be open.

Hence the result.

$\blacksquare$

## Sources

- 1964: Steven A. Gaal:
*Point Set Topology*... (previous) ... (next): $\S 1.1$