Is $L^2(\mathbb R)$ homeomorphic to $L^1(\mathbb R)$?

More generally, are there instances of surprising homeomorphisms between non-isomorphic Banach spaces?

MathOverflow is a question and answer site for professional mathematicians. It only takes a minute to sign up.

Sign up to join this community
Anybody can ask a question

Anybody can answer

The best answers are voted up and rise to the top

32

$\begingroup$
$\endgroup$

Is $L^2(\mathbb R)$ homeomorphic to $L^1(\mathbb R)$?

More generally, are there instances of surprising homeomorphisms between non-isomorphic Banach spaces?

40

$\begingroup$
$\endgroup$

According to Are $L^\infty(\Bbb R)$ and $L^2(\Bbb R)$ homeomorphic?, the map $f \mapsto \operatorname{sgn}(f) |f|^2$ is a homeomorphism from $L^2$ to $L^1$.

It's clearly a bijection. Suppose $f_n \to f$ in $L^2$; set $g_n = \operatorname{sgn}(f_n) |f_n|^2$ and $g$ likewise. Passing to a subsequence we can assume $f_n \to f$ a.e., so that $g_n \to g$ a.e. also. And we have $\|g_n\|_1 = \|f_n\|_2^2 \to \|f\|_2^2 = \|g\|_1$. By this lemma due to Riesz (a clever use of Fatou's lemma) we have $g_n \to g$ in $L^1$. So the map is continuous. The same argument shows the inverse is also continuous. This works over any measure space.

Thanks to Yemon Choi for pointing out that this observation is apparently due to S. Mazur, *Studia Math.*, 1929 (EuDML).

Much more powerfully, all separable infinite-dimensional Banach spaces are homeomorphic.

MR0209804 Kadec, M. I. A proof of the topological equivalence of all separable infinite-dimensional Banach spaces. (Russian) Funkcional. Anal. i Priložen. 1 1967 61–70. (Reviewer: G. L. Krabbe)

English translation at: M.I. Kadets, Functional Analysis and Its Applications **1** (1967) p 53. (https://doi.org/10.1007/BF01075865)

The MathSciNet review points out that, combined with other contemporaneous work, all separable infinite-dimensional Fréchet spaces are homeomorphic.

I found this reference in a Math.SE post by Tomek Kania, where Tomek says that two infinite-dimensional Banach spaces are homeomorphic iff they have dense subsets of the same minimal cardinality.

Mazur map- apparently this goes back to a paper of Mazur inStudia Math.from 1929 $\endgroup$ – Yemon Choi May 8 '17 at 15:23