Open Real Interval is not Closed Set/Corollary

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $\R$ be the real number line considered as an Euclidean space.

Let $a, b \in \R$.

Let:

$I_a = \left({-\infty \,.\,.\, a}\right)$
$I_b = \left({b \,.\,.\, \infty}\right)$

be unbounded open real intervals.


Then neither $I_a$ nor $I_b$ are closed sets of $\R$.


Proof

Consider the relative complement of $I_a$ in $\R$:

$J = \complement_\R \left({I}\right) = \R \setminus I = \left[{a \,.\,.\, \infty}\right)$

Let $\epsilon \in \R_{>0}$.

Consider the open $\epsilon$-ball $B_\epsilon \left({a}\right)$.

Whatever the value of $\epsilon$ is, $a - \epsilon$ is not in $B_\epsilon \left({a}\right)$.

So, by definition, $J$ is not an open set of $\R$.

By Relative Complement of Relative Complement, $\complement_\R \left({J}\right) = I$.

By definition, it follows that $I_a$ is not a closed set of $\R$.


Mutatis mutandis, the same proof shows that neither is $I_b$ a closed set of $\R$.

$\blacksquare$