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,080615




1,080615












  • 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





















    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

























      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























        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












        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












        share|cite|improve this answer



        share|cite|improve this answer










        answered Nov 21 at 5:09









        Dante Grevino

        7787




        7787






























            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.





            Some of your past answers have not been well-received, and you're in danger of being blocked from answering.


            Please pay close attention to the following guidance:


            • 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.


            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%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

            Willebadessen

            Ida-Boy-Ed-Garten

            Residenzschloss Arolsen