Prove that $(X,Vert {cdot}Vert_2)$ is not complete where $Vert fVert_2=left(int_{-2}^{2}|f(t)|^2...











up vote
0
down vote

favorite
1













This question already has an answer here:




  • Show that $(C([a,b]),|{cdot}|_2)$ is not a complete normed vector space

    1 answer




Prove that $(X,Vert {cdot}Vert_2)$ is not complete where $X=C[-2,2]$ and
begin{align}Vert fVert_2=left(int_{-2}^{2}|f(t)|^2 dtright)^{1/2}.end{align}



MY TRIAL



It suffices to produce a Cauchy sequence in $C[-2,2]$ that does not converge to a point in $C[-2,2]$.



Consider the function defined by



begin{align} f_n(t)=begin{cases}0,& text{if};-2leq tleq 0,\nt,& text{if};0leq tleq frac{1}{n},\1 &text{if};frac{1}{n}leq tleq 2.end{cases} end{align}
Clearly, the above function is continuous by Pasting Lemma. Next, we show that the function is Cauchy.



Let $m,nin Bbb{N}$ such that $mgeq n.$ Then, we show that
begin{align} Vert f_n-f_mVert_2=left(int_{-2}^{2}|f_m(t)-f_n(t)|^2 dtright)^{1/2} to 0,; text{as};nto infty.end{align}



Now, begin{align} Vert f_n-f_mVert_2leqleft(int_{-2}^{2}|f_m(t)||f_m(t)-f_n(t)| +|f_n(t)||f_m(t)-f_n(t)| dtright)^{1/2} end{align}



We know that begin{align} int_{-2}^{2}|f(t)| dtleqsqrt{4}left(int_{-2}^{2}|f(t)|^2 dtright)^{1/2}end{align}



So,
begin{align} Vert f_n-f_mVert_2leqleft(int_{-2}^{2}|f_m(t)||f_m(t)-f_n(t)|dt +int_{-2}^{2}|f_n(t)||f_m(t)-f_n(t)| dtright)^{1/2} end{align}



I'm stuck here and don't know how to proceed. Any help please?










share|cite|improve this question















marked as duplicate by Masacroso, Michael Hoppe, Leila, jgon, DRF Dec 4 at 14:40


This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.















  • alternatively you can see that the sequence $f_n(x):=left(frac{x+2}4right)^n$ converges to $f(x):=delta_{2,x}$, what is square-integrable and discontinuous
    – Masacroso
    Dec 4 at 9:57

















up vote
0
down vote

favorite
1













This question already has an answer here:




  • Show that $(C([a,b]),|{cdot}|_2)$ is not a complete normed vector space

    1 answer




Prove that $(X,Vert {cdot}Vert_2)$ is not complete where $X=C[-2,2]$ and
begin{align}Vert fVert_2=left(int_{-2}^{2}|f(t)|^2 dtright)^{1/2}.end{align}



MY TRIAL



It suffices to produce a Cauchy sequence in $C[-2,2]$ that does not converge to a point in $C[-2,2]$.



Consider the function defined by



begin{align} f_n(t)=begin{cases}0,& text{if};-2leq tleq 0,\nt,& text{if};0leq tleq frac{1}{n},\1 &text{if};frac{1}{n}leq tleq 2.end{cases} end{align}
Clearly, the above function is continuous by Pasting Lemma. Next, we show that the function is Cauchy.



Let $m,nin Bbb{N}$ such that $mgeq n.$ Then, we show that
begin{align} Vert f_n-f_mVert_2=left(int_{-2}^{2}|f_m(t)-f_n(t)|^2 dtright)^{1/2} to 0,; text{as};nto infty.end{align}



Now, begin{align} Vert f_n-f_mVert_2leqleft(int_{-2}^{2}|f_m(t)||f_m(t)-f_n(t)| +|f_n(t)||f_m(t)-f_n(t)| dtright)^{1/2} end{align}



We know that begin{align} int_{-2}^{2}|f(t)| dtleqsqrt{4}left(int_{-2}^{2}|f(t)|^2 dtright)^{1/2}end{align}



So,
begin{align} Vert f_n-f_mVert_2leqleft(int_{-2}^{2}|f_m(t)||f_m(t)-f_n(t)|dt +int_{-2}^{2}|f_n(t)||f_m(t)-f_n(t)| dtright)^{1/2} end{align}



I'm stuck here and don't know how to proceed. Any help please?










share|cite|improve this question















marked as duplicate by Masacroso, Michael Hoppe, Leila, jgon, DRF Dec 4 at 14:40


This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.















  • alternatively you can see that the sequence $f_n(x):=left(frac{x+2}4right)^n$ converges to $f(x):=delta_{2,x}$, what is square-integrable and discontinuous
    – Masacroso
    Dec 4 at 9:57















up vote
0
down vote

favorite
1









up vote
0
down vote

favorite
1






1






This question already has an answer here:




  • Show that $(C([a,b]),|{cdot}|_2)$ is not a complete normed vector space

    1 answer




Prove that $(X,Vert {cdot}Vert_2)$ is not complete where $X=C[-2,2]$ and
begin{align}Vert fVert_2=left(int_{-2}^{2}|f(t)|^2 dtright)^{1/2}.end{align}



MY TRIAL



It suffices to produce a Cauchy sequence in $C[-2,2]$ that does not converge to a point in $C[-2,2]$.



Consider the function defined by



begin{align} f_n(t)=begin{cases}0,& text{if};-2leq tleq 0,\nt,& text{if};0leq tleq frac{1}{n},\1 &text{if};frac{1}{n}leq tleq 2.end{cases} end{align}
Clearly, the above function is continuous by Pasting Lemma. Next, we show that the function is Cauchy.



Let $m,nin Bbb{N}$ such that $mgeq n.$ Then, we show that
begin{align} Vert f_n-f_mVert_2=left(int_{-2}^{2}|f_m(t)-f_n(t)|^2 dtright)^{1/2} to 0,; text{as};nto infty.end{align}



Now, begin{align} Vert f_n-f_mVert_2leqleft(int_{-2}^{2}|f_m(t)||f_m(t)-f_n(t)| +|f_n(t)||f_m(t)-f_n(t)| dtright)^{1/2} end{align}



We know that begin{align} int_{-2}^{2}|f(t)| dtleqsqrt{4}left(int_{-2}^{2}|f(t)|^2 dtright)^{1/2}end{align}



So,
begin{align} Vert f_n-f_mVert_2leqleft(int_{-2}^{2}|f_m(t)||f_m(t)-f_n(t)|dt +int_{-2}^{2}|f_n(t)||f_m(t)-f_n(t)| dtright)^{1/2} end{align}



I'm stuck here and don't know how to proceed. Any help please?










share|cite|improve this question
















This question already has an answer here:




  • Show that $(C([a,b]),|{cdot}|_2)$ is not a complete normed vector space

    1 answer




Prove that $(X,Vert {cdot}Vert_2)$ is not complete where $X=C[-2,2]$ and
begin{align}Vert fVert_2=left(int_{-2}^{2}|f(t)|^2 dtright)^{1/2}.end{align}



MY TRIAL



It suffices to produce a Cauchy sequence in $C[-2,2]$ that does not converge to a point in $C[-2,2]$.



Consider the function defined by



begin{align} f_n(t)=begin{cases}0,& text{if};-2leq tleq 0,\nt,& text{if};0leq tleq frac{1}{n},\1 &text{if};frac{1}{n}leq tleq 2.end{cases} end{align}
Clearly, the above function is continuous by Pasting Lemma. Next, we show that the function is Cauchy.



Let $m,nin Bbb{N}$ such that $mgeq n.$ Then, we show that
begin{align} Vert f_n-f_mVert_2=left(int_{-2}^{2}|f_m(t)-f_n(t)|^2 dtright)^{1/2} to 0,; text{as};nto infty.end{align}



Now, begin{align} Vert f_n-f_mVert_2leqleft(int_{-2}^{2}|f_m(t)||f_m(t)-f_n(t)| +|f_n(t)||f_m(t)-f_n(t)| dtright)^{1/2} end{align}



We know that begin{align} int_{-2}^{2}|f(t)| dtleqsqrt{4}left(int_{-2}^{2}|f(t)|^2 dtright)^{1/2}end{align}



So,
begin{align} Vert f_n-f_mVert_2leqleft(int_{-2}^{2}|f_m(t)||f_m(t)-f_n(t)|dt +int_{-2}^{2}|f_n(t)||f_m(t)-f_n(t)| dtright)^{1/2} end{align}



I'm stuck here and don't know how to proceed. Any help please?





This question already has an answer here:




  • Show that $(C([a,b]),|{cdot}|_2)$ is not a complete normed vector space

    1 answer








functional-analysis analysis normed-spaces cauchy-sequences






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Dec 4 at 10:00









Masacroso

12.7k41746




12.7k41746










asked Dec 4 at 9:48









Mike

1,032117




1,032117




marked as duplicate by Masacroso, Michael Hoppe, Leila, jgon, DRF Dec 4 at 14:40


This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.






marked as duplicate by Masacroso, Michael Hoppe, Leila, jgon, DRF Dec 4 at 14:40


This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.














  • alternatively you can see that the sequence $f_n(x):=left(frac{x+2}4right)^n$ converges to $f(x):=delta_{2,x}$, what is square-integrable and discontinuous
    – Masacroso
    Dec 4 at 9:57




















  • alternatively you can see that the sequence $f_n(x):=left(frac{x+2}4right)^n$ converges to $f(x):=delta_{2,x}$, what is square-integrable and discontinuous
    – Masacroso
    Dec 4 at 9:57


















alternatively you can see that the sequence $f_n(x):=left(frac{x+2}4right)^n$ converges to $f(x):=delta_{2,x}$, what is square-integrable and discontinuous
– Masacroso
Dec 4 at 9:57






alternatively you can see that the sequence $f_n(x):=left(frac{x+2}4right)^n$ converges to $f(x):=delta_{2,x}$, what is square-integrable and discontinuous
– Masacroso
Dec 4 at 9:57












2 Answers
2






active

oldest

votes

















up vote
2
down vote













You need to use that $f_n(t)-f_m(t)=0$ if $tle 0$ or $tge frac1n$. In $[0,frac1n]$, you have $|f_n(t)-f_m(t)|le 1$. So
$$
int_{-2}^2 |f_n(t)-f_m(t)|^2 , dt le frac1nlongrightarrow 0.
$$






share|cite|improve this answer




























    up vote
    1
    down vote













    Hint: Use $(int_{-2}^{2} |f_n(t)-f_m(t)|^{2})^{1/2} leq (int_{0}^{2} |f_n(t)-1|^{2})^{1/2}+(int_{0}^{2} |f_m(t)-1)|^{2})^{1/2}$. It is a lot easier to prove that each of the two terms tend to $0$.






    share|cite|improve this answer























    • This does not work, because $(int_{-2}^{2} |f_n(t)-1|^{2})^{1/2}$ is always $geq sqrt{2}$.
      – supinf
      Dec 4 at 9:55












    • @supinf There was typo and I have fixed it. It surely works now. You can compute the integrals explicitly by expanding $(1-nt)^{2}$
      – Kavi Rama Murthy
      Dec 4 at 9:57




















    2 Answers
    2






    active

    oldest

    votes








    2 Answers
    2






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes








    up vote
    2
    down vote













    You need to use that $f_n(t)-f_m(t)=0$ if $tle 0$ or $tge frac1n$. In $[0,frac1n]$, you have $|f_n(t)-f_m(t)|le 1$. So
    $$
    int_{-2}^2 |f_n(t)-f_m(t)|^2 , dt le frac1nlongrightarrow 0.
    $$






    share|cite|improve this answer

























      up vote
      2
      down vote













      You need to use that $f_n(t)-f_m(t)=0$ if $tle 0$ or $tge frac1n$. In $[0,frac1n]$, you have $|f_n(t)-f_m(t)|le 1$. So
      $$
      int_{-2}^2 |f_n(t)-f_m(t)|^2 , dt le frac1nlongrightarrow 0.
      $$






      share|cite|improve this answer























        up vote
        2
        down vote










        up vote
        2
        down vote









        You need to use that $f_n(t)-f_m(t)=0$ if $tle 0$ or $tge frac1n$. In $[0,frac1n]$, you have $|f_n(t)-f_m(t)|le 1$. So
        $$
        int_{-2}^2 |f_n(t)-f_m(t)|^2 , dt le frac1nlongrightarrow 0.
        $$






        share|cite|improve this answer












        You need to use that $f_n(t)-f_m(t)=0$ if $tle 0$ or $tge frac1n$. In $[0,frac1n]$, you have $|f_n(t)-f_m(t)|le 1$. So
        $$
        int_{-2}^2 |f_n(t)-f_m(t)|^2 , dt le frac1nlongrightarrow 0.
        $$







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered Dec 4 at 9:52









        Kusma

        3,7581219




        3,7581219






















            up vote
            1
            down vote













            Hint: Use $(int_{-2}^{2} |f_n(t)-f_m(t)|^{2})^{1/2} leq (int_{0}^{2} |f_n(t)-1|^{2})^{1/2}+(int_{0}^{2} |f_m(t)-1)|^{2})^{1/2}$. It is a lot easier to prove that each of the two terms tend to $0$.






            share|cite|improve this answer























            • This does not work, because $(int_{-2}^{2} |f_n(t)-1|^{2})^{1/2}$ is always $geq sqrt{2}$.
              – supinf
              Dec 4 at 9:55












            • @supinf There was typo and I have fixed it. It surely works now. You can compute the integrals explicitly by expanding $(1-nt)^{2}$
              – Kavi Rama Murthy
              Dec 4 at 9:57

















            up vote
            1
            down vote













            Hint: Use $(int_{-2}^{2} |f_n(t)-f_m(t)|^{2})^{1/2} leq (int_{0}^{2} |f_n(t)-1|^{2})^{1/2}+(int_{0}^{2} |f_m(t)-1)|^{2})^{1/2}$. It is a lot easier to prove that each of the two terms tend to $0$.






            share|cite|improve this answer























            • This does not work, because $(int_{-2}^{2} |f_n(t)-1|^{2})^{1/2}$ is always $geq sqrt{2}$.
              – supinf
              Dec 4 at 9:55












            • @supinf There was typo and I have fixed it. It surely works now. You can compute the integrals explicitly by expanding $(1-nt)^{2}$
              – Kavi Rama Murthy
              Dec 4 at 9:57















            up vote
            1
            down vote










            up vote
            1
            down vote









            Hint: Use $(int_{-2}^{2} |f_n(t)-f_m(t)|^{2})^{1/2} leq (int_{0}^{2} |f_n(t)-1|^{2})^{1/2}+(int_{0}^{2} |f_m(t)-1)|^{2})^{1/2}$. It is a lot easier to prove that each of the two terms tend to $0$.






            share|cite|improve this answer














            Hint: Use $(int_{-2}^{2} |f_n(t)-f_m(t)|^{2})^{1/2} leq (int_{0}^{2} |f_n(t)-1|^{2})^{1/2}+(int_{0}^{2} |f_m(t)-1)|^{2})^{1/2}$. It is a lot easier to prove that each of the two terms tend to $0$.







            share|cite|improve this answer














            share|cite|improve this answer



            share|cite|improve this answer








            edited Dec 4 at 9:56

























            answered Dec 4 at 9:52









            Kavi Rama Murthy

            46.6k31854




            46.6k31854












            • This does not work, because $(int_{-2}^{2} |f_n(t)-1|^{2})^{1/2}$ is always $geq sqrt{2}$.
              – supinf
              Dec 4 at 9:55












            • @supinf There was typo and I have fixed it. It surely works now. You can compute the integrals explicitly by expanding $(1-nt)^{2}$
              – Kavi Rama Murthy
              Dec 4 at 9:57




















            • This does not work, because $(int_{-2}^{2} |f_n(t)-1|^{2})^{1/2}$ is always $geq sqrt{2}$.
              – supinf
              Dec 4 at 9:55












            • @supinf There was typo and I have fixed it. It surely works now. You can compute the integrals explicitly by expanding $(1-nt)^{2}$
              – Kavi Rama Murthy
              Dec 4 at 9:57


















            This does not work, because $(int_{-2}^{2} |f_n(t)-1|^{2})^{1/2}$ is always $geq sqrt{2}$.
            – supinf
            Dec 4 at 9:55






            This does not work, because $(int_{-2}^{2} |f_n(t)-1|^{2})^{1/2}$ is always $geq sqrt{2}$.
            – supinf
            Dec 4 at 9:55














            @supinf There was typo and I have fixed it. It surely works now. You can compute the integrals explicitly by expanding $(1-nt)^{2}$
            – Kavi Rama Murthy
            Dec 4 at 9:57






            @supinf There was typo and I have fixed it. It surely works now. You can compute the integrals explicitly by expanding $(1-nt)^{2}$
            – Kavi Rama Murthy
            Dec 4 at 9:57





            Popular posts from this blog

            Bressuire

            Cabo Verde

            Gyllenstierna