A negative answer to Kalton's Lipschitz-free approximation question 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

A negative answer to Kalton's Lipschitz-free approximation question

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.6 out of 5 (6,148 votes)

>>> How to Play <<<

A uniformly discrete counterexample to bounded approximation in Lipschitz-free spaces. Constructs a countable uniformly discrete metric space whose real Lipschitz-free Banach space has the approximation property but not the bounded approximation property, answering Kalton's question negatively. Finite-rank operators approximate the identity on every compact set, but their norms cannot share a finite bound.

>>> Level Select <<<

LEVEL 1 A uniformly discrete counterexample to bounded approximation in Lipschitz-free spaces

released 2026-09-26 | PDF only | PLAY LEVEL 1 » (pdf)

We construct a countable uniformly discrete metric space whose real Lipschitz-free space has the approximation property but fails the bounded approximation property, answering Kalton's question negatively. The identity can be approximated on every compact set by finite-rank operators, but no uniform bound on their norms is possible.

More Functional analysis Games!
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	The complete Crouzeix conjecture	The cotype–cotype conjecture under the approximation property	Markov type characterizes superreflexivity

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