Show that the space of all real sequences with finitely many nonzero is not complete with a specific norm












1












$begingroup$



Consider the space $ell_{0}^{2}$ of all real sequences with only a
finite number of nonzero terms. Show that the space is not complete,
with the norm $|x|={left(sum|x|^{2}right)}^{1/2}$.




My attempt: I've had a break for some time, so I am a bit rusty. But, I really just have to find a Cauchy sequence that does not converge. I was thinking about a sequence where $x_n=1/n$, the first $n$ terms and then zero (it has helped me before, but I'm not sure whether it works). Assume $m>n$, then



$$
d^2(x_m,x_n)=|x_m-x_n|^2=sum_{j=n}^mfrac{1}{j^2}leqfrac{m-n+1}{n^2}
$$



which we can make arbitrarily small, and therefore it is a Cauchy sequence. (right?)



So, I'm thinking that obviously the limit doesn't exist, since it would not have finitely many zeros, and therefore it does not converge. Is my reasoning OK? If so, how do I continue?



Alternative approach: If you have some alternative approach I'm happy to hear about it.










share|cite|improve this question









$endgroup$












  • $begingroup$
    Yes, it's OK. (Perhaps, explain why the "limit" would not have only finitely many non-zero coordinates.)
    $endgroup$
    – David Mitra
    Oct 1 '14 at 10:38












  • $begingroup$
    Well, as $ntoinfty$ so does the nonezero elements. But perhaps I could pick an easier sequence?
    $endgroup$
    – user136475
    Oct 1 '14 at 15:33










  • $begingroup$
    What happens with the sequence $a_n = (1, ldots, 1/n, 0, ldots)$?
    $endgroup$
    – Will M.
    Jan 13 at 2:33
















1












$begingroup$



Consider the space $ell_{0}^{2}$ of all real sequences with only a
finite number of nonzero terms. Show that the space is not complete,
with the norm $|x|={left(sum|x|^{2}right)}^{1/2}$.




My attempt: I've had a break for some time, so I am a bit rusty. But, I really just have to find a Cauchy sequence that does not converge. I was thinking about a sequence where $x_n=1/n$, the first $n$ terms and then zero (it has helped me before, but I'm not sure whether it works). Assume $m>n$, then



$$
d^2(x_m,x_n)=|x_m-x_n|^2=sum_{j=n}^mfrac{1}{j^2}leqfrac{m-n+1}{n^2}
$$



which we can make arbitrarily small, and therefore it is a Cauchy sequence. (right?)



So, I'm thinking that obviously the limit doesn't exist, since it would not have finitely many zeros, and therefore it does not converge. Is my reasoning OK? If so, how do I continue?



Alternative approach: If you have some alternative approach I'm happy to hear about it.










share|cite|improve this question









$endgroup$












  • $begingroup$
    Yes, it's OK. (Perhaps, explain why the "limit" would not have only finitely many non-zero coordinates.)
    $endgroup$
    – David Mitra
    Oct 1 '14 at 10:38












  • $begingroup$
    Well, as $ntoinfty$ so does the nonezero elements. But perhaps I could pick an easier sequence?
    $endgroup$
    – user136475
    Oct 1 '14 at 15:33










  • $begingroup$
    What happens with the sequence $a_n = (1, ldots, 1/n, 0, ldots)$?
    $endgroup$
    – Will M.
    Jan 13 at 2:33














1












1








1





$begingroup$



Consider the space $ell_{0}^{2}$ of all real sequences with only a
finite number of nonzero terms. Show that the space is not complete,
with the norm $|x|={left(sum|x|^{2}right)}^{1/2}$.




My attempt: I've had a break for some time, so I am a bit rusty. But, I really just have to find a Cauchy sequence that does not converge. I was thinking about a sequence where $x_n=1/n$, the first $n$ terms and then zero (it has helped me before, but I'm not sure whether it works). Assume $m>n$, then



$$
d^2(x_m,x_n)=|x_m-x_n|^2=sum_{j=n}^mfrac{1}{j^2}leqfrac{m-n+1}{n^2}
$$



which we can make arbitrarily small, and therefore it is a Cauchy sequence. (right?)



So, I'm thinking that obviously the limit doesn't exist, since it would not have finitely many zeros, and therefore it does not converge. Is my reasoning OK? If so, how do I continue?



Alternative approach: If you have some alternative approach I'm happy to hear about it.










share|cite|improve this question









$endgroup$





Consider the space $ell_{0}^{2}$ of all real sequences with only a
finite number of nonzero terms. Show that the space is not complete,
with the norm $|x|={left(sum|x|^{2}right)}^{1/2}$.




My attempt: I've had a break for some time, so I am a bit rusty. But, I really just have to find a Cauchy sequence that does not converge. I was thinking about a sequence where $x_n=1/n$, the first $n$ terms and then zero (it has helped me before, but I'm not sure whether it works). Assume $m>n$, then



$$
d^2(x_m,x_n)=|x_m-x_n|^2=sum_{j=n}^mfrac{1}{j^2}leqfrac{m-n+1}{n^2}
$$



which we can make arbitrarily small, and therefore it is a Cauchy sequence. (right?)



So, I'm thinking that obviously the limit doesn't exist, since it would not have finitely many zeros, and therefore it does not converge. Is my reasoning OK? If so, how do I continue?



Alternative approach: If you have some alternative approach I'm happy to hear about it.







real-analysis






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked Oct 1 '14 at 10:30









user136475user136475

325




325












  • $begingroup$
    Yes, it's OK. (Perhaps, explain why the "limit" would not have only finitely many non-zero coordinates.)
    $endgroup$
    – David Mitra
    Oct 1 '14 at 10:38












  • $begingroup$
    Well, as $ntoinfty$ so does the nonezero elements. But perhaps I could pick an easier sequence?
    $endgroup$
    – user136475
    Oct 1 '14 at 15:33










  • $begingroup$
    What happens with the sequence $a_n = (1, ldots, 1/n, 0, ldots)$?
    $endgroup$
    – Will M.
    Jan 13 at 2:33


















  • $begingroup$
    Yes, it's OK. (Perhaps, explain why the "limit" would not have only finitely many non-zero coordinates.)
    $endgroup$
    – David Mitra
    Oct 1 '14 at 10:38












  • $begingroup$
    Well, as $ntoinfty$ so does the nonezero elements. But perhaps I could pick an easier sequence?
    $endgroup$
    – user136475
    Oct 1 '14 at 15:33










  • $begingroup$
    What happens with the sequence $a_n = (1, ldots, 1/n, 0, ldots)$?
    $endgroup$
    – Will M.
    Jan 13 at 2:33
















$begingroup$
Yes, it's OK. (Perhaps, explain why the "limit" would not have only finitely many non-zero coordinates.)
$endgroup$
– David Mitra
Oct 1 '14 at 10:38






$begingroup$
Yes, it's OK. (Perhaps, explain why the "limit" would not have only finitely many non-zero coordinates.)
$endgroup$
– David Mitra
Oct 1 '14 at 10:38














$begingroup$
Well, as $ntoinfty$ so does the nonezero elements. But perhaps I could pick an easier sequence?
$endgroup$
– user136475
Oct 1 '14 at 15:33




$begingroup$
Well, as $ntoinfty$ so does the nonezero elements. But perhaps I could pick an easier sequence?
$endgroup$
– user136475
Oct 1 '14 at 15:33












$begingroup$
What happens with the sequence $a_n = (1, ldots, 1/n, 0, ldots)$?
$endgroup$
– Will M.
Jan 13 at 2:33




$begingroup$
What happens with the sequence $a_n = (1, ldots, 1/n, 0, ldots)$?
$endgroup$
– Will M.
Jan 13 at 2:33










2 Answers
2






active

oldest

votes


















2












$begingroup$

I think your approach is fine. One way to finish is to observe that the space $l^{2}_{0}$ is contained in $l^2$. Your limit sequence is in $l^2$ but not $l^{2}_{0}.$ Since a sequence has a unique limit in $l^2$ it can't have a limit in $l^{2}_{0}$ so $l^{2}_{0}$ is not complete.






share|cite|improve this answer









$endgroup$





















    1












    $begingroup$

    Yes. Take any sequence $(a_j)_j$ of positive reals such that $sum_{jin Bbb N}a_j^2<infty.$ Let $x_n=(x_{n,j})_j$ where $x_{n,j}=0$ if $j>n$ and $x_{n,j}=a_j$ if $jle n.$ Then $$lim_{nto infty}sup_{m>n}|x_n-x_m|^2=lim_{nto infty}sum_{j=n+1}^{infty}a_j^2=0.$$ So $(x_n)_n$ is a Cauchy sequence.



    If $y=(y_j)_jin l^2_0$ and $lim_{nto infty}|x_n-y|=0,$ then for each $j,$ we have $lim_{nto infty}|x_{n,j}-y_j|=0.$



    Otherwise, for at least one $j$, there would be some $r>0$ such that $|x_{n,j}-y_j|>r$ for infinitely many $n.$ But then $|x_n-y|ge |x_{n,j}-y_j|ge r$ for infinitely many $n.$



    So if $y=lim_{nto infty}x_n$ exists in $l^2_0$ then $y_j=a_jne 0$ for all $j,$ so $ynot in l^2_0,$ a contradiction.



    Remark: Set-theoretically, a sequence is a function $f$ with domain $Bbb N$ (or some other suitable countably infinite domain). So let $x_n=f_n$ where $f_n(j)=x_{n,j}$ and let $y_j=g(j).$ If $(f_n)_n$ converges in norm to $g$ then $f_n$ converges point-wise to $g.$ That is, $f_n(j)to g(j)$ for each $j,$ Because $|f_n(j)-g(j)|=|x_{n,j}-y_j|le |x_n-y|to 0 $ as $nto infty.$






    share|cite|improve this answer











    $endgroup$













    • $begingroup$
      It is sufficient that $sum_{jin Bbb N}a_j^2<infty$ and that $a_jne 0$ for infinitely many $n.$ Then in the last line in this answer we could say "... then $y_j=a_jne 0$ for infinitely many $n$..."
      $endgroup$
      – DanielWainfleet
      Jan 13 at 2:20













    Your Answer





    StackExchange.ifUsing("editor", function () {
    return StackExchange.using("mathjaxEditing", function () {
    StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
    StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
    });
    });
    }, "mathjax-editing");

    StackExchange.ready(function() {
    var channelOptions = {
    tags: "".split(" "),
    id: "69"
    };
    initTagRenderer("".split(" "), "".split(" "), channelOptions);

    StackExchange.using("externalEditor", function() {
    // Have to fire editor after snippets, if snippets enabled
    if (StackExchange.settings.snippets.snippetsEnabled) {
    StackExchange.using("snippets", function() {
    createEditor();
    });
    }
    else {
    createEditor();
    }
    });

    function createEditor() {
    StackExchange.prepareEditor({
    heartbeatType: 'answer',
    autoActivateHeartbeat: false,
    convertImagesToLinks: true,
    noModals: true,
    showLowRepImageUploadWarning: true,
    reputationToPostImages: 10,
    bindNavPrevention: true,
    postfix: "",
    imageUploader: {
    brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
    contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
    allowUrls: true
    },
    noCode: true, onDemand: true,
    discardSelector: ".discard-answer"
    ,immediatelyShowMarkdownHelp:true
    });


    }
    });














    draft saved

    draft discarded


















    StackExchange.ready(
    function () {
    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f953830%2fshow-that-the-space-of-all-real-sequences-with-finitely-many-nonzero-is-not-comp%23new-answer', 'question_page');
    }
    );

    Post as a guest















    Required, but never shown

























    2 Answers
    2






    active

    oldest

    votes








    2 Answers
    2






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes









    2












    $begingroup$

    I think your approach is fine. One way to finish is to observe that the space $l^{2}_{0}$ is contained in $l^2$. Your limit sequence is in $l^2$ but not $l^{2}_{0}.$ Since a sequence has a unique limit in $l^2$ it can't have a limit in $l^{2}_{0}$ so $l^{2}_{0}$ is not complete.






    share|cite|improve this answer









    $endgroup$


















      2












      $begingroup$

      I think your approach is fine. One way to finish is to observe that the space $l^{2}_{0}$ is contained in $l^2$. Your limit sequence is in $l^2$ but not $l^{2}_{0}.$ Since a sequence has a unique limit in $l^2$ it can't have a limit in $l^{2}_{0}$ so $l^{2}_{0}$ is not complete.






      share|cite|improve this answer









      $endgroup$
















        2












        2








        2





        $begingroup$

        I think your approach is fine. One way to finish is to observe that the space $l^{2}_{0}$ is contained in $l^2$. Your limit sequence is in $l^2$ but not $l^{2}_{0}.$ Since a sequence has a unique limit in $l^2$ it can't have a limit in $l^{2}_{0}$ so $l^{2}_{0}$ is not complete.






        share|cite|improve this answer









        $endgroup$



        I think your approach is fine. One way to finish is to observe that the space $l^{2}_{0}$ is contained in $l^2$. Your limit sequence is in $l^2$ but not $l^{2}_{0}.$ Since a sequence has a unique limit in $l^2$ it can't have a limit in $l^{2}_{0}$ so $l^{2}_{0}$ is not complete.







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered Feb 26 '15 at 5:14









        Mark JoshiMark Joshi

        4,9131712




        4,9131712























            1












            $begingroup$

            Yes. Take any sequence $(a_j)_j$ of positive reals such that $sum_{jin Bbb N}a_j^2<infty.$ Let $x_n=(x_{n,j})_j$ where $x_{n,j}=0$ if $j>n$ and $x_{n,j}=a_j$ if $jle n.$ Then $$lim_{nto infty}sup_{m>n}|x_n-x_m|^2=lim_{nto infty}sum_{j=n+1}^{infty}a_j^2=0.$$ So $(x_n)_n$ is a Cauchy sequence.



            If $y=(y_j)_jin l^2_0$ and $lim_{nto infty}|x_n-y|=0,$ then for each $j,$ we have $lim_{nto infty}|x_{n,j}-y_j|=0.$



            Otherwise, for at least one $j$, there would be some $r>0$ such that $|x_{n,j}-y_j|>r$ for infinitely many $n.$ But then $|x_n-y|ge |x_{n,j}-y_j|ge r$ for infinitely many $n.$



            So if $y=lim_{nto infty}x_n$ exists in $l^2_0$ then $y_j=a_jne 0$ for all $j,$ so $ynot in l^2_0,$ a contradiction.



            Remark: Set-theoretically, a sequence is a function $f$ with domain $Bbb N$ (or some other suitable countably infinite domain). So let $x_n=f_n$ where $f_n(j)=x_{n,j}$ and let $y_j=g(j).$ If $(f_n)_n$ converges in norm to $g$ then $f_n$ converges point-wise to $g.$ That is, $f_n(j)to g(j)$ for each $j,$ Because $|f_n(j)-g(j)|=|x_{n,j}-y_j|le |x_n-y|to 0 $ as $nto infty.$






            share|cite|improve this answer











            $endgroup$













            • $begingroup$
              It is sufficient that $sum_{jin Bbb N}a_j^2<infty$ and that $a_jne 0$ for infinitely many $n.$ Then in the last line in this answer we could say "... then $y_j=a_jne 0$ for infinitely many $n$..."
              $endgroup$
              – DanielWainfleet
              Jan 13 at 2:20


















            1












            $begingroup$

            Yes. Take any sequence $(a_j)_j$ of positive reals such that $sum_{jin Bbb N}a_j^2<infty.$ Let $x_n=(x_{n,j})_j$ where $x_{n,j}=0$ if $j>n$ and $x_{n,j}=a_j$ if $jle n.$ Then $$lim_{nto infty}sup_{m>n}|x_n-x_m|^2=lim_{nto infty}sum_{j=n+1}^{infty}a_j^2=0.$$ So $(x_n)_n$ is a Cauchy sequence.



            If $y=(y_j)_jin l^2_0$ and $lim_{nto infty}|x_n-y|=0,$ then for each $j,$ we have $lim_{nto infty}|x_{n,j}-y_j|=0.$



            Otherwise, for at least one $j$, there would be some $r>0$ such that $|x_{n,j}-y_j|>r$ for infinitely many $n.$ But then $|x_n-y|ge |x_{n,j}-y_j|ge r$ for infinitely many $n.$



            So if $y=lim_{nto infty}x_n$ exists in $l^2_0$ then $y_j=a_jne 0$ for all $j,$ so $ynot in l^2_0,$ a contradiction.



            Remark: Set-theoretically, a sequence is a function $f$ with domain $Bbb N$ (or some other suitable countably infinite domain). So let $x_n=f_n$ where $f_n(j)=x_{n,j}$ and let $y_j=g(j).$ If $(f_n)_n$ converges in norm to $g$ then $f_n$ converges point-wise to $g.$ That is, $f_n(j)to g(j)$ for each $j,$ Because $|f_n(j)-g(j)|=|x_{n,j}-y_j|le |x_n-y|to 0 $ as $nto infty.$






            share|cite|improve this answer











            $endgroup$













            • $begingroup$
              It is sufficient that $sum_{jin Bbb N}a_j^2<infty$ and that $a_jne 0$ for infinitely many $n.$ Then in the last line in this answer we could say "... then $y_j=a_jne 0$ for infinitely many $n$..."
              $endgroup$
              – DanielWainfleet
              Jan 13 at 2:20
















            1












            1








            1





            $begingroup$

            Yes. Take any sequence $(a_j)_j$ of positive reals such that $sum_{jin Bbb N}a_j^2<infty.$ Let $x_n=(x_{n,j})_j$ where $x_{n,j}=0$ if $j>n$ and $x_{n,j}=a_j$ if $jle n.$ Then $$lim_{nto infty}sup_{m>n}|x_n-x_m|^2=lim_{nto infty}sum_{j=n+1}^{infty}a_j^2=0.$$ So $(x_n)_n$ is a Cauchy sequence.



            If $y=(y_j)_jin l^2_0$ and $lim_{nto infty}|x_n-y|=0,$ then for each $j,$ we have $lim_{nto infty}|x_{n,j}-y_j|=0.$



            Otherwise, for at least one $j$, there would be some $r>0$ such that $|x_{n,j}-y_j|>r$ for infinitely many $n.$ But then $|x_n-y|ge |x_{n,j}-y_j|ge r$ for infinitely many $n.$



            So if $y=lim_{nto infty}x_n$ exists in $l^2_0$ then $y_j=a_jne 0$ for all $j,$ so $ynot in l^2_0,$ a contradiction.



            Remark: Set-theoretically, a sequence is a function $f$ with domain $Bbb N$ (or some other suitable countably infinite domain). So let $x_n=f_n$ where $f_n(j)=x_{n,j}$ and let $y_j=g(j).$ If $(f_n)_n$ converges in norm to $g$ then $f_n$ converges point-wise to $g.$ That is, $f_n(j)to g(j)$ for each $j,$ Because $|f_n(j)-g(j)|=|x_{n,j}-y_j|le |x_n-y|to 0 $ as $nto infty.$






            share|cite|improve this answer











            $endgroup$



            Yes. Take any sequence $(a_j)_j$ of positive reals such that $sum_{jin Bbb N}a_j^2<infty.$ Let $x_n=(x_{n,j})_j$ where $x_{n,j}=0$ if $j>n$ and $x_{n,j}=a_j$ if $jle n.$ Then $$lim_{nto infty}sup_{m>n}|x_n-x_m|^2=lim_{nto infty}sum_{j=n+1}^{infty}a_j^2=0.$$ So $(x_n)_n$ is a Cauchy sequence.



            If $y=(y_j)_jin l^2_0$ and $lim_{nto infty}|x_n-y|=0,$ then for each $j,$ we have $lim_{nto infty}|x_{n,j}-y_j|=0.$



            Otherwise, for at least one $j$, there would be some $r>0$ such that $|x_{n,j}-y_j|>r$ for infinitely many $n.$ But then $|x_n-y|ge |x_{n,j}-y_j|ge r$ for infinitely many $n.$



            So if $y=lim_{nto infty}x_n$ exists in $l^2_0$ then $y_j=a_jne 0$ for all $j,$ so $ynot in l^2_0,$ a contradiction.



            Remark: Set-theoretically, a sequence is a function $f$ with domain $Bbb N$ (or some other suitable countably infinite domain). So let $x_n=f_n$ where $f_n(j)=x_{n,j}$ and let $y_j=g(j).$ If $(f_n)_n$ converges in norm to $g$ then $f_n$ converges point-wise to $g.$ That is, $f_n(j)to g(j)$ for each $j,$ Because $|f_n(j)-g(j)|=|x_{n,j}-y_j|le |x_n-y|to 0 $ as $nto infty.$







            share|cite|improve this answer














            share|cite|improve this answer



            share|cite|improve this answer








            edited Jan 13 at 2:35

























            answered Jan 13 at 2:15









            DanielWainfleetDanielWainfleet

            35.1k31648




            35.1k31648












            • $begingroup$
              It is sufficient that $sum_{jin Bbb N}a_j^2<infty$ and that $a_jne 0$ for infinitely many $n.$ Then in the last line in this answer we could say "... then $y_j=a_jne 0$ for infinitely many $n$..."
              $endgroup$
              – DanielWainfleet
              Jan 13 at 2:20




















            • $begingroup$
              It is sufficient that $sum_{jin Bbb N}a_j^2<infty$ and that $a_jne 0$ for infinitely many $n.$ Then in the last line in this answer we could say "... then $y_j=a_jne 0$ for infinitely many $n$..."
              $endgroup$
              – DanielWainfleet
              Jan 13 at 2:20


















            $begingroup$
            It is sufficient that $sum_{jin Bbb N}a_j^2<infty$ and that $a_jne 0$ for infinitely many $n.$ Then in the last line in this answer we could say "... then $y_j=a_jne 0$ for infinitely many $n$..."
            $endgroup$
            – DanielWainfleet
            Jan 13 at 2:20






            $begingroup$
            It is sufficient that $sum_{jin Bbb N}a_j^2<infty$ and that $a_jne 0$ for infinitely many $n.$ Then in the last line in this answer we could say "... then $y_j=a_jne 0$ for infinitely many $n$..."
            $endgroup$
            – DanielWainfleet
            Jan 13 at 2:20




















            draft saved

            draft discarded




















































            Thanks for contributing an answer to Mathematics Stack Exchange!


            • Please be sure to answer the question. Provide details and share your research!

            But avoid



            • Asking for help, clarification, or responding to other answers.

            • Making statements based on opinion; back them up with references or personal experience.


            Use MathJax to format equations. MathJax reference.


            To learn more, see our tips on writing great answers.




            draft saved


            draft discarded














            StackExchange.ready(
            function () {
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f953830%2fshow-that-the-space-of-all-real-sequences-with-finitely-many-nonzero-is-not-comp%23new-answer', 'question_page');
            }
            );

            Post as a guest















            Required, but never shown





















































            Required, but never shown














            Required, but never shown












            Required, but never shown







            Required, but never shown

































            Required, but never shown














            Required, but never shown












            Required, but never shown







            Required, but never shown







            Popular posts from this blog

            MongoDB - Not Authorized To Execute Command

            How to fix TextFormField cause rebuild widget in Flutter

            in spring boot 2.1 many test slices are not allowed anymore due to multiple @BootstrapWith