If every absolutely convergent series is convergent then $X$ is Banach

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
5
down vote

favorite
5












Show that




A Normed Linear Space $X$ is a Banach Space iff every absolutely convergent series is convergent.




My try:



Let $X$ is a Banach Space .Let $sum x_n$ be an absolutely convergent series .Consider $s_n=sum_i=1^nx_i$. Now $sum |x_n|<infty implies exists N$ such that $sum_i=N^ infty |x_i|<epsilon$ for any $epsilon>0$



Then $|s_n-s_m|le sum _i=m+1^n |x_i|<epsilon forall n,m>N$



So $s_n$ is Cauchy in $X$ and hence converges $s_nto s$ (say).



Thus $sum x_i$ converges.



Conversely, let $x_n$ be a Cauchy Sequence in $X$. Here I can't proceed how to use the given fact.



Any help will be great.







share|cite|improve this question






















  • How can you deduce that $exists N$ such that $sum_i=N^infty ||x_i||<epsilon$
    – Soulostar
    Feb 2 at 7:45















up vote
5
down vote

favorite
5












Show that




A Normed Linear Space $X$ is a Banach Space iff every absolutely convergent series is convergent.




My try:



Let $X$ is a Banach Space .Let $sum x_n$ be an absolutely convergent series .Consider $s_n=sum_i=1^nx_i$. Now $sum |x_n|<infty implies exists N$ such that $sum_i=N^ infty |x_i|<epsilon$ for any $epsilon>0$



Then $|s_n-s_m|le sum _i=m+1^n |x_i|<epsilon forall n,m>N$



So $s_n$ is Cauchy in $X$ and hence converges $s_nto s$ (say).



Thus $sum x_i$ converges.



Conversely, let $x_n$ be a Cauchy Sequence in $X$. Here I can't proceed how to use the given fact.



Any help will be great.







share|cite|improve this question






















  • How can you deduce that $exists N$ such that $sum_i=N^infty ||x_i||<epsilon$
    – Soulostar
    Feb 2 at 7:45













up vote
5
down vote

favorite
5









up vote
5
down vote

favorite
5






5





Show that




A Normed Linear Space $X$ is a Banach Space iff every absolutely convergent series is convergent.




My try:



Let $X$ is a Banach Space .Let $sum x_n$ be an absolutely convergent series .Consider $s_n=sum_i=1^nx_i$. Now $sum |x_n|<infty implies exists N$ such that $sum_i=N^ infty |x_i|<epsilon$ for any $epsilon>0$



Then $|s_n-s_m|le sum _i=m+1^n |x_i|<epsilon forall n,m>N$



So $s_n$ is Cauchy in $X$ and hence converges $s_nto s$ (say).



Thus $sum x_i$ converges.



Conversely, let $x_n$ be a Cauchy Sequence in $X$. Here I can't proceed how to use the given fact.



Any help will be great.







share|cite|improve this question














Show that




A Normed Linear Space $X$ is a Banach Space iff every absolutely convergent series is convergent.




My try:



Let $X$ is a Banach Space .Let $sum x_n$ be an absolutely convergent series .Consider $s_n=sum_i=1^nx_i$. Now $sum |x_n|<infty implies exists N$ such that $sum_i=N^ infty |x_i|<epsilon$ for any $epsilon>0$



Then $|s_n-s_m|le sum _i=m+1^n |x_i|<epsilon forall n,m>N$



So $s_n$ is Cauchy in $X$ and hence converges $s_nto s$ (say).



Thus $sum x_i$ converges.



Conversely, let $x_n$ be a Cauchy Sequence in $X$. Here I can't proceed how to use the given fact.



Any help will be great.









share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Mar 11 '16 at 9:31









Martin Sleziak

43.5k6113260




43.5k6113260










asked Mar 11 '16 at 7:54









Learnmore

17.2k31681




17.2k31681











  • How can you deduce that $exists N$ such that $sum_i=N^infty ||x_i||<epsilon$
    – Soulostar
    Feb 2 at 7:45

















  • How can you deduce that $exists N$ such that $sum_i=N^infty ||x_i||<epsilon$
    – Soulostar
    Feb 2 at 7:45
















How can you deduce that $exists N$ such that $sum_i=N^infty ||x_i||<epsilon$
– Soulostar
Feb 2 at 7:45





How can you deduce that $exists N$ such that $sum_i=N^infty ||x_i||<epsilon$
– Soulostar
Feb 2 at 7:45











2 Answers
2






active

oldest

votes

















up vote
2
down vote













For the converse argument; let $X$ be a normed linear space in which every absolutely convergent series converges, and suppose that $x_n$
is a Cauchy sequence.



For each $k in mathbbN$, choose $n_k$ such that $||(x_m − x_n)|| < 2^−k$ for $m, n geq n_k$. In particular, $||x_n_k+1−x_n_k||< 2^-k$. If we define $y_1 = x_n_1$ and $y_k+1 = x_n_k+1 − x_n_k$
for $k geq 1$, it follows that $sum ||y_n|| ≤ ||x_n_1 || + 1$
i. e., ($y_n$) is absolutely convergent, and hence convergent.






share|cite|improve this answer





























    up vote
    1
    down vote













    Hint: show that there is a subsequence $y_n$ such that $|y_n - y_n+1| < 2^-n$.






    share|cite|improve this answer




















      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',
      convertImagesToLinks: true,
      noModals: false,
      showLowRepImageUploadWarning: true,
      reputationToPostImages: 10,
      bindNavPrevention: true,
      postfix: "",
      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%2f1692697%2fif-every-absolutely-convergent-series-is-convergent-then-x-is-banach%23new-answer', 'question_page');

      );

      Post as a guest






























      2 Answers
      2






      active

      oldest

      votes








      2 Answers
      2






      active

      oldest

      votes









      active

      oldest

      votes






      active

      oldest

      votes








      up vote
      2
      down vote













      For the converse argument; let $X$ be a normed linear space in which every absolutely convergent series converges, and suppose that $x_n$
      is a Cauchy sequence.



      For each $k in mathbbN$, choose $n_k$ such that $||(x_m − x_n)|| < 2^−k$ for $m, n geq n_k$. In particular, $||x_n_k+1−x_n_k||< 2^-k$. If we define $y_1 = x_n_1$ and $y_k+1 = x_n_k+1 − x_n_k$
      for $k geq 1$, it follows that $sum ||y_n|| ≤ ||x_n_1 || + 1$
      i. e., ($y_n$) is absolutely convergent, and hence convergent.






      share|cite|improve this answer


























        up vote
        2
        down vote













        For the converse argument; let $X$ be a normed linear space in which every absolutely convergent series converges, and suppose that $x_n$
        is a Cauchy sequence.



        For each $k in mathbbN$, choose $n_k$ such that $||(x_m − x_n)|| < 2^−k$ for $m, n geq n_k$. In particular, $||x_n_k+1−x_n_k||< 2^-k$. If we define $y_1 = x_n_1$ and $y_k+1 = x_n_k+1 − x_n_k$
        for $k geq 1$, it follows that $sum ||y_n|| ≤ ||x_n_1 || + 1$
        i. e., ($y_n$) is absolutely convergent, and hence convergent.






        share|cite|improve this answer
























          up vote
          2
          down vote










          up vote
          2
          down vote









          For the converse argument; let $X$ be a normed linear space in which every absolutely convergent series converges, and suppose that $x_n$
          is a Cauchy sequence.



          For each $k in mathbbN$, choose $n_k$ such that $||(x_m − x_n)|| < 2^−k$ for $m, n geq n_k$. In particular, $||x_n_k+1−x_n_k||< 2^-k$. If we define $y_1 = x_n_1$ and $y_k+1 = x_n_k+1 − x_n_k$
          for $k geq 1$, it follows that $sum ||y_n|| ≤ ||x_n_1 || + 1$
          i. e., ($y_n$) is absolutely convergent, and hence convergent.






          share|cite|improve this answer














          For the converse argument; let $X$ be a normed linear space in which every absolutely convergent series converges, and suppose that $x_n$
          is a Cauchy sequence.



          For each $k in mathbbN$, choose $n_k$ such that $||(x_m − x_n)|| < 2^−k$ for $m, n geq n_k$. In particular, $||x_n_k+1−x_n_k||< 2^-k$. If we define $y_1 = x_n_1$ and $y_k+1 = x_n_k+1 − x_n_k$
          for $k geq 1$, it follows that $sum ||y_n|| ≤ ||x_n_1 || + 1$
          i. e., ($y_n$) is absolutely convergent, and hence convergent.







          share|cite|improve this answer














          share|cite|improve this answer



          share|cite|improve this answer








          edited Jan 19 at 21:55









          Sahiba Arora

          5,74831537




          5,74831537










          answered Mar 11 '16 at 10:12









          Kevin

          5,138722




          5,138722




















              up vote
              1
              down vote













              Hint: show that there is a subsequence $y_n$ such that $|y_n - y_n+1| < 2^-n$.






              share|cite|improve this answer
























                up vote
                1
                down vote













                Hint: show that there is a subsequence $y_n$ such that $|y_n - y_n+1| < 2^-n$.






                share|cite|improve this answer






















                  up vote
                  1
                  down vote










                  up vote
                  1
                  down vote









                  Hint: show that there is a subsequence $y_n$ such that $|y_n - y_n+1| < 2^-n$.






                  share|cite|improve this answer












                  Hint: show that there is a subsequence $y_n$ such that $|y_n - y_n+1| < 2^-n$.







                  share|cite|improve this answer












                  share|cite|improve this answer



                  share|cite|improve this answer










                  answered Mar 11 '16 at 8:07









                  Robert Israel

                  306k22201443




                  306k22201443






















                       

                      draft saved


                      draft discarded


























                       


                      draft saved


                      draft discarded














                      StackExchange.ready(
                      function ()
                      StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f1692697%2fif-every-absolutely-convergent-series-is-convergent-then-x-is-banach%23new-answer', 'question_page');

                      );

                      Post as a guest













































































                      這個網誌中的熱門文章

                      How to combine Bézier curves to a surface?

                      Mutual Information Always Non-negative

                      Why am i infinitely getting the same tweet with the Twitter Search API?