Uncountable sum of vectors in a Hilbert Space












4














I am currently reading Hilbert Spaces and confused about a thing. Say, $C={e_alpha : alphainmathcal{A}}$ be a complete orthonormal set of a Hilbert Space $H$, possibly uncountable. Is $sum_{alphainmathcal{A}}e_alpha$ well defined ? I think it should be, is there some kind of convergence needed for these sums?










share|cite|improve this question


















  • 2




    Even when $mathcal A$ is countably infinite the sum $sum e_n$ does not exist either in the norm or weakly.
    – Kavi Rama Murthy
    yesterday










  • Oh, I see if it was a well defined vector, then the norm would be in $mathbf{R}$, which is not the case here. Is that ok? @KaviRamaMurthy
    – PSG
    yesterday






  • 1




    If $sum e_n=x$, say in weak topology, then we have $sum langle y,e_nrangle =langle y,xrangle$ for all $y$. You get a contradiction by taking $y=sum frac 1 j e_j$.
    – Kavi Rama Murthy
    yesterday


















4














I am currently reading Hilbert Spaces and confused about a thing. Say, $C={e_alpha : alphainmathcal{A}}$ be a complete orthonormal set of a Hilbert Space $H$, possibly uncountable. Is $sum_{alphainmathcal{A}}e_alpha$ well defined ? I think it should be, is there some kind of convergence needed for these sums?










share|cite|improve this question


















  • 2




    Even when $mathcal A$ is countably infinite the sum $sum e_n$ does not exist either in the norm or weakly.
    – Kavi Rama Murthy
    yesterday










  • Oh, I see if it was a well defined vector, then the norm would be in $mathbf{R}$, which is not the case here. Is that ok? @KaviRamaMurthy
    – PSG
    yesterday






  • 1




    If $sum e_n=x$, say in weak topology, then we have $sum langle y,e_nrangle =langle y,xrangle$ for all $y$. You get a contradiction by taking $y=sum frac 1 j e_j$.
    – Kavi Rama Murthy
    yesterday
















4












4








4







I am currently reading Hilbert Spaces and confused about a thing. Say, $C={e_alpha : alphainmathcal{A}}$ be a complete orthonormal set of a Hilbert Space $H$, possibly uncountable. Is $sum_{alphainmathcal{A}}e_alpha$ well defined ? I think it should be, is there some kind of convergence needed for these sums?










share|cite|improve this question













I am currently reading Hilbert Spaces and confused about a thing. Say, $C={e_alpha : alphainmathcal{A}}$ be a complete orthonormal set of a Hilbert Space $H$, possibly uncountable. Is $sum_{alphainmathcal{A}}e_alpha$ well defined ? I think it should be, is there some kind of convergence needed for these sums?







functional-analysis hilbert-spaces






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked yesterday









PSG

3749




3749








  • 2




    Even when $mathcal A$ is countably infinite the sum $sum e_n$ does not exist either in the norm or weakly.
    – Kavi Rama Murthy
    yesterday










  • Oh, I see if it was a well defined vector, then the norm would be in $mathbf{R}$, which is not the case here. Is that ok? @KaviRamaMurthy
    – PSG
    yesterday






  • 1




    If $sum e_n=x$, say in weak topology, then we have $sum langle y,e_nrangle =langle y,xrangle$ for all $y$. You get a contradiction by taking $y=sum frac 1 j e_j$.
    – Kavi Rama Murthy
    yesterday
















  • 2




    Even when $mathcal A$ is countably infinite the sum $sum e_n$ does not exist either in the norm or weakly.
    – Kavi Rama Murthy
    yesterday










  • Oh, I see if it was a well defined vector, then the norm would be in $mathbf{R}$, which is not the case here. Is that ok? @KaviRamaMurthy
    – PSG
    yesterday






  • 1




    If $sum e_n=x$, say in weak topology, then we have $sum langle y,e_nrangle =langle y,xrangle$ for all $y$. You get a contradiction by taking $y=sum frac 1 j e_j$.
    – Kavi Rama Murthy
    yesterday










2




2




Even when $mathcal A$ is countably infinite the sum $sum e_n$ does not exist either in the norm or weakly.
– Kavi Rama Murthy
yesterday




Even when $mathcal A$ is countably infinite the sum $sum e_n$ does not exist either in the norm or weakly.
– Kavi Rama Murthy
yesterday












Oh, I see if it was a well defined vector, then the norm would be in $mathbf{R}$, which is not the case here. Is that ok? @KaviRamaMurthy
– PSG
yesterday




Oh, I see if it was a well defined vector, then the norm would be in $mathbf{R}$, which is not the case here. Is that ok? @KaviRamaMurthy
– PSG
yesterday




1




1




If $sum e_n=x$, say in weak topology, then we have $sum langle y,e_nrangle =langle y,xrangle$ for all $y$. You get a contradiction by taking $y=sum frac 1 j e_j$.
– Kavi Rama Murthy
yesterday






If $sum e_n=x$, say in weak topology, then we have $sum langle y,e_nrangle =langle y,xrangle$ for all $y$. You get a contradiction by taking $y=sum frac 1 j e_j$.
– Kavi Rama Murthy
yesterday












3 Answers
3






active

oldest

votes


















2














The sum $sum_{alphain A} v_alpha$ does make sense. It is defined to converge to $L in H$ if
$$forall varepsilon > 0 ,exists F_0 subseteq A text{ finite such that }forall F subseteq A text{ finite}, F supseteq F_0 text{ we have} left|sum_{alphain F}v_alpha - Lright| < varepsilon$$



However, the sum $sum_{alphain A} e_alpha$ of an orthonormal set only converges if $A$ is finite.



Indeed, assume that $sum_{alphain A} e_alpha = L$. For $varepsilon = frac12$ there exists $F_0 subseteq A$ finite such that for all $F subseteq A$ finite, $F supseteq F_0$ implies $left|sum_{alphain F} e_alpha -Lright| < frac12$.



For any $F_0 subseteq F subseteq A$ finite we have
$$sqrt{|F setminus F_0|}= left|sum_{alphain Fsetminus F_0}e_alpharight| = left|sum_{alphain F}e_alpha - sum_{alphain F_0}e_alpharight| le
left|sum_{alphain F}e_alpha - Lright| +left|L- sum_{alphain F_0}e_alpharight| < 1$$



so $F = F_0$. Therefore it necessarily holds $F_0 = A$ so $A$ is finite.






share|cite|improve this answer





























    5














    In an infinite dimensional Hilbert space the term
    $$
    sum_{ain mathcal A} e_a
    $$

    is not well defined.
    Even for countable $mathcal A$ this sum does not converge.



    For defining uncountable sums it is usually required that at most countable many summands are nonzero
    and that the countable sum over the nonzero entries converges absolutely.






    share|cite|improve this answer





























      2














      The background of your question is how do you define $displaystyle sum_{i in I} c_i$ in a Banach space for any set $I$?



      The usual way is to say that the sum $displaystyle sum_{i in I} c_alpha$ of a set $mathcal C = {c_i ; i in I}$ of vectors exists when following Cauchy criteria is met:



      $$(forall epsilon > 0) , (exists J_0 in mathcal F(I)) , (forall K in mathcal F(I setminus J_0)) , leftVert displaystyle sum_{k in K} c_k rightVert< epsilon $$



      Where $mathcal F(A)$ is defined as the sets of finite subsets of $A$.



      This has interesting consequences.




      1. Such a sum $displaystyle sum_{i in I} c_alpha$ does make sense only if the set of non zero elements of $mathcal C$ is at most countable.

      2. For a family of uncountable vectors of norm equal to $1$, which is your initial question, the sum cannot exist: take $epsilon = 1/2$ in the definition above; you'll get a contradiction.






      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',
        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%2f3061489%2funcountable-sum-of-vectors-in-a-hilbert-space%23new-answer', 'question_page');
        }
        );

        Post as a guest















        Required, but never shown

























        3 Answers
        3






        active

        oldest

        votes








        3 Answers
        3






        active

        oldest

        votes









        active

        oldest

        votes






        active

        oldest

        votes









        2














        The sum $sum_{alphain A} v_alpha$ does make sense. It is defined to converge to $L in H$ if
        $$forall varepsilon > 0 ,exists F_0 subseteq A text{ finite such that }forall F subseteq A text{ finite}, F supseteq F_0 text{ we have} left|sum_{alphain F}v_alpha - Lright| < varepsilon$$



        However, the sum $sum_{alphain A} e_alpha$ of an orthonormal set only converges if $A$ is finite.



        Indeed, assume that $sum_{alphain A} e_alpha = L$. For $varepsilon = frac12$ there exists $F_0 subseteq A$ finite such that for all $F subseteq A$ finite, $F supseteq F_0$ implies $left|sum_{alphain F} e_alpha -Lright| < frac12$.



        For any $F_0 subseteq F subseteq A$ finite we have
        $$sqrt{|F setminus F_0|}= left|sum_{alphain Fsetminus F_0}e_alpharight| = left|sum_{alphain F}e_alpha - sum_{alphain F_0}e_alpharight| le
        left|sum_{alphain F}e_alpha - Lright| +left|L- sum_{alphain F_0}e_alpharight| < 1$$



        so $F = F_0$. Therefore it necessarily holds $F_0 = A$ so $A$ is finite.






        share|cite|improve this answer


























          2














          The sum $sum_{alphain A} v_alpha$ does make sense. It is defined to converge to $L in H$ if
          $$forall varepsilon > 0 ,exists F_0 subseteq A text{ finite such that }forall F subseteq A text{ finite}, F supseteq F_0 text{ we have} left|sum_{alphain F}v_alpha - Lright| < varepsilon$$



          However, the sum $sum_{alphain A} e_alpha$ of an orthonormal set only converges if $A$ is finite.



          Indeed, assume that $sum_{alphain A} e_alpha = L$. For $varepsilon = frac12$ there exists $F_0 subseteq A$ finite such that for all $F subseteq A$ finite, $F supseteq F_0$ implies $left|sum_{alphain F} e_alpha -Lright| < frac12$.



          For any $F_0 subseteq F subseteq A$ finite we have
          $$sqrt{|F setminus F_0|}= left|sum_{alphain Fsetminus F_0}e_alpharight| = left|sum_{alphain F}e_alpha - sum_{alphain F_0}e_alpharight| le
          left|sum_{alphain F}e_alpha - Lright| +left|L- sum_{alphain F_0}e_alpharight| < 1$$



          so $F = F_0$. Therefore it necessarily holds $F_0 = A$ so $A$ is finite.






          share|cite|improve this answer
























            2












            2








            2






            The sum $sum_{alphain A} v_alpha$ does make sense. It is defined to converge to $L in H$ if
            $$forall varepsilon > 0 ,exists F_0 subseteq A text{ finite such that }forall F subseteq A text{ finite}, F supseteq F_0 text{ we have} left|sum_{alphain F}v_alpha - Lright| < varepsilon$$



            However, the sum $sum_{alphain A} e_alpha$ of an orthonormal set only converges if $A$ is finite.



            Indeed, assume that $sum_{alphain A} e_alpha = L$. For $varepsilon = frac12$ there exists $F_0 subseteq A$ finite such that for all $F subseteq A$ finite, $F supseteq F_0$ implies $left|sum_{alphain F} e_alpha -Lright| < frac12$.



            For any $F_0 subseteq F subseteq A$ finite we have
            $$sqrt{|F setminus F_0|}= left|sum_{alphain Fsetminus F_0}e_alpharight| = left|sum_{alphain F}e_alpha - sum_{alphain F_0}e_alpharight| le
            left|sum_{alphain F}e_alpha - Lright| +left|L- sum_{alphain F_0}e_alpharight| < 1$$



            so $F = F_0$. Therefore it necessarily holds $F_0 = A$ so $A$ is finite.






            share|cite|improve this answer












            The sum $sum_{alphain A} v_alpha$ does make sense. It is defined to converge to $L in H$ if
            $$forall varepsilon > 0 ,exists F_0 subseteq A text{ finite such that }forall F subseteq A text{ finite}, F supseteq F_0 text{ we have} left|sum_{alphain F}v_alpha - Lright| < varepsilon$$



            However, the sum $sum_{alphain A} e_alpha$ of an orthonormal set only converges if $A$ is finite.



            Indeed, assume that $sum_{alphain A} e_alpha = L$. For $varepsilon = frac12$ there exists $F_0 subseteq A$ finite such that for all $F subseteq A$ finite, $F supseteq F_0$ implies $left|sum_{alphain F} e_alpha -Lright| < frac12$.



            For any $F_0 subseteq F subseteq A$ finite we have
            $$sqrt{|F setminus F_0|}= left|sum_{alphain Fsetminus F_0}e_alpharight| = left|sum_{alphain F}e_alpha - sum_{alphain F_0}e_alpharight| le
            left|sum_{alphain F}e_alpha - Lright| +left|L- sum_{alphain F_0}e_alpharight| < 1$$



            so $F = F_0$. Therefore it necessarily holds $F_0 = A$ so $A$ is finite.







            share|cite|improve this answer












            share|cite|improve this answer



            share|cite|improve this answer










            answered yesterday









            mechanodroid

            26.9k62447




            26.9k62447























                5














                In an infinite dimensional Hilbert space the term
                $$
                sum_{ain mathcal A} e_a
                $$

                is not well defined.
                Even for countable $mathcal A$ this sum does not converge.



                For defining uncountable sums it is usually required that at most countable many summands are nonzero
                and that the countable sum over the nonzero entries converges absolutely.






                share|cite|improve this answer


























                  5














                  In an infinite dimensional Hilbert space the term
                  $$
                  sum_{ain mathcal A} e_a
                  $$

                  is not well defined.
                  Even for countable $mathcal A$ this sum does not converge.



                  For defining uncountable sums it is usually required that at most countable many summands are nonzero
                  and that the countable sum over the nonzero entries converges absolutely.






                  share|cite|improve this answer
























                    5












                    5








                    5






                    In an infinite dimensional Hilbert space the term
                    $$
                    sum_{ain mathcal A} e_a
                    $$

                    is not well defined.
                    Even for countable $mathcal A$ this sum does not converge.



                    For defining uncountable sums it is usually required that at most countable many summands are nonzero
                    and that the countable sum over the nonzero entries converges absolutely.






                    share|cite|improve this answer












                    In an infinite dimensional Hilbert space the term
                    $$
                    sum_{ain mathcal A} e_a
                    $$

                    is not well defined.
                    Even for countable $mathcal A$ this sum does not converge.



                    For defining uncountable sums it is usually required that at most countable many summands are nonzero
                    and that the countable sum over the nonzero entries converges absolutely.







                    share|cite|improve this answer












                    share|cite|improve this answer



                    share|cite|improve this answer










                    answered yesterday









                    supinf

                    6,0791028




                    6,0791028























                        2














                        The background of your question is how do you define $displaystyle sum_{i in I} c_i$ in a Banach space for any set $I$?



                        The usual way is to say that the sum $displaystyle sum_{i in I} c_alpha$ of a set $mathcal C = {c_i ; i in I}$ of vectors exists when following Cauchy criteria is met:



                        $$(forall epsilon > 0) , (exists J_0 in mathcal F(I)) , (forall K in mathcal F(I setminus J_0)) , leftVert displaystyle sum_{k in K} c_k rightVert< epsilon $$



                        Where $mathcal F(A)$ is defined as the sets of finite subsets of $A$.



                        This has interesting consequences.




                        1. Such a sum $displaystyle sum_{i in I} c_alpha$ does make sense only if the set of non zero elements of $mathcal C$ is at most countable.

                        2. For a family of uncountable vectors of norm equal to $1$, which is your initial question, the sum cannot exist: take $epsilon = 1/2$ in the definition above; you'll get a contradiction.






                        share|cite|improve this answer




























                          2














                          The background of your question is how do you define $displaystyle sum_{i in I} c_i$ in a Banach space for any set $I$?



                          The usual way is to say that the sum $displaystyle sum_{i in I} c_alpha$ of a set $mathcal C = {c_i ; i in I}$ of vectors exists when following Cauchy criteria is met:



                          $$(forall epsilon > 0) , (exists J_0 in mathcal F(I)) , (forall K in mathcal F(I setminus J_0)) , leftVert displaystyle sum_{k in K} c_k rightVert< epsilon $$



                          Where $mathcal F(A)$ is defined as the sets of finite subsets of $A$.



                          This has interesting consequences.




                          1. Such a sum $displaystyle sum_{i in I} c_alpha$ does make sense only if the set of non zero elements of $mathcal C$ is at most countable.

                          2. For a family of uncountable vectors of norm equal to $1$, which is your initial question, the sum cannot exist: take $epsilon = 1/2$ in the definition above; you'll get a contradiction.






                          share|cite|improve this answer


























                            2












                            2








                            2






                            The background of your question is how do you define $displaystyle sum_{i in I} c_i$ in a Banach space for any set $I$?



                            The usual way is to say that the sum $displaystyle sum_{i in I} c_alpha$ of a set $mathcal C = {c_i ; i in I}$ of vectors exists when following Cauchy criteria is met:



                            $$(forall epsilon > 0) , (exists J_0 in mathcal F(I)) , (forall K in mathcal F(I setminus J_0)) , leftVert displaystyle sum_{k in K} c_k rightVert< epsilon $$



                            Where $mathcal F(A)$ is defined as the sets of finite subsets of $A$.



                            This has interesting consequences.




                            1. Such a sum $displaystyle sum_{i in I} c_alpha$ does make sense only if the set of non zero elements of $mathcal C$ is at most countable.

                            2. For a family of uncountable vectors of norm equal to $1$, which is your initial question, the sum cannot exist: take $epsilon = 1/2$ in the definition above; you'll get a contradiction.






                            share|cite|improve this answer














                            The background of your question is how do you define $displaystyle sum_{i in I} c_i$ in a Banach space for any set $I$?



                            The usual way is to say that the sum $displaystyle sum_{i in I} c_alpha$ of a set $mathcal C = {c_i ; i in I}$ of vectors exists when following Cauchy criteria is met:



                            $$(forall epsilon > 0) , (exists J_0 in mathcal F(I)) , (forall K in mathcal F(I setminus J_0)) , leftVert displaystyle sum_{k in K} c_k rightVert< epsilon $$



                            Where $mathcal F(A)$ is defined as the sets of finite subsets of $A$.



                            This has interesting consequences.




                            1. Such a sum $displaystyle sum_{i in I} c_alpha$ does make sense only if the set of non zero elements of $mathcal C$ is at most countable.

                            2. For a family of uncountable vectors of norm equal to $1$, which is your initial question, the sum cannot exist: take $epsilon = 1/2$ in the definition above; you'll get a contradiction.







                            share|cite|improve this answer














                            share|cite|improve this answer



                            share|cite|improve this answer








                            edited yesterday

























                            answered yesterday









                            mathcounterexamples.net

                            25.1k21953




                            25.1k21953






























                                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%2f3061489%2funcountable-sum-of-vectors-in-a-hilbert-space%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

                                1300-talet

                                1300-talet

                                Display a custom attribute below product name in the front-end Magento 1.9.3.8