Processing math: 100%

Sunday, 1 July 2007

fa.functional analysis - Subspaces of L2

[In what follows 00= 1 by convention.]



Is there some closed infinite dimensional linear subspace F of L2(0,1)
such that left|fright|left|fright| belongs to L2(0,1)
for all f in F ?



This problem is related to the Erdos - Shapiro - Shields paper [ESS].
From this paper it follows that the answer is negative if left|fright|left|fright| is replaced by left|fright|left|fright|2.



Some thoughts. Suppose that such an F exists, and take some p>2.
Let f be in F.



Then clearly g:=(p/2)cdotf is in F, too, hence h:=left|gright|left|gright|
belongs to L2(0,1).



Next, it is easy to see that leftVertfrightVertppleq1+leftVerthrightVert22<+infty.



Therefore, F is contained in Lp(0,1) as a linear subspace
(i.e., algebraically).



Now, applying the Closed Graph Theorem to the natural linear embedding
j:(F,||.||2)rightarrowLp(0,1), it follows that j is
continuous. Consequently, the Hilbertian 2-norm and the p-norm
are equivalent on F. Moreover, it follows that F is complete
w.r.t. the p-norm, and, in turn, it is a closed subspace of Lp(0,1).



And this is true for all p>2.



[ESS] http://projecteuclid.org/DPubS/Repository/1.0/Disseminate?view=body&id=pdf_1&handle=euclid.mmj/1028999306

No comments:

Post a Comment