Open subset

Real Analysis
Post Reply
Papapetros Vaggelis
Community Team
Posts: 426
Joined: Mon Nov 09, 2015 1:52 pm

Open subset

#1

Post 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}}\).
James13
Posts: 4
Joined: Sat Aug 12, 2017 12:12 pm

Re: Open subset

#2

Post 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
Papapetros Vaggelis
Community Team
Posts: 426
Joined: Mon Nov 09, 2015 1:52 pm

Re: Open subset

#3

Post by Papapetros Vaggelis »

Thank you.
James13
Posts: 4
Joined: Sat Aug 12, 2017 12:12 pm

Re: Open subset

#4

Post by James13 »

Welcome
Post Reply

Create an account or sign in to join the discussion

You need to be a member in order to post a reply

Create an account

Not a member? register to join our community
Members can start their own topics & subscribe to topics
It’s free and only takes a minute

Register

Sign in

Who is online

Users browsing this forum: No registered users and 0 guests