Uncountable sum of vectors in a Hilbert Space

Multi tool use
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
add a comment |
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
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
13 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
13 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
13 hours ago
add a comment |
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
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 14 hours ago
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
13 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
13 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
13 hours ago
add a comment |
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
13 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
13 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
13 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
13 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
13 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
13 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
13 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
13 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
13 hours ago
add a comment |
3 Answers
3
active
oldest
votes
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.
add a comment |
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.
add a comment |
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.
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
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.
add a comment |
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.
add a comment |
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.
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 12 hours ago
mechanodroid
26.8k62347
26.8k62347
add a comment |
add a comment |
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.
add a comment |
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.
add a comment |
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.
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 13 hours ago


supinf
6,0791027
6,0791027
add a comment |
add a comment |
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.
add a comment |
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.
add a comment |
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.
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 11 hours ago
answered 13 hours ago


mathcounterexamples.net
24.9k21753
24.9k21753
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.
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.
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
gw t18Q xYh Qily 179j,Z zQsHTm8F21LM3QpeDtw,gpRrB3A4Up
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
13 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
13 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
13 hours ago