I'm still new to proof writing so I was wondering if I could have a little help organizing my thoughts on this, I attempted this proof in a slightly oblong way that is probably not the standard, but I wanted to see if it still made sense. There is also a problem I was having at the end that I was hoping I could get help with.
So given that $S = \{x \epsilon R : x^2 < x\}$ we first need to find an upper bound. And then we have to show that the upper bound is the least upper bound, and moreover that it is equal to 1.
So the first thing I did, was observe that $(1)^2 = 1$ and that $(-1)^2 = 1$ by the positivity axioms, so they are not in the set. And as $1 > -1$, the set S must be contained in $(-1, 1)$. So therefore, 1 is an upper bound.
In order to show that it is the supremum, we need to show that $1 \leq b$ for all other upper bounds b. In my text it was pointed out that this is equivalent to showing that any other number less than sup S can't be an upper bound.
This is where I'm a little stuck. I know from experience that if a number is less than 1 but greater than 0, that it's square is less than itself. So I somehow need to say that if $x^2 < x$, there is another number $c$ that is larger than the value of $x$ that I chose that is in the set. But I get stuck here.
Best Answer
Your suggested argument, which is exactly what you need to proceed, can be framed as a contradiction: Suppose there is an upper bound $b < 1$ for $S$. Then, if you can show that $b$ is not an upper bound, i.e., that there is a number in $S$ larger than $b$, you'll have produced a contradiction; in other words, our assumption that there is an upper bound $b < 1$ cannot hold, or put another way, any upper bound is at least $1$. Then, since you've already shown that $1$ is an upper bound, it must be the least upper bound (supremum) of $S$.