AWhat changed
Kakutani gave a direct averaging proof of Markov's common-fixed-point theorem for a commuting family of continuous affine self-maps of a nonempty compact convex subset of a locally convex topological vector space. He also formulated a common-fixed-point theorem for an affine congruent group preserving such a set, with applications to almost-periodic means and an alternative route to Banach's extension theorem.
Scientific scope
Kakutani gave a direct averaging proof of Markov's common-fixed-point theorem for a commuting family of continuous affine self-maps of a nonempty compact convex subset of a locally convex topological vector space. He also formulated a common-fixed-point theorem for an affine congruent group preserving such a set, with applications to almost-periodic means and an alternative route to Banach's extension theorem. Compactness, convexity, local convexity and affine action are essential stated hypotheses. The commuting-family theorem does not assume surjectivity; the solvable-group corollary and congruent-group theorem require bijective preservation of the compact set. Congruence means preservation of a common zero-neighborhood system, not arbitrary affine groups. The note contains statements and brief proof summaries, explicitly deferring details. It does not establish uniqueness of the mean under its general hypotheses. The note explicitly supplies statements and brief proof summaries, leaving details elsewhere. Compact convex nonempty set in a locally convex space; commuting self-maps need not be surjective, but the group variants preserve the set bijectively. Congruence is not an arbitrary group property and uniqueness of a mean does not follow. Not the separate1941 set-valued fixed-point theorem.
Evidence
The linked original works support the scoped statement and contribution attribution. WRS has not independently replayed experiments or reconstructed a full mathematical proof. Compactness, convexity, local convexity and affine action are essential stated hypotheses. The commuting-family theorem does not assume surjectivity; the solvable-group corollary and congruent-group theorem require bijective preservation of the compact set. Congruence means preservation of a common zero-neighborhood system, not arbitrary affine groups. The note contains statements and brief proof summaries, explicitly deferring details. It does not establish uniqueness of the mean under its general hypotheses. The note explicitly supplies statements and brief proof summaries, leaving details elsewhere. Compact convex nonempty set in a locally convex space; commuting self-maps need not be surjective, but the group variants preserve the set bijectively. Congruence is not an arbitrary group property and uniqueness of a mean does not follow. Not the separate1941 set-valued fixed-point theorem.
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.5. Independent expert calibration is pending. This grade does not certify correctness or assign ownership.
Full scientific record · Browse contribution grades · Request a correction