A
D
V
E
R
T
I
S
E
M
E
N
T
ADVERTISEMENT
Lipschitz equivalence without linear isomorphism
at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages
>>> Check out Coolmath's new Guess the Hot Spot <<<

LOADING...
0%
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:2
Category:Functional analysis Lean version:YES! ✔
Rate this game! 4.9 out of 5 (647 votes)

>>> How to Play <<<
Lipschitz equivalent Banach spaces need not be linearly isomorphic. Constructs separable real Banach spaces that are globally bi-Lipschitz equivalent but not linearly isomorphic, resolving the separable Lipschitz-isomorphism problem negatively. Thus even the complete metric structure up to bi-Lipschitz equivalence does not determine a separable Banach space's linear isomorphism class.

>>> Level Select <<<
released 2026-09-24  |  PDF only  |  PLAY LEVEL 1 »  (pdf)
There are separable real Banach spaces that are globally bi-Lipschitz equivalent but not linearly isomorphic. This gives a negative answer to the separable Banach-space Lipschitz-isomorphism problem.
released 2026-09-26  |  1 theorem · 15 lemmas · 21 proofs · 11,057 words  |  PLAY LEVEL 2 »  (pdf)
We construct a separable real Banach space Z that contains no linear copy of c0, yet is bi-Lipschitz equivalent to $Z\oplus_\infty c_0$. The same space contains a bi-Lipschitz image of every separable metric space.

More Functional analysis Games!
Markov type characterizes superreflexivityFixed points of nonexpansive maps in reflexive Banach spacesA counterexample to Pietsch's metric-entropy duality conjectureA negative answer to Kalton's Lipschitz-free approximation question
Asymptotic midpoint uniform convexity without asymptotically uniformly convex renormingMetric Markov cotype two for $\ell_1$Tingley's sphere-isometry problemRelative independence of the separable quotient problem

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