Given a sequence in R is it sufficient to prove limit d(xn,xn+1) is 0 to show that it is cauchy?
$begingroup$
I saw a proof in a fixed point theorem which showed that d(xn,xn+p) is 0 as n goes to infinity hence the sequence is cauchy.
using triangle inequality if
d(xn,xn+p) less than equal to d(xn,xn+1)+d(xn+1,xn+2)+....+d(xn+p-1,xn+p)
And since each of these terms tend to 0 as n tends to infinity then that implies d(xn,xn+p) tends to 0 .Therefore,sequence is cauchy.
Am i missing a condition here?
real-analysis
$endgroup$
add a comment |
$begingroup$
I saw a proof in a fixed point theorem which showed that d(xn,xn+p) is 0 as n goes to infinity hence the sequence is cauchy.
using triangle inequality if
d(xn,xn+p) less than equal to d(xn,xn+1)+d(xn+1,xn+2)+....+d(xn+p-1,xn+p)
And since each of these terms tend to 0 as n tends to infinity then that implies d(xn,xn+p) tends to 0 .Therefore,sequence is cauchy.
Am i missing a condition here?
real-analysis
$endgroup$
2
$begingroup$
What if $x_n=frac11+frac12+frac13+cdots+frac1n$ ?
$endgroup$
– bof
Jan 19 at 6:07
$begingroup$
Given a series $sum_{n=1}^infty a_n$ in $Bbb R$, is it sufficient to prove that $lim_{ntoinfty}a_n=0$ to show the series is convergent?
$endgroup$
– Lord Shark the Unknown
Jan 19 at 6:13
$begingroup$
One thing: $p$ could be related to $n$, like $p = n^2$. Then the sum is actually an infinite sum, and clearly the existence of such sum cannot be solely determined by the assumption $d(x_n, x_{n+1}) to 0$.
$endgroup$
– xbh
Jan 19 at 6:46
$begingroup$
No. See this.
$endgroup$
– David Mitra
Jan 19 at 6:48
$begingroup$
For an Euclidean metric d(xn,xn+1) = xn + 1 - xn = 1.
$endgroup$
– William Elliot
Jan 19 at 8:58
add a comment |
$begingroup$
I saw a proof in a fixed point theorem which showed that d(xn,xn+p) is 0 as n goes to infinity hence the sequence is cauchy.
using triangle inequality if
d(xn,xn+p) less than equal to d(xn,xn+1)+d(xn+1,xn+2)+....+d(xn+p-1,xn+p)
And since each of these terms tend to 0 as n tends to infinity then that implies d(xn,xn+p) tends to 0 .Therefore,sequence is cauchy.
Am i missing a condition here?
real-analysis
$endgroup$
I saw a proof in a fixed point theorem which showed that d(xn,xn+p) is 0 as n goes to infinity hence the sequence is cauchy.
using triangle inequality if
d(xn,xn+p) less than equal to d(xn,xn+1)+d(xn+1,xn+2)+....+d(xn+p-1,xn+p)
And since each of these terms tend to 0 as n tends to infinity then that implies d(xn,xn+p) tends to 0 .Therefore,sequence is cauchy.
Am i missing a condition here?
real-analysis
real-analysis
edited Jan 19 at 7:48
math123
asked Jan 19 at 6:03
math123math123
153
153
2
$begingroup$
What if $x_n=frac11+frac12+frac13+cdots+frac1n$ ?
$endgroup$
– bof
Jan 19 at 6:07
$begingroup$
Given a series $sum_{n=1}^infty a_n$ in $Bbb R$, is it sufficient to prove that $lim_{ntoinfty}a_n=0$ to show the series is convergent?
$endgroup$
– Lord Shark the Unknown
Jan 19 at 6:13
$begingroup$
One thing: $p$ could be related to $n$, like $p = n^2$. Then the sum is actually an infinite sum, and clearly the existence of such sum cannot be solely determined by the assumption $d(x_n, x_{n+1}) to 0$.
$endgroup$
– xbh
Jan 19 at 6:46
$begingroup$
No. See this.
$endgroup$
– David Mitra
Jan 19 at 6:48
$begingroup$
For an Euclidean metric d(xn,xn+1) = xn + 1 - xn = 1.
$endgroup$
– William Elliot
Jan 19 at 8:58
add a comment |
2
$begingroup$
What if $x_n=frac11+frac12+frac13+cdots+frac1n$ ?
$endgroup$
– bof
Jan 19 at 6:07
$begingroup$
Given a series $sum_{n=1}^infty a_n$ in $Bbb R$, is it sufficient to prove that $lim_{ntoinfty}a_n=0$ to show the series is convergent?
$endgroup$
– Lord Shark the Unknown
Jan 19 at 6:13
$begingroup$
One thing: $p$ could be related to $n$, like $p = n^2$. Then the sum is actually an infinite sum, and clearly the existence of such sum cannot be solely determined by the assumption $d(x_n, x_{n+1}) to 0$.
$endgroup$
– xbh
Jan 19 at 6:46
$begingroup$
No. See this.
$endgroup$
– David Mitra
Jan 19 at 6:48
$begingroup$
For an Euclidean metric d(xn,xn+1) = xn + 1 - xn = 1.
$endgroup$
– William Elliot
Jan 19 at 8:58
2
2
$begingroup$
What if $x_n=frac11+frac12+frac13+cdots+frac1n$ ?
$endgroup$
– bof
Jan 19 at 6:07
$begingroup$
What if $x_n=frac11+frac12+frac13+cdots+frac1n$ ?
$endgroup$
– bof
Jan 19 at 6:07
$begingroup$
Given a series $sum_{n=1}^infty a_n$ in $Bbb R$, is it sufficient to prove that $lim_{ntoinfty}a_n=0$ to show the series is convergent?
$endgroup$
– Lord Shark the Unknown
Jan 19 at 6:13
$begingroup$
Given a series $sum_{n=1}^infty a_n$ in $Bbb R$, is it sufficient to prove that $lim_{ntoinfty}a_n=0$ to show the series is convergent?
$endgroup$
– Lord Shark the Unknown
Jan 19 at 6:13
$begingroup$
One thing: $p$ could be related to $n$, like $p = n^2$. Then the sum is actually an infinite sum, and clearly the existence of such sum cannot be solely determined by the assumption $d(x_n, x_{n+1}) to 0$.
$endgroup$
– xbh
Jan 19 at 6:46
$begingroup$
One thing: $p$ could be related to $n$, like $p = n^2$. Then the sum is actually an infinite sum, and clearly the existence of such sum cannot be solely determined by the assumption $d(x_n, x_{n+1}) to 0$.
$endgroup$
– xbh
Jan 19 at 6:46
$begingroup$
No. See this.
$endgroup$
– David Mitra
Jan 19 at 6:48
$begingroup$
No. See this.
$endgroup$
– David Mitra
Jan 19 at 6:48
$begingroup$
For an Euclidean metric d(xn,xn+1) = xn + 1 - xn = 1.
$endgroup$
– William Elliot
Jan 19 at 8:58
$begingroup$
For an Euclidean metric d(xn,xn+1) = xn + 1 - xn = 1.
$endgroup$
– William Elliot
Jan 19 at 8:58
add a comment |
0
active
oldest
votes
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%2f3079061%2fgiven-a-sequence-in-r-is-it-sufficient-to-prove-limit-dxn-xn1-is-0-to-show-th%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
0
active
oldest
votes
0
active
oldest
votes
active
oldest
votes
active
oldest
votes
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%2f3079061%2fgiven-a-sequence-in-r-is-it-sufficient-to-prove-limit-dxn-xn1-is-0-to-show-th%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$
What if $x_n=frac11+frac12+frac13+cdots+frac1n$ ?
$endgroup$
– bof
Jan 19 at 6:07
$begingroup$
Given a series $sum_{n=1}^infty a_n$ in $Bbb R$, is it sufficient to prove that $lim_{ntoinfty}a_n=0$ to show the series is convergent?
$endgroup$
– Lord Shark the Unknown
Jan 19 at 6:13
$begingroup$
One thing: $p$ could be related to $n$, like $p = n^2$. Then the sum is actually an infinite sum, and clearly the existence of such sum cannot be solely determined by the assumption $d(x_n, x_{n+1}) to 0$.
$endgroup$
– xbh
Jan 19 at 6:46
$begingroup$
No. See this.
$endgroup$
– David Mitra
Jan 19 at 6:48
$begingroup$
For an Euclidean metric d(xn,xn+1) = xn + 1 - xn = 1.
$endgroup$
– William Elliot
Jan 19 at 8:58