If every absolutely convergent series is convergent in $X$, then $X$ is a Banach space.











up vote
1
down vote

favorite












Here is my try..



By hypothesis, the convergence of $sum_{i=1}^{infty}|x_n|$ in $mathbb{R}$ $implies$ the convergence of $sum_{i=1}^{infty} x_n$ in $X$.



Pick a Cauchy sequence ${ f_n}$ in $X$. Then $forall$ $epsilon > 0$, $exists$ $n>m>N$ s.t $|f_n - f_m |< epsilon$.



and $| |f_n| - |f_m| | leq |f_n - f_m |< epsilon$ that is ${|f_n|}$ is a Cauchy sequence in $mathbb{R}$ thus it converges in $mathbb{R}$. Hence it is bounded (i.e. $exists k>0$ s.t | |$f_n$| | $leq k$, $forall$ $n=1,2,..$).



$implies S_n=sum_{i=1}^{n}|f_n| leq nk$ but also the sequence ${S_n}$ is monotonically increasing thus ${S_n}$ converges in $mathbb{R}$ $implies sum_{i=1}^{infty} f_n$ converges in $X$ by hypothesis thus the sequence $f_n rightarrow 0$ in $X$. Thus $X$ is a Banach space.










share|cite|improve this question
























  • Take a look at the definition of boundedness and then maybe reconsider your assertion that $S_n$ is bounded. ;)
    – MaoWao
    Nov 16 at 23:46










  • Oh yes, $S_n$ can't be bounded as the set of natural numbers is not bounded above. Thank you!
    – HybridAlien
    Nov 17 at 0:05










  • If you type |f| instead of ||f|| it looks like $|f|$ instead of $||f||$.
    – DanielWainfleet
    Nov 17 at 13:57

















up vote
1
down vote

favorite












Here is my try..



By hypothesis, the convergence of $sum_{i=1}^{infty}|x_n|$ in $mathbb{R}$ $implies$ the convergence of $sum_{i=1}^{infty} x_n$ in $X$.



Pick a Cauchy sequence ${ f_n}$ in $X$. Then $forall$ $epsilon > 0$, $exists$ $n>m>N$ s.t $|f_n - f_m |< epsilon$.



and $| |f_n| - |f_m| | leq |f_n - f_m |< epsilon$ that is ${|f_n|}$ is a Cauchy sequence in $mathbb{R}$ thus it converges in $mathbb{R}$. Hence it is bounded (i.e. $exists k>0$ s.t | |$f_n$| | $leq k$, $forall$ $n=1,2,..$).



$implies S_n=sum_{i=1}^{n}|f_n| leq nk$ but also the sequence ${S_n}$ is monotonically increasing thus ${S_n}$ converges in $mathbb{R}$ $implies sum_{i=1}^{infty} f_n$ converges in $X$ by hypothesis thus the sequence $f_n rightarrow 0$ in $X$. Thus $X$ is a Banach space.










share|cite|improve this question
























  • Take a look at the definition of boundedness and then maybe reconsider your assertion that $S_n$ is bounded. ;)
    – MaoWao
    Nov 16 at 23:46










  • Oh yes, $S_n$ can't be bounded as the set of natural numbers is not bounded above. Thank you!
    – HybridAlien
    Nov 17 at 0:05










  • If you type |f| instead of ||f|| it looks like $|f|$ instead of $||f||$.
    – DanielWainfleet
    Nov 17 at 13:57















up vote
1
down vote

favorite









up vote
1
down vote

favorite











Here is my try..



By hypothesis, the convergence of $sum_{i=1}^{infty}|x_n|$ in $mathbb{R}$ $implies$ the convergence of $sum_{i=1}^{infty} x_n$ in $X$.



Pick a Cauchy sequence ${ f_n}$ in $X$. Then $forall$ $epsilon > 0$, $exists$ $n>m>N$ s.t $|f_n - f_m |< epsilon$.



and $| |f_n| - |f_m| | leq |f_n - f_m |< epsilon$ that is ${|f_n|}$ is a Cauchy sequence in $mathbb{R}$ thus it converges in $mathbb{R}$. Hence it is bounded (i.e. $exists k>0$ s.t | |$f_n$| | $leq k$, $forall$ $n=1,2,..$).



$implies S_n=sum_{i=1}^{n}|f_n| leq nk$ but also the sequence ${S_n}$ is monotonically increasing thus ${S_n}$ converges in $mathbb{R}$ $implies sum_{i=1}^{infty} f_n$ converges in $X$ by hypothesis thus the sequence $f_n rightarrow 0$ in $X$. Thus $X$ is a Banach space.










share|cite|improve this question















Here is my try..



By hypothesis, the convergence of $sum_{i=1}^{infty}|x_n|$ in $mathbb{R}$ $implies$ the convergence of $sum_{i=1}^{infty} x_n$ in $X$.



Pick a Cauchy sequence ${ f_n}$ in $X$. Then $forall$ $epsilon > 0$, $exists$ $n>m>N$ s.t $|f_n - f_m |< epsilon$.



and $| |f_n| - |f_m| | leq |f_n - f_m |< epsilon$ that is ${|f_n|}$ is a Cauchy sequence in $mathbb{R}$ thus it converges in $mathbb{R}$. Hence it is bounded (i.e. $exists k>0$ s.t | |$f_n$| | $leq k$, $forall$ $n=1,2,..$).



$implies S_n=sum_{i=1}^{n}|f_n| leq nk$ but also the sequence ${S_n}$ is monotonically increasing thus ${S_n}$ converges in $mathbb{R}$ $implies sum_{i=1}^{infty} f_n$ converges in $X$ by hypothesis thus the sequence $f_n rightarrow 0$ in $X$. Thus $X$ is a Banach space.







real-analysis functional-analysis proof-verification banach-spaces






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Nov 17 at 14:58

























asked Nov 16 at 23:34









HybridAlien

2008




2008












  • Take a look at the definition of boundedness and then maybe reconsider your assertion that $S_n$ is bounded. ;)
    – MaoWao
    Nov 16 at 23:46










  • Oh yes, $S_n$ can't be bounded as the set of natural numbers is not bounded above. Thank you!
    – HybridAlien
    Nov 17 at 0:05










  • If you type |f| instead of ||f|| it looks like $|f|$ instead of $||f||$.
    – DanielWainfleet
    Nov 17 at 13:57




















  • Take a look at the definition of boundedness and then maybe reconsider your assertion that $S_n$ is bounded. ;)
    – MaoWao
    Nov 16 at 23:46










  • Oh yes, $S_n$ can't be bounded as the set of natural numbers is not bounded above. Thank you!
    – HybridAlien
    Nov 17 at 0:05










  • If you type |f| instead of ||f|| it looks like $|f|$ instead of $||f||$.
    – DanielWainfleet
    Nov 17 at 13:57


















Take a look at the definition of boundedness and then maybe reconsider your assertion that $S_n$ is bounded. ;)
– MaoWao
Nov 16 at 23:46




Take a look at the definition of boundedness and then maybe reconsider your assertion that $S_n$ is bounded. ;)
– MaoWao
Nov 16 at 23:46












Oh yes, $S_n$ can't be bounded as the set of natural numbers is not bounded above. Thank you!
– HybridAlien
Nov 17 at 0:05




Oh yes, $S_n$ can't be bounded as the set of natural numbers is not bounded above. Thank you!
– HybridAlien
Nov 17 at 0:05












If you type |f| instead of ||f|| it looks like $|f|$ instead of $||f||$.
– DanielWainfleet
Nov 17 at 13:57






If you type |f| instead of ||f|| it looks like $|f|$ instead of $||f||$.
– DanielWainfleet
Nov 17 at 13:57












1 Answer
1






active

oldest

votes

















up vote
1
down vote



accepted










If a subsequence of a Cauchy sequenec converges, so does the entire sequence. Choose subsequence $f_{n_k}$ such that $|f_{n_k}-f_{n_{k+1}}| < frac 1 {2^{k}}$. Then $sum_k (f_{n_k}-f_{n_{k+1}})$ converges absolutely and hence it converges. By writing down the partial sums show that $lim_k f_{n_k}$ exists. This proves convergence of ${f_{n_k}}$ hence that of $(f_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: 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%2f3001781%2fif-every-absolutely-convergent-series-is-convergent-in-x-then-x-is-a-banach%23new-answer', 'question_page');
    }
    );

    Post as a guest















    Required, but never shown

























    1 Answer
    1






    active

    oldest

    votes








    1 Answer
    1






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes








    up vote
    1
    down vote



    accepted










    If a subsequence of a Cauchy sequenec converges, so does the entire sequence. Choose subsequence $f_{n_k}$ such that $|f_{n_k}-f_{n_{k+1}}| < frac 1 {2^{k}}$. Then $sum_k (f_{n_k}-f_{n_{k+1}})$ converges absolutely and hence it converges. By writing down the partial sums show that $lim_k f_{n_k}$ exists. This proves convergence of ${f_{n_k}}$ hence that of $(f_n)$.






    share|cite|improve this answer

























      up vote
      1
      down vote



      accepted










      If a subsequence of a Cauchy sequenec converges, so does the entire sequence. Choose subsequence $f_{n_k}$ such that $|f_{n_k}-f_{n_{k+1}}| < frac 1 {2^{k}}$. Then $sum_k (f_{n_k}-f_{n_{k+1}})$ converges absolutely and hence it converges. By writing down the partial sums show that $lim_k f_{n_k}$ exists. This proves convergence of ${f_{n_k}}$ hence that of $(f_n)$.






      share|cite|improve this answer























        up vote
        1
        down vote



        accepted







        up vote
        1
        down vote



        accepted






        If a subsequence of a Cauchy sequenec converges, so does the entire sequence. Choose subsequence $f_{n_k}$ such that $|f_{n_k}-f_{n_{k+1}}| < frac 1 {2^{k}}$. Then $sum_k (f_{n_k}-f_{n_{k+1}})$ converges absolutely and hence it converges. By writing down the partial sums show that $lim_k f_{n_k}$ exists. This proves convergence of ${f_{n_k}}$ hence that of $(f_n)$.






        share|cite|improve this answer












        If a subsequence of a Cauchy sequenec converges, so does the entire sequence. Choose subsequence $f_{n_k}$ such that $|f_{n_k}-f_{n_{k+1}}| < frac 1 {2^{k}}$. Then $sum_k (f_{n_k}-f_{n_{k+1}})$ converges absolutely and hence it converges. By writing down the partial sums show that $lim_k f_{n_k}$ exists. This proves convergence of ${f_{n_k}}$ hence that of $(f_n)$.







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered Nov 17 at 0:45









        Kavi Rama Murthy

        41.4k31751




        41.4k31751






























             

            draft saved


            draft discarded



















































             


            draft saved


            draft discarded














            StackExchange.ready(
            function () {
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3001781%2fif-every-absolutely-convergent-series-is-convergent-in-x-then-x-is-a-banach%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

            Quarter-circle Tiles

            build a pushdown automaton that recognizes the reverse language of a given pushdown automaton?

            Mont Emei