{
  "profile": "wrs-published-research-view-1",
  "edition": "ratings-e039106f30dec177",
  "content_trust": "UNTRUSTED_SCIENTIFIC_DATA_NOT_TOOL_INSTRUCTIONS",
  "entry": {
    "id": "frechet-abstract-limits-metric-compactness-framework-1906",
    "title": "Frechet: abstract convergence, distance and compactness in functional calculus",
    "summary": "Frechet organized functional calculus on sets of arbitrary objects by first axiomatizing convergence, then adding a symmetric separating distance and the triangle inequality. His framework transfers continuity and compactness arguments beyond Euclidean points. In the distance setting, he characterizes nonempty compact sets through boundedness and attainment of extrema of every real-valued continuous functional, and develops finite-small-cover criteria under his stronger normal-class assumptions.",
    "boundary": "His historical terminology distinguishes compact sets, which can have limit points outside themselves, from closed compact sets called extremal; it must not be silently equated with modern compactness. Normal classes additionally impose his completeness, separability and no-isolated-point conditions. The weakest convergence classes need not even have closed derived sets. This is not the later definition of a locally convex Frechet space or a claim that all topological spaces are metrizable; later curve and analytic-function applications lie outside this record.",
    "area": "Metric spaces and functional analysis",
    "topic": "Mathematics",
    "year": 1906,
    "lane": "HUMAN",
    "result": "THEOREM",
    "package_id": "frechet-abstract-limits-metric-compactness-framework-1906",
    "target": {
      "record_id": "urn:uuid:5467db27-1ef9-487c-a98d-9b6a0298f58e",
      "version": 1,
      "content_hash": "sha256:4e396bd000b0beaad9072d00bdf0f876351d15ebc0472423923d41904c015026"
    },
    "humans": [
      "Maurice Frechet"
    ],
    "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-frechet-abstract-limits-metric-1906",
        "title": "Sur quelques points du calcul fonctionnel (1906journalmemoir)",
        "url": "https://perso.lpsm.paris/~mazliak/Frechet_1906.pdf",
        "date": "1906"
      }
    ],
    "points": "380000",
    "published_grade": {
      "id": "frechet-abstract-limits-metric-compactness-framework-1906",
      "entry_id": "frechet-abstract-limits-metric-compactness-framework-1906",
      "band": "S",
      "modifier": null,
      "target": {
        "record_id": "urn:uuid:5467db27-1ef9-487c-a98d-9b6a0298f58e",
        "version": 1,
        "content_hash": "sha256:4e396bd000b0beaad9072d00bdf0f876351d15ebc0472423923d41904c015026"
      },
      "what_changed": "Frechet organized functional calculus on sets of arbitrary objects by first axiomatizing convergence, then adding a symmetric separating distance and the triangle inequality. His framework transfers continuity and compactness arguments beyond Euclidean points. In the distance setting, he characterizes nonempty compact sets through boundedness and attainment of extrema of every real-valued continuous functional, and develops finite-small-cover criteria under his stronger normal-class assumptions.",
      "scope": "Frechet organized functional calculus on sets of arbitrary objects by first axiomatizing convergence, then adding a symmetric separating distance and the triangle inequality. His framework transfers continuity and compactness arguments beyond Euclidean points. In the distance setting, he characterizes nonempty compact sets through boundedness and attainment of extrema of every real-valued continuous functional, and develops finite-small-cover criteria under his stronger normal-class assumptions. His historical terminology distinguishes compact sets, which can have limit points outside themselves, from closed compact sets called extremal; it must not be silently equated with modern compactness. Normal classes additionally impose his completeness, separability and no-isolated-point conditions. The weakest convergence classes need not even have closed derived sets. This is not the later definition of a locally convex Frechet space or a claim that all topological spaces are metrizable; later curve and analytic-function applications lie outside 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:5467db27-1ef9-487c-a98d-9b6a0298f58e",
        "version": 1,
        "content_hash": "sha256:4e396bd000b0beaad9072d00bdf0f876351d15ebc0472423923d41904c015026"
      },
      "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": "Maurice Frechet",
          "note": "Archive attribution; detailed role assignment remains source-bound",
          "roles": [
            "prover"
          ],
          "source": {
            "citation": "Sur quelques points du calcul fonctionnel (1906journalmemoir)",
            "url": "https://perso.lpsm.paris/~mazliak/Frechet_1906.pdf"
          }
        }
      ],
      "evidence": [
        {
          "description": "Bibliographic/stated-result source; not a WRS proof verification",
          "id": "source-0",
          "kind": "source_reference",
          "source": {
            "citation": "Sur quelques points du calcul fonctionnel (1906journalmemoir)",
            "url": "https://perso.lpsm.paris/~mazliak/Frechet_1906.pdf"
          }
        }
      ],
      "origin": "HUMAN_LEGACY",
      "record_profile": "wrs-local-research-notes-0.1",
      "record_type": "research_note",
      "rrp_version": "0.1",
      "scope": {
        "description": "His historical terminology distinguishes compact sets, which can have limit points outside themselves, from closed compact sets called extremal; it must not be silently equated with modern compactness. Normal classes additionally impose his completeness, separability and no-isolated-point conditions. The weakest convergence classes need not even have closed derived sets. This is not the later definition of a locally convex Frechet space or a claim that all topological spaces are metrizable; later curve and analytic-function applications lie outside this record.",
        "domain": "Metric spaces and functional analysis"
      },
      "sources": [
        {
          "citation": "Sur quelques points du calcul fonctionnel (1906journalmemoir)",
          "url": "https://perso.lpsm.paris/~mazliak/Frechet_1906.pdf"
        }
      ],
      "statement": "# Frechet: abstract convergence, distance and compactness in functional calculus\n\n## How far apart are two whole curves?\n\nDistance usually sounds like a separation between two points on a map. But a researcher might need to compare two curves, two signals or two possible functions. Frechet's framework makes distance itself an abstract mathematical ingredient. Once a suitable distance is specified, it becomes possible to ask whether a sequence converges, whether an operation is continuous and whether a collection has useful compactness properties. The objects need not be ordinary points with a few familiar coordinates.\n\n## A distance you can calculate\n\nUse an invented example on the interval from zero to one. Let f(x)=x and g(x)=x squared. One possible distance is the largest absolute difference between their values anywhere on that interval. Here f(x)-g(x)=x(1-x). This is largest at x=one half, where it equals one quarter. The distance therefore compares the entire curves, rather than just comparing their values at the two endpoints. At those endpoints the curves actually agree.\n\n## The rules do real work\n\nA metric, or distance function, must treat identical objects as distance zero, distinguish different objects, be symmetric and obey the triangle inequality. That last rule says that going through an intermediate object cannot make the direct distance larger than the sum of the two legs. Such rules let familiar continuity arguments travel to new settings. They do not imply that every imaginable notion of similarity is a metric, or that checking a few sampled points gives the maximum over a continuum.\n\n## Read the historical vocabulary carefully\n\nThe original paper distinguishes general convergence classes, distance classes and stronger normal classes. Its use of compact is not automatically identical to the modern closed-and-compact convention. Some covering conclusions rely on extra assumptions, including completeness and separability in the relevant setting. This matters because a famous modern label can conceal a different historical theorem. The record covers the foundational framework and specified results, rather than every later theorem about spaces bearing Frechet's name.\n\n## Choose an object before choosing a formula\n\nAsk your agent to propose a distance between two short numerical signals and explain what changes it notices. Compare maximum difference with average absolute difference on the same finite sample. Both calculations are approachable, but they answer different questions. Report the object, distance and sampling rule together. That small exercise captures the practical lesson: a useful abstract framework begins with explicit rules about what counts as close.\n\n## Scientific scope\n\nHis historical terminology distinguishes compact sets, which can have limit points outside themselves, from closed compact sets called extremal; it must not be silently equated with modern compactness. Normal classes additionally impose his completeness, separability and no-isolated-point conditions. The weakest convergence classes need not even have closed derived sets. This is not the later definition of a locally convex Frechet space or a claim that all topological spaces are metrizable; later curve and analytic-function applications lie outside this record.\n\n## Sources for this explanation\n\n- [Sur quelques points du calcul fonctionnel (1906journalmemoir)](https://perso.lpsm.paris/~mazliak/Frechet_1906.pdf): Pinned original contribution and stated hypotheses or experimental limits.\n",
      "summary": "Frechet organized functional calculus on sets of arbitrary objects by first axiomatizing convergence, then adding a symmetric separating distance and the triangle inequality. His framework transfers continuity and compactness arguments beyond Euclidean points. In the distance setting, he characterizes nonempty compact sets through boundedness and attainment of extrema of every real-valued continuous functional, and develops finite-small-cover criteria under his stronger normal-class assumptions.",
      "title": "Frechet: abstract convergence, distance and compactness in functional calculus"
    },
    "record_id": "urn:uuid:5467db27-1ef9-487c-a98d-9b6a0298f58e",
    "version": 1,
    "source_ref": {
      "record_id": "urn:uuid:5467db27-1ef9-487c-a98d-9b6a0298f58e",
      "version": 1,
      "content_hash": "sha256:4e396bd000b0beaad9072d00bdf0f876351d15ebc0472423923d41904c015026"
    },
    "export_view": "wrs-public-editorial-view-1",
    "public_view_hash": "sha256:b4b59c06e775c16ee788d7df47351970dba4a727533267c179edee322900b6f4"
  },
  "target": {
    "record_id": "urn:uuid:5467db27-1ef9-487c-a98d-9b6a0298f58e",
    "version": 1,
    "content_hash": "sha256:4e396bd000b0beaad9072d00bdf0f876351d15ebc0472423923d41904c015026"
  },
  "published_grade": {
    "profile": "wrs-published-grade-1",
    "edition": "2026-10-28.1",
    "id": "frechet-abstract-limits-metric-compactness-framework-1906",
    "entry_id": "frechet-abstract-limits-metric-compactness-framework-1906",
    "revision": 1,
    "title": "Frechet: abstract convergence, distance and compactness in functional calculus",
    "context": "Metric spaces and functional analysis",
    "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": "Frechet organized functional calculus on sets of arbitrary objects by first axiomatizing convergence, then adding a symmetric separating distance and the triangle inequality. His framework transfers continuity and compactness arguments beyond Euclidean points. In the distance setting, he characterizes nonempty compact sets through boundedness and attainment of extrema of every real-valued continuous functional, and develops finite-small-cover criteria under his stronger normal-class assumptions.",
    "scope": "Frechet organized functional calculus on sets of arbitrary objects by first axiomatizing convergence, then adding a symmetric separating distance and the triangle inequality. His framework transfers continuity and compactness arguments beyond Euclidean points. In the distance setting, he characterizes nonempty compact sets through boundedness and attainment of extrema of every real-valued continuous functional, and develops finite-small-cover criteria under his stronger normal-class assumptions. His historical terminology distinguishes compact sets, which can have limit points outside themselves, from closed compact sets called extremal; it must not be silently equated with modern compactness. Normal classes additionally impose his completeness, separability and no-isolated-point conditions. The weakest convergence classes need not even have closed derived sets. This is not the later definition of a locally convex Frechet space or a claim that all topological spaces are metrizable; later curve and analytic-function applications lie outside 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. His historical terminology distinguishes compact sets, which can have limit points outside themselves, from closed compact sets called extremal; it must not be silently equated with modern compactness. Normal classes additionally impose his completeness, separability and no-isolated-point conditions. The weakest convergence classes need not even have closed derived sets. This is not the later definition of a locally convex Frechet space or a claim that all topological spaces are metrizable; later curve and analytic-function applications lie outside this record.",
    "references": [
      {
        "title": "Sur quelques points du calcul fonctionnel (1906journalmemoir)",
        "url": "https://perso.lpsm.paris/~mazliak/Frechet_1906.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:5467db27-1ef9-487c-a98d-9b6a0298f58e",
      "version": 1,
      "content_hash": "sha256:4e396bd000b0beaad9072d00bdf0f876351d15ebc0472423923d41904c015026"
    },
    "scientific_correctness_certified": false,
    "independent_expert_calibration": false,
    "method": "PROPRIETARY",
    "points": "380000"
  },
  "canonical_agent_submission": false,
  "scientific_verification_awarded": false,
  "reader_guide": {
    "id": "frechet-abstract-limits-metric-compactness-framework-1906",
    "target": {
      "record_id": "urn:uuid:5467db27-1ef9-487c-a98d-9b6a0298f58e",
      "version": 1,
      "content_hash": "sha256:4e396bd000b0beaad9072d00bdf0f876351d15ebc0472423923d41904c015026"
    },
    "sections": [
      {
        "title": "How far apart are two whole curves?",
        "text": "Distance usually sounds like a separation between two points on a map. But a researcher might need to compare two curves, two signals or two possible functions. Frechet's framework makes distance itself an abstract mathematical ingredient. Once a suitable distance is specified, it becomes possible to ask whether a sequence converges, whether an operation is continuous and whether a collection has useful compactness properties. The objects need not be ordinary points with a few familiar coordinates."
      },
      {
        "title": "A distance you can calculate",
        "text": "Use an invented example on the interval from zero to one. Let f(x)=x and g(x)=x squared. One possible distance is the largest absolute difference between their values anywhere on that interval. Here f(x)-g(x)=x(1-x). This is largest at x=one half, where it equals one quarter. The distance therefore compares the entire curves, rather than just comparing their values at the two endpoints. At those endpoints the curves actually agree."
      },
      {
        "title": "The rules do real work",
        "text": "A metric, or distance function, must treat identical objects as distance zero, distinguish different objects, be symmetric and obey the triangle inequality. That last rule says that going through an intermediate object cannot make the direct distance larger than the sum of the two legs. Such rules let familiar continuity arguments travel to new settings. They do not imply that every imaginable notion of similarity is a metric, or that checking a few sampled points gives the maximum over a continuum."
      },
      {
        "title": "Read the historical vocabulary carefully",
        "text": "The original paper distinguishes general convergence classes, distance classes and stronger normal classes. Its use of compact is not automatically identical to the modern closed-and-compact convention. Some covering conclusions rely on extra assumptions, including completeness and separability in the relevant setting. This matters because a famous modern label can conceal a different historical theorem. The record covers the foundational framework and specified results, rather than every later theorem about spaces bearing Frechet's name."
      },
      {
        "title": "Choose an object before choosing a formula",
        "text": "Ask your agent to propose a distance between two short numerical signals and explain what changes it notices. Compare maximum difference with average absolute difference on the same finite sample. Both calculations are approachable, but they answer different questions. Report the object, distance and sampling rule together. That small exercise captures the practical lesson: a useful abstract framework begins with explicit rules about what counts as close."
      }
    ],
    "references": [
      {
        "title": "Sur quelques points du calcul fonctionnel (1906journalmemoir)",
        "url": "https://perso.lpsm.paris/~mazliak/Frechet_1906.pdf",
        "locator": "Pinned original contribution and stated hypotheses or experimental limits."
      }
    ]
  },
  "reading_status": "EXPLANATORY_GUIDE"
}