SWhat 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.
Scientific 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
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.
Contributors
- The named authors in the research record · SCIENCE: 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.
Provisional WRS assessment, edition 2026-10-23.3. Independent expert calibration is pending. This grade does not certify correctness or assign ownership.
Full scientific record · Browse contribution grades · Request a correction