Uncountable sum of vectors in a Hilbert Space
$begingroup$
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
$endgroup$
add a comment |
$begingroup$
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
$endgroup$
2
$begingroup$
Even when $mathcal A$ is countably infinite the sum $sum e_n$ does not exist either in the norm or weakly.
$endgroup$
– Kavi Rama Murthy
Jan 4 at 10:20
$begingroup$
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
$endgroup$
– PSG
Jan 4 at 10:23
1
$begingroup$
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$.
$endgroup$
– Kavi Rama Murthy
Jan 4 at 10:27
add a comment |
$begingroup$
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
$endgroup$
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
functional-analysis hilbert-spaces
asked Jan 4 at 10:14
PSGPSG
3849
3849
2
$begingroup$
Even when $mathcal A$ is countably infinite the sum $sum e_n$ does not exist either in the norm or weakly.
$endgroup$
– Kavi Rama Murthy
Jan 4 at 10:20
$begingroup$
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
$endgroup$
– PSG
Jan 4 at 10:23
1
$begingroup$
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$.
$endgroup$
– Kavi Rama Murthy
Jan 4 at 10:27
add a comment |
2
$begingroup$
Even when $mathcal A$ is countably infinite the sum $sum e_n$ does not exist either in the norm or weakly.
$endgroup$
– Kavi Rama Murthy
Jan 4 at 10:20
$begingroup$
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
$endgroup$
– PSG
Jan 4 at 10:23
1
$begingroup$
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$.
$endgroup$
– Kavi Rama Murthy
Jan 4 at 10:27
2
2
$begingroup$
Even when $mathcal A$ is countably infinite the sum $sum e_n$ does not exist either in the norm or weakly.
$endgroup$
– Kavi Rama Murthy
Jan 4 at 10:20
$begingroup$
Even when $mathcal A$ is countably infinite the sum $sum e_n$ does not exist either in the norm or weakly.
$endgroup$
– Kavi Rama Murthy
Jan 4 at 10:20
$begingroup$
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
$endgroup$
– PSG
Jan 4 at 10:23
$begingroup$
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
$endgroup$
– PSG
Jan 4 at 10:23
1
1
$begingroup$
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$.
$endgroup$
– Kavi Rama Murthy
Jan 4 at 10:27
$begingroup$
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$.
$endgroup$
– Kavi Rama Murthy
Jan 4 at 10:27
add a comment |
3 Answers
3
active
oldest
votes
$begingroup$
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.
$endgroup$
add a comment |
$begingroup$
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.
$endgroup$
add a comment |
$begingroup$
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.
- 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.
- 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.
$endgroup$
add a comment |
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
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
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
$begingroup$
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.
$endgroup$
add a comment |
$begingroup$
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.
$endgroup$
add a comment |
$begingroup$
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.
$endgroup$
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.
answered Jan 4 at 12:07
mechanodroidmechanodroid
27.1k62446
27.1k62446
add a comment |
add a comment |
$begingroup$
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.
$endgroup$
add a comment |
$begingroup$
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.
$endgroup$
add a comment |
$begingroup$
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.
$endgroup$
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.
answered Jan 4 at 10:22


supinfsupinf
6,1391028
6,1391028
add a comment |
add a comment |
$begingroup$
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.
- 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.
- 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.
$endgroup$
add a comment |
$begingroup$
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.
- 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.
- 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.
$endgroup$
add a comment |
$begingroup$
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.
- 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.
- 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.
$endgroup$
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.
- 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.
- 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.
edited Jan 4 at 13:15
answered Jan 4 at 10:50


mathcounterexamples.netmathcounterexamples.net
26k21955
26k21955
add a comment |
add a comment |
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.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
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
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
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
2
$begingroup$
Even when $mathcal A$ is countably infinite the sum $sum e_n$ does not exist either in the norm or weakly.
$endgroup$
– Kavi Rama Murthy
Jan 4 at 10:20
$begingroup$
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
$endgroup$
– PSG
Jan 4 at 10:23
1
$begingroup$
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$.
$endgroup$
– Kavi Rama Murthy
Jan 4 at 10:27