This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
math104-s21:s:oscarxu [2021/05/11 11:14] 210.13.91.38 |
math104-s21:s:oscarxu [2026/02/21 14:41] (current) |
||
|---|---|---|---|
| Line 245: | Line 245: | ||
| If $\alpha = \infty$, the series diverge. | If $\alpha = \infty$, the series diverge. | ||
| If $\alpha < \infty$, the series converge. | If $\alpha < \infty$, the series converge. | ||
| + | |||
| + | **Functions** | ||
| + | |||
| + | Definition of function: A function from set $A$ to set $B$ is an assignment for each element $\alpha \in A$ an element $f(\alpha) \in B$. | ||
| + | |||
| + | Injective, Surjective, Bijective | ||
| + | |||
| + | Definition of Preimage: Given $f: A \to B$. Given a subset $E \subset B$, we have $f^{-1}(E) = \{\alpha \in A | f(\alpha) \in E\} is called the perimage of $E$ under f | ||
| + | |||
| + | Definition of limit of a function: Suppose $p\in E' | ||
| + | |||
| + | Theorem: $\lim_{x\to p} f(x) = q$ if and only iff $\lim_{n\to\infty} f(p_n) = q$ for every sequence $(p_n)$ in $E$ such that $p_n \neq p, \lim_{n\to\infty} p_n = p$. | ||
| + | |||
| + | Theorem: For $f,g: E \to \mathbb{R}$, | ||
| + | $\lim_{x\to p} f(x) +g(x)= A+B$ | ||
| + | $\lim_{x\to p} f(x)g(x) = AB$ | ||
| + | $\lim_{x\to p} \frac{f(x)}{g(x)} = \frac{A}{B}$ if $B\neq 0$ and $g(x)\neq 0 \, \forall x\isin E$ | ||
| + | $\forall c\in \mathbb{R}$, | ||
| + | |||
| + | Definition of pointwise continuity: Let $(X,d_X), (Y,d_Y)$ be metric spaces, $E\subset X$, $f:E \to Y$, $p \isin E$, $q=f(p)$. We say $f$ is continuous at $p$, if $\forall \epsilon> | ||
| + | |||
| + | Theorem: Let $f:X \to \mathbb{R}^n$ with $f(x) = (f_1(x), f_2(x), ..., f_n(x))$. Then $f$ is continuous if and only if each $f_i$ is continuous. | ||
| + | |||
| + | Definition of continuous maps: | ||
| + | |||
| + | $f$ is continuous if and only if $\forall p\in X$, we have $\forall \epsilon >0, \exists \delta >0$ such that $f(B_{\delta}(p)) \subset B_{\epsilon}(f(p))$ | ||
| + | |||
| + | $f$ is continuous if and only if $\forall V\subset Y$ open, we have $f^{-1}(V)$ is open | ||
| + | |||
| + | $f$ is continuous if and only if $\forall x_n \to x$ in $X$, we have $f(x_n) \rightarrow f(x)$ in $Y$ | ||
| + | |||
| + | Theorem: Given that $f$ is a continuous map from a compact metric space $X$ to another compact metric space $(Y)$, then $f(X) \subset Y$ is compact. | ||
| + | |||
| + | Midterm 2 T/F question here: | ||
| + | |||
| + | Let $f: X \to Y$ be a continous map between metric spaces. Let $A \subset X$ and $B \subset Y$. | ||
| + | If A is open, then $f(A)$ is open. False | ||
| + | |||
| + | If A is closed, then $f(A)$ is closed. False | ||
| + | |||
| + | If A is bounded, then $f(A)$ is bounded. False | ||
| + | |||
| + | If $A$ is connected, then $f(A)$ is connected. True | ||
| + | |||
| + | If $A$ is compact, then $f(A)$ is compact. True | ||
| + | |||
| + | If $B$ is open, then $f^{-1}(B)$ is open. True | ||
| + | |||
| + | If $B$ is closed, then $f^{-1}(B)$ is closed. True | ||
| + | |||
| + | If $B$ is bounded, then $f^{-1}(B)$ is bounded. False | ||
| + | |||
| + | If $B$ is connected, then $f^{-1}(B)$ is connected. False | ||
| + | |||
| + | If $B$ is compact, then $f^{-1}(B)$ is compact. False | ||
| + | |||
| + | Definition of uniform continuous function: $f: X \to Y$. Suppose for all $\epsilon > 0$, we have $\sigma > 0$ such that $\forall p, q \in X$ with $d_X(p, q) < \sigma$, $d_Y(f(p), f(q)) < \epsilon$. Then $f$ is a uniform continous function. | ||
| + | |||
| + | Theorem: Suppose $f:X \to Y$ is a continuous function between metric spaces. If $X$ is compact, then $f$ is uniformly continuous. | ||
| + | |||
| + | Theorem: If $f:X\to Y$ is uniformly continuous and $S\subset X$ subset with induced metric, then the restriction $f|_S:S\to Y$ is uniformly continuous. | ||
| + | |||
| + | Definition of connected: Let $X$ be a set. We say $X$ is connected if $\forall S\subset X$ we have $S$ is both open and closed, then $S$ has to be either $X$ or $\emptyset$. | ||
| + | |||
| + | Lemma: $E$ is connected if and only if $E$ cannot be written as $A\cup B$ when $A^- \cap B = \emptyset$ and $A\cap B^- = \emptyset$ (closure taken with respect to ambient space $X$). | ||
| + | |||
| + | Definition of discontinuity: | ||
| + | |||
| + | Definition of monotonic functions: A function $f:(a,b)\to \mathbb{R}$ is monotone increasing if $\forall x>y$, we have $f(x) \geq f(y)$. | ||
| + | |||
| + | Theorem: If $f$ is monotone, then $f(x)$ only has discontinuity of the first kind/simple discontinuity. | ||
| + | |||
| + | Theorem: If $f$ is monotone, then there are at most countably many discontinuities. | ||
| + | |||
| + | Definition of pointwise convergence of sequences of sequences: | ||
| + | |||
| + | Definition of uniform convergenece of sequences of sequences: | ||
| + | |||
| + | Definition of pointwise convergence of sequence of functions: | ||
| + | |||
| + | Definition of uniform convergence: | ||
| + | |||
| + | Given a sequence of functions $(f_n): X\to Y$, is said to converge uniformly to $f:X \to Y$, if $\forall \epsilon >0$, we have there exists $N>0$ such that $\forall n>N, \forall x\isin X$, we have $\lvert f_n(x) - f(x) \rvert < | ||
| + | |||
| + | Theorem: Suppose $f_n: X\to \mathbb{R}$ satisfies that $\forall \epsilon > | ||
| + | |||
| + | Theorem: Suppose $f_n \to f$ uniformly on set $E$ in a metric space. | ||
| + | |||
| + | ** After Midterm 2 ** | ||
| + | |||
| + | Definition of derivatives: | ||
| + | |||
| + | $f'(x) = \lim_{t \to x} \frac{f(t) - f(x)}{t - x}$ | ||
| + | |||
| + | This limit may not exist for all points. If $f' | ||
| + | |||
| + | Proposition: | ||
| + | |||
| + | Theorem: Let $f, g: [a, b] \to \mathbb{R}$. Assume that $f, g$ are differentiable at point $x_0 \in [a, b]$, then | ||
| + | |||
| + | $\forall c \in \mathbb{R}$, | ||
| + | |||
| + | $(f + g)' | ||
| + | |||
| + | $(fg)' | ||
| + | |||
| + | if $g(x_0) \neq 0$, then $(f/ | ||
| + | |||
| + | Mean value theorem: Say $f: [a, b] \to \mathbb{R}$. We say $f$ has a local minimum at point $p \in [a, b]$. If there exists $\delta > 0$ and $\forall x \in [a, b] \cap B_S(p), we have $f(x) \leq f(p). | ||
| + | |||
| + | Proposition: | ||
| + | |||
| + | Rolle theorem: Suppose $f: [a, b] \to \mathbb{R}$ is a continuous function and $f$ is differentiable in $(a, b)$. If $f(a) = f(b)$, then there is some $c \in (a, b)$ such that $f'(c) = 0$. | ||
| + | |||
| + | Generalized mean value theorem: Let $f, g: [a, b] \to \mathbb{R}$ be a continuous function, differentiable on $(a, b)$. Then there exists $c \in (a, b)$, such that | ||
| + | |||
| + | $(f(a) - f(b)) \cdot g'(c) = [g(a) - g(b)] \cdot f'(c)$ | ||
| + | |||
| + | Theorem: Let $f: [a, b] \to \mathbb{R}$ be continous, and differentiable over $(a, b)$. Then there exists $c \in (a, b)$, such that | ||
| + | |||
| + | $[f(b) - f(a)] = (b - a) \cdot f'(c)$ | ||
| + | |||
| + | Corollary: Suppose $f:[a, b] \to \mathbb{R}$ continous $f' | ||
| + | |||
| + | Corollary: Let $f:[a, b] \to \mathbb{R}$ continuous, and differentiable over $(a, b)$. If $f'(x) \geq 0 $ for all $x \in (a, b)$, then $f$ is monotone increasing. | ||
| + | |||
| + | If $f'(x) > 0$ for all $x \in (a, b)$, then $f$ is strictly increasing. | ||
| + | |||
| + | Theorem: Assume $f, g: (a, b) \to \mathbb{R}$ differentiable, | ||
| + | |||
| + | (1) $\lim_{x \to a}f(x) = 0, \lim_{x \to a}g(x) = 0 | ||
| + | |||
| + | (2) $\lim_{x \to a}g(x) = \infty$ | ||
| + | |||
| + | And if $\lim_{x \to a} \frac{f' | ||
| + | |||
| + | then $\lim_{x \to a} \frac{f(x)}{g(x)} = A$ | ||
| + | |||
| + | Higher derivatives: | ||
| + | |||
| + | Definition of smooth: $f(x)$ is a smooth function on $(a, b)$ if $\forall x \in (a, b)$, if $\forall x \in (a, b)$, any order derivative exists. | ||
| + | |||
| + | Taylor theorem: Suppose $f$ is a real function on $[a,b]$, $n$ is a positive integer, $f^{(n-1)}$ is continuous on $[a,b]$, $f^{(n)}(t)$ exists for every $t\isin (a,b)$. Let $\alpha, \beta$ be distinct points of $[a,b]$, and define $P(t) = \sum_{k=0}^{n-1} \frac{f^{(k)}(\alpha)}{k!} (t-\alpha)^k$. Then there exists a point $x$ between $\alpha$ and $\beta$ such that $f(\beta) = P(\beta) + \frac{f^{(n)}(x)}{n!}(\beta - \alpha)^n$. | ||
| + | |||
| + | Taylor series for a smooth function If $f$ is a smooth function on $(a,b)$, and $\alpha \isin (a,b)$, we can form the Taylor Series: \\ $P_{\alpha}(x)=\sum_{k=0}^{\infty} \frac{f^{(k)}(\alpha)}{k!} (x-\alpha)^k$. | ||
| + | |||
| + | Definition of Nth order taylor expansion: | ||
| + | |||
| + | $P_{x_o, | ||
| + | |||
| + | Definition of Partition: Let $[a, | ||
| + | |||
| + | |||