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


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



Is $L^2(\mathbb R)$ homeomorphic to $L^1(\mathbb R)$?
According to [Are $L^\infty(\Bbb R)$ and $L^2(\Bbb R)$ homeomorphic?](https://mathoverflow.net/questions/196117/are-l-infty-bbb-r-and-l2-bbb-r-homeomorphic?rq=1), 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](https://math.stackexchange.com/questions/51502/if-f-k-to-f-a-e-and-the-lp-norms-converge-then-f-k-to-f-in-lp) (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](https://eudml.org/doc/216983)).


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


[MR0209804](http://www.ams.org/mathscinet-getitem?mr=209804) 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](https://math.stackexchange.com/a/1313317/822), where Tomek says that two infinite-dimensional Banach spaces are homeomorphic iff they have dense subsets of the same minimal cardinality.


