Show that a set of functions
A={f∈C0([0,2]): f(0)=f(1)=f(2)=0}
is dense in L2(0,2).
I know the following theorem: Let 1≤p<∞, Ω 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:=¯{x∈X: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 f∈C[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 fn∈A. Furthermore fn→f pointwise on [0,2]∖{0,1,2}. We want to show
∫20|fn−f|2→0.
But this is easy: First, we know fn→f 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