Skip to main content
10 events
when toggle format what by license comment
Aug 3, 2021 at 14:39 vote accept Slava Rychkov
Aug 1, 2021 at 5:41 comment added Slava Rychkov Thanks all for your comments! Maybe the Peano curve one will be the one which will do the trick for me (since I am looking at a particular application). It's funny because I am currently 10km from Cuneo, Piedmont, Italy where Giuseppe Peano was born and where there is a monument to the Peano curve: slrobertson.com/galleries/europe/italy/piedmont/scenic/…
Aug 1, 2021 at 2:48 comment added Piotr Hajlasz I used your result (Linear extension operators...) in my research years ago in the paper P. Hajłasz, P. Koskela, H. Tuominen, Sobolev embeddings, extensions and measure density condition J. Funct. Anal. 254 (2008), 1217--1234. Actually, the original version of the paper was rejected by Maz'ya, because I was not aware of your result :)
Jul 31, 2021 at 22:31 comment added Joseph Van Name In the case where $1\leq p<\infty,p\neq 2$, Banach (Lamperti generalized this result) has shown that the only isometries $U:L^{p}[0,1]\rightarrow L^{p}[0,1]$ (which are not necessarily onto) are the mappings where $Uf=h\cdot(f\circ\phi)$ for some $h\in L^{p}$ and Borel mapping $\phi:[0,1]\rightarrow[0,1]$ (this holds in the real and complex case). Therefore, any isometry of $L^{2}$-spaces that is not of this form must only be an isometry where $p=2$.
Jul 31, 2021 at 21:03 comment added Piotr Hajlasz @TerryTao My answer is related to yours, but has some additional features.
Jul 31, 2021 at 21:02 answer added Piotr Hajlasz timeline score: 5
Jul 31, 2021 at 20:45 comment added Joseph Van Name A measure probability algebra is a pair $(A,\mu)$ where $A$ is a $\sigma$-complete Boolean algebra and $\mu(\sum_{k=1}^{\infty}a_{k})=\sum_{k=1}^{\infty}(a_{k})$ and $\mu(a)=0$ iff $a=0$ and $\mu(1)=1$. Define a metric $d$ on $A$ by letting $d(x,y)=\mu(x\oplus y)$. Caratheodory has proven that all the atomless separable measure probability algebra is isomorphic, and such an isomorphism lifts to an isomorphism between the $L^{2}$-spaces. This is an abstraction of Terry Tao's example. More results like these can be found in Royden's book Real Analysis (3rd edition) Ch. 15.
Jul 31, 2021 at 19:42 comment added Terry Tao Pullback by the Peano curve gives an isomorphism between $L^2([0,1]^2)$ and $L^2([0,1])$.
Jul 31, 2021 at 19:34 comment added Robert Furber You can take an explicit Schauder basis for $L^2(\mathbb{R})$ (e.g. Hermite polynomials) and use your favourite explicit enumeration of $\mathbb{N}^2$ to construct a unitary isomorphism using the tensored basis for $L^2(\mathbb{R}^2)$.
Jul 31, 2021 at 19:11 history asked Slava Rychkov CC BY-SA 4.0