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












0















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 '18 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 '18 at 9:57


















0















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 '18 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 '18 at 9:57
















0












0








0


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 '18 at 10:00









Masacroso

13k41746




13k41746










asked Dec 4 '18 at 9:48









Mike

1,478321




1,478321




marked as duplicate by Masacroso, Michael Hoppe, Leila, jgon, DRF Dec 4 '18 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 '18 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 '18 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 '18 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 '18 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 '18 at 9:57












2 Answers
2






active

oldest

votes


















2














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





























    1














    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 '18 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 '18 at 9:57




















    2 Answers
    2






    active

    oldest

    votes








    2 Answers
    2






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes









    2














    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


























      2














      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
























        2












        2








        2






        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 '18 at 9:52









        Kusma

        3,7031319




        3,7031319























            1














            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 '18 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 '18 at 9:57


















            1














            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 '18 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 '18 at 9:57
















            1












            1








            1






            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 '18 at 9:56

























            answered Dec 4 '18 at 9:52









            Kavi Rama Murthy

            51.1k31854




            51.1k31854












            • This does not work, because $(int_{-2}^{2} |f_n(t)-1|^{2})^{1/2}$ is always $geq sqrt{2}$.
              – supinf
              Dec 4 '18 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 '18 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 '18 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 '18 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 '18 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 '18 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 '18 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 '18 at 9:57





            Popular posts from this blog

            Berounka

            Sphinx de Gizeh

            Different font size/position of beamer's navigation symbols template's content depending on regular/plain...