Show that the space of all real sequences with finitely many nonzero is not complete with a specific norm
$begingroup$
Consider the space $ell_{0}^{2}$ of all real sequences with only a
finite number of nonzero terms. Show that the space is not complete,
with the norm $|x|={left(sum|x|^{2}right)}^{1/2}$.
My attempt: I've had a break for some time, so I am a bit rusty. But, I really just have to find a Cauchy sequence that does not converge. I was thinking about a sequence where $x_n=1/n$, the first $n$ terms and then zero (it has helped me before, but I'm not sure whether it works). Assume $m>n$, then
$$
d^2(x_m,x_n)=|x_m-x_n|^2=sum_{j=n}^mfrac{1}{j^2}leqfrac{m-n+1}{n^2}
$$
which we can make arbitrarily small, and therefore it is a Cauchy sequence. (right?)
So, I'm thinking that obviously the limit doesn't exist, since it would not have finitely many zeros, and therefore it does not converge. Is my reasoning OK? If so, how do I continue?
Alternative approach: If you have some alternative approach I'm happy to hear about it.
real-analysis
$endgroup$
add a comment |
$begingroup$
Consider the space $ell_{0}^{2}$ of all real sequences with only a
finite number of nonzero terms. Show that the space is not complete,
with the norm $|x|={left(sum|x|^{2}right)}^{1/2}$.
My attempt: I've had a break for some time, so I am a bit rusty. But, I really just have to find a Cauchy sequence that does not converge. I was thinking about a sequence where $x_n=1/n$, the first $n$ terms and then zero (it has helped me before, but I'm not sure whether it works). Assume $m>n$, then
$$
d^2(x_m,x_n)=|x_m-x_n|^2=sum_{j=n}^mfrac{1}{j^2}leqfrac{m-n+1}{n^2}
$$
which we can make arbitrarily small, and therefore it is a Cauchy sequence. (right?)
So, I'm thinking that obviously the limit doesn't exist, since it would not have finitely many zeros, and therefore it does not converge. Is my reasoning OK? If so, how do I continue?
Alternative approach: If you have some alternative approach I'm happy to hear about it.
real-analysis
$endgroup$
$begingroup$
Yes, it's OK. (Perhaps, explain why the "limit" would not have only finitely many non-zero coordinates.)
$endgroup$
– David Mitra
Oct 1 '14 at 10:38
$begingroup$
Well, as $ntoinfty$ so does the nonezero elements. But perhaps I could pick an easier sequence?
$endgroup$
– user136475
Oct 1 '14 at 15:33
$begingroup$
What happens with the sequence $a_n = (1, ldots, 1/n, 0, ldots)$?
$endgroup$
– Will M.
Jan 13 at 2:33
add a comment |
$begingroup$
Consider the space $ell_{0}^{2}$ of all real sequences with only a
finite number of nonzero terms. Show that the space is not complete,
with the norm $|x|={left(sum|x|^{2}right)}^{1/2}$.
My attempt: I've had a break for some time, so I am a bit rusty. But, I really just have to find a Cauchy sequence that does not converge. I was thinking about a sequence where $x_n=1/n$, the first $n$ terms and then zero (it has helped me before, but I'm not sure whether it works). Assume $m>n$, then
$$
d^2(x_m,x_n)=|x_m-x_n|^2=sum_{j=n}^mfrac{1}{j^2}leqfrac{m-n+1}{n^2}
$$
which we can make arbitrarily small, and therefore it is a Cauchy sequence. (right?)
So, I'm thinking that obviously the limit doesn't exist, since it would not have finitely many zeros, and therefore it does not converge. Is my reasoning OK? If so, how do I continue?
Alternative approach: If you have some alternative approach I'm happy to hear about it.
real-analysis
$endgroup$
Consider the space $ell_{0}^{2}$ of all real sequences with only a
finite number of nonzero terms. Show that the space is not complete,
with the norm $|x|={left(sum|x|^{2}right)}^{1/2}$.
My attempt: I've had a break for some time, so I am a bit rusty. But, I really just have to find a Cauchy sequence that does not converge. I was thinking about a sequence where $x_n=1/n$, the first $n$ terms and then zero (it has helped me before, but I'm not sure whether it works). Assume $m>n$, then
$$
d^2(x_m,x_n)=|x_m-x_n|^2=sum_{j=n}^mfrac{1}{j^2}leqfrac{m-n+1}{n^2}
$$
which we can make arbitrarily small, and therefore it is a Cauchy sequence. (right?)
So, I'm thinking that obviously the limit doesn't exist, since it would not have finitely many zeros, and therefore it does not converge. Is my reasoning OK? If so, how do I continue?
Alternative approach: If you have some alternative approach I'm happy to hear about it.
real-analysis
real-analysis
asked Oct 1 '14 at 10:30
user136475user136475
325
325
$begingroup$
Yes, it's OK. (Perhaps, explain why the "limit" would not have only finitely many non-zero coordinates.)
$endgroup$
– David Mitra
Oct 1 '14 at 10:38
$begingroup$
Well, as $ntoinfty$ so does the nonezero elements. But perhaps I could pick an easier sequence?
$endgroup$
– user136475
Oct 1 '14 at 15:33
$begingroup$
What happens with the sequence $a_n = (1, ldots, 1/n, 0, ldots)$?
$endgroup$
– Will M.
Jan 13 at 2:33
add a comment |
$begingroup$
Yes, it's OK. (Perhaps, explain why the "limit" would not have only finitely many non-zero coordinates.)
$endgroup$
– David Mitra
Oct 1 '14 at 10:38
$begingroup$
Well, as $ntoinfty$ so does the nonezero elements. But perhaps I could pick an easier sequence?
$endgroup$
– user136475
Oct 1 '14 at 15:33
$begingroup$
What happens with the sequence $a_n = (1, ldots, 1/n, 0, ldots)$?
$endgroup$
– Will M.
Jan 13 at 2:33
$begingroup$
Yes, it's OK. (Perhaps, explain why the "limit" would not have only finitely many non-zero coordinates.)
$endgroup$
– David Mitra
Oct 1 '14 at 10:38
$begingroup$
Yes, it's OK. (Perhaps, explain why the "limit" would not have only finitely many non-zero coordinates.)
$endgroup$
– David Mitra
Oct 1 '14 at 10:38
$begingroup$
Well, as $ntoinfty$ so does the nonezero elements. But perhaps I could pick an easier sequence?
$endgroup$
– user136475
Oct 1 '14 at 15:33
$begingroup$
Well, as $ntoinfty$ so does the nonezero elements. But perhaps I could pick an easier sequence?
$endgroup$
– user136475
Oct 1 '14 at 15:33
$begingroup$
What happens with the sequence $a_n = (1, ldots, 1/n, 0, ldots)$?
$endgroup$
– Will M.
Jan 13 at 2:33
$begingroup$
What happens with the sequence $a_n = (1, ldots, 1/n, 0, ldots)$?
$endgroup$
– Will M.
Jan 13 at 2:33
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
I think your approach is fine. One way to finish is to observe that the space $l^{2}_{0}$ is contained in $l^2$. Your limit sequence is in $l^2$ but not $l^{2}_{0}.$ Since a sequence has a unique limit in $l^2$ it can't have a limit in $l^{2}_{0}$ so $l^{2}_{0}$ is not complete.
$endgroup$
add a comment |
$begingroup$
Yes. Take any sequence $(a_j)_j$ of positive reals such that $sum_{jin Bbb N}a_j^2<infty.$ Let $x_n=(x_{n,j})_j$ where $x_{n,j}=0$ if $j>n$ and $x_{n,j}=a_j$ if $jle n.$ Then $$lim_{nto infty}sup_{m>n}|x_n-x_m|^2=lim_{nto infty}sum_{j=n+1}^{infty}a_j^2=0.$$ So $(x_n)_n$ is a Cauchy sequence.
If $y=(y_j)_jin l^2_0$ and $lim_{nto infty}|x_n-y|=0,$ then for each $j,$ we have $lim_{nto infty}|x_{n,j}-y_j|=0.$
Otherwise, for at least one $j$, there would be some $r>0$ such that $|x_{n,j}-y_j|>r$ for infinitely many $n.$ But then $|x_n-y|ge |x_{n,j}-y_j|ge r$ for infinitely many $n.$
So if $y=lim_{nto infty}x_n$ exists in $l^2_0$ then $y_j=a_jne 0$ for all $j,$ so $ynot in l^2_0,$ a contradiction.
Remark: Set-theoretically, a sequence is a function $f$ with domain $Bbb N$ (or some other suitable countably infinite domain). So let $x_n=f_n$ where $f_n(j)=x_{n,j}$ and let $y_j=g(j).$ If $(f_n)_n$ converges in norm to $g$ then $f_n$ converges point-wise to $g.$ That is, $f_n(j)to g(j)$ for each $j,$ Because $|f_n(j)-g(j)|=|x_{n,j}-y_j|le |x_n-y|to 0 $ as $nto infty.$
$endgroup$
$begingroup$
It is sufficient that $sum_{jin Bbb N}a_j^2<infty$ and that $a_jne 0$ for infinitely many $n.$ Then in the last line in this answer we could say "... then $y_j=a_jne 0$ for infinitely many $n$..."
$endgroup$
– DanielWainfleet
Jan 13 at 2:20
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%2f953830%2fshow-that-the-space-of-all-real-sequences-with-finitely-many-nonzero-is-not-comp%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
I think your approach is fine. One way to finish is to observe that the space $l^{2}_{0}$ is contained in $l^2$. Your limit sequence is in $l^2$ but not $l^{2}_{0}.$ Since a sequence has a unique limit in $l^2$ it can't have a limit in $l^{2}_{0}$ so $l^{2}_{0}$ is not complete.
$endgroup$
add a comment |
$begingroup$
I think your approach is fine. One way to finish is to observe that the space $l^{2}_{0}$ is contained in $l^2$. Your limit sequence is in $l^2$ but not $l^{2}_{0}.$ Since a sequence has a unique limit in $l^2$ it can't have a limit in $l^{2}_{0}$ so $l^{2}_{0}$ is not complete.
$endgroup$
add a comment |
$begingroup$
I think your approach is fine. One way to finish is to observe that the space $l^{2}_{0}$ is contained in $l^2$. Your limit sequence is in $l^2$ but not $l^{2}_{0}.$ Since a sequence has a unique limit in $l^2$ it can't have a limit in $l^{2}_{0}$ so $l^{2}_{0}$ is not complete.
$endgroup$
I think your approach is fine. One way to finish is to observe that the space $l^{2}_{0}$ is contained in $l^2$. Your limit sequence is in $l^2$ but not $l^{2}_{0}.$ Since a sequence has a unique limit in $l^2$ it can't have a limit in $l^{2}_{0}$ so $l^{2}_{0}$ is not complete.
answered Feb 26 '15 at 5:14
Mark JoshiMark Joshi
4,9131712
4,9131712
add a comment |
add a comment |
$begingroup$
Yes. Take any sequence $(a_j)_j$ of positive reals such that $sum_{jin Bbb N}a_j^2<infty.$ Let $x_n=(x_{n,j})_j$ where $x_{n,j}=0$ if $j>n$ and $x_{n,j}=a_j$ if $jle n.$ Then $$lim_{nto infty}sup_{m>n}|x_n-x_m|^2=lim_{nto infty}sum_{j=n+1}^{infty}a_j^2=0.$$ So $(x_n)_n$ is a Cauchy sequence.
If $y=(y_j)_jin l^2_0$ and $lim_{nto infty}|x_n-y|=0,$ then for each $j,$ we have $lim_{nto infty}|x_{n,j}-y_j|=0.$
Otherwise, for at least one $j$, there would be some $r>0$ such that $|x_{n,j}-y_j|>r$ for infinitely many $n.$ But then $|x_n-y|ge |x_{n,j}-y_j|ge r$ for infinitely many $n.$
So if $y=lim_{nto infty}x_n$ exists in $l^2_0$ then $y_j=a_jne 0$ for all $j,$ so $ynot in l^2_0,$ a contradiction.
Remark: Set-theoretically, a sequence is a function $f$ with domain $Bbb N$ (or some other suitable countably infinite domain). So let $x_n=f_n$ where $f_n(j)=x_{n,j}$ and let $y_j=g(j).$ If $(f_n)_n$ converges in norm to $g$ then $f_n$ converges point-wise to $g.$ That is, $f_n(j)to g(j)$ for each $j,$ Because $|f_n(j)-g(j)|=|x_{n,j}-y_j|le |x_n-y|to 0 $ as $nto infty.$
$endgroup$
$begingroup$
It is sufficient that $sum_{jin Bbb N}a_j^2<infty$ and that $a_jne 0$ for infinitely many $n.$ Then in the last line in this answer we could say "... then $y_j=a_jne 0$ for infinitely many $n$..."
$endgroup$
– DanielWainfleet
Jan 13 at 2:20
add a comment |
$begingroup$
Yes. Take any sequence $(a_j)_j$ of positive reals such that $sum_{jin Bbb N}a_j^2<infty.$ Let $x_n=(x_{n,j})_j$ where $x_{n,j}=0$ if $j>n$ and $x_{n,j}=a_j$ if $jle n.$ Then $$lim_{nto infty}sup_{m>n}|x_n-x_m|^2=lim_{nto infty}sum_{j=n+1}^{infty}a_j^2=0.$$ So $(x_n)_n$ is a Cauchy sequence.
If $y=(y_j)_jin l^2_0$ and $lim_{nto infty}|x_n-y|=0,$ then for each $j,$ we have $lim_{nto infty}|x_{n,j}-y_j|=0.$
Otherwise, for at least one $j$, there would be some $r>0$ such that $|x_{n,j}-y_j|>r$ for infinitely many $n.$ But then $|x_n-y|ge |x_{n,j}-y_j|ge r$ for infinitely many $n.$
So if $y=lim_{nto infty}x_n$ exists in $l^2_0$ then $y_j=a_jne 0$ for all $j,$ so $ynot in l^2_0,$ a contradiction.
Remark: Set-theoretically, a sequence is a function $f$ with domain $Bbb N$ (or some other suitable countably infinite domain). So let $x_n=f_n$ where $f_n(j)=x_{n,j}$ and let $y_j=g(j).$ If $(f_n)_n$ converges in norm to $g$ then $f_n$ converges point-wise to $g.$ That is, $f_n(j)to g(j)$ for each $j,$ Because $|f_n(j)-g(j)|=|x_{n,j}-y_j|le |x_n-y|to 0 $ as $nto infty.$
$endgroup$
$begingroup$
It is sufficient that $sum_{jin Bbb N}a_j^2<infty$ and that $a_jne 0$ for infinitely many $n.$ Then in the last line in this answer we could say "... then $y_j=a_jne 0$ for infinitely many $n$..."
$endgroup$
– DanielWainfleet
Jan 13 at 2:20
add a comment |
$begingroup$
Yes. Take any sequence $(a_j)_j$ of positive reals such that $sum_{jin Bbb N}a_j^2<infty.$ Let $x_n=(x_{n,j})_j$ where $x_{n,j}=0$ if $j>n$ and $x_{n,j}=a_j$ if $jle n.$ Then $$lim_{nto infty}sup_{m>n}|x_n-x_m|^2=lim_{nto infty}sum_{j=n+1}^{infty}a_j^2=0.$$ So $(x_n)_n$ is a Cauchy sequence.
If $y=(y_j)_jin l^2_0$ and $lim_{nto infty}|x_n-y|=0,$ then for each $j,$ we have $lim_{nto infty}|x_{n,j}-y_j|=0.$
Otherwise, for at least one $j$, there would be some $r>0$ such that $|x_{n,j}-y_j|>r$ for infinitely many $n.$ But then $|x_n-y|ge |x_{n,j}-y_j|ge r$ for infinitely many $n.$
So if $y=lim_{nto infty}x_n$ exists in $l^2_0$ then $y_j=a_jne 0$ for all $j,$ so $ynot in l^2_0,$ a contradiction.
Remark: Set-theoretically, a sequence is a function $f$ with domain $Bbb N$ (or some other suitable countably infinite domain). So let $x_n=f_n$ where $f_n(j)=x_{n,j}$ and let $y_j=g(j).$ If $(f_n)_n$ converges in norm to $g$ then $f_n$ converges point-wise to $g.$ That is, $f_n(j)to g(j)$ for each $j,$ Because $|f_n(j)-g(j)|=|x_{n,j}-y_j|le |x_n-y|to 0 $ as $nto infty.$
$endgroup$
Yes. Take any sequence $(a_j)_j$ of positive reals such that $sum_{jin Bbb N}a_j^2<infty.$ Let $x_n=(x_{n,j})_j$ where $x_{n,j}=0$ if $j>n$ and $x_{n,j}=a_j$ if $jle n.$ Then $$lim_{nto infty}sup_{m>n}|x_n-x_m|^2=lim_{nto infty}sum_{j=n+1}^{infty}a_j^2=0.$$ So $(x_n)_n$ is a Cauchy sequence.
If $y=(y_j)_jin l^2_0$ and $lim_{nto infty}|x_n-y|=0,$ then for each $j,$ we have $lim_{nto infty}|x_{n,j}-y_j|=0.$
Otherwise, for at least one $j$, there would be some $r>0$ such that $|x_{n,j}-y_j|>r$ for infinitely many $n.$ But then $|x_n-y|ge |x_{n,j}-y_j|ge r$ for infinitely many $n.$
So if $y=lim_{nto infty}x_n$ exists in $l^2_0$ then $y_j=a_jne 0$ for all $j,$ so $ynot in l^2_0,$ a contradiction.
Remark: Set-theoretically, a sequence is a function $f$ with domain $Bbb N$ (or some other suitable countably infinite domain). So let $x_n=f_n$ where $f_n(j)=x_{n,j}$ and let $y_j=g(j).$ If $(f_n)_n$ converges in norm to $g$ then $f_n$ converges point-wise to $g.$ That is, $f_n(j)to g(j)$ for each $j,$ Because $|f_n(j)-g(j)|=|x_{n,j}-y_j|le |x_n-y|to 0 $ as $nto infty.$
edited Jan 13 at 2:35
answered Jan 13 at 2:15
DanielWainfleetDanielWainfleet
35.1k31648
35.1k31648
$begingroup$
It is sufficient that $sum_{jin Bbb N}a_j^2<infty$ and that $a_jne 0$ for infinitely many $n.$ Then in the last line in this answer we could say "... then $y_j=a_jne 0$ for infinitely many $n$..."
$endgroup$
– DanielWainfleet
Jan 13 at 2:20
add a comment |
$begingroup$
It is sufficient that $sum_{jin Bbb N}a_j^2<infty$ and that $a_jne 0$ for infinitely many $n.$ Then in the last line in this answer we could say "... then $y_j=a_jne 0$ for infinitely many $n$..."
$endgroup$
– DanielWainfleet
Jan 13 at 2:20
$begingroup$
It is sufficient that $sum_{jin Bbb N}a_j^2<infty$ and that $a_jne 0$ for infinitely many $n.$ Then in the last line in this answer we could say "... then $y_j=a_jne 0$ for infinitely many $n$..."
$endgroup$
– DanielWainfleet
Jan 13 at 2:20
$begingroup$
It is sufficient that $sum_{jin Bbb N}a_j^2<infty$ and that $a_jne 0$ for infinitely many $n.$ Then in the last line in this answer we could say "... then $y_j=a_jne 0$ for infinitely many $n$..."
$endgroup$
– DanielWainfleet
Jan 13 at 2:20
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%2f953830%2fshow-that-the-space-of-all-real-sequences-with-finitely-many-nonzero-is-not-comp%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
$begingroup$
Yes, it's OK. (Perhaps, explain why the "limit" would not have only finitely many non-zero coordinates.)
$endgroup$
– David Mitra
Oct 1 '14 at 10:38
$begingroup$
Well, as $ntoinfty$ so does the nonezero elements. But perhaps I could pick an easier sequence?
$endgroup$
– user136475
Oct 1 '14 at 15:33
$begingroup$
What happens with the sequence $a_n = (1, ldots, 1/n, 0, ldots)$?
$endgroup$
– Will M.
Jan 13 at 2:33