This is an old revision of the document!
Oscar Xu's review notes
A brief review of key concepts in Math 104. The notes are organized in the order of chapters with respect to Professor Peng Zhou's lectures.
1: Introduction
$\mathbb{Z}$: integers, has subtraction and zero. $\mathbb{Z}$ is an example of “ring”.
$\mathbb{Q}$: rational number, ($\frac{n}{m}, n,m \in \mathbb{Z}$)
What is the root of $x^2 - 2 = 0$?
Definition of algebraic numbers: A number is called an algebraic number if it satisfies a polynomial equation
$c_n x^n + c_{n-1} x^{n-1} + \cdots + c_1 x + c_0 = 0$
Where the coefficients $c_0, c_1, …, c_n$ are integers,
Rational Zeros Theorem: Supose $c_0, c_1, \cdots, c_n$ are integers and $r$ is a rational number satisfying the polynomial equation
$c_n x^n + c_{n-1} x^{n-1} + \cdots + c_1 x + c_0 = 0$
where $n \geq 1$, $c_n \neq 0$, $c_0 \neq 0$. Let $r = \frac{c}{d}$, where c, d are relatively prime, then $c$ divides $c_0$ and d divides $c_n$
Completeness Axiom: the very axiom that gives us the density of $\mathbb{R}$
Definiton of max and min: Let $S \subset R$, we say an element $\alpha \in S$ is a maximum if $\forall \beta \in S, \alpha \geq \beta$. Similarly, $\alpha \in S$ is a minimum if $\forall beta \in S$, $\alpha \leq \beta$.
Definition of upper bound, lower bound, and bounded: If a real number $M$ satisfies $s \leq M$ for all $s \in S$, then $M$ is called an upper bound of $S$ and the set $S$ is said to be bounded above.
If a real number $m$ satisfies $m \leq s $ for all $s \in S$, then $m $ is called a lower bound of $S and the set $S$ is said to be bounded below.
Note: Far from being unique
The set $S$ is said to be bounded if it is bounded above and bounded below,
Definition of supremum and infimum: Let $S$ be a nonempty subset of $\mathbb{R}$.
If S is bounded above and $S$ has a least upper bound, denote it by $\sup S$
If S is bounded below and $S$ has a greatest lower bound, denote it by $\inf S$
Completeness Axiom Every nonempty subset $S$ of $\mathbb{R}$ that is bounded above has a least upper bound. In other words, $\sup S$ exists and is a real number.
Note that comleteness axiom has many equivalent forms, and this one is known as least upper bound property. As long as one completeness axiom holds, all other holds. The greatest lower bound property holds by easy proof.
Archimedian property
If $a > 0$ and $b > 0$, then for some positive integer $n$, we have $na > b$
Denseness of $\mathbb{Q}$
If $a, b \in \mathbb{R}$ and $a < b$, then there is a rational $r \in \mathbb{Q}$ such that $a < r < b$
Reading
The symbols $\infty$ and $-\infty$: $\sup S = +\infty$ if $S$ is not bounded above, and $\inf S = -\infty$ if $S$ is not bounded below,
2. Sequences
Sequences are functions whose domain are positive integers.
Definition of Convergence:
A sequence $(s_n)$ of real nbumbers is said to converge to the real number provided that
for each $\epsilon > 0 $ there exists a number $N$ such that $n > N$ implies $|s_n - s| < \epsilon$
Theorem: Convergent sequences are bounded
Theorem: If the seuquence $(s_n)$ converges to $s$ and $k$ is in $\mathbb{R}$, then the seuqnece $ks_n$ converges to $ks$. That is, $\lim(ks_n)=k \cdot \lim s_n$
Theorem: If $(s_n)$ converges to $s$ and $(t_n)$ converges to $t$, then $s_n + t_n$ converges to $s + t$. That is,
$\lim (s_n + t_n) = \lim s_n + \lim t_n$
Theorem: If $(s_n)$ converges to $s$ and $(t_n)$ converges to $t$, then $s_n t_n$ converges to $(\lim s_n)(\lim t_n)$. That is,
$\lim (s_n t_n) = (\lim s_n)(\lim t_n)
Lemma, if $s_n$ converges to $s$, if $s_n \neq 0$ for all $n$, and if $s \neq 0$, then $(1/s_n)$ converges to $1/s$
Theorem: Suppose $(s_n)$ converges to $s$ and $(t_n)$ converges to $t$. If $s \neq 0$ and $s_n \neq 0$ for all $n$, then $(t_n/s_n)$ converges to $\frac{t}{s}$
Theorem: $\lim_{n \to \infty} (\frac{1}{n^p}) = 0$ for $p > 0$
$\lim_{n \to \infty} a^n = 0$ if $|a| < 1.$
$\lim (n^{1/n}) = 1.$
$\lim_{n \to \infty} (a^{1/n}) = 1$ for $a > 0$
Definition: For a sequence $(s_n)$, we write $\lim s_n = + \infty$ provided for each $M > 0$ there is a number $N$ such that $n > N$ implies $s_n > M$.
Section: Monotone sequence and cauchy sequence
Definition: A sequence that is increasing or decreasing will be called a monotone sequence or a monotonic sequence.
Theorem: All bounded monotone sequences converge.
Definition: Let $(s_n)$ be a sequence in $R$. We define
$\lim \sup s_n = \lim_{N \to \infty} \sup \{s_n : n > N\}$
$\lim \inf s_n = \lim_{N \to \infty} \inf \{s_n : n > N\}$
Theorem: Let $(s_n)$ be a sequence in $\mathbb{R}$.
If $\lim s_n$ is defined, then $\lim inf s_n = \lim s_n = \lim \sup s_n$
If $\lim \inf s_n = \lim \sup s_n$, then $\lim s_n$ is defined and $\lim s_n = \lim \inf s_n = \lim \sup s_n$
Definition of Cauchy Sequence: A sequence $(s_n)$ of real numbers is called a Cauchy Sequence if
for each $\epsilon > 0$ there exists a number $N$ such that $m, n > N$ implies $s_n - s_m < \epsilon$
Theorem: Convergent sequences are cauchy sequences.
Lemma: cauchy sequences are bounded.
Theorem: A sequence is a convergent sequence iff it is a cauchy sequence.
Definition: A subsequence of this sequence is a sequence of the form $(t_k)_{k \in N}$ where for each $k$ there is a positive integer $n_k$ such that $n_1 < n_2 < \cdots < n_k < n_{k+1} < \cdots$ and $t_k = s_{n_k}$
Lemma: If $(s)n) is convergenet with limit in $\mathbb{R}$, then any subsequence converges to the same point.
Lemma: If $\alpha = \lim_n s_n$ exist in $\mathbb{R}$, then there exists a subsequence that is monotone.
Theorem: If $t \in \mathbb{R}$, then there is a subsequence of $(s_n)$ converging to $t$ if and only if the set $\{n \in \mathbb{N}: |s_n - t| < \epsilon$ is infinite for all $\epsilon > 0$.
Theorem: If the sequence $(s_n)$ converges, then every subsequence converges to the same limit.
Theorem: Every sequence $(s_n)$ has a monotonic subsequence.
Bolzano-Weierstrass Theorem: Every bounded sequence has a convergent subsequence.
Theorem: Let $(s_n)$ be any sequence. There exists a monotonic subsequence whose limit is $\lim \sup s_n$ and there exists a monotonic subsequence whose limit is $\lim \inf s_n$
Theorem: Let $(s_n)$ be any sequence in $\mathbb{R}$, and let $S$ denote the set of subsequential limits of $(s_n)$. S is nonempty. $\sup S = \lim \sup s_n$ and $\inf S = \lim \inf s_n$. $\lim s_n$ exists if and only if $S$ has exactly one element, namely $\lim s_n$
Section: lim sup's and lim inf's
Theorem: Let $(s_n)$ be any sequence of nonzero real numbers. Then we have
$\lim \inf |\frac{s_{n+1}}{s_n}| \leq \lim \inf |s_n|^{1/n} \leq \lim \sup |s_n|^{1/n} \leq \lim \sup |\frac{s_{n+1}}{s_n}$
Corollary: If $\lim |s_{n+1}|$ exists and equals $L$, then $\lim |s_n|^{1/n}$ exists and equals $L$.
After Midterm 1
Definition of metric space:
A metric space is a set S together with a distance function $d : S \times S \to \mathbb{R}$, such that
$d(x, y) \geq 0$, and $d(x, y) = 0$ is equivalent to $x = y$
$d(x, y) = d(y, x)$
$d(x, y) + d(y, z) \geq d(x, z)$
Cachy sequence in a metric space $(S, d)$
Def: A sequence $1) < \epsilon$
Completeness: A metric space $(S, d)$ is complete, if every cauchy sequence is convergent.
Bolzano-Weierstrass theorem: Every bounded sequence in $\mathbb{R}^k$ has a convergent subsequence.
Definition of interior and open: Let $(S, d)$ be a metric space. Let $E$ be a subset of $S$. An element $s_0 \in E$ is interior to $E$ if for some $r > 0$ we have
$\{s \in S: d(s, s_0) < r\} \subseteq E$
We write $E^\circ$ for the set of points in $E$ that are interior THe set $E$ is open in $S$ if every point in $E$ is interior to $E$.
Discussion: S is open in $S$
The empty set $\emptyset$ is open in $S$.
The union of any collection of open sets is open.
The intersection of finitely many open sets is again an open set.
Definition: $E \subset S$ is a closed subset of $S$ if the complement $E^C = S\E$ is open.
Propositions: $S, \emptyset$ are closed.
The union of a collection of closed sets is closed.
The set $E$ is closed if and only if $E = E^-$
The set $E$ is closed if and only if it contains the limit of every convergent subsequence of points in $E$.
An element is in $E^-$ if and only if it is the limit of some sequence of points in $E$.
A point is in the boundary of $E$ if and only if it belongs to the closure of both $E$ and its complement.
