Abbott Example 1.2.5 and Exercise 1.2.6. Look up Example 1.2.5 in the textbook, and then complete Exercise 1.2.6. This is very important for everything, so please work to understand it.
Find an efficient proof for all cases at once by first demonstrating \((a+b)^2 \le (|a| + |b|)^2\text{.}\) You can use the fact that \(f(x)=\sqrt{x}\) is increasing: for positive real numbers \(x\) and \(y\text{,}\)\(\sqrt{x} \le \sqrt{y}\) if and only if \(x \le y\text{.}\)
For part (b), a good general strategy for proving an inequality is to start with the left-hand side and do a sequence of algebraic manipulations or simple inequalities, such as \(a \le |a|\text{,}\) until you arrive at the right-hand side.
For part (d), remember that \(|x| \le c\) for some positive \(c\in\R\) is the same as \(-c \le x \le c\text{,}\) so you can prove each inequality separately.
Abbott Exercise 1.3.6. Given sets \(A\) and \(B\text{,}\) define \(A+B = \{a+b : a \in A \text{ and } b \in B\}\text{.}\) Follow these steps to prove that if \(A\) and \(B\) are nonempty and bounded above, then \(\sup(A+B) = \sup A + \sup B\text{.}\)
For part (d), to get an element of \(A+B\) within \(\epsilon\) of \(s+t\text{,}\) take elements of \(A\) and \(B\) separately that are sufficiently close to \(s\) and \(t\) and then add them.
Abbott Exercise 1.4.4. Let \(a < b\) be real numbers and consider the set \(T = \Q \cap [a,b]\text{.}\) Show \(\sup T = b\text{.}\) Begin by justifying the fact that \(\sup T\) exists.
Optional. Abbott Exercise 1.3.10. The Cut Property of the real numbers is the following: If \(A\) and \(B\) are nonempty, disjoint sets with \(A \cup B = \R\) and \(a < b\) for all \(a \in A\) and \(b \in B\text{,}\) then there exists \(c \in \R\) such that \(x \le c\) whenever \(x \in A\) and \(x \ge c\) whenever \(x \in B\text{.}\)
Show that the implication goes the other way; that is, assume \(\R\) possesses the Cut Property and let \(E\) be a nonempty set that is bounded above. Prove \(\sup E\) exists.
Optional. Abbott Exercise 1.4.7. Finish the proof of Theorem 1.4.5 by showing that the assumption \(\alpha^2 > 2\) leads to a contradiction of the fact that \(\alpha = \sup T\text{.}\)