I was wondering if my hypothesis is correct: Let $X=L^2[0,1]$, $f\in X$, $g:[0,1]\to[0,1]$ definited as $g(x)=\sqrt x$
Is $f\circ g\in L^2[0,1]$ necessarily?
Thanks a lot
I was wondering if my hypothesis is correct: Let $X=L^2[0,1]$, $f\in X$, $g:[0,1]\to[0,1]$ definited as $g(x)=\sqrt x$
Is $f\circ g\in L^2[0,1]$ necessarily?
Thanks a lot
Copyright © 2021 JogjaFile Inc.
Yes. Using the change of variable $x=\sqrt t$, $$ \int_0^1|f(\sqrt t)|^2\,dt=2\int_0^1x\,|f(x)|^2\,dx\leq2\int_0^1|f(x)|^2\,dx<\infty $$ The change of variable is obvious for continuous $f$, and can be deduced for arbitrary $f$ by approximation with continuous functions and using dominated convergence.