Prove that if with , then there exists such that .

*Proof.*(This is about the point in the blog at which I’m just going to use the basic properties of without much comment. As usual, if something is unclear, leave a comment, and I’ll clarify.)

Then, since and (since and using I.3.5, Exercise #4) and so their product is also greater than 0.

Then, by adding ,

So, letting , we have with

as requested

Something went wrong with my comment. Here it is again:

There’s a problem with this argument.

As you mentioned, first you have to show that sup S = y. But, in order to show that, just by the definition of the supremum, you have to show that for any x<y, x is NOT an upper bound of S, which is exactly equivalent to there being a z in S (zx.

In other words, to show that sup S = y, you have to prove the theorem first! Which means that going the other way (proof of the theorem using sup S = y) would be wrong and circular reasoning.

Ok, same problem again with my comment. It seems there’s something wrong with the website.

Basically, to show that sup S = y, where S is the set of all real numbers smaller than y, you have to prove this theorem first. So going the other way around would be wrong and circular reasoning.

(By the way I commented anonymously, but I’m not the same Anonymous as the previous Anonymous!)

By absurd, if we suppose there is not a z for x<z<y then we imply that x=z and that is absurd since the letter says x<y.

If we form a set K with x as the Inf K and y as the Sup K, then there is a z in the real numbers for which Sup K – Inf K < z(theorem I.32).

How do you develop the intuition to construct such a proof? How do you know where to start?

Thank you.

at this point, how do we know that 2(y-x)>(y-x)?

Because de teorem I.30 but he take n=2

Thanks for the explanation. I was also thinking there is no theorem tells us that (y-x) + (y-x) = 2(y-x) at this point.

Another possible explanation I thought of is the following:

As y-x>0, adding y-x to both sides and we get (y-x)+(y-x)>(y-x). Then we can form (y+y)-(x+x)>y-x. Using the distributive axiom, we get y(1+1)-x(1+1)>y-x. At this point we have the definition of 2 as 1+1. Then 2y-2x>y-x and thus 2(y-x)>y-x.

My version of anonymous’s solution which I like a lot more than the (x+y)/2 solution because we guarantee there exists a real instead of explicitly constructing one.

x, y ∈ ℝ such that x < y

S = { z y – h by T 1.32, that is z > x.

Hence there is a real z such that x < z < y.

Yah, something went wrong too with my reply. It’s just basically anon’s solution but I was using fancy unicode, which I guess this site doesn’t have an encoding for. Oh well. Great site!!

Maybe an alternative solution:

Let S={s|sy – (y-x)=x

Hence we have x<z<y.

Sorry but something went wrong as I posted the comment.

S is the set of all the real numbers that are smaller than y.

Apply theorem I.32 with h = y-x.

For some real number in S, say z, we have

z>y-(y-x)=x

Hence, x<z<y.

the only thing left is you need to prove sup S = y before you use z>y-(y-x). Otherwise, only “THERE EXISTS z>Sup S – (y-x)” is true

There’s a problem with this argument.

As you mentioned, first you have to show that sup S = y. But, in order to show that, just by the definition of the supremum, you have to show that for any x<y, x is NOT an upper bound of S, which is exactly equivalent to there being a z in S (zx.

In other words, to show that sup S = y, you have to prove the theorem first! Which means that going the other way (proof of the theorem using sup S = y) would be wrong and circular reasoning.

Something went wrong with my comment too (weird…). Here is my comment whole again:

There’s a problem with this argument.

As you mentioned, first you have to show that sup S = y. But, in order to show that, just by the definition of the supremum, you have to show that for any x<y, x is NOT an upper bound of S, which is exactly equivalent to there being a z in S (zx.

In other words, to show that sup S = y, you have to prove the theorem first! Which means that going the other way (proof of the theorem using sup S = y) would be wrong and circular reasoning.