Let $A$ and $B$ be non-empty subsets of $\mathbb{R}$ such that for all $x \in A$ and $y \in B$ we have $x \leq y$. Prove that $\sup{A} = \inf{A}$ if and only if for each $\delta > 0$ there exists $x \in A$ and $y \in B$ such that $x + \delta > y$:
We are given that $\sup{A} \leq \inf{B}$. We are also given that $a = \sup{A}$ if and only if $a$ is an upper bound for $A$ and there exists $x \in A$ such that for each $\delta > 0$ , $x + \delta > a$.
I have a proof that I think works. First I prove the only if direction.
Suppose $\sup{A} = \inf{B}$. Since $x + \delta > \sup{A}$ for all $\delta > 0$ , $x + \delta > \inf{B}$. Since $\inf{B}$ is the greatest lower bound for $B$, $x + \delta$ can't be a lower bound for each $\delta > 0$. Thus there exists $y \in B$ such that $x + \delta > y$.
Now we prove the if direction.
Suppose there exists $x \in A$ and $y \in B$ such that $x + \delta > y$ for each $\delta >0$. Since $\inf{B} \leq y$ for each $y \in B$ we have $x + \delta > \inf{B}$. Since $\inf{B} \geq \sup{A}$ , $\inf{B}$ is an upper bound for $A$. This gives us our characterization of $\sup{A}$ stated above. Thus $\inf{B} = \sup{A}$. Any critique would be awesome. Thank you.
Best Answer
($\Rightarrow$) I think it would be better this way: Fix an arbitrary $\delta>0$, there exists $x\in A$ s.t. $x+\delta>\sup A=\inf B$, then $x+\delta$ cannot be a lower bound for $B$ and the rest is your conclusion.
($\Leftarrow$) Since $x$ and $y$ depends on $\delta$, you should write "Suppose that for any $\delta>0$, there exists $x\in A,y\in B$ s.t. $x+\delta>y$" then write your argument and finish with "...then $\inf B$ is an upper bound for $A$, moreover $\inf B\leqslant \sup A$ (by definition of $\sup$); thus $\inf A=\sup B$".