This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
math104-s21:s:genevievebrooks [2021/05/12 00:01] 157.131.89.162 |
math104-s21:s:genevievebrooks [2026/02/21 14:41] (current) |
||
|---|---|---|---|
| Line 122: | Line 122: | ||
| 2.20 Theorem\\ | 2.20 Theorem\\ | ||
| If $p$ is a limit point of E then every neighborhood of $p$ contains infinitely many points in E.\\ | If $p$ is a limit point of E then every neighborhood of $p$ contains infinitely many points in E.\\ | ||
| + | 2.23 Theorem\\ | ||
| + | A set is open iff its complement is closed.\\ | ||
| + | 2.24 Theorem\\ | ||
| + | 1. arbitrary union of open sets is open\\ | ||
| + | 2. arbitrary intersection of closed sets is closed\\ | ||
| + | 3. finite intersection of open sets is open\\ | ||
| + | 4. finite union of closed sets is closed\\ | ||
| + | Proof uses the relation: $$(\bigcap_{\alpha}F_{\alpha})^c = \bigcup_{\alpha}F_{\alpha}^c$$ | ||
| - | **Continuity** | + | Next we introduced notion of a closure of a set which is equal to the set but with the addition of its limit points.\\ |
| + | |||
| + | **Compact Sets**\\ | ||
| + | **open cover** of E in metric space X is a collection{$G_{\alpha}$} of open subsets of X such that $E \subset \bigcup_{\alpha} G_{\alpha}$\\ | ||
| + | K in X is compact if every open cover of K contains a finite subcover. i.e. There exist finite indices such that: $$K \subset G_1 \cup G_2 \cup \cdots \cup G_m$$ | ||
| + | **Heine-Borel Theorem**: If E in $\mathbb{R}^k then E compact \Leftrightarrow E closed and bounded.\\ | ||
| + | Example: $(0, 1) \epsilon \mathbb{R}^k$ is not compact because it is not closed and so we have $$\bigcup (\frac{1}{n}, | ||
| + | |||
| + | Compactness brings us many interesting theorems such as **Theorem 2.35** closed subsets of compact sets are compact\\ | ||
| + | Theorem 2.41: If E is in $\mathbb{R}^k$ then TFAE\\ | ||
| + | (a) E is closed and bounded\\ | ||
| + | (b) E is compact\\ | ||
| + | c) Every infinite subset of E has a limit point in E | ||
| + | |||
| + | |||
| + | |||
| + | |||
| + | **Continuity**\\ | ||
| + | 3 Definitions: | ||
| + | (Credit to Kaylene Stocking because I really liked the way she described the definitions)\\ | ||
| + | The limit perspective: | ||
| + | |||
| + | The bounded rate of change perspective: | ||
| + | **formal definition**: | ||
| + | |||
| + | The topological perspective: | ||
| Line 132: | Line 165: | ||
| Example: Let $f_n(x) = nx^n$ for $x \epsilon [0, 1)$. We show that convergence is not uniform. If it were there would exist $N \epsilon \mathbb{N}$ such that $$|nx^n - 0| < 1 \forall x \epsilon [0, 1), n > N$$ In particular we would have $(N + 1)x^{N + 1} < 1 \forall x \epsilon [0, 1)$. But this fails for $x$ sufficiently close to 1: consider $\frac{1}{(N + 1)^\frac{1}{N + 1}}$. | Example: Let $f_n(x) = nx^n$ for $x \epsilon [0, 1)$. We show that convergence is not uniform. If it were there would exist $N \epsilon \mathbb{N}$ such that $$|nx^n - 0| < 1 \forall x \epsilon [0, 1), n > N$$ In particular we would have $(N + 1)x^{N + 1} < 1 \forall x \epsilon [0, 1)$. But this fails for $x$ sufficiently close to 1: consider $\frac{1}{(N + 1)^\frac{1}{N + 1}}$. | ||
| + | |||
| + | **Differentiation** | ||
| + | |||
| + | two definitions: | ||
| + | 5.2 Theorem: If $f$ is defferentiable at $x$ then $f$ is continuous at $x$. | ||
| + | |||
| + | **Mean Value Theorems** | ||
| + | These theorems let us extrapolate data about arbitrary points on a function in a range [a, b] for which f is defined. If a point on f is a local min or local max then its derivative at that point is 0.\\ | ||
| + | |||
| + | Generalized MVT: If $f, g$ are continuous on [a, b] and differentiable on (a, b) then $\exists x \epsilon (a, b)$ such that $$[f(b) - f(a)]g' | ||
| + | |||
| + | MVT: $\frac{f(b) - f(a)}{b - a} = f'(x)$ | ||
| + | |||
| + | Rolle' | ||
| + | |||
| + | Continuity of Derivatives Theorem: Suppose $f$ is a real differentiable function on [a, b] and suppose $f'(a) < \lambda < f'(b)$ then there is a point x in (a, b) such that $f'(x) = \lambda$ | ||
| + | |||
| + | -useful corollary: If f is differentiable on (a, b) then f can not have any simple discontinuities on (a, b). | ||
| + | |||
| + | **L' | ||
| + | Let $s$ signify $a$, $a^+$, $a^-$, $\infty$, or $-\infty$ where $a \epsilon \mathbb{R}$ and suppose $f$ and $g$ are differentiable functions for which the following limit exists: $$\lim_{x \rightarrow s} \frac{f' | ||
| + | |||
| + | **Taylor' | ||
| + | If $f$ is a smooth function (is infinitely differentiable) then $$\sum_{k = 0}^{\infty} \frac{f^k(c)}{k!}(x - c)^k$$ is the Taylor series of f about c. We can stop k at a certain index to get a partial representation of $f$ with some error. The error formula is: $$R_n(x) = f(x) - \sum_{k = 0}{n - 1} \frac{f^k(c)}{k!}(x - c)^k$$ The remainder depends on f and c. Furthermore we may have that $$f(x) = \sum_{k = 0}^{\infty} \frac{f^k(c)}{k!}(x - c)^k$$ iff $$\lim_{n \rightarrow \infty} R_n(x) = 0$$ But the remainder need not always tend to zero. Hence we can have $f$ not given exactly by its Taylor series.\\ | ||
| + | **The actual Taylor' | ||
| + | Let $f$ be defined on (a, b) where a < c < b. Suppose the nth derivative of f(x) exists on (a, b). Then for each $x \neq c$ in (a, b) there is some $y$ between c and x such that $$R_n(x) = \frac{f^n(y)}{n!}(x - c)^n$$ | ||
| + | |||