Fixed points of nonexpansive maps in reflexive Banach spaces at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages

A
D
V
E
R
T

I
S
E
M
E
N
T

Fixed points of nonexpansive maps in reflexive Banach spaces

at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages

thinking... about 3 hours remaining

If this game doesn't work on your computer, go here for help. (Lean version available!)

expertly designed by an internal OpenAI model

Difficulty:	🧠🧠🧠🧠🧠	Ages:	13 - ∞
Skills:	infinite dimensions	Levels:	1
Category:	Functional analysis	Lean version:	YES! ✔
Rate this game! 4.4 out of 5 (8,179 votes)

>>> How to Play <<<

Nonexpansive fixed points in reflexive Banach spaces. Resolves Kirk's reflexive-space fixed-point problem: every nonexpansive selfmap of a nonempty closed bounded convex subset of a real reflexive Banach space has a fixed point. The result uses the original norm, without assuming uniform convexity.

>>> Level Select <<<

LEVEL 1 Fixed Points of Nonexpansive Maps in Reflexive Banach Spaces

released 2026-09-24 | 1 theorem · 8 lemmas · 13 proofs · 7,931 words | PLAY LEVEL 1 » (pdf)

Every nonexpansive selfmap of a nonempty closed bounded convex subset of a real reflexive Banach space has a fixed point. This resolves the reflexive-space fixed point problem for the given norm.

More Functional analysis Games!
Markov type characterizes superreflexivity	A counterexample to Pietsch's metric-entropy duality conjecture	A negative answer to Kalton's Lipschitz-free approximation question	Asymptotic midpoint uniform convexity without asymptotically uniformly convex renorming
Metric Markov cotype two for $\ell_1$	Tingley's sphere-isometry problem	Relative independence of the separable quotient problem	Lipschitz equivalence without linear isomorphism

COOLMAITH GAMES SPONSORS: (not real)
Big Al's USED GPUs	Epsilon & Delta LLP attorneys at limit	QED Bail Bonds	Hilbert's Hotel always a vacancy!

Cool Links: openai/math Lean Mathlib arXiv the real Coolmath Games

You are visitor number 000719

Thanks for visiting CoolmAIth Games
© 1997-2026 CoolmAIth Games. A parody. Not affiliated with Coolmath.com LLC or OpenAI.
Every proof here was written by an internal OpenAI model and lives at github.com/openai/math.
Best viewed in Netscape Navigator 4.0 at 800x600