How do we define summation over an arbitrary index set including negative values?











up vote
0
down vote

favorite
1












I just read that for $f: I rightarrow [0, infty),$ we can define $sum_{i in I} f(i)$ as $sup{sum_{i in F} f(i) mid F subset I, F$ finite $}.$ It makes sense that we can define it in this way. It coincides with my notion for countable sums. However, how can we define such a sum where $f$ may include negative values. It suddenly does not make sense to take the supremum.



That is, if $I$ is an arbitrary set and $x_i in mathbb{R},$ how would we define $sum_{i in I} x_i?$










share|cite|improve this question






















  • Still the same way as above since the arbitraryness (if I may use the word) is in the index an not the values having the index.
    – Yadati Kiran
    Nov 21 at 4:31






  • 3




    Short answer: in general, you can't. For instance, conditionally convergent sums can be rearranged to sum to any given number, so if $a_n$ converges conditionally and $I = mathbb{N}$, then $sum_{i in mathbb{N}} a_i$ isn't uniquely defined, because it's order-dependent. An interesting question to ask is, roughly speaking, how "many" negative terms can be included in the sequence before things begin to go awry.
    – MathematicsStudent1122
    Nov 21 at 4:31












  • @YadatiKiran but we are taking the supremum of the sum itself - so if $f$ is purely a negative valued function then taking the supremum of the finite sums would not work I think.
    – 伽罗瓦
    Nov 21 at 4:32










  • @伽罗瓦: As MathematicsStudent1122 suggests we see" how "many" negative terms can be included in the sequence before things begin to go awry."
    – Yadati Kiran
    Nov 21 at 4:36










  • Just think about the countable case. Supremum of finite sums if of no use and trying to assign some value to the sum of an arbitrary sequence of real numbers is an exercise in futility.
    – Kavi Rama Murthy
    Nov 21 at 4:53















up vote
0
down vote

favorite
1












I just read that for $f: I rightarrow [0, infty),$ we can define $sum_{i in I} f(i)$ as $sup{sum_{i in F} f(i) mid F subset I, F$ finite $}.$ It makes sense that we can define it in this way. It coincides with my notion for countable sums. However, how can we define such a sum where $f$ may include negative values. It suddenly does not make sense to take the supremum.



That is, if $I$ is an arbitrary set and $x_i in mathbb{R},$ how would we define $sum_{i in I} x_i?$










share|cite|improve this question






















  • Still the same way as above since the arbitraryness (if I may use the word) is in the index an not the values having the index.
    – Yadati Kiran
    Nov 21 at 4:31






  • 3




    Short answer: in general, you can't. For instance, conditionally convergent sums can be rearranged to sum to any given number, so if $a_n$ converges conditionally and $I = mathbb{N}$, then $sum_{i in mathbb{N}} a_i$ isn't uniquely defined, because it's order-dependent. An interesting question to ask is, roughly speaking, how "many" negative terms can be included in the sequence before things begin to go awry.
    – MathematicsStudent1122
    Nov 21 at 4:31












  • @YadatiKiran but we are taking the supremum of the sum itself - so if $f$ is purely a negative valued function then taking the supremum of the finite sums would not work I think.
    – 伽罗瓦
    Nov 21 at 4:32










  • @伽罗瓦: As MathematicsStudent1122 suggests we see" how "many" negative terms can be included in the sequence before things begin to go awry."
    – Yadati Kiran
    Nov 21 at 4:36










  • Just think about the countable case. Supremum of finite sums if of no use and trying to assign some value to the sum of an arbitrary sequence of real numbers is an exercise in futility.
    – Kavi Rama Murthy
    Nov 21 at 4:53













up vote
0
down vote

favorite
1









up vote
0
down vote

favorite
1






1





I just read that for $f: I rightarrow [0, infty),$ we can define $sum_{i in I} f(i)$ as $sup{sum_{i in F} f(i) mid F subset I, F$ finite $}.$ It makes sense that we can define it in this way. It coincides with my notion for countable sums. However, how can we define such a sum where $f$ may include negative values. It suddenly does not make sense to take the supremum.



That is, if $I$ is an arbitrary set and $x_i in mathbb{R},$ how would we define $sum_{i in I} x_i?$










share|cite|improve this question













I just read that for $f: I rightarrow [0, infty),$ we can define $sum_{i in I} f(i)$ as $sup{sum_{i in F} f(i) mid F subset I, F$ finite $}.$ It makes sense that we can define it in this way. It coincides with my notion for countable sums. However, how can we define such a sum where $f$ may include negative values. It suddenly does not make sense to take the supremum.



That is, if $I$ is an arbitrary set and $x_i in mathbb{R},$ how would we define $sum_{i in I} x_i?$







summation






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked Nov 21 at 4:27









伽罗瓦

1,068615




1,068615












  • Still the same way as above since the arbitraryness (if I may use the word) is in the index an not the values having the index.
    – Yadati Kiran
    Nov 21 at 4:31






  • 3




    Short answer: in general, you can't. For instance, conditionally convergent sums can be rearranged to sum to any given number, so if $a_n$ converges conditionally and $I = mathbb{N}$, then $sum_{i in mathbb{N}} a_i$ isn't uniquely defined, because it's order-dependent. An interesting question to ask is, roughly speaking, how "many" negative terms can be included in the sequence before things begin to go awry.
    – MathematicsStudent1122
    Nov 21 at 4:31












  • @YadatiKiran but we are taking the supremum of the sum itself - so if $f$ is purely a negative valued function then taking the supremum of the finite sums would not work I think.
    – 伽罗瓦
    Nov 21 at 4:32










  • @伽罗瓦: As MathematicsStudent1122 suggests we see" how "many" negative terms can be included in the sequence before things begin to go awry."
    – Yadati Kiran
    Nov 21 at 4:36










  • Just think about the countable case. Supremum of finite sums if of no use and trying to assign some value to the sum of an arbitrary sequence of real numbers is an exercise in futility.
    – Kavi Rama Murthy
    Nov 21 at 4:53


















  • Still the same way as above since the arbitraryness (if I may use the word) is in the index an not the values having the index.
    – Yadati Kiran
    Nov 21 at 4:31






  • 3




    Short answer: in general, you can't. For instance, conditionally convergent sums can be rearranged to sum to any given number, so if $a_n$ converges conditionally and $I = mathbb{N}$, then $sum_{i in mathbb{N}} a_i$ isn't uniquely defined, because it's order-dependent. An interesting question to ask is, roughly speaking, how "many" negative terms can be included in the sequence before things begin to go awry.
    – MathematicsStudent1122
    Nov 21 at 4:31












  • @YadatiKiran but we are taking the supremum of the sum itself - so if $f$ is purely a negative valued function then taking the supremum of the finite sums would not work I think.
    – 伽罗瓦
    Nov 21 at 4:32










  • @伽罗瓦: As MathematicsStudent1122 suggests we see" how "many" negative terms can be included in the sequence before things begin to go awry."
    – Yadati Kiran
    Nov 21 at 4:36










  • Just think about the countable case. Supremum of finite sums if of no use and trying to assign some value to the sum of an arbitrary sequence of real numbers is an exercise in futility.
    – Kavi Rama Murthy
    Nov 21 at 4:53
















Still the same way as above since the arbitraryness (if I may use the word) is in the index an not the values having the index.
– Yadati Kiran
Nov 21 at 4:31




Still the same way as above since the arbitraryness (if I may use the word) is in the index an not the values having the index.
– Yadati Kiran
Nov 21 at 4:31




3




3




Short answer: in general, you can't. For instance, conditionally convergent sums can be rearranged to sum to any given number, so if $a_n$ converges conditionally and $I = mathbb{N}$, then $sum_{i in mathbb{N}} a_i$ isn't uniquely defined, because it's order-dependent. An interesting question to ask is, roughly speaking, how "many" negative terms can be included in the sequence before things begin to go awry.
– MathematicsStudent1122
Nov 21 at 4:31






Short answer: in general, you can't. For instance, conditionally convergent sums can be rearranged to sum to any given number, so if $a_n$ converges conditionally and $I = mathbb{N}$, then $sum_{i in mathbb{N}} a_i$ isn't uniquely defined, because it's order-dependent. An interesting question to ask is, roughly speaking, how "many" negative terms can be included in the sequence before things begin to go awry.
– MathematicsStudent1122
Nov 21 at 4:31














@YadatiKiran but we are taking the supremum of the sum itself - so if $f$ is purely a negative valued function then taking the supremum of the finite sums would not work I think.
– 伽罗瓦
Nov 21 at 4:32




@YadatiKiran but we are taking the supremum of the sum itself - so if $f$ is purely a negative valued function then taking the supremum of the finite sums would not work I think.
– 伽罗瓦
Nov 21 at 4:32












@伽罗瓦: As MathematicsStudent1122 suggests we see" how "many" negative terms can be included in the sequence before things begin to go awry."
– Yadati Kiran
Nov 21 at 4:36




@伽罗瓦: As MathematicsStudent1122 suggests we see" how "many" negative terms can be included in the sequence before things begin to go awry."
– Yadati Kiran
Nov 21 at 4:36












Just think about the countable case. Supremum of finite sums if of no use and trying to assign some value to the sum of an arbitrary sequence of real numbers is an exercise in futility.
– Kavi Rama Murthy
Nov 21 at 4:53




Just think about the countable case. Supremum of finite sums if of no use and trying to assign some value to the sum of an arbitrary sequence of real numbers is an exercise in futility.
– Kavi Rama Murthy
Nov 21 at 4:53










1 Answer
1






active

oldest

votes

















up vote
1
down vote













Compute the sum over the non-negative values and compute the sum over the non-positive values. If one of them is finite take the sum of the two results. As in the Lebesgue's integral.






share|cite|improve this answer








New contributor




Dante Grevino is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.


















    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%2f3007259%2fhow-do-we-define-summation-over-an-arbitrary-index-set-including-negative-values%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













    Compute the sum over the non-negative values and compute the sum over the non-positive values. If one of them is finite take the sum of the two results. As in the Lebesgue's integral.






    share|cite|improve this answer








    New contributor




    Dante Grevino is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
    Check out our Code of Conduct.






















      up vote
      1
      down vote













      Compute the sum over the non-negative values and compute the sum over the non-positive values. If one of them is finite take the sum of the two results. As in the Lebesgue's integral.






      share|cite|improve this answer








      New contributor




      Dante Grevino is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
      Check out our Code of Conduct.




















        up vote
        1
        down vote










        up vote
        1
        down vote









        Compute the sum over the non-negative values and compute the sum over the non-positive values. If one of them is finite take the sum of the two results. As in the Lebesgue's integral.






        share|cite|improve this answer








        New contributor




        Dante Grevino is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
        Check out our Code of Conduct.









        Compute the sum over the non-negative values and compute the sum over the non-positive values. If one of them is finite take the sum of the two results. As in the Lebesgue's integral.







        share|cite|improve this answer








        New contributor




        Dante Grevino is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
        Check out our Code of Conduct.









        share|cite|improve this answer



        share|cite|improve this answer






        New contributor




        Dante Grevino is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
        Check out our Code of Conduct.









        answered Nov 21 at 5:09









        Dante Grevino

        4616




        4616




        New contributor




        Dante Grevino is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
        Check out our Code of Conduct.





        New contributor





        Dante Grevino is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
        Check out our Code of Conduct.






        Dante Grevino is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
        Check out our Code of Conduct.






























             

            draft saved


            draft discarded



















































             


            draft saved


            draft discarded














            StackExchange.ready(
            function () {
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3007259%2fhow-do-we-define-summation-over-an-arbitrary-index-set-including-negative-values%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

            Wiesbaden

            Marschland

            Dieringhausen