Page 1 of 1

Open subset

Posted: Thu Oct 05, 2017 10:02 am
by Papapetros Vaggelis
Let \(\displaystyle{G}\) be a non-empty and open subset of \(\displaystyle{\left(\mathbb{R},|\cdot|\right)}\)

such that \(\displaystyle{x\pm y\in G\,,\forall\,x\,,y\in G}\). Prove that \(\displaystyle{G=\mathbb{R}}\).

Re: Open subset

Posted: Thu Oct 05, 2017 9:49 pm
by James13
Since $G$ is non empty, let $a \in \displaystyle{\mathbb{R}}$ be a real that belongs to $G$. But then, $a-a$ must also belong to $G$, that is, $0 \in G. \\$
Now since $G$ is open, there must exist an open interval around $0$, say $(-\delta,\delta) \subseteq G$ with $\delta >0$. Now pick any positive real $\theta. \\$
Choose a big enough $n \in \displaystyle{\mathbb{N}}$ such that $\theta / n < \delta$. This means that $\theta / n \in G$. By adding this number to $0 \in G, n$ times, you $\\$
get (every time) an element of $G$. Hence, $\theta \in G. \\$
If a negative real $t$ is, futhermore, selected, then $-t$ is positive and according to the above, belongs to $G$. But then,
$0 - (-t) = t$ must also belong to $G$. Hence, all positive and negative reals, and $0$, belong to $G$. Hence, $G = \mathbb{R}$



Efthymios Tsakaleris

Re: Open subset

Posted: Sat Oct 07, 2017 12:53 pm
by Papapetros Vaggelis
Thank you.

Re: Open subset

Posted: Thu Oct 12, 2017 8:07 am
by James13
Welcome