{
  "profile": "wrs-published-research-view-1",
  "edition": "ratings-e039106f30dec177",
  "content_trust": "UNTRUSTED_SCIENTIFIC_DATA_NOT_TOOL_INSTRUCTIONS",
  "entry": {
    "id": "lusin-large-closed-set-relative-continuity-1912",
    "title": "Lusin: measurable functions are continuous on arbitrarily large closed subsets",
    "summary": "In his French note, Lusin characterizes measurable real functions on [0,1] by continuity on a perfect nowhere-dense subset whose measure can be chosen greater than1−epsilon for every positive epsilon. Continuity is relative to that retained set. Using Egoroff's almost-uniform convergence result, the note shows that this C-property is preserved by pointwise or almost-everywhere limiting constructions and states the measurable-function characterization and converse.",
    "boundary": "The large set depends on epsilon; this does not say the original function is continuous at almost every ambient-domain point, or that one fixed full-measure closed set works for all errors. The source uses a finite real interval and relative continuity, not an unrestricted theorem for arbitrary measure spaces and target topologies. Lusin explicitly says this 1912 note collects results from his 1911 Russian memoir and responds to Borel's 1912 note; it is not claimed as first discovery in 1912. Earlier Borel/Lebesgue formulations and Vitali's 1905 work must retain separate historical credit within this contribution family. The final polynomial-series and a.e.-primitive consequences are announced without full proofs here and are outside the established theorem covered by this record.",
    "area": "Measure theory and real analysis",
    "topic": "Mathematics",
    "year": 1912,
    "lane": "HUMAN",
    "result": "THEOREM",
    "package_id": "lusin-large-closed-set-relative-continuity-1912",
    "target": {
      "record_id": "urn:uuid:e92e1fa4-a7df-46a9-ab7c-76e0330ae325",
      "version": 1,
      "content_hash": "sha256:a1d770dc1fac9a756addf6c59686458d40fa549fa65388f5e8fe261b335ba3bd"
    },
    "humans": [
      "N. Lusin"
    ],
    "authors_complete": true,
    "human_role_note": "Source-listed authors for the exact contribution; experimental subjects are not autonomous scientific authors. Source support and predecessor work retain separate roles. Individual effort shares and unresolved 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-lusin-measurable-properties-1912",
        "title": "Sur les propriétés des fonctions mesurables (CR154,1688–1690;17June1912 issue container)",
        "url": "https://archive.org/download/comptes-rendus-hebdomadaires-academie-des-sciences_1912-06-17_154_25/comptes-rendus-hebdomadaires-academie-des-sciences_1912-06-17_154_25.pdf",
        "date": "1912-06-17"
      }
    ],
    "points": "240000",
    "published_grade": {
      "id": "lusin-large-closed-set-relative-continuity-1912",
      "entry_id": "lusin-large-closed-set-relative-continuity-1912",
      "band": "A",
      "modifier": "+",
      "target": {
        "record_id": "urn:uuid:e92e1fa4-a7df-46a9-ab7c-76e0330ae325",
        "version": 1,
        "content_hash": "sha256:a1d770dc1fac9a756addf6c59686458d40fa549fa65388f5e8fe261b335ba3bd"
      },
      "what_changed": "In his French note, Lusin characterizes measurable real functions on [0,1] by continuity on a perfect nowhere-dense subset whose measure can be chosen greater than1−epsilon for every positive epsilon. Continuity is relative to that retained set. Using Egoroff's almost-uniform convergence result, the note shows that this C-property is preserved by pointwise or almost-everywhere limiting constructions and states the measurable-function characterization and converse.",
      "scope": "In his French note, Lusin characterizes measurable real functions on [0,1] by continuity on a perfect nowhere-dense subset whose measure can be chosen greater than1−epsilon for every positive epsilon. Continuity is relative to that retained set. Using Egoroff's almost-uniform convergence result, the note shows that this C-property is preserved by pointwise or almost-everywhere limiting constructions and states the measurable-function characterization and converse. The large set depends on epsilon; this does not say the original function is continuous at almost every ambient-domain point, or that one fixed full-measure closed set works for all errors. The source uses a finite real interval and relative continuity, not an unrestricted theorem for arbitrary measure spaces and target topologies. Lusin explicitly says this 1912 note collects results from his 1911 Russian memoir and responds to Borel's 1912 note; it is not claimed as first discovery in 1912. Earlier Borel/Lebesgue formulations and Vitali's 1905 work must retain separate historical credit within this contribution family. The final polynomial-series and a.e.-primitive consequences are announced without full proofs here and are outside the established theorem covered by this record.",
      "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:e92e1fa4-a7df-46a9-ab7c-76e0330ae325",
        "version": 1,
        "content_hash": "sha256:a1d770dc1fac9a756addf6c59686458d40fa549fa65388f5e8fe261b335ba3bd"
      },
      "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": "N. Lusin",
          "note": "Archive attribution; detailed role assignment remains source-bound",
          "roles": [
            "prover"
          ],
          "source": {
            "citation": "Sur les propriétés des fonctions mesurables (CR154,1688–1690;17June1912 issue container)",
            "url": "https://archive.org/download/comptes-rendus-hebdomadaires-academie-des-sciences_1912-06-17_154_25/comptes-rendus-hebdomadaires-academie-des-sciences_1912-06-17_154_25.pdf"
          }
        }
      ],
      "evidence": [
        {
          "description": "Bibliographic/stated-result source; not a WRS proof verification",
          "id": "source-0",
          "kind": "source_reference",
          "source": {
            "citation": "Sur les propriétés des fonctions mesurables (CR154,1688–1690;17June1912 issue container)",
            "url": "https://archive.org/download/comptes-rendus-hebdomadaires-academie-des-sciences_1912-06-17_154_25/comptes-rendus-hebdomadaires-academie-des-sciences_1912-06-17_154_25.pdf"
          }
        }
      ],
      "origin": "HUMAN_LEGACY",
      "record_profile": "wrs-local-research-notes-0.1",
      "record_type": "research_note",
      "rrp_version": "0.1",
      "scope": {
        "description": "The large set depends on epsilon; this does not say the original function is continuous at almost every ambient-domain point, or that one fixed full-measure closed set works for all errors. The source uses a finite real interval and relative continuity, not an unrestricted theorem for arbitrary measure spaces and target topologies. Lusin explicitly says this 1912 note collects results from his 1911 Russian memoir and responds to Borel's 1912 note; it is not claimed as first discovery in 1912. Earlier Borel/Lebesgue formulations and Vitali's 1905 work must retain separate historical credit within this contribution family. The final polynomial-series and a.e.-primitive consequences are announced without full proofs here and are outside the established theorem covered by this record.",
        "domain": "Measure theory and real analysis"
      },
      "sources": [
        {
          "citation": "Sur les propriétés des fonctions mesurables (CR154,1688–1690;17June1912 issue container)",
          "url": "https://archive.org/download/comptes-rendus-hebdomadaires-academie-des-sciences_1912-06-17_154_25/comptes-rendus-hebdomadaires-academie-des-sciences_1912-06-17_154_25.pdf"
        }
      ],
      "statement": "# Lusin: measurable functions are continuous on arbitrarily large closed subsets\n\nIn his French note, Lusin characterizes measurable real functions on [0,1] by continuity on a perfect nowhere-dense subset whose measure can be chosen greater than1−epsilon for every positive epsilon. Continuity is relative to that retained set. Using Egoroff's almost-uniform convergence result, the note shows that this C-property is preserved by pointwise or almost-everywhere limiting constructions and states the measurable-function characterization and converse.\n\n## Scientific scope\n\nThe large set depends on epsilon; this does not say the original function is continuous at almost every ambient-domain point, or that one fixed full-measure closed set works for all errors. The source uses a finite real interval and relative continuity, not an unrestricted theorem for arbitrary measure spaces and target topologies. Lusin explicitly says this 1912 note collects results from his 1911 Russian memoir and responds to Borel's 1912 note; it is not claimed as first discovery in 1912. Earlier Borel/Lebesgue formulations and Vitali's 1905 work must retain separate historical credit within this contribution family. The final polynomial-series and a.e.-primitive consequences are announced without full proofs here and are outside the established theorem covered by this record.\n\n## Reading status\n\nThis is a source-linked WRS catalogue note. A full explanatory guide and independent scientific reconstruction have not been completed for this entry. Read the identified original work for its complete narrative and arguments.\n\n## People and systems\n\nN. Lusin\n\nSource-listed authors for the exact contribution; experimental subjects are not autonomous scientific authors. Source support and predecessor work retain separate roles. Individual effort shares and unresolved identities are not inferred.\n\n\n\n## Original sources\n\n- [Sur les propriétés des fonctions mesurables (CR154,1688–1690;17June1912 issue container)](https://archive.org/download/comptes-rendus-hebdomadaires-academie-des-sciences_1912-06-17_154_25/comptes-rendus-hebdomadaires-academie-des-sciences_1912-06-17_154_25.pdf)\n",
      "summary": "In his French note, Lusin characterizes measurable real functions on [0,1] by continuity on a perfect nowhere-dense subset whose measure can be chosen greater than1−epsilon for every positive epsilon. Continuity is relative to that retained set. Using Egoroff's almost-uniform convergence result, the note shows that this C-property is preserved by pointwise or almost-everywhere limiting constructions and states the measurable-function characterization and converse.",
      "title": "Lusin: measurable functions are continuous on arbitrarily large closed subsets"
    },
    "record_id": "urn:uuid:e92e1fa4-a7df-46a9-ab7c-76e0330ae325",
    "version": 1,
    "source_ref": {
      "record_id": "urn:uuid:e92e1fa4-a7df-46a9-ab7c-76e0330ae325",
      "version": 1,
      "content_hash": "sha256:a1d770dc1fac9a756addf6c59686458d40fa549fa65388f5e8fe261b335ba3bd"
    },
    "export_view": "wrs-public-editorial-view-1",
    "public_view_hash": "sha256:e4a58ba0d4797b4222e9e2a595d25b1b60130852dfd6902b1579094d91cd7b65"
  },
  "target": {
    "record_id": "urn:uuid:e92e1fa4-a7df-46a9-ab7c-76e0330ae325",
    "version": 1,
    "content_hash": "sha256:a1d770dc1fac9a756addf6c59686458d40fa549fa65388f5e8fe261b335ba3bd"
  },
  "published_grade": {
    "profile": "wrs-published-grade-1",
    "edition": "2026-10-28.1",
    "id": "lusin-large-closed-set-relative-continuity-1912",
    "entry_id": "lusin-large-closed-set-relative-continuity-1912",
    "revision": 1,
    "title": "Lusin: measurable functions are continuous on arbitrarily large closed subsets",
    "context": "Measure theory and real analysis",
    "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": "In his French note, Lusin characterizes measurable real functions on [0,1] by continuity on a perfect nowhere-dense subset whose measure can be chosen greater than1−epsilon for every positive epsilon. Continuity is relative to that retained set. Using Egoroff's almost-uniform convergence result, the note shows that this C-property is preserved by pointwise or almost-everywhere limiting constructions and states the measurable-function characterization and converse.",
    "scope": "In his French note, Lusin characterizes measurable real functions on [0,1] by continuity on a perfect nowhere-dense subset whose measure can be chosen greater than1−epsilon for every positive epsilon. Continuity is relative to that retained set. Using Egoroff's almost-uniform convergence result, the note shows that this C-property is preserved by pointwise or almost-everywhere limiting constructions and states the measurable-function characterization and converse. The large set depends on epsilon; this does not say the original function is continuous at almost every ambient-domain point, or that one fixed full-measure closed set works for all errors. The source uses a finite real interval and relative continuity, not an unrestricted theorem for arbitrary measure spaces and target topologies. Lusin explicitly says this 1912 note collects results from his 1911 Russian memoir and responds to Borel's 1912 note; it is not claimed as first discovery in 1912. Earlier Borel/Lebesgue formulations and Vitali's 1905 work must retain separate historical credit within this contribution family. The final polynomial-series and a.e.-primitive consequences are announced without full proofs here and are outside the established theorem covered by this record.",
    "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 large set depends on epsilon; this does not say the original function is continuous at almost every ambient-domain point, or that one fixed full-measure closed set works for all errors. The source uses a finite real interval and relative continuity, not an unrestricted theorem for arbitrary measure spaces and target topologies. Lusin explicitly says this 1912 note collects results from his 1911 Russian memoir and responds to Borel's 1912 note; it is not claimed as first discovery in 1912. Earlier Borel/Lebesgue formulations and Vitali's 1905 work must retain separate historical credit within this contribution family. The final polynomial-series and a.e.-primitive consequences are announced without full proofs here and are outside the established theorem covered by this record.",
    "references": [
      {
        "title": "Sur les propriétés des fonctions mesurables (CR154,1688–1690;17June1912 issue container)",
        "url": "https://archive.org/download/comptes-rendus-hebdomadaires-academie-des-sciences_1912-06-17_154_25/comptes-rendus-hebdomadaires-academie-des-sciences_1912-06-17_154_25.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": "Source-listed authors for the exact contribution; experimental subjects are not autonomous scientific authors. Source support and predecessor work retain separate roles. Individual effort shares and unresolved identities are not inferred."
      }
    ],
    "target": {
      "record_id": "urn:uuid:e92e1fa4-a7df-46a9-ab7c-76e0330ae325",
      "version": 1,
      "content_hash": "sha256:a1d770dc1fac9a756addf6c59686458d40fa549fa65388f5e8fe261b335ba3bd"
    },
    "scientific_correctness_certified": false,
    "independent_expert_calibration": false,
    "method": "PROPRIETARY",
    "points": "240000"
  },
  "canonical_agent_submission": false,
  "scientific_verification_awarded": false,
  "reader_guide": null,
  "reading_status": "SOURCE_LINKED_NOTE"
}