Series of Real-Valued Functions and Their Partial Sums
definitionAnalysisdef:series-of-functions-2026aDefines the partial sums of a sequence of real-valued functions on a set, and pointwise and uniform convergence of the resulting series on a subset of that set.
In the setting of The Real Numbers: Standing Notation and Background, let be a set, let , let be a sequence in the set of functions from to , and let .
1. (Partial sums)¶ The partial sums of are the functions , one for each , given by the finite sum
and is a sequence in the set of functions from to .
2. (Pointwise convergence of the series)¶ The series converges pointwise to on if the sequence of partial sums converges pointwise to on .
3. (Uniform convergence of the series)¶ The series converges uniformly to on if the sequence of partial sums converges uniformly to on .
Loading…
Prerequisites
No prerequisites tracked.
Dependents
No dependents yet.
Dependent proofs
No dependent proofs yet.
No relations recorded yet.