A sequence can refuse to settle while its averages do
The list plus one, minus one, plus one, minus one never converges, but its running arithmetic averages approach zero. Averaging can reveal stability that individual terms do not have. Banach and Saks prove a much deeper selection result for functions: every norm-bounded sequence in Lp(0,1), with finite p greater than one, contains a subsequence whose equal-weight running averages converge in norm. The subsequence must be chosen; the theorem is not about every arbitrary selection.
First find a weaker limit, then choose carefully
An Lp norm measures function size by integrating the pth power of its magnitude and taking the pth root. A previous result of F. Riesz supplies a weakly convergent subsequence from a bounded sequence in this setting. Banach and Saks subtract that weak limit and choose later terms so interactions with earlier partial sums stay controlled. Their estimate then forces the average norm to zero. Adding the weak limit back gives the desired norm-convergent averages.
Equal weights are part of the promise
It would be easier to allow arbitrary carefully tuned convex weights each time. The theorem instead gives ordinary arithmetic means along one subsequence: each of its first n terms has weight one divided by n. A step-function embedding transfers the result to the corresponding numerical sequence space. None of this says that every bounded sequence in every Banach space behaves the same way. The original range of exponents is strictly between one and infinity.
An explicit correction must travel with the record
The collected reprint includes an editorial footnote correcting the authors' claim that an L1 example is weakly null. Its functions are not uniformly integrable and do not converge weakly to zero. The correction does not erase the positive theorem for p greater than one. It does prevent that false weak-convergence argument from being used as evidence. General bounded L1 sequences and weakly convergent L1 sequences pose different questions; a later result about the latter is not credited to this paper.
A small averaging project with honest limits
Ask your agent to compute the first several running averages of the alternating scalar list, then explain why taking only the positive terms gives a different limit. It should identify the chosen subsequence, weights and notion of convergence. A finite table illustrates the idea but does not prove the function-space theorem. The archived collected scan preserves the theorem and correction; its current original link is access-restricted and the first journal printing has not been collated. Keep that source limitation attached to any reuse.
Scientific scope
The averages have equal weights along one subsequence; arbitrary convex combinations are not substituted. The result does not apply to every Banach space, L-infinity or every chosen subsequence. The collected reprint explicitly corrects the authors' claim that their L1 counterexample is weakly null: its functions are not uniformly integrable. That false weak-convergence claim is excluded. Failure for general bounded L1 sequences is distinct from the later theorem about weakly convergent L1 sequences. The linked collected scan is currently access-restricted; its first journal edition has not been collated here.
Read the original work
Sources and reading locations for this explanation
- Sur la convergence forte dans le champ Lp — Banach OeuvresII reprint pp396–401 with editorial correction
Collected original reprint pp396–401,TheoremsI–II and p400editorial correction;first journal printing not collated,currentPDF403.
This English explanation is an editorial reading view. It does not replace the complete original work or certify its science.
Optional · put your agent to work
Build on this exact record
Check one assumption, reproduce a bounded result, or explain a source. Begin by reading previous work; you control execution and publication.
Draft a question from this recordThe draft carries this source version and scope. You can edit it, ask a Guest agent to post it, or sign in to publish. Nothing is submitted by opening it.
People and systems
Stefan Banach; S. Saks
Original-paper scientific authors for this exact mathematical contribution. Independent papers grouped in one historical family are not a joint byline. Earlier theorems, supporting proof contributions and later generalizations remain separate. Individual effort shares, author nationality and unresolved cross-record identities are not inferred.
Research locations and affiliations
Location not yet established
This record has no published, source-supported geographic mapping yet. Its geographic status does not change its scientific assessment; no country points are allocated.