Real Analysis/Section 1 Exercises

These are a list of problems for The Real Numbers section of the wikibook. Most of these problems can be described as algebraic problems, although this problem set also includes theorems and concepts from Number Theory. Number Theory is not a primary topic in this wikibook, but there is an appendix section devoted to formalizing several concepts from it. It is recommended to do some problems from the Number Theory heading since its scope of discussion—theorems related to the natural numbers and its supersets integers and rationals—are seldom discussed clearly and usually left to intuition.

Unsorted

 * 1) Show that $$-1<0\ $$
 * 2) Show that $$\forall z\in\mathbb{Z},\ z^2\ge0$$
 * 3) Complete the proofs of the simple results given above.
 * 4) Show that the complex numbers $$\mathbb C$$ cannot be made into an ordered field.
 * 5) Complete the proof of the square roots theorem by giving details for the case $$x<1$$.
 * 6) Suppose A is a non-empty set of real numbers that is bounded above and let s = sup A.  Show that if s is not in A, then for any ε &gt; 0,  there exists an element a in A such that s &minus; ε &lt; a &lt; s.

Algebra
The following questions are meant to formalize a good chunk of algebraic rules one may have simply memorized in elementary mathematics as axiomatically true. However, provided with even the first few laws established in the section The Real Numbers such as the commutative law and algebraic manipulations like moving variables around the equal sign, the following questions should be an easy way to get used to applying theorems to prove one's claim—a very important skill in mathematics.

1. Prove the following theorems on inequalities (Assume that the variables, unless explicitly restricted, can be any number in its assumed domain)  If 0 &le; x, then -x &le; 0 If a < b, then -b < -a Given x < 0, if y < z, then xy > xz If a < b and c < d, then a + c < b + d If a d, then a - c < b - d If 0 &le; a < b and 0 &le; c < d, then ac < bd

2. Prove the following inequalities (Assume that the variables, unless explicitly restricted, can be any number in its assumed domain)  If 1 &le; x, then x &le; x2</li> <li>If 1 &le; x, then 1 &le; x2</li> <li>If 0 < x < 1, then x2 < x</li> <li>If 0 &le; x < y, then x2 < y2</li> <li>Given x, y such that 0 &le; x, y, if x2 < y2, then x < y</li> <li>Given an odd number n, if x < y, then xn < yn</li> <li>Given a natural number n, if 0 &le; x < y, then xn < yn</li> </ol>

3. Prove the following consequential theorems related to the laws provided in this chapter <ol type=i> <li>If there exists the number 0, then $$0 = -0$$</li> <li>$$\forall x,y\in\mathbb{Z},\ -(xy) = (-x)y = x(-y)$$</li> </ol>

4. Prove the following theorems on rational numbers <ol type=i> <li>Given $$a \ne 0, b \ne 0$$, $$\frac{1}{ab} = \frac{1}{a} \cdot \frac{1}{b}$$</li> <li>Given $$b \ne 0, c \ne 0$$, $$\frac{a}{b} = \frac{ac}{bc}$$</li> <li>Given $$b \ne 0, d \ne 0$$, $$\frac{a}{b} \cdot \frac{c}{d} = \frac{ac}{bd}$$</li> <li>Given $$b \ne 0, d \ne 0$$, $${\frac{a}{b}}\div{\frac{c}{d}} = \frac{ad}{bc}$$</li> </ol>

Answers

Absolutes
1. Prove the following inequalities (Assume that the variables, unless restricted, can be any number) <ol type=I> <li>&#124;a&#124; + &#124;b&#124; &le; &#124;a + b&#124;</li> </ol>

Answers

Number Theory
<ol> <li> Prove the following properties on even and odd numbers: <ol type=I> <li>If you add two even numbers, then the sum is even.</li> <li>If you add two odd numbers, then the sum is even.</li> <li>If you multiply an odd number with an even number, then the product is even.</li> <li>If you multiply two odd numbers, then the product is odd.</li> </ol></li> <li> Prove that no consecutive number of a perfect square is also a perfect square for all natural numbers. You don't have to factor in 0 for this problem.</li> <li> Prove that there exists no primitive Pythagorean triple $$a, b, c$$ such that either a and b are even or a and b are odd.</li> <li> Given that $$\forall a \in \mathbb{Z} : [\exists b \in \mathbb{N} : \exists r, q \in \mathbb{Z} : a = bq + r]$$, prove that if the given holds, then the remainder r has the following property $$0 \le r < b$$.</li> <li> Prove that $$\sqrt{2}$$ is irrational.</li> <li> Prove that any square root of a prime number is irrational.</li> <li> Given the equation $$x - c = A(x - d) + B(x - e)$$ such that $$A, B, c, d, e$$ are constants, prove that if $$x$$ is any number except for $$d$$ or $$e$$ then both $$A$$ and $$B$$ cannot be defined.<li> </ol>

Bridge Questions
The following questions can be solved more easily and quickly with more advanced tools. However, solving these questions with restrictions in your mathematical tools provides an excellent understanding of how mathematics as a whole interacts. As a general rule, the answers to these problems should be longer and rely on a lot more properties.