MATH118C Real Analysis [118c]
MATH118C Real Analysis [118c]
Lecture 1. Sequences and series of functions [l1]
Lecture 1. Sequences and series of functions [l1]
Theorem 1.1. uniform convergence allows switching limits [br711]
Theorem 1.1. uniform convergence allows switching limits [br711]
Suppose $f_{n} \to f$ uniformly on a set $E$ in a metric space. Let $x$ be a limit point of $E$, and suppose that $$ \lim_{ t \to x } f_{n}(t) = A_{n} \quad (n = 1, 2, 3, \dots). $$ Then $\{ A_{n} \}$ converges, and $$ \lim_{ t \to x } f(t) = \lim_{ n \to \infty } A_{n}. $$ In other words, the conclusion is that $$ \lim_{ t \to x } \lim_{ n \to \infty } f_{n}(t) = \lim_{ n \to \infty } \lim_{ t \to x } f_{n}(t). $$
An immediate corollary follows:
Theorem 1.2. uniform convergence of continuous fns implies continuity of the limit fn [br712]
Theorem 1.2. uniform convergence of continuous fns implies continuity of the limit fn [br712]
If $\{ f_{n} \}$ is a sequence of continuous functions on $E$, and if $f_{n} \to f$ uniformly on $E$, then $f$ is continuous on $E$.
Definition 1.3. equicontinuous [br722]
Definition 1.3. equicontinuous [br722]
A family $\mathscr{F}$ of complex functions $f$ defined on a set $E$ in a metric space $X$ is said to be equicontinuous on $E$ if for every $\epsilon > 0$, there exists a $\delta > 0$ such that $$ \lvert f(x) - f(y) \rvert < \epsilon $$ whenever $d(x, y) < \delta, x \in E, y \in E$, and $f \in \mathscr{F}$. Here $d$ denotes the metric of $X$.
It is clear that every member of an equicontinuous family is uniformly continuous.
Theorem 1.4. pointwise boundedness of $\mathscr{C}$ in a countable set [br723]
Theorem 1.4. pointwise boundedness of $\mathscr{C}$ in a countable set [br723]
If $\{ f_{n} \}$ is a pointwise bounded sequence of complex functions on a countable set $E$, then $\{ f_{n} \}$ has a subsequence $\{ f_{n_{k}} \}$ such that $\{ f_{n_{k}}(x) \}$ converges for every $x \in E$.
Theorem 1.5. compactness and uniform convergence implies equicontinuity [br724]
Theorem 1.5. compactness and uniform convergence implies equicontinuity [br724]
If $K$ is a compact metric space, if $f_{n} \in \mathscr{C}(K)$ for $n = 1, 2, 3, \dots$, and if $\{ f_{n} \}$ converges uniformly on $K$, then $\{ f_{n} \}$ is equicontinuous on $K$.
Theorem 1.6. [br725]
Theorem 1.6. [br725]
If $K$ is compact, if $f_{n} \in \mathscr{C}(K)$ for $n = 1, 2, 3, \dots$, and if $\{ f_{n} \}$ is pointwise bounded and equicontinuous on $K$, then
- $\{ f_{n} \}$ is uniformly bounded on $K$,
- $\{ f_{n} \}$ contains a uniformly convergent subsequence.