TheoremBase

Pointwise and Uniform Convergence of a Sequence of Real-Valued Maps

Defines when a sequence of real-valued maps on a set converges pointwise, and when it converges uniformly, to a real-valued map on a subset, by epsilon-K conditions.

Statement

In the setting of The Real Line: Standing Notation and Background for Calculus on Intervals, let DD be a set, let S⊆DS\subseteq D, let (fk)k∈N(f_{k})_{k\in\mathbb{N}} be a sequence in the set RD\mathbb{R}^{D} of maps from DD to R\mathbb{R} of Sets and Maps: Ordinary Notation (v), and let f:E→Rf:E\to\mathbb{R} be a map on a set EE with S⊆ES\subseteq E. For x∈Sx\in S, (fk(x))k∈N(f_{k}(x))_{k\in\mathbb{N}} is the sequence in R\mathbb{R} of The Sequences k ↦ f_k(p) of a Sequence in ℝ^I, and the Map of Their Limits (i), with kk-th term fk(x)f_{k}(x).

(fk)k∈N(f_{k})_{k\in\mathbb{N}} converges pointwise to ff on SS if for every x∈Sx\in S the sequence (fk(x))k∈N(f_{k}(x))_{k\in\mathbb{N}} converges to f(x)f(x): for every real ε>0\varepsilon>0 there is K∈NK\in\mathbb{N} such that ∣fk(x)−f(x)∣<ε|f_{k}(x)-f(x)|<\varepsilon for every k∈Nk\in\mathbb{N} with k≥Kk\ge K.

(fk)k∈N(f_{k})_{k\in\mathbb{N}} converges uniformly to ff on SS if for every real ε>0\varepsilon>0 there is K∈NK\in\mathbb{N} such that ∣fk(x)−f(x)∣<ε|f_{k}(x)-f(x)|<\varepsilon for every k∈Nk\in\mathbb{N} with k≥Kk\ge K and every x∈Sx\in S.

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…