Prove that $x_i$ converges weakly to $y$.
$begingroup$
Let $H$ be a Hilbert space. Let ${x_i}$ be a sequence in $H$ with the following two properties:
$|x_i|=1$ for all $i$
- There is a fixed number $cgeq0$ such that $(x_i,x_j)=c$ whenever $ineq j$.
Define
$$
y_n:=frac{1}{n}sum_{i=1}^nx_i.
$$
Prove that there is a $yin H$ such that $y_n$ converges strongly to $y$ and $x_i$ converges weakly to $y$.
I can prove that $y_n$ converges strongly to $y$ by proving it is a Cauchy sequence. But I don't know how to prove $x_i$ converges to $y$ weakly.
functional-analysis
$endgroup$
add a comment |
$begingroup$
Let $H$ be a Hilbert space. Let ${x_i}$ be a sequence in $H$ with the following two properties:
$|x_i|=1$ for all $i$
- There is a fixed number $cgeq0$ such that $(x_i,x_j)=c$ whenever $ineq j$.
Define
$$
y_n:=frac{1}{n}sum_{i=1}^nx_i.
$$
Prove that there is a $yin H$ such that $y_n$ converges strongly to $y$ and $x_i$ converges weakly to $y$.
I can prove that $y_n$ converges strongly to $y$ by proving it is a Cauchy sequence. But I don't know how to prove $x_i$ converges to $y$ weakly.
functional-analysis
$endgroup$
add a comment |
$begingroup$
Let $H$ be a Hilbert space. Let ${x_i}$ be a sequence in $H$ with the following two properties:
$|x_i|=1$ for all $i$
- There is a fixed number $cgeq0$ such that $(x_i,x_j)=c$ whenever $ineq j$.
Define
$$
y_n:=frac{1}{n}sum_{i=1}^nx_i.
$$
Prove that there is a $yin H$ such that $y_n$ converges strongly to $y$ and $x_i$ converges weakly to $y$.
I can prove that $y_n$ converges strongly to $y$ by proving it is a Cauchy sequence. But I don't know how to prove $x_i$ converges to $y$ weakly.
functional-analysis
$endgroup$
Let $H$ be a Hilbert space. Let ${x_i}$ be a sequence in $H$ with the following two properties:
$|x_i|=1$ for all $i$
- There is a fixed number $cgeq0$ such that $(x_i,x_j)=c$ whenever $ineq j$.
Define
$$
y_n:=frac{1}{n}sum_{i=1}^nx_i.
$$
Prove that there is a $yin H$ such that $y_n$ converges strongly to $y$ and $x_i$ converges weakly to $y$.
I can prove that $y_n$ converges strongly to $y$ by proving it is a Cauchy sequence. But I don't know how to prove $x_i$ converges to $y$ weakly.
functional-analysis
functional-analysis
asked Dec 7 '18 at 2:38
whereamIwhereamI
320115
320115
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
Just test whether $$langle y,vrangle = lim_{ntoinfty} langle x_n,vrangle$$ holds for every $vin H$. This can be done by 2 steps. You test it for $v in text{span}{x_j;|;jgeq 1}$ first, and then for $v in text{span}^perp{x_j;|;jgeq 1}$. Since $$H = overline{text{span}}{x_j;|;jgeq 1} oplus text{span}^perp{x_j;|;jgeq 1},$$ this will prove the result.
$endgroup$
$begingroup$
I see that. Thanks a lot!
$endgroup$
– whereamI
Dec 7 '18 at 3:57
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%2f3029396%2fprove-that-x-i-converges-weakly-to-y%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
Just test whether $$langle y,vrangle = lim_{ntoinfty} langle x_n,vrangle$$ holds for every $vin H$. This can be done by 2 steps. You test it for $v in text{span}{x_j;|;jgeq 1}$ first, and then for $v in text{span}^perp{x_j;|;jgeq 1}$. Since $$H = overline{text{span}}{x_j;|;jgeq 1} oplus text{span}^perp{x_j;|;jgeq 1},$$ this will prove the result.
$endgroup$
$begingroup$
I see that. Thanks a lot!
$endgroup$
– whereamI
Dec 7 '18 at 3:57
add a comment |
$begingroup$
Just test whether $$langle y,vrangle = lim_{ntoinfty} langle x_n,vrangle$$ holds for every $vin H$. This can be done by 2 steps. You test it for $v in text{span}{x_j;|;jgeq 1}$ first, and then for $v in text{span}^perp{x_j;|;jgeq 1}$. Since $$H = overline{text{span}}{x_j;|;jgeq 1} oplus text{span}^perp{x_j;|;jgeq 1},$$ this will prove the result.
$endgroup$
$begingroup$
I see that. Thanks a lot!
$endgroup$
– whereamI
Dec 7 '18 at 3:57
add a comment |
$begingroup$
Just test whether $$langle y,vrangle = lim_{ntoinfty} langle x_n,vrangle$$ holds for every $vin H$. This can be done by 2 steps. You test it for $v in text{span}{x_j;|;jgeq 1}$ first, and then for $v in text{span}^perp{x_j;|;jgeq 1}$. Since $$H = overline{text{span}}{x_j;|;jgeq 1} oplus text{span}^perp{x_j;|;jgeq 1},$$ this will prove the result.
$endgroup$
Just test whether $$langle y,vrangle = lim_{ntoinfty} langle x_n,vrangle$$ holds for every $vin H$. This can be done by 2 steps. You test it for $v in text{span}{x_j;|;jgeq 1}$ first, and then for $v in text{span}^perp{x_j;|;jgeq 1}$. Since $$H = overline{text{span}}{x_j;|;jgeq 1} oplus text{span}^perp{x_j;|;jgeq 1},$$ this will prove the result.
edited Dec 7 '18 at 3:49
answered Dec 7 '18 at 3:39
SongSong
10.8k628
10.8k628
$begingroup$
I see that. Thanks a lot!
$endgroup$
– whereamI
Dec 7 '18 at 3:57
add a comment |
$begingroup$
I see that. Thanks a lot!
$endgroup$
– whereamI
Dec 7 '18 at 3:57
$begingroup$
I see that. Thanks a lot!
$endgroup$
– whereamI
Dec 7 '18 at 3:57
$begingroup$
I see that. Thanks a lot!
$endgroup$
– whereamI
Dec 7 '18 at 3:57
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%2f3029396%2fprove-that-x-i-converges-weakly-to-y%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