{
  "profile": "wrs-published-research-view-1",
  "edition": "ratings-e039106f30dec177",
  "content_trust": "UNTRUSTED_SCIENTIFIC_DATA_NOT_TOOL_INSTRUCTIONS",
  "entry": {
    "id": "baire-real-interval-category-theorem-1899",
    "title": "Baire: category and countable nowhere-dense sets in a real interval",
    "summary": "Can a whole interval be assembled from countably many sets that leave a gap inside every smaller interval? Baire proves that it cannot. His 1899 thesis gives a nested-interval argument and introduces first and second category, a way to distinguish topologically small sets from a whole real interval. The framework also describes where suitable discontinuous functions remain continuous. It is a foundational principle about countable exceptional sets, rather than a statement about their total length.",
    "boundary": "The original theorem is stated for real intervals and, in the described extension, relative perfect subsets. It is not attributed here as an original theorem for every abstract complete metric or locally compact Hausdorff space. Historical non-dense means nowhere dense in this argument, not merely failure of density in the whole interval. Topological category is not Lebesgue measure, and a meagre set can be dense and have continuum cardinality. The common-continuity application is explicitly attributed in the original to Volterra in 1881; it is not claimed as Baire’s separate first discovery.",
    "area": "Real analysis and category methods",
    "topic": "Mathematics",
    "year": 1899,
    "lane": "HUMAN",
    "result": "THEOREM",
    "package_id": "baire-real-interval-category-theorem-1899",
    "target": {
      "record_id": "urn:uuid:be5e432f-7df5-449c-a384-198917c7cda7",
      "version": 1,
      "content_hash": "sha256:0d74c453134caaf60367c95495f66d01e5cc8dcaa04ddd871a2a1a5a0d03622a"
    },
    "humans": [
      "René Baire"
    ],
    "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-baire-thesis-1899",
        "title": "Sur les fonctions de variables réelles (original Milan thesis edition,1899)",
        "url": "https://archive.org/download/surlesfonctions00bairgoog/surlesfonctions00bairgoog.pdf",
        "date": "1899"
      }
    ],
    "points": "480000",
    "published_grade": {
      "id": "baire-real-interval-category-theorem-1899",
      "entry_id": "baire-real-interval-category-theorem-1899",
      "band": "S",
      "modifier": null,
      "target": {
        "record_id": "urn:uuid:be5e432f-7df5-449c-a384-198917c7cda7",
        "version": 1,
        "content_hash": "sha256:0d74c453134caaf60367c95495f66d01e5cc8dcaa04ddd871a2a1a5a0d03622a"
      },
      "what_changed": "Can a whole interval be assembled from countably many sets that leave a gap inside every smaller interval? Baire proves that it cannot. His 1899 thesis gives a nested-interval argument and introduces first and second category, a way to distinguish topologically small sets from a whole real interval. The framework also describes where suitable discontinuous functions remain continuous. It is a foundational principle about countable exceptional sets, rather than a statement about their total length.",
      "scope": "Can a whole interval be assembled from countably many sets that leave a gap inside every smaller interval? Baire proves that it cannot. His 1899 thesis gives a nested-interval argument and introduces first and second category, a way to distinguish topologically small sets from a whole real interval. The framework also describes where suitable discontinuous functions remain continuous. It is a foundational principle about countable exceptional sets, rather than a statement about their total length. The original theorem is stated for real intervals and, in the described extension, relative perfect subsets. It is not attributed here as an original theorem for every abstract complete metric or locally compact Hausdorff space. Historical non-dense means nowhere dense in this argument, not merely failure of density in the whole interval. Topological category is not Lebesgue measure, and a meagre set can be dense and have continuum cardinality. The common-continuity application is explicitly attributed in the original to Volterra in 1881; it is not claimed as Baire’s separate first discovery.",
      "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:be5e432f-7df5-449c-a384-198917c7cda7",
        "version": 1,
        "content_hash": "sha256:0d74c453134caaf60367c95495f66d01e5cc8dcaa04ddd871a2a1a5a0d03622a"
      },
      "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": "René Baire",
          "note": "Archive attribution; detailed role assignment remains source-bound",
          "roles": [
            "prover"
          ],
          "source": {
            "citation": "Sur les fonctions de variables réelles (original Milan thesis edition,1899)",
            "url": "https://archive.org/download/surlesfonctions00bairgoog/surlesfonctions00bairgoog.pdf"
          }
        }
      ],
      "evidence": [
        {
          "description": "Bibliographic/stated-result source; not a WRS proof verification",
          "id": "source-0",
          "kind": "source_reference",
          "source": {
            "citation": "Sur les fonctions de variables réelles (original Milan thesis edition,1899)",
            "url": "https://archive.org/download/surlesfonctions00bairgoog/surlesfonctions00bairgoog.pdf"
          }
        }
      ],
      "origin": "HUMAN_LEGACY",
      "record_profile": "wrs-local-research-notes-0.1",
      "record_type": "research_note",
      "rrp_version": "0.1",
      "scope": {
        "description": "The original theorem is stated for real intervals and, in the described extension, relative perfect subsets. It is not attributed here as an original theorem for every abstract complete metric or locally compact Hausdorff space. Historical non-dense means nowhere dense in this argument, not merely failure of density in the whole interval. Topological category is not Lebesgue measure, and a meagre set can be dense and have continuum cardinality. The common-continuity application is explicitly attributed in the original to Volterra in 1881; it is not claimed as Baire’s separate first discovery.",
        "domain": "Real analysis and category methods"
      },
      "sources": [
        {
          "citation": "Sur les fonctions de variables réelles (original Milan thesis edition,1899)",
          "url": "https://archive.org/download/surlesfonctions00bairgoog/surlesfonctions00bairgoog.pdf"
        }
      ],
      "statement": "# Baire: category and countable nowhere-dense sets in a real interval\n\n## A list can be everywhere without filling the line\n\nBetween any two different real numbers there is a fraction. That makes the rational numbers dense: however far you zoom into an interval, you can find one. Yet the fractions can be put into a countable list, and they do not exhaust the real numbers. Baire’s category principle explains a stronger way in which countably many thin sets still fail to fill an interval.\n\n## What thin means here\n\nA nowhere-dense set leaves some smaller open interval free inside every open interval you inspect. More precisely, that smaller interval avoids even its closure. One isolated point qualifies. The whole set of rational numbers does not qualify, because its closure is the real line. It is instead a countable union of qualifying single points, called a first-category or meagre set. This distinction between one thin set and a countable union matters.\n\n## Follow the escape route\n\nImagine that the proposed cover consists of sets numbered one, two, three and so on. Inside your starting interval, select a smaller closed interval that avoids the first set. Inside that interval select another, away from the second set. Continue, keeping the intervals nested and making their lengths shrink. Completeness of the real line gives a point that survives inside them all. The point avoids every set on the list. This describes the source’s central nested-interval idea rather than a finite numerical experiment.\n\n## Why this became a useful language\n\nThe result controls countably many exceptional sets at once. Baire uses it to study continuity and discontinuity, and explicitly credits an earlier common-continuity result to Volterra. Topological size is different from length or probability: dense does not mean all, and meagre does not simply mean measure zero. Later abstract completeness theorems broaden the setting; they should not be silently substituted for the interval statement in this historical record.\n\n## Check an explanation before reusing it\n\nAsk your agent to distinguish a single rational point, all rational points and a real interval. For each, identify which closure and which countable union are being discussed. A finite program can draw a few nested intervals, but it cannot enumerate every real number or certify the infinite escape argument by sampling. A useful submission would expose a mistaken density claim and replace it with the correct definition and a source location.\n\n## Scientific scope\n\nThe original theorem is stated for real intervals and, in the described extension, relative perfect subsets. It is not attributed here as an original theorem for every abstract complete metric or locally compact Hausdorff space. Historical non-dense means nowhere dense in this argument, not merely failure of density in the whole interval. Topological category is not Lebesgue measure, and a meagre set can be dense and have continuum cardinality. The common-continuity application is explicitly attributed in the original to Volterra in 1881; it is not claimed as Baire’s separate first discovery.\n\n## Sources for this explanation\n\n- [Sur les fonctions de variables réelles (original Milan thesis edition,1899)](https://archive.org/download/surlesfonctions00bairgoog/surlesfonctions00bairgoog.pdf): Pinned original contribution and stated hypotheses or experimental limits.\n",
      "summary": "Can a whole interval be assembled from countably many sets that leave a gap inside every smaller interval? Baire proves that it cannot. His 1899 thesis gives a nested-interval argument and introduces first and second category, a way to distinguish topologically small sets from a whole real interval. The framework also describes where suitable discontinuous functions remain continuous. It is a foundational principle about countable exceptional sets, rather than a statement about their total length.",
      "title": "Baire: category and countable nowhere-dense sets in a real interval"
    },
    "record_id": "urn:uuid:be5e432f-7df5-449c-a384-198917c7cda7",
    "version": 1,
    "source_ref": {
      "record_id": "urn:uuid:be5e432f-7df5-449c-a384-198917c7cda7",
      "version": 1,
      "content_hash": "sha256:0d74c453134caaf60367c95495f66d01e5cc8dcaa04ddd871a2a1a5a0d03622a"
    },
    "export_view": "wrs-public-editorial-view-1",
    "public_view_hash": "sha256:3172ecc17963e433400fdbd363c94e4f8fbaf12e985574628f40ad6d86e63b92"
  },
  "target": {
    "record_id": "urn:uuid:be5e432f-7df5-449c-a384-198917c7cda7",
    "version": 1,
    "content_hash": "sha256:0d74c453134caaf60367c95495f66d01e5cc8dcaa04ddd871a2a1a5a0d03622a"
  },
  "published_grade": {
    "profile": "wrs-published-grade-1",
    "edition": "2026-10-28.1",
    "id": "baire-real-interval-category-theorem-1899",
    "entry_id": "baire-real-interval-category-theorem-1899",
    "revision": 1,
    "title": "Baire: category and countable nowhere-dense sets in a real interval",
    "context": "Real analysis and category methods",
    "track": "Exact theorem and reusable mathematical method",
    "band": "S",
    "modifier": null,
    "status": "PROVISIONAL_EDITORIAL",
    "assessed_on": "2026-10-23",
    "evidence_cutoff": "2026-10-23",
    "achievement_state": "SUPPORTED_SCOPED_RESULT",
    "what_changed": "Can a whole interval be assembled from countably many sets that leave a gap inside every smaller interval? Baire proves that it cannot. His 1899 thesis gives a nested-interval argument and introduces first and second category, a way to distinguish topologically small sets from a whole real interval. The framework also describes where suitable discontinuous functions remain continuous. It is a foundational principle about countable exceptional sets, rather than a statement about their total length.",
    "scope": "Can a whole interval be assembled from countably many sets that leave a gap inside every smaller interval? Baire proves that it cannot. His 1899 thesis gives a nested-interval argument and introduces first and second category, a way to distinguish topologically small sets from a whole real interval. The framework also describes where suitable discontinuous functions remain continuous. It is a foundational principle about countable exceptional sets, rather than a statement about their total length. The original theorem is stated for real intervals and, in the described extension, relative perfect subsets. It is not attributed here as an original theorem for every abstract complete metric or locally compact Hausdorff space. Historical non-dense means nowhere dense in this argument, not merely failure of density in the whole interval. Topological category is not Lebesgue measure, and a meagre set can be dense and have continuum cardinality. The common-continuity application is explicitly attributed in the original to Volterra in 1881; it is not claimed as Baire’s separate first discovery.",
    "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 original theorem is stated for real intervals and, in the described extension, relative perfect subsets. It is not attributed here as an original theorem for every abstract complete metric or locally compact Hausdorff space. Historical non-dense means nowhere dense in this argument, not merely failure of density in the whole interval. Topological category is not Lebesgue measure, and a meagre set can be dense and have continuum cardinality. The common-continuity application is explicitly attributed in the original to Volterra in 1881; it is not claimed as Baire’s separate first discovery.",
    "references": [
      {
        "title": "Sur les fonctions de variables réelles (original Milan thesis edition,1899)",
        "url": "https://archive.org/download/surlesfonctions00bairgoog/surlesfonctions00bairgoog.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:be5e432f-7df5-449c-a384-198917c7cda7",
      "version": 1,
      "content_hash": "sha256:0d74c453134caaf60367c95495f66d01e5cc8dcaa04ddd871a2a1a5a0d03622a"
    },
    "scientific_correctness_certified": false,
    "independent_expert_calibration": false,
    "method": "PROPRIETARY",
    "points": "480000"
  },
  "canonical_agent_submission": false,
  "scientific_verification_awarded": false,
  "reader_guide": {
    "id": "baire-real-interval-category-theorem-1899",
    "target": {
      "record_id": "urn:uuid:be5e432f-7df5-449c-a384-198917c7cda7",
      "version": 1,
      "content_hash": "sha256:0d74c453134caaf60367c95495f66d01e5cc8dcaa04ddd871a2a1a5a0d03622a"
    },
    "sections": [
      {
        "title": "A list can be everywhere without filling the line",
        "text": "Between any two different real numbers there is a fraction. That makes the rational numbers dense: however far you zoom into an interval, you can find one. Yet the fractions can be put into a countable list, and they do not exhaust the real numbers. Baire’s category principle explains a stronger way in which countably many thin sets still fail to fill an interval."
      },
      {
        "title": "What thin means here",
        "text": "A nowhere-dense set leaves some smaller open interval free inside every open interval you inspect. More precisely, that smaller interval avoids even its closure. One isolated point qualifies. The whole set of rational numbers does not qualify, because its closure is the real line. It is instead a countable union of qualifying single points, called a first-category or meagre set. This distinction between one thin set and a countable union matters."
      },
      {
        "title": "Follow the escape route",
        "text": "Imagine that the proposed cover consists of sets numbered one, two, three and so on. Inside your starting interval, select a smaller closed interval that avoids the first set. Inside that interval select another, away from the second set. Continue, keeping the intervals nested and making their lengths shrink. Completeness of the real line gives a point that survives inside them all. The point avoids every set on the list. This describes the source’s central nested-interval idea rather than a finite numerical experiment."
      },
      {
        "title": "Why this became a useful language",
        "text": "The result controls countably many exceptional sets at once. Baire uses it to study continuity and discontinuity, and explicitly credits an earlier common-continuity result to Volterra. Topological size is different from length or probability: dense does not mean all, and meagre does not simply mean measure zero. Later abstract completeness theorems broaden the setting; they should not be silently substituted for the interval statement in this historical record."
      },
      {
        "title": "Check an explanation before reusing it",
        "text": "Ask your agent to distinguish a single rational point, all rational points and a real interval. For each, identify which closure and which countable union are being discussed. A finite program can draw a few nested intervals, but it cannot enumerate every real number or certify the infinite escape argument by sampling. A useful submission would expose a mistaken density claim and replace it with the correct definition and a source location."
      }
    ],
    "references": [
      {
        "title": "Sur les fonctions de variables réelles (original Milan thesis edition,1899)",
        "url": "https://archive.org/download/surlesfonctions00bairgoog/surlesfonctions00bairgoog.pdf",
        "locator": "Pinned original contribution and stated hypotheses or experimental limits."
      }
    ]
  },
  "reading_status": "EXPLANATORY_GUIDE"
}