# Prove all neighbourhoods are open in this topology

Let $X$ be a set. We define the following topology on $X$:

$$\tau=\{S\subseteq X:X\setminus S\text{ is finite}\}$$

How do you prove all neighbourhoods are open in this topology.

Thanks

-
Do you mean $\{S\subseteq X:X\setminus S\text{ is finite}\}\cup\{\varnothing\}$? And what is $k$? – Brian M. Scott Apr 18 '13 at 0:46
its the c without the line underneath but apart from that yeah. i couldn't make it look right – andwil Apr 18 '13 at 0:47
It’s basically just $\LaTeX$; see here to get started. – Brian M. Scott Apr 18 '13 at 0:49
The displayed line that I wrote is, yes. – Brian M. Scott Apr 18 '13 at 0:51
oh ok i can use latex fine, thanks – andwil Apr 18 '13 at 0:51

HINT: $\tau$ is the cofinite topology on $X$. Suppose that $x\in X$ and that $N$ is a nbhd of $x$. Then there is some $V\in\tau$ such that $x\in V\subseteq N$. Clearly $V\ne\varnothing$, so $X\setminus V$ is finite. What does that tell you about $X\setminus N$?
@andwil: Yes: $X\setminus N$ must be finite, and therefore by definition $N\in\tau$, i.e., $N$ is open. You can’t use open balls unless you have a metric, and this is not a metric space. – Brian M. Scott Apr 18 '13 at 0:59
A neighbourhood $U$ of a point $x$ is any set that contains an open set $V$ containing $x$. So $U$ contains $V$, but $V$ is almost all of $X$. Then $U$ itself must contain all of $X$ minus a finite number of points and hence be open.