1. Prove that if \(p^2\) is even, then \(p\) is even.
  2. Prove that \(\sqrt{2}\) is irrational.
  3. Prove that \(\sqrt{3}\) is irrational.
  4. Two real numbers \(a\) and \(b\) are equal if and only if for every real number \(\epsilon > 0\) it follows that \(|a - b| < \epsilon\).


The Absolute Value Function

    Definition and Properties

  1. Let \(x \in \mathbf{R}\), \(|x| \geq 0\).
  2. Let \(x \in \mathbf{R}\), \(-|x| \leq x \leq |x|\).
  3. For two real numbers \(x\) and \(y\), prove that \(\max(x,y) = \frac{1}{2}(x+y+|x - y|)\).
  4. \(|ab| = |a|\cdot|b|\) holds for all real numbers \(a\) and \(b\).
  5. \(|a+b| \leq |a|+|b|\) holds for all real numbers \(a\) and \(b\).
  6. \(|a - c| \leq |a - b|+|b - c|\) holds for all real numbers \(a\), \(b\) and \(c\).


Upper and Lower Bounds

    Bounds Definitions

  1. [Lemma 1.3.8] If \(s\) is an upper bound for \(A\), then \(s = \sup A\) if and only if for every choice of \(\epsilon > 0\), there exists an element \(a \in A\) satisfying \(s - \epsilon < a\).
  2. The Nested Interval Property
  3. The Archimedean Principle
  4. [Density of \(\mathbf{Q}\) in \(\mathbf{R}\)] For every two real numbers \(a\) and \(b\) with \(a < b\), there exists a rational number \(r\) satisfying \(a < r < b\).

    5. Exercises

  5. The set defined as \(c+A = \{c + a : a \in A\}\) where \(c\) is a constant has a least upper bound equal to \(c + sup A\).
  6. [1.3.5] The set defined as \(cA = \{ca : a \in A\}\) where \(c \geq 0\) has \(\sup cA = c\sup A\).
  7. [1.3.6] The set defined as \(A + B = \{a + b: a \in A \text{ and } b \in B\}\) has \(\sup (A+B) = \sup A + \sup B\).
  8. [1.3.6] The set defined as \(A + B = \{a + b: a \in A \text{ and } b \in B\}\) has \(\sup (A+B) = \sup A + \sup B\) (Alternative Proof).
  9. [1.3.4] Let \(A\) and \(B\) be nonempty and bounded above. Find a formula for \(\sup (A \cup B)\) and prove that it is correct.
  10. [1.3.11] If \(A\) and \(B\) are nonempty and bounded sets of real numbers such that \(A \subseteq B\) then \(\inf B \leq \inf A \leq \sup A \leq \sup B\).
  11. Let \(A = \{x \in \mathbf{R}: x < 0\}\). Then \(\sup(A) = 0\).
  12. Show that \(\inf\big(\{\frac{1}{n}: n \in \mathbf{N}\} \big) = 0.\)
  13. Show that \(\sup\big(\{\frac{1}{n}: n \in \mathbf{N}\} \big) = 1.\)


Cardinality

    Definitions

  1. The open interval \((0,1) = \{x \in \mathbf{R}: 0 < x < 1\}\) is uncountable.


Sequences and Subsequences

    Sequences Definitions

  1. Show the Limit Template + Example \(\lim\big(\frac{1}{\sqrt{n}}\big)= 0\).
  2. [Uniqueness of Limits (2.2.7)] The limit of a sequence, when it exists must be unique.
  3. [Bounded Sequences (2.3.1)] A sequence \(x_n\) is bounded if there exists a number \(M > 0\) such that every term in the sequence \(|x_n| \leq M\) for all \(n \in \mathbf{N}\).
  4. [Convergent Sequences (2.3.2)] Every convergent sequence is bounded.
  5. [The Algebraic Limit Theorem (2.3.3)] (i) \(\lim (ca_n) = ca\) for all \(c \in \mathbf{R}\).
  6. [The Algebraic Limit Theorem (2.3.3)] (ii) \(\lim (a_n + b_n) = a + b\).
  7. [The Algebraic Limit Theorem (2.3.3)] (iii) \(\lim (a_nb_n) = ab\).
  8. [The Order Limit Theorem ((2.3.4)]
  9. [Monotone Convergence Theorem (2.4.2)] If a sequence is monotone and bounded, then it converges.

    10. Subsequences Definitions

  10. [Convergence of Subsequence (2.5.2)] Subsequences of a convergent sequence converge to the same limit as the original sequence.
  11. [Bolzano-Weierstrass Theorem (2.5.5)] Every bounded sequence contains a convergent subsequence.
  12. (2.6.3) Cauchy Sequences are Bounded
  13. Every convergent sequence is a Cauchy sequence
  14. [Cauchy Criterion (2.6.4)] A sequence converges if and only if it is a Cauchy sequence.

    15. Exercises

  15. Show that \(\lim\big(\frac{n+1}{n}\big)= 1\).
  16. Let \(x_n \geq 0\) for all \(n \in \mathbf{N}\). Show that if \((x_n) \longrightarrow x\), Then \((\sqrt{x_n}) \longrightarrow \sqrt{x}\).
  17. [Squeeze Theorem] Show that if \(x_n \leq y_n \leq z_n\) for all \(n \in \mathbf{N}\), and if \(\lim x_n = \lim z_n = l\), then \(\lim y_n = l\) as well.
  18. Show that if \((|x_n|) \rightarrow 0\) for all \(n \in \mathbf{N}\), then \(x_n \rightarrow 0\).
  19. Show that \((\sqrt{n + 1} - \sqrt{n})\) converges to 0.
  20. Prove that \(b > b^2 > b^3 > b^4 > ... > 0\) converges to 0 if \(0 < b < 1\). (Example of 2.5.2).
  21. A sequence \(a_n\) converges to \(a\) if and only if every subsequence of \(a_n\) also converges to \(a\).
  22. If two subsequences of \(a_n\) converge to different limits, or if any subsequences of \(a_n\) diverges then \(a_n\) diverges.
  23. Prove that \((a_n) = (-1)^n\) diverges.


Series

    Series Definitions

  1. (2.4.6) Cauchy Condensation Test
  2. (2.7.1) The Algebraic Limit Theorem for Series
  3. (2.7.2) Cauchy Criterion for Series
  4. (2.7.3) If the series \(\sum_{n=1}^{\infty} a_n\) converges then \((a_n) \rightarrow 0\).
  5. (2.7.4) Comparison Test for Series
  6. (2.7.5) The Geometric Series
  7. (2.7.6) [The Absolute Convergence Test] If the series \(\sum_{n=1}^{\infty}|a_n|\) converges, then \(\sum_{n=1}^{\infty} a_n\) converges as well.
  8. (2.7.7) The Alternating Series Test


Topology of R

    Cantor Sets

    Open Sets

  1. (3.2.3) The union of an arbitrary collection of open sets is open and the intersection of a finite collection of open sets is open.

    2. Limit Points

    Closed Sets

  2. Prove that a set \(F \subseteq \mathbf{R}\) is closed if and only if it contains its limit points.
  3. Prove that a closed interval \([c,d] = \{c \leq x \leq d\}\) is a closed set.

    4. Closure

  4. (3.2.13) A set \(O\) is open if and only if \(O^c\) is closed. Likewise, a set \(F\) is closed if and only if \(F^c\) is open.

    5. Compact Sets

  5. (Theorem 3.3.4) [Characterization of Compactness in R] A set \(K \in \mathbf{R}\) is compact if and only if it is closed and bounded.
  6. (Theorem 3.3.5) [Nested Compact Set Property] If \( K_1 \supseteq K_2 \supseteq K_3 \supseteq K_4 \supseteq ...\) is a nested sequence of nonempty compact sets, then the intersection \(\bigcap_{n=1}^{\infty} K_n\) is not empty.

    7. Open Cover

  7. (Theorem 3.3.8) [Heine-Borel Theorem] Let \(K\) be a subset of \(\mathbf{R}\). All of the following statements are equivalent in the sense that any one of them implies the other two (i) \(K\) is compact. (ii) \(K\) is closed and bounded (iii) Every open cover for \(K\) has a finite subcover.

    8. Perfect Sets