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
    2 hours ago










  • 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
    2 hours ago






  • 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
    2 hours ago


















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
    2 hours ago










  • 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
    2 hours ago






  • 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
    2 hours ago
















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 2 hours ago









PSG

3709




3709








  • 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
    2 hours ago










  • 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
    2 hours ago






  • 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
    2 hours ago
















  • 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
    2 hours ago










  • 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
    2 hours ago






  • 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
    2 hours ago










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
2 hours ago




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












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
2 hours ago




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
2 hours ago




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
2 hours ago






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
2 hours ago












3 Answers
3






active

oldest

votes


















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.






    share|cite|improve this answer





























      1














      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





















        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









        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 2 hours ago









            supinf

            6,0541027




            6,0541027























                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.






                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.






                  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.






                    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.







                    share|cite|improve this answer












                    share|cite|improve this answer



                    share|cite|improve this answer










                    answered 1 hour ago









                    mathcounterexamples.net

                    24.8k21753




                    24.8k21753























                        1














                        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


























                          1














                          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
























                            1












                            1








                            1






                            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 34 mins ago









                            mechanodroid

                            26.8k62347




                            26.8k62347






























                                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

                                CARDNET

                                Boot-repair Failure: Unable to locate package grub-common:i386

                                濃尾地震