Monday, 16 December 2013

general topology - Show that a set of functions is dense in L2(0,2)



Show that a set of functions
A={fC0([0,2]): f(0)=f(1)=f(2)=0}


is dense in L2(0,2).




I know the following theorem: Let 1p<,  Ω  be an open set of Rn. Then continuous functions with compact support are dense in Lp(Ω).



In my case the functions are defined on [0,2] that is closed. The definition of support is
supp f:=¯{xX:f(x)0}


that is a closed set.



Now for a function in A I can write the support like this (tell me any mistakes)
supp f=¯(0,1)(1,2)


that I think it's equal to [0,2]. Can I apply the previous theorem being my domain closed? Or maybe there is a different way to solve this?


Answer




It's enough to show A is dense in C[0,2] in the L2 metric. So let fC[0,2], with M=max[0,2]|f|. For n=1,2,, set



fn(x)=f(x)d(x,{0,1,2})1/n.



Then each fnA. Furthermore fnf pointwise on [0,2]{0,1,2}. We want to show



20|fnf|20.



But this is easy: First, we know fnf a.e. on [0,2]. Second, |fn|M for all n. Hence the integrands in (1) are bounded above by 4M2. By the dominated convergence theorem, (1) holds as desired.


No comments:

Post a Comment

real analysis - How to find limhrightarrow0fracsin(ha)h

How to find limh0sin(ha)h without lhopital rule? I know when I use lhopital I easy get $$ \lim_{h\rightarrow 0}...