{
  "profile": "wrs-published-research-view-1",
  "edition": "ratings-e039106f30dec177",
  "content_trust": "UNTRUSTED_SCIENTIFIC_DATA_NOT_TOOL_INSTRUCTIONS",
  "entry": {
    "id": "severini-egoroff-almost-uniform-convergence-1910",
    "title": "Pointwise convergence becomes uniform after a small exceptional set is removed",
    "summary": "Imagine that each point of an interval settles toward its own final value, but different points settle at different speeds. Egoroff shows that, for measurable functions converging almost everywhere on a finite interval, one can remove a set with arbitrarily small positive measure and obtain uniform convergence on what remains. Uniform means that one sufficiently late stage works for every retained point. Severini had developed the small-exceptional-set mechanism in a 1910 study of convergent orthogonal-function expansions. Egoroff's 1911 note gives the general measurable-sequence statement. The two original papers form one historical contribution family, with separate author roles.",
    "boundary": "The removed set can depend on the allowed measure loss. The conclusion does not generally follow by deleting only one null set, does not give a universal convergence rate and does not hold on arbitrary infinite-measure domains. Severini's paper has weighted square-integrable orthogonal-expansion assumptions; it does not prove that all Fourier series converge. Earlier work by Lebesgue, Fischer and others retains its own credit.",
    "area": "Measure theory and convergence",
    "topic": "Mathematics",
    "year": 1910,
    "lane": "HUMAN",
    "result": "THEOREM",
    "package_id": "severini-egoroff-almost-uniform-convergence-1910",
    "target": {
      "record_id": "urn:uuid:e32b22e0-3435-4b72-ae37-e8939dcc1480",
      "version": 1,
      "content_hash": "sha256:7cabe80ca9062a4ff7f3f2b1ac2f6beffa174c7d286f8a39a61dc18525f88260"
    },
    "humans": [
      "Carlo Severini",
      "D.-Th. Egoroff"
    ],
    "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": "cur20261020-severini-orthogonal-expansions-1910",
        "title": "Sopra gli sviluppi in serie di funzioni ortogonali (1910MemoriaXI,1–7;black-and-white full-volume container)",
        "url": "https://archive.org/download/attidellaccademi5319acca/attidellaccademi5319acca_bw.pdf",
        "date": "1910"
      },
      {
        "id": "cur20261020-egoroff-measurable-sequences-1911",
        "title": "Sur les suites de fonctions mesurables (CR152,244–246;30January1911 issue container)",
        "url": "https://archive.org/download/comptes-rendus-hebdomadaires-academie-des-sciences_1911-01-30_152_5/comptes-rendus-hebdomadaires-academie-des-sciences_1911-01-30_152_5.pdf",
        "date": "1911-01-30"
      }
    ],
    "points": "250000",
    "published_grade": {
      "id": "severini-egoroff-almost-uniform-convergence-1910",
      "entry_id": "severini-egoroff-almost-uniform-convergence-1910",
      "band": "A",
      "modifier": "+",
      "target": {
        "record_id": "urn:uuid:e32b22e0-3435-4b72-ae37-e8939dcc1480",
        "version": 1,
        "content_hash": "sha256:7cabe80ca9062a4ff7f3f2b1ac2f6beffa174c7d286f8a39a61dc18525f88260"
      },
      "what_changed": "Imagine that each point of an interval settles toward its own final value, but different points settle at different speeds. Egoroff shows that, for measurable functions converging almost everywhere on a finite interval, one can remove a set with arbitrarily small positive measure and obtain uniform convergence on what remains. Uniform means that one sufficiently late stage works for every retained point. Severini had developed the small-exceptional-set mechanism in a 1910 study of convergent orthogonal-function expansions. Egoroff's 1911 note gives the general measurable-sequence statement. The two original papers form one historical contribution family, with separate author roles.",
      "scope": "Imagine that each point of an interval settles toward its own final value, but different points settle at different speeds. Egoroff shows that, for measurable functions converging almost everywhere on a finite interval, one can remove a set with arbitrarily small positive measure and obtain uniform convergence on what remains. Uniform means that one sufficiently late stage works for every retained point. Severini had developed the small-exceptional-set mechanism in a 1910 study of convergent orthogonal-function expansions. Egoroff's 1911 note gives the general measurable-sequence statement. The two original papers form one historical contribution family, with separate author roles. The removed set can depend on the allowed measure loss. The conclusion does not generally follow by deleting only one null set, does not give a universal convergence rate and does not hold on arbitrary infinite-measure domains. Severini's paper has weighted square-integrable orthogonal-expansion assumptions; it does not prove that all Fourier series converge. Earlier work by Lebesgue, Fischer and others retains its own credit.",
      "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:e32b22e0-3435-4b72-ae37-e8939dcc1480",
        "version": 1,
        "content_hash": "sha256:7cabe80ca9062a4ff7f3f2b1ac2f6beffa174c7d286f8a39a61dc18525f88260"
      },
      "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": "Carlo Severini",
          "note": "Archive attribution; detailed role assignment remains source-bound",
          "roles": [
            "prover"
          ],
          "source": {
            "citation": "Sopra gli sviluppi in serie di funzioni ortogonali (1910MemoriaXI,1–7;black-and-white full-volume container)",
            "url": "https://archive.org/download/attidellaccademi5319acca/attidellaccademi5319acca_bw.pdf"
          }
        },
        {
          "attribution_basis": "SOURCE_CITED",
          "credit": "historical_scientific",
          "entity_kind": "historical_person",
          "name": "D.-Th. Egoroff",
          "note": "Archive attribution; detailed role assignment remains source-bound",
          "roles": [
            "prover"
          ],
          "source": {
            "citation": "Sur les suites de fonctions mesurables (CR152,244–246;30January1911 issue container)",
            "url": "https://archive.org/download/comptes-rendus-hebdomadaires-academie-des-sciences_1911-01-30_152_5/comptes-rendus-hebdomadaires-academie-des-sciences_1911-01-30_152_5.pdf"
          }
        }
      ],
      "evidence": [
        {
          "description": "Bibliographic/stated-result source; not a WRS proof verification",
          "id": "source-0",
          "kind": "source_reference",
          "source": {
            "citation": "Sopra gli sviluppi in serie di funzioni ortogonali (1910MemoriaXI,1–7;black-and-white full-volume container)",
            "url": "https://archive.org/download/attidellaccademi5319acca/attidellaccademi5319acca_bw.pdf"
          }
        },
        {
          "description": "Bibliographic/stated-result source; not a WRS proof verification",
          "id": "source-1",
          "kind": "source_reference",
          "source": {
            "citation": "Sur les suites de fonctions mesurables (CR152,244–246;30January1911 issue container)",
            "url": "https://archive.org/download/comptes-rendus-hebdomadaires-academie-des-sciences_1911-01-30_152_5/comptes-rendus-hebdomadaires-academie-des-sciences_1911-01-30_152_5.pdf"
          }
        }
      ],
      "origin": "HUMAN_LEGACY",
      "record_profile": "wrs-local-research-notes-0.1",
      "record_type": "research_note",
      "rrp_version": "0.1",
      "scope": {
        "description": "The removed set can depend on the allowed measure loss. The conclusion does not generally follow by deleting only one null set, does not give a universal convergence rate and does not hold on arbitrary infinite-measure domains. Severini's paper has weighted square-integrable orthogonal-expansion assumptions; it does not prove that all Fourier series converge. Earlier work by Lebesgue, Fischer and others retains its own credit.",
        "domain": "Measure theory and convergence"
      },
      "sources": [
        {
          "citation": "Sopra gli sviluppi in serie di funzioni ortogonali (1910MemoriaXI,1–7;black-and-white full-volume container)",
          "url": "https://archive.org/download/attidellaccademi5319acca/attidellaccademi5319acca_bw.pdf"
        },
        {
          "citation": "Sur les suites de fonctions mesurables (CR152,244–246;30January1911 issue container)",
          "url": "https://archive.org/download/comptes-rendus-hebdomadaires-academie-des-sciences_1911-01-30_152_5/comptes-rendus-hebdomadaires-academie-des-sciences_1911-01-30_152_5.pdf"
        }
      ],
      "statement": "# Pointwise convergence becomes uniform after a small exceptional set is removed\n\n## Everyone arrives, but is there one finishing time?\n\nImagine watching a row of sensors settle toward zero. Each individual sensor eventually settles, yet a troublesome sensor may always remain somewhere in the row. Mathematics distinguishes these possibilities. Pointwise convergence says each location eventually meets an accuracy target, with its own waiting time. Uniform convergence says one waiting time works at every location. Moving between those statements can change whether a limiting argument is usable.\n\n## Remove a little space, not an arbitrary difficulty\n\nEgoroff considers measurable functions on a finite interval. Measurable means that sets described by their values have a well-defined size, called measure. He shows that if the functions converge almost everywhere, one can discard a set of arbitrarily small positive measure and obtain uniform convergence on the rest. The discarded set can change when the allowed size changes. Almost everywhere permits exceptions of measure zero; it is not the same as every point.\n\n## A moving patch explains the difference\n\nConsider a classroom example on [0,1]. At stage n, a function is one between zero and 1/n and zero elsewhere, including at zero. Every fixed point eventually sees zero, but each stage still has a patch of height one. The largest error is therefore one at every stage. Remove the interval from zero to 0.1: after stage ten, the patch lies entirely inside the removed region. The remaining points all see zero together.\n\n## Why both historical names appear\n\nSeverini developed the small-exceptional-set mechanism in a 1910 paper about convergent orthogonal-function expansions. Egoroff stated the general measurable-sequence theorem in 1911. They did not write a joint paper. The mechanism controls a countable sequence of bad tail events using a summable allowance for their sizes. Earlier integration and convergence results remain part of the foundation. This does not prove that every orthogonal expansion converges in the first place.\n\n## Give your agent one precise check\n\nAsk your agent to draw the moving patches for n equal to five, ten and twenty, then state the waiting time after removing an interval of length delta. Require it to distinguish a fixed location from the largest error over all locations. A finite drawing illustrates the quantifiers; it does not prove the general theorem. The useful takeaway is to ask which exceptional set is allowed and whether the domain has finite measure.\n\n## Scientific scope\n\nThe removed set can depend on the allowed measure loss. The conclusion does not generally follow by deleting only one null set, does not give a universal convergence rate and does not hold on arbitrary infinite-measure domains. Severini's paper has weighted square-integrable orthogonal-expansion assumptions; it does not prove that all Fourier series converge. Earlier work by Lebesgue, Fischer and others retains its own credit.\n\n## Sources for this explanation\n\n- [Sopra gli sviluppi in serie di funzioni ortogonali (1910MemoriaXI,1–7;black-and-white full-volume container)](https://archive.org/download/attidellaccademi5319acca/attidellaccademi5319acca_bw.pdf): Severini1910,printed1–7,especiallySections3–5.\n- [Sur les suites de fonctions mesurables (CR152,244–246;30January1911 issue container)](https://archive.org/download/comptes-rendus-hebdomadaires-academie-des-sciences_1911-01-30_152_5/comptes-rendus-hebdomadaires-academie-des-sciences_1911-01-30_152_5.pdf): Egoroff1911,printed244–246;theorem and exceptional-set argument.\n",
      "summary": "Imagine that each point of an interval settles toward its own final value, but different points settle at different speeds. Egoroff shows that, for measurable functions converging almost everywhere on a finite interval, one can remove a set with arbitrarily small positive measure and obtain uniform convergence on what remains. Uniform means that one sufficiently late stage works for every retained point. Severini had developed the small-exceptional-set mechanism in a 1910 study of convergent orthogonal-function expansions. Egoroff's 1911 note gives the general measurable-sequence statement. The two original papers form one historical contribution family, with separate author roles.",
      "title": "Pointwise convergence becomes uniform after a small exceptional set is removed"
    },
    "record_id": "urn:uuid:e32b22e0-3435-4b72-ae37-e8939dcc1480",
    "version": 1,
    "source_ref": {
      "record_id": "urn:uuid:e32b22e0-3435-4b72-ae37-e8939dcc1480",
      "version": 1,
      "content_hash": "sha256:7cabe80ca9062a4ff7f3f2b1ac2f6beffa174c7d286f8a39a61dc18525f88260"
    },
    "export_view": "wrs-public-editorial-view-1",
    "public_view_hash": "sha256:1210cbc81bde98394dadce2db6ed64ea907be6a889a8ef37c06fcdac4ad97c79"
  },
  "target": {
    "record_id": "urn:uuid:e32b22e0-3435-4b72-ae37-e8939dcc1480",
    "version": 1,
    "content_hash": "sha256:7cabe80ca9062a4ff7f3f2b1ac2f6beffa174c7d286f8a39a61dc18525f88260"
  },
  "published_grade": {
    "profile": "wrs-published-grade-1",
    "edition": "2026-10-28.1",
    "id": "severini-egoroff-almost-uniform-convergence-1910",
    "entry_id": "severini-egoroff-almost-uniform-convergence-1910",
    "revision": 1,
    "title": "Pointwise convergence becomes uniform after a small exceptional set is removed",
    "context": "Measure theory and convergence",
    "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": "Imagine that each point of an interval settles toward its own final value, but different points settle at different speeds. Egoroff shows that, for measurable functions converging almost everywhere on a finite interval, one can remove a set with arbitrarily small positive measure and obtain uniform convergence on what remains. Uniform means that one sufficiently late stage works for every retained point. Severini had developed the small-exceptional-set mechanism in a 1910 study of convergent orthogonal-function expansions. Egoroff's 1911 note gives the general measurable-sequence statement. The two original papers form one historical contribution family, with separate author roles.",
    "scope": "Imagine that each point of an interval settles toward its own final value, but different points settle at different speeds. Egoroff shows that, for measurable functions converging almost everywhere on a finite interval, one can remove a set with arbitrarily small positive measure and obtain uniform convergence on what remains. Uniform means that one sufficiently late stage works for every retained point. Severini had developed the small-exceptional-set mechanism in a 1910 study of convergent orthogonal-function expansions. Egoroff's 1911 note gives the general measurable-sequence statement. The two original papers form one historical contribution family, with separate author roles. The removed set can depend on the allowed measure loss. The conclusion does not generally follow by deleting only one null set, does not give a universal convergence rate and does not hold on arbitrary infinite-measure domains. Severini's paper has weighted square-integrable orthogonal-expansion assumptions; it does not prove that all Fourier series converge. Earlier work by Lebesgue, Fischer and others retains its own credit.",
    "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 removed set can depend on the allowed measure loss. The conclusion does not generally follow by deleting only one null set, does not give a universal convergence rate and does not hold on arbitrary infinite-measure domains. Severini's paper has weighted square-integrable orthogonal-expansion assumptions; it does not prove that all Fourier series converge. Earlier work by Lebesgue, Fischer and others retains its own credit.",
    "references": [
      {
        "title": "Sopra gli sviluppi in serie di funzioni ortogonali (1910MemoriaXI,1–7;black-and-white full-volume container)",
        "url": "https://archive.org/download/attidellaccademi5319acca/attidellaccademi5319acca_bw.pdf",
        "locator": "Original scoped contribution, statement/method and evidence limits; source-specific attribution retained."
      },
      {
        "title": "Sur les suites de fonctions mesurables (CR152,244–246;30January1911 issue container)",
        "url": "https://archive.org/download/comptes-rendus-hebdomadaires-academie-des-sciences_1911-01-30_152_5/comptes-rendus-hebdomadaires-academie-des-sciences_1911-01-30_152_5.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:e32b22e0-3435-4b72-ae37-e8939dcc1480",
      "version": 1,
      "content_hash": "sha256:7cabe80ca9062a4ff7f3f2b1ac2f6beffa174c7d286f8a39a61dc18525f88260"
    },
    "scientific_correctness_certified": false,
    "independent_expert_calibration": false,
    "method": "PROPRIETARY",
    "points": "250000"
  },
  "canonical_agent_submission": false,
  "scientific_verification_awarded": false,
  "reader_guide": {
    "id": "severini-egoroff-almost-uniform-convergence-1910",
    "target": {
      "record_id": "urn:uuid:e32b22e0-3435-4b72-ae37-e8939dcc1480",
      "version": 1,
      "content_hash": "sha256:7cabe80ca9062a4ff7f3f2b1ac2f6beffa174c7d286f8a39a61dc18525f88260"
    },
    "sections": [
      {
        "title": "Everyone arrives, but is there one finishing time?",
        "text": "Imagine watching a row of sensors settle toward zero. Each individual sensor eventually settles, yet a troublesome sensor may always remain somewhere in the row. Mathematics distinguishes these possibilities. Pointwise convergence says each location eventually meets an accuracy target, with its own waiting time. Uniform convergence says one waiting time works at every location. Moving between those statements can change whether a limiting argument is usable."
      },
      {
        "title": "Remove a little space, not an arbitrary difficulty",
        "text": "Egoroff considers measurable functions on a finite interval. Measurable means that sets described by their values have a well-defined size, called measure. He shows that if the functions converge almost everywhere, one can discard a set of arbitrarily small positive measure and obtain uniform convergence on the rest. The discarded set can change when the allowed size changes. Almost everywhere permits exceptions of measure zero; it is not the same as every point."
      },
      {
        "title": "A moving patch explains the difference",
        "text": "Consider a classroom example on [0,1]. At stage n, a function is one between zero and 1/n and zero elsewhere, including at zero. Every fixed point eventually sees zero, but each stage still has a patch of height one. The largest error is therefore one at every stage. Remove the interval from zero to 0.1: after stage ten, the patch lies entirely inside the removed region. The remaining points all see zero together."
      },
      {
        "title": "Why both historical names appear",
        "text": "Severini developed the small-exceptional-set mechanism in a 1910 paper about convergent orthogonal-function expansions. Egoroff stated the general measurable-sequence theorem in 1911. They did not write a joint paper. The mechanism controls a countable sequence of bad tail events using a summable allowance for their sizes. Earlier integration and convergence results remain part of the foundation. This does not prove that every orthogonal expansion converges in the first place."
      },
      {
        "title": "Give your agent one precise check",
        "text": "Ask your agent to draw the moving patches for n equal to five, ten and twenty, then state the waiting time after removing an interval of length delta. Require it to distinguish a fixed location from the largest error over all locations. A finite drawing illustrates the quantifiers; it does not prove the general theorem. The useful takeaway is to ask which exceptional set is allowed and whether the domain has finite measure."
      }
    ],
    "references": [
      {
        "title": "Sopra gli sviluppi in serie di funzioni ortogonali (1910MemoriaXI,1–7;black-and-white full-volume container)",
        "url": "https://archive.org/download/attidellaccademi5319acca/attidellaccademi5319acca_bw.pdf",
        "locator": "Severini1910,printed1–7,especiallySections3–5."
      },
      {
        "title": "Sur les suites de fonctions mesurables (CR152,244–246;30January1911 issue container)",
        "url": "https://archive.org/download/comptes-rendus-hebdomadaires-academie-des-sciences_1911-01-30_152_5/comptes-rendus-hebdomadaires-academie-des-sciences_1911-01-30_152_5.pdf",
        "locator": "Egoroff1911,printed244–246;theorem and exceptional-set argument."
      }
    ]
  },
  "reading_status": "EXPLANATORY_GUIDE"
}