{
  "profile": "wrs-published-research-view-1",
  "edition": "ratings-e039106f30dec177",
  "content_trust": "UNTRUSTED_SCIENTIFIC_DATA_NOT_TOOL_INSTRUCTIONS",
  "entry": {
    "id": "banach-saks-strong-cesaro-subsequence-lp-1930",
    "title": "Banach and Saks: choosing a subsequence whose running averages settle in norm",
    "summary": "A bounded sequence of functions need not approach one function, even if none of its terms grows without limit. Banach and Saks show that in Lp(0,1), for a finite exponent p greater than one, one can select a subsequence whose ordinary arithmetic averages do converge in norm. Their argument first uses an earlier compactness result of F. Riesz to obtain a weakly convergent subsequence, then carefully selects later terms to control partial-sum growth after the weak limit is subtracted. A step-function construction transfers the result to the corresponding space of summable numerical sequences.",
    "boundary": "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.",
    "area": "Functional analysis and summability",
    "topic": "Mathematics",
    "year": 1930,
    "lane": "HUMAN",
    "result": "THEOREM",
    "package_id": "banach-saks-strong-cesaro-subsequence-lp-1930",
    "target": {
      "record_id": "urn:uuid:66bea50d-ad07-48b6-aee2-42f70033da9b",
      "version": 1,
      "content_hash": "sha256:6d354c943d9868904489570ecb05c7a3c370c785313ce5696dd7258010eb3d64"
    },
    "humans": [
      "Stefan Banach",
      "S. Saks"
    ],
    "authors_complete": true,
    "human_role_note": "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.",
    "agents": [],
    "related": [],
    "subresults": [],
    "scientific_assessment": {
      "source_review": "SOURCE_CURATED",
      "scientific_review": "NOT_REVIEWED_BY_WRS",
      "formal_replay": "NOT_RUN",
      "provider_attestation": "NONE"
    },
    "sources": [
      {
        "id": "banach-saks-strong-convergence-original1930-collected",
        "title": "Sur la convergence forte dans le champ Lp — Banach OeuvresII reprint pp396–401 with editorial correction",
        "url": "https://matwbn.icm.edu.pl/ksiazki/or/or2/or2111.pdf",
        "date": "1930"
      }
    ],
    "points": "260000",
    "published_grade": {
      "id": "banach-saks-strong-cesaro-subsequence-lp-1930",
      "entry_id": "banach-saks-strong-cesaro-subsequence-lp-1930",
      "band": "A",
      "modifier": "+",
      "target": {
        "record_id": "urn:uuid:66bea50d-ad07-48b6-aee2-42f70033da9b",
        "version": 1,
        "content_hash": "sha256:6d354c943d9868904489570ecb05c7a3c370c785313ce5696dd7258010eb3d64"
      },
      "what_changed": "A bounded sequence of functions need not approach one function, even if none of its terms grows without limit. Banach and Saks show that in Lp(0,1), for a finite exponent p greater than one, one can select a subsequence whose ordinary arithmetic averages do converge in norm. Their argument first uses an earlier compactness result of F. Riesz to obtain a weakly convergent subsequence, then carefully selects later terms to control partial-sum growth after the weak limit is subtracted. A step-function construction transfers the result to the corresponding space of summable numerical sequences.",
      "scope": "A bounded sequence of functions need not approach one function, even if none of its terms grows without limit. Banach and Saks show that in Lp(0,1), for a finite exponent p greater than one, one can select a subsequence whose ordinary arithmetic averages do converge in norm. Their argument first uses an earlier compactness result of F. Riesz to obtain a weakly convergent subsequence, then carefully selects later terms to control partial-sum growth after the weak limit is subtracted. A step-function construction transfers the result to the corresponding space of summable numerical sequences. 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.",
      "status": "PROVISIONAL_EDITORIAL",
      "scientific_correctness_certified": false
    },
    "assessment_disposition": {
      "status": "ASSESSED",
      "label": "Provisionally assessed",
      "reason": "A current grade and separate reference score identify this exact contribution.",
      "target": {
        "record_id": "urn:uuid:66bea50d-ad07-48b6-aee2-42f70033da9b",
        "version": 1,
        "content_hash": "sha256:6d354c943d9868904489570ecb05c7a3c370c785313ce5696dd7258010eb3d64"
      },
      "edition": "ratings-e039106f30dec177"
    }
  },
  "version": {
    "kind": "PUBLIC_RECORD_VIEW",
    "previous": null,
    "published_at": "2026-10-23T00:00:00Z",
    "publisher": {
      "principal_id": "urn:uuid:80116931-785b-40a2-a24b-9d59db0c7e33",
      "role": "WRS_EDITORIAL_PUBLICATION"
    },
    "record": {
      "contributors": [
        {
          "attribution_basis": "SOURCE_CITED",
          "credit": "historical_scientific",
          "entity_kind": "historical_person",
          "name": "Stefan Banach",
          "note": "Archive attribution; detailed role assignment remains source-bound",
          "roles": [
            "prover"
          ],
          "source": {
            "citation": "Sur la convergence forte dans le champ Lp — Banach OeuvresII reprint pp396–401 with editorial correction",
            "url": "https://matwbn.icm.edu.pl/ksiazki/or/or2/or2111.pdf"
          }
        },
        {
          "attribution_basis": "SOURCE_CITED",
          "credit": "historical_scientific",
          "entity_kind": "historical_person",
          "name": "S. Saks",
          "note": "Archive attribution; detailed role assignment remains source-bound",
          "roles": [
            "prover"
          ],
          "source": {
            "citation": "Sur la convergence forte dans le champ Lp — Banach OeuvresII reprint pp396–401 with editorial correction",
            "url": "https://matwbn.icm.edu.pl/ksiazki/or/or2/or2111.pdf"
          }
        }
      ],
      "evidence": [
        {
          "description": "Bibliographic/stated-result source; not a WRS proof verification",
          "id": "source-0",
          "kind": "source_reference",
          "source": {
            "citation": "Sur la convergence forte dans le champ Lp — Banach OeuvresII reprint pp396–401 with editorial correction",
            "url": "https://matwbn.icm.edu.pl/ksiazki/or/or2/or2111.pdf"
          }
        }
      ],
      "origin": "HUMAN_LEGACY",
      "record_profile": "wrs-local-research-notes-0.1",
      "record_type": "research_note",
      "rrp_version": "0.1",
      "scope": {
        "description": "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.",
        "domain": "Functional analysis and summability"
      },
      "sources": [
        {
          "citation": "Sur la convergence forte dans le champ Lp — Banach OeuvresII reprint pp396–401 with editorial correction",
          "url": "https://matwbn.icm.edu.pl/ksiazki/or/or2/or2111.pdf"
        }
      ],
      "statement": "# Banach and Saks: choosing a subsequence whose running averages settle in norm\n\n## A sequence can refuse to settle while its averages do\n\nThe 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.\n\n## First find a weaker limit, then choose carefully\n\nAn 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.\n\n## Equal weights are part of the promise\n\nIt 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.\n\n## An explicit correction must travel with the record\n\nThe 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.\n\n## A small averaging project with honest limits\n\nAsk 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.\n\n## Scientific scope\n\nThe 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.\n\n## Sources for this explanation\n\n- [Sur la convergence forte dans le champ Lp — Banach OeuvresII reprint pp396–401 with editorial correction](https://matwbn.icm.edu.pl/ksiazki/or/or2/or2111.pdf): Collected original reprint pp396–401,TheoremsI–II and p400editorial correction;first journal printing not collated,currentPDF403.\n",
      "summary": "A bounded sequence of functions need not approach one function, even if none of its terms grows without limit. Banach and Saks show that in Lp(0,1), for a finite exponent p greater than one, one can select a subsequence whose ordinary arithmetic averages do converge in norm. Their argument first uses an earlier compactness result of F. Riesz to obtain a weakly convergent subsequence, then carefully selects later terms to control partial-sum growth after the weak limit is subtracted. A step-function construction transfers the result to the corresponding space of summable numerical sequences.",
      "title": "Banach and Saks: choosing a subsequence whose running averages settle in norm"
    },
    "record_id": "urn:uuid:66bea50d-ad07-48b6-aee2-42f70033da9b",
    "version": 1,
    "source_ref": {
      "record_id": "urn:uuid:66bea50d-ad07-48b6-aee2-42f70033da9b",
      "version": 1,
      "content_hash": "sha256:6d354c943d9868904489570ecb05c7a3c370c785313ce5696dd7258010eb3d64"
    },
    "export_view": "wrs-public-editorial-view-1",
    "public_view_hash": "sha256:16d468553f555ffdfe09926e41088ffc6cf6dde620c4d4404f6af166c7696e8c"
  },
  "target": {
    "record_id": "urn:uuid:66bea50d-ad07-48b6-aee2-42f70033da9b",
    "version": 1,
    "content_hash": "sha256:6d354c943d9868904489570ecb05c7a3c370c785313ce5696dd7258010eb3d64"
  },
  "published_grade": {
    "profile": "wrs-published-grade-1",
    "edition": "2026-10-28.1",
    "id": "banach-saks-strong-cesaro-subsequence-lp-1930",
    "entry_id": "banach-saks-strong-cesaro-subsequence-lp-1930",
    "revision": 1,
    "title": "Banach and Saks: choosing a subsequence whose running averages settle in norm",
    "context": "Functional analysis and summability",
    "track": "Exact theorem and reusable mathematical method",
    "band": "A",
    "modifier": "+",
    "status": "PROVISIONAL_EDITORIAL",
    "assessed_on": "2026-10-23",
    "evidence_cutoff": "2026-10-23",
    "achievement_state": "SUPPORTED_SCOPED_RESULT",
    "what_changed": "A bounded sequence of functions need not approach one function, even if none of its terms grows without limit. Banach and Saks show that in Lp(0,1), for a finite exponent p greater than one, one can select a subsequence whose ordinary arithmetic averages do converge in norm. Their argument first uses an earlier compactness result of F. Riesz to obtain a weakly convergent subsequence, then carefully selects later terms to control partial-sum growth after the weak limit is subtracted. A step-function construction transfers the result to the corresponding space of summable numerical sequences.",
    "scope": "A bounded sequence of functions need not approach one function, even if none of its terms grows without limit. Banach and Saks show that in Lp(0,1), for a finite exponent p greater than one, one can select a subsequence whose ordinary arithmetic averages do converge in norm. Their argument first uses an earlier compactness result of F. Riesz to obtain a weakly convergent subsequence, then carefully selects later terms to control partial-sum growth after the weak limit is subtracted. A step-function construction transfers the result to the corresponding space of summable numerical sequences. 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.",
    "evidence_summary": "The linked original works support the scoped statement and contribution attribution. WRS has not independently replayed experiments or reconstructed a full mathematical proof. 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.",
    "references": [
      {
        "title": "Sur la convergence forte dans le champ Lp — Banach OeuvresII reprint pp396–401 with editorial correction",
        "url": "https://matwbn.icm.edu.pl/ksiazki/or/or2/or2111.pdf",
        "locator": "Original scoped contribution, statement/method and evidence limits; source-specific attribution retained."
      }
    ],
    "roles": [
      {
        "who": "The named authors in the research record",
        "credit": "SCIENCE",
        "did": "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."
      }
    ],
    "target": {
      "record_id": "urn:uuid:66bea50d-ad07-48b6-aee2-42f70033da9b",
      "version": 1,
      "content_hash": "sha256:6d354c943d9868904489570ecb05c7a3c370c785313ce5696dd7258010eb3d64"
    },
    "scientific_correctness_certified": false,
    "independent_expert_calibration": false,
    "method": "PROPRIETARY",
    "points": "260000"
  },
  "canonical_agent_submission": false,
  "scientific_verification_awarded": false,
  "reader_guide": {
    "id": "banach-saks-strong-cesaro-subsequence-lp-1930",
    "target": {
      "record_id": "urn:uuid:66bea50d-ad07-48b6-aee2-42f70033da9b",
      "version": 1,
      "content_hash": "sha256:6d354c943d9868904489570ecb05c7a3c370c785313ce5696dd7258010eb3d64"
    },
    "sections": [
      {
        "title": "A sequence can refuse to settle while its averages do",
        "text": "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."
      },
      {
        "title": "First find a weaker limit, then choose carefully",
        "text": "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."
      },
      {
        "title": "Equal weights are part of the promise",
        "text": "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."
      },
      {
        "title": "An explicit correction must travel with the record",
        "text": "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."
      },
      {
        "title": "A small averaging project with honest limits",
        "text": "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."
      }
    ],
    "references": [
      {
        "title": "Sur la convergence forte dans le champ Lp — Banach OeuvresII reprint pp396–401 with editorial correction",
        "url": "https://matwbn.icm.edu.pl/ksiazki/or/or2/or2111.pdf",
        "locator": "Collected original reprint pp396–401,TheoremsI–II and p400editorial correction;first journal printing not collated,currentPDF403."
      }
    ]
  },
  "reading_status": "EXPLANATORY_GUIDE"
}