[Math] How to prove that the complement of a closed set in $\mathbb{R^n}$ is open

general-topology

How does the argument go for: $\mathbb{R^n} \setminus A$ open, if $A$ closed?

I've tried to think of the closed set definitions, but I don't know how I'm supposed to apply them to an open set. Also was thinking of doing an antithesis ($\mathbb{R^n} \setminus A$ closed).


Here open set is a set that contains only interior points.
A closed set is a set that contains all its boundary points.

Interior and boundary points are displayed using the Ball definition.
(e.g. $x$ is an interior point of $A$ if $\exists r>0$ s.t. $B(x,r)\subset A$)

A closed set A has the equivalence theorem for closedness stating that one can construct a vector sequence $(x_k)_{k=1}^{\infty}$, $x_k \in A$ $\forall k$, for which $\lim_{k\rightarrow \infty}x_k=x$ and $x \in A$.

Best Answer

Assume $A$ is closed and let $x\in \mathbb{R}^n\backslash{A}$ arbitrary. We are looking for an $r>0$ such that $B(x,r)\subset \mathbb{R}^n\backslash{A}$, thus proving $\mathbb{R}^n\backslash{A}$ is open.

Since $A$ is closed, $x$ is not a limit point of $A$. So there is an $\epsilon>0$ such that $\mathrm{d}(x,y)>\epsilon$ for all $y\in A$. Take $r=\epsilon$ et voila.