Show $x_n = sqrtn$ is not Cauchy sequenceCauchy sequences. Show that $(x_n)$ is Cauchy.Prove that the sequence $(f(x_n))_ngeqslant1$ is Cauchy.Is being a Cauchy sequence equivalent to $ lim_nto+inftyd(x_n+k,x_n)=0$ for every $k$?Show that the sequence $a_n=1+frac1sqrt2 +frac1sqrt3 + dots + frac1sqrtn$ is not CauchyIf $x_n:=sqrtn$, show that $(x_n)$ satisfies $lim|x_n+1-x_n|=0$, but that it is not a Cauchy sequence.Cauchy Sequence in Normed SpaceHow to prove that is a Cauchy sequenceDefinition of Cauchy SequenceProve that a Cauchy sequence is convergentCauchy sequences always have a largest or smallest element past an arbitrary index
Gantt Chart like rectangles with log scale
Why doesn't the EU now just force the UK to choose between referendum and no-deal?
What are substitutions for coconut in curry?
Could the Saturn V actually have launched astronauts around Venus?
How to explain that I do not want to visit a country due to personal safety concern?
Does Mathematica reuse previous computations?
(Calculus) Derivative Thinking Question
A sequence that has integer values for prime indexes only:
If curse and magic is two sides of the same coin, why the former is forbidden?
Have researchers managed to "reverse time"? If so, what does that mean for physics?
Why do passenger jet manufacturers design their planes with stall prevention systems?
Time travel from stationary position?
Why one should not leave fingerprints on bulbs and plugs?
Instead of Universal Basic Income, why not Universal Basic NEEDS?
Most cost effective thermostat setting: consistent temperature vs. lowest temperature possible
Brexit - No Deal Rejection
Are ETF trackers fundamentally better than individual stocks?
Min function accepting varying number of arguments in C++17
What do Xenomorphs eat in the Alien series?
Opacity of an object in 2.8
What did Alexander Pope mean by "Expletives their feeble Aid do join"?
How to use of "the" before known matrices
Is there a data structure that only stores hash codes and not the actual objects?
Interplanetary conflict, some disease destroys the ability to understand or appreciate music
Show $x_n = sqrtn$ is not Cauchy sequence
Cauchy sequences. Show that $(x_n)$ is Cauchy.Prove that the sequence $(f(x_n))_ngeqslant1$ is Cauchy.Is being a Cauchy sequence equivalent to $ lim_nto+inftyd(x_n+k,x_n)=0$ for every $k$?Show that the sequence $a_n=1+frac1sqrt2 +frac1sqrt3 + dots + frac1sqrtn$ is not CauchyIf $x_n:=sqrtn$, show that $(x_n)$ satisfies $lim|x_n+1-x_n|=0$, but that it is not a Cauchy sequence.Cauchy Sequence in Normed SpaceHow to prove that is a Cauchy sequenceDefinition of Cauchy SequenceProve that a Cauchy sequence is convergentCauchy sequences always have a largest or smallest element past an arbitrary index
$begingroup$
Consider the sequence $x_n$,$x_n$=$sqrtn$
Show that $forall varepsilon > 0, exists n_0 in Bbb N$ s.t. $forall n geq n_0$, |$x_n+1-x_n$|<$varepsilon$.
This is what I have:
Let $varepsilon>0$ and let $n_0$ = $(frac12varepsilon)^2, forall n geq n_0$. $|sqrtn+1-sqrtn|$. So, $|frac(sqrtn+1-sqrtn)(sqrtn+1+sqrtn)(sqrtn+1+sqrtn)|$.
Then, $|frac1sqrtn+1$ + $sqrtn|$ $leq$ $|frac1sqrtn+sqrtn|$=$|frac12sqrtn|$= $varepsilon$.
Therefore, $|x_n+1-x_n|<varepsilon, forall n geq n_0$
After I did all this it got me thinking can you prove $x_n$ is not cauchy? if so how?
real-analysis analysis cauchy-sequences
$endgroup$
add a comment |
$begingroup$
Consider the sequence $x_n$,$x_n$=$sqrtn$
Show that $forall varepsilon > 0, exists n_0 in Bbb N$ s.t. $forall n geq n_0$, |$x_n+1-x_n$|<$varepsilon$.
This is what I have:
Let $varepsilon>0$ and let $n_0$ = $(frac12varepsilon)^2, forall n geq n_0$. $|sqrtn+1-sqrtn|$. So, $|frac(sqrtn+1-sqrtn)(sqrtn+1+sqrtn)(sqrtn+1+sqrtn)|$.
Then, $|frac1sqrtn+1$ + $sqrtn|$ $leq$ $|frac1sqrtn+sqrtn|$=$|frac12sqrtn|$= $varepsilon$.
Therefore, $|x_n+1-x_n|<varepsilon, forall n geq n_0$
After I did all this it got me thinking can you prove $x_n$ is not cauchy? if so how?
real-analysis analysis cauchy-sequences
$endgroup$
$begingroup$
You made a typo, $|frac1sqrtn+1 + sqrtn|$ probably needs to be $|frac1sqrtn+1 + sqrtn|$. Your proof is correct. Note that for Cauchy you need that for any $m,ngeq n_0$: $|x_n-x_m|<epsilon$ which is not the case
$endgroup$
– Stan Tendijck
Mar 11 at 19:32
add a comment |
$begingroup$
Consider the sequence $x_n$,$x_n$=$sqrtn$
Show that $forall varepsilon > 0, exists n_0 in Bbb N$ s.t. $forall n geq n_0$, |$x_n+1-x_n$|<$varepsilon$.
This is what I have:
Let $varepsilon>0$ and let $n_0$ = $(frac12varepsilon)^2, forall n geq n_0$. $|sqrtn+1-sqrtn|$. So, $|frac(sqrtn+1-sqrtn)(sqrtn+1+sqrtn)(sqrtn+1+sqrtn)|$.
Then, $|frac1sqrtn+1$ + $sqrtn|$ $leq$ $|frac1sqrtn+sqrtn|$=$|frac12sqrtn|$= $varepsilon$.
Therefore, $|x_n+1-x_n|<varepsilon, forall n geq n_0$
After I did all this it got me thinking can you prove $x_n$ is not cauchy? if so how?
real-analysis analysis cauchy-sequences
$endgroup$
Consider the sequence $x_n$,$x_n$=$sqrtn$
Show that $forall varepsilon > 0, exists n_0 in Bbb N$ s.t. $forall n geq n_0$, |$x_n+1-x_n$|<$varepsilon$.
This is what I have:
Let $varepsilon>0$ and let $n_0$ = $(frac12varepsilon)^2, forall n geq n_0$. $|sqrtn+1-sqrtn|$. So, $|frac(sqrtn+1-sqrtn)(sqrtn+1+sqrtn)(sqrtn+1+sqrtn)|$.
Then, $|frac1sqrtn+1$ + $sqrtn|$ $leq$ $|frac1sqrtn+sqrtn|$=$|frac12sqrtn|$= $varepsilon$.
Therefore, $|x_n+1-x_n|<varepsilon, forall n geq n_0$
After I did all this it got me thinking can you prove $x_n$ is not cauchy? if so how?
real-analysis analysis cauchy-sequences
real-analysis analysis cauchy-sequences
edited Mar 11 at 19:45
Andrews
1,2691421
1,2691421
asked Mar 11 at 19:22
user597188user597188
234
234
$begingroup$
You made a typo, $|frac1sqrtn+1 + sqrtn|$ probably needs to be $|frac1sqrtn+1 + sqrtn|$. Your proof is correct. Note that for Cauchy you need that for any $m,ngeq n_0$: $|x_n-x_m|<epsilon$ which is not the case
$endgroup$
– Stan Tendijck
Mar 11 at 19:32
add a comment |
$begingroup$
You made a typo, $|frac1sqrtn+1 + sqrtn|$ probably needs to be $|frac1sqrtn+1 + sqrtn|$. Your proof is correct. Note that for Cauchy you need that for any $m,ngeq n_0$: $|x_n-x_m|<epsilon$ which is not the case
$endgroup$
– Stan Tendijck
Mar 11 at 19:32
$begingroup$
You made a typo, $|frac1sqrtn+1 + sqrtn|$ probably needs to be $|frac1sqrtn+1 + sqrtn|$. Your proof is correct. Note that for Cauchy you need that for any $m,ngeq n_0$: $|x_n-x_m|<epsilon$ which is not the case
$endgroup$
– Stan Tendijck
Mar 11 at 19:32
$begingroup$
You made a typo, $|frac1sqrtn+1 + sqrtn|$ probably needs to be $|frac1sqrtn+1 + sqrtn|$. Your proof is correct. Note that for Cauchy you need that for any $m,ngeq n_0$: $|x_n-x_m|<epsilon$ which is not the case
$endgroup$
– Stan Tendijck
Mar 11 at 19:32
add a comment |
3 Answers
3
active
oldest
votes
$begingroup$
Any Cauchy sequence converges. Since $sqrtnto+infty$, it diverges, so it is not Cauchy.
Telling about the condition in question, we have $$sqrtn+1-sqrtn=frac1sqrtn+1+sqrtnto 0,$$ so it holds trivially by definition of a limit.
$endgroup$
1
$begingroup$
You forgot "in a complete metric space" after "any Cauchy sequence converges." I am guessing that they have not proven that $mathbbR$ is complete and they will have to prove the non-Cauchy property "by hand".
$endgroup$
– Jair Taylor
Mar 11 at 19:57
$begingroup$
@JairTaylor, If the metric os not specified, usually one thinks about the Eucldean one, which is, of course, complete. In OP's question we have $|x_n+1-x_n|$, which clearly indicates the Euclidean metric. Please show me, where OP specifies another metric.
$endgroup$
– szw1710
Mar 11 at 23:43
$begingroup$
Of course, it is implied in this case the metric is Euclidean. But it is important to note that Cauchy sequences do not necessarily converge in other metrics.
$endgroup$
– Jair Taylor
Mar 11 at 23:45
$begingroup$
More importantly, this answer relies on the completeness of (and construction of) $mathbbR$ which is not trivial. But of course it is correct.
$endgroup$
– Jair Taylor
Mar 11 at 23:47
add a comment |
$begingroup$
You have a solid argument for the main part, aside from the typo $|frac1sqrtn+1+sqrtn|$ in the second line (already noted in a comment).
After I did all this it got me thinking can you prove $x_n$ is not Cauchy? If so, how?
The definition of a Cauchy sequence refers not only to the difference between adjacent pairs of elements, but also the difference between pairs of elements any index distance apart - as long as they're both far enough out in the sequence.
Just eyeballing it, the square roots increase without bound; we should be able to find one that exceeds any particular target. So, then, given some $m$, can you find some larger $n$ with $sqrtn-sqrtm > 1$? A rule to do this would immediately contradict the Cauchy criterion for $epsilon=1$, and show the sequence isn't Cauchy.
Don't worry about being terribly precise here. We don't need the smallest $n$, just anything that works.
$endgroup$
$begingroup$
so if I chose n to be 1/4 or 1/8 would either of those work?
$endgroup$
– user597188
Mar 11 at 20:36
1
$begingroup$
Uh, what? $n$ is an integer. And, for the anti-Cauchy criterion we're trying to prove, it has to be greater than $m$.
$endgroup$
– jmerry
Mar 11 at 21:00
$begingroup$
sorry I meant like n/2$sqrtm$<1/4 or 1/8
$endgroup$
– user597188
Mar 11 at 21:07
$begingroup$
I still doubt that's what you mean; there's no reason to divide $n$ and $m$. Now, in what I wrote, the $1$ is arbitrary. We could replace it by $1/4$, or by $40$. But, whatever we do, it has to be a constant, not depending on $m$ at all.
$endgroup$
– jmerry
Mar 11 at 21:11
$begingroup$
So if I let $epsilon$ =1/4 id have (m-n)/( $sqrtm$ + $sqrtn$) $geq$ n/(2$sqrtm$) then $sqrtm$/2 - n/(2$sqrtm$) > 1/2-n/(2$sqrtm$) >1/2-1/4 > 1/4 which is what epsilon equals but how would I do it if I let epsilon=1?
$endgroup$
– user597188
Mar 11 at 21:18
|
show 2 more comments
$begingroup$
Let $epsilon_0=frac13$. For all $ninmathbbN$ and $p=n$,
$$ |sqrtn+p-sqrt n|=(sqrt2-1)sqrt ngesqrt 2-1>epsilon_0. $$
Namely, $sqrtn$ is not Cauchy.
$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%2f3144113%2fshow-x-n-sqrtn-is-not-cauchy-sequence%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$
Any Cauchy sequence converges. Since $sqrtnto+infty$, it diverges, so it is not Cauchy.
Telling about the condition in question, we have $$sqrtn+1-sqrtn=frac1sqrtn+1+sqrtnto 0,$$ so it holds trivially by definition of a limit.
$endgroup$
1
$begingroup$
You forgot "in a complete metric space" after "any Cauchy sequence converges." I am guessing that they have not proven that $mathbbR$ is complete and they will have to prove the non-Cauchy property "by hand".
$endgroup$
– Jair Taylor
Mar 11 at 19:57
$begingroup$
@JairTaylor, If the metric os not specified, usually one thinks about the Eucldean one, which is, of course, complete. In OP's question we have $|x_n+1-x_n|$, which clearly indicates the Euclidean metric. Please show me, where OP specifies another metric.
$endgroup$
– szw1710
Mar 11 at 23:43
$begingroup$
Of course, it is implied in this case the metric is Euclidean. But it is important to note that Cauchy sequences do not necessarily converge in other metrics.
$endgroup$
– Jair Taylor
Mar 11 at 23:45
$begingroup$
More importantly, this answer relies on the completeness of (and construction of) $mathbbR$ which is not trivial. But of course it is correct.
$endgroup$
– Jair Taylor
Mar 11 at 23:47
add a comment |
$begingroup$
Any Cauchy sequence converges. Since $sqrtnto+infty$, it diverges, so it is not Cauchy.
Telling about the condition in question, we have $$sqrtn+1-sqrtn=frac1sqrtn+1+sqrtnto 0,$$ so it holds trivially by definition of a limit.
$endgroup$
1
$begingroup$
You forgot "in a complete metric space" after "any Cauchy sequence converges." I am guessing that they have not proven that $mathbbR$ is complete and they will have to prove the non-Cauchy property "by hand".
$endgroup$
– Jair Taylor
Mar 11 at 19:57
$begingroup$
@JairTaylor, If the metric os not specified, usually one thinks about the Eucldean one, which is, of course, complete. In OP's question we have $|x_n+1-x_n|$, which clearly indicates the Euclidean metric. Please show me, where OP specifies another metric.
$endgroup$
– szw1710
Mar 11 at 23:43
$begingroup$
Of course, it is implied in this case the metric is Euclidean. But it is important to note that Cauchy sequences do not necessarily converge in other metrics.
$endgroup$
– Jair Taylor
Mar 11 at 23:45
$begingroup$
More importantly, this answer relies on the completeness of (and construction of) $mathbbR$ which is not trivial. But of course it is correct.
$endgroup$
– Jair Taylor
Mar 11 at 23:47
add a comment |
$begingroup$
Any Cauchy sequence converges. Since $sqrtnto+infty$, it diverges, so it is not Cauchy.
Telling about the condition in question, we have $$sqrtn+1-sqrtn=frac1sqrtn+1+sqrtnto 0,$$ so it holds trivially by definition of a limit.
$endgroup$
Any Cauchy sequence converges. Since $sqrtnto+infty$, it diverges, so it is not Cauchy.
Telling about the condition in question, we have $$sqrtn+1-sqrtn=frac1sqrtn+1+sqrtnto 0,$$ so it holds trivially by definition of a limit.
answered Mar 11 at 19:54
szw1710szw1710
6,4801223
6,4801223
1
$begingroup$
You forgot "in a complete metric space" after "any Cauchy sequence converges." I am guessing that they have not proven that $mathbbR$ is complete and they will have to prove the non-Cauchy property "by hand".
$endgroup$
– Jair Taylor
Mar 11 at 19:57
$begingroup$
@JairTaylor, If the metric os not specified, usually one thinks about the Eucldean one, which is, of course, complete. In OP's question we have $|x_n+1-x_n|$, which clearly indicates the Euclidean metric. Please show me, where OP specifies another metric.
$endgroup$
– szw1710
Mar 11 at 23:43
$begingroup$
Of course, it is implied in this case the metric is Euclidean. But it is important to note that Cauchy sequences do not necessarily converge in other metrics.
$endgroup$
– Jair Taylor
Mar 11 at 23:45
$begingroup$
More importantly, this answer relies on the completeness of (and construction of) $mathbbR$ which is not trivial. But of course it is correct.
$endgroup$
– Jair Taylor
Mar 11 at 23:47
add a comment |
1
$begingroup$
You forgot "in a complete metric space" after "any Cauchy sequence converges." I am guessing that they have not proven that $mathbbR$ is complete and they will have to prove the non-Cauchy property "by hand".
$endgroup$
– Jair Taylor
Mar 11 at 19:57
$begingroup$
@JairTaylor, If the metric os not specified, usually one thinks about the Eucldean one, which is, of course, complete. In OP's question we have $|x_n+1-x_n|$, which clearly indicates the Euclidean metric. Please show me, where OP specifies another metric.
$endgroup$
– szw1710
Mar 11 at 23:43
$begingroup$
Of course, it is implied in this case the metric is Euclidean. But it is important to note that Cauchy sequences do not necessarily converge in other metrics.
$endgroup$
– Jair Taylor
Mar 11 at 23:45
$begingroup$
More importantly, this answer relies on the completeness of (and construction of) $mathbbR$ which is not trivial. But of course it is correct.
$endgroup$
– Jair Taylor
Mar 11 at 23:47
1
1
$begingroup$
You forgot "in a complete metric space" after "any Cauchy sequence converges." I am guessing that they have not proven that $mathbbR$ is complete and they will have to prove the non-Cauchy property "by hand".
$endgroup$
– Jair Taylor
Mar 11 at 19:57
$begingroup$
You forgot "in a complete metric space" after "any Cauchy sequence converges." I am guessing that they have not proven that $mathbbR$ is complete and they will have to prove the non-Cauchy property "by hand".
$endgroup$
– Jair Taylor
Mar 11 at 19:57
$begingroup$
@JairTaylor, If the metric os not specified, usually one thinks about the Eucldean one, which is, of course, complete. In OP's question we have $|x_n+1-x_n|$, which clearly indicates the Euclidean metric. Please show me, where OP specifies another metric.
$endgroup$
– szw1710
Mar 11 at 23:43
$begingroup$
@JairTaylor, If the metric os not specified, usually one thinks about the Eucldean one, which is, of course, complete. In OP's question we have $|x_n+1-x_n|$, which clearly indicates the Euclidean metric. Please show me, where OP specifies another metric.
$endgroup$
– szw1710
Mar 11 at 23:43
$begingroup$
Of course, it is implied in this case the metric is Euclidean. But it is important to note that Cauchy sequences do not necessarily converge in other metrics.
$endgroup$
– Jair Taylor
Mar 11 at 23:45
$begingroup$
Of course, it is implied in this case the metric is Euclidean. But it is important to note that Cauchy sequences do not necessarily converge in other metrics.
$endgroup$
– Jair Taylor
Mar 11 at 23:45
$begingroup$
More importantly, this answer relies on the completeness of (and construction of) $mathbbR$ which is not trivial. But of course it is correct.
$endgroup$
– Jair Taylor
Mar 11 at 23:47
$begingroup$
More importantly, this answer relies on the completeness of (and construction of) $mathbbR$ which is not trivial. But of course it is correct.
$endgroup$
– Jair Taylor
Mar 11 at 23:47
add a comment |
$begingroup$
You have a solid argument for the main part, aside from the typo $|frac1sqrtn+1+sqrtn|$ in the second line (already noted in a comment).
After I did all this it got me thinking can you prove $x_n$ is not Cauchy? If so, how?
The definition of a Cauchy sequence refers not only to the difference between adjacent pairs of elements, but also the difference between pairs of elements any index distance apart - as long as they're both far enough out in the sequence.
Just eyeballing it, the square roots increase without bound; we should be able to find one that exceeds any particular target. So, then, given some $m$, can you find some larger $n$ with $sqrtn-sqrtm > 1$? A rule to do this would immediately contradict the Cauchy criterion for $epsilon=1$, and show the sequence isn't Cauchy.
Don't worry about being terribly precise here. We don't need the smallest $n$, just anything that works.
$endgroup$
$begingroup$
so if I chose n to be 1/4 or 1/8 would either of those work?
$endgroup$
– user597188
Mar 11 at 20:36
1
$begingroup$
Uh, what? $n$ is an integer. And, for the anti-Cauchy criterion we're trying to prove, it has to be greater than $m$.
$endgroup$
– jmerry
Mar 11 at 21:00
$begingroup$
sorry I meant like n/2$sqrtm$<1/4 or 1/8
$endgroup$
– user597188
Mar 11 at 21:07
$begingroup$
I still doubt that's what you mean; there's no reason to divide $n$ and $m$. Now, in what I wrote, the $1$ is arbitrary. We could replace it by $1/4$, or by $40$. But, whatever we do, it has to be a constant, not depending on $m$ at all.
$endgroup$
– jmerry
Mar 11 at 21:11
$begingroup$
So if I let $epsilon$ =1/4 id have (m-n)/( $sqrtm$ + $sqrtn$) $geq$ n/(2$sqrtm$) then $sqrtm$/2 - n/(2$sqrtm$) > 1/2-n/(2$sqrtm$) >1/2-1/4 > 1/4 which is what epsilon equals but how would I do it if I let epsilon=1?
$endgroup$
– user597188
Mar 11 at 21:18
|
show 2 more comments
$begingroup$
You have a solid argument for the main part, aside from the typo $|frac1sqrtn+1+sqrtn|$ in the second line (already noted in a comment).
After I did all this it got me thinking can you prove $x_n$ is not Cauchy? If so, how?
The definition of a Cauchy sequence refers not only to the difference between adjacent pairs of elements, but also the difference between pairs of elements any index distance apart - as long as they're both far enough out in the sequence.
Just eyeballing it, the square roots increase without bound; we should be able to find one that exceeds any particular target. So, then, given some $m$, can you find some larger $n$ with $sqrtn-sqrtm > 1$? A rule to do this would immediately contradict the Cauchy criterion for $epsilon=1$, and show the sequence isn't Cauchy.
Don't worry about being terribly precise here. We don't need the smallest $n$, just anything that works.
$endgroup$
$begingroup$
so if I chose n to be 1/4 or 1/8 would either of those work?
$endgroup$
– user597188
Mar 11 at 20:36
1
$begingroup$
Uh, what? $n$ is an integer. And, for the anti-Cauchy criterion we're trying to prove, it has to be greater than $m$.
$endgroup$
– jmerry
Mar 11 at 21:00
$begingroup$
sorry I meant like n/2$sqrtm$<1/4 or 1/8
$endgroup$
– user597188
Mar 11 at 21:07
$begingroup$
I still doubt that's what you mean; there's no reason to divide $n$ and $m$. Now, in what I wrote, the $1$ is arbitrary. We could replace it by $1/4$, or by $40$. But, whatever we do, it has to be a constant, not depending on $m$ at all.
$endgroup$
– jmerry
Mar 11 at 21:11
$begingroup$
So if I let $epsilon$ =1/4 id have (m-n)/( $sqrtm$ + $sqrtn$) $geq$ n/(2$sqrtm$) then $sqrtm$/2 - n/(2$sqrtm$) > 1/2-n/(2$sqrtm$) >1/2-1/4 > 1/4 which is what epsilon equals but how would I do it if I let epsilon=1?
$endgroup$
– user597188
Mar 11 at 21:18
|
show 2 more comments
$begingroup$
You have a solid argument for the main part, aside from the typo $|frac1sqrtn+1+sqrtn|$ in the second line (already noted in a comment).
After I did all this it got me thinking can you prove $x_n$ is not Cauchy? If so, how?
The definition of a Cauchy sequence refers not only to the difference between adjacent pairs of elements, but also the difference between pairs of elements any index distance apart - as long as they're both far enough out in the sequence.
Just eyeballing it, the square roots increase without bound; we should be able to find one that exceeds any particular target. So, then, given some $m$, can you find some larger $n$ with $sqrtn-sqrtm > 1$? A rule to do this would immediately contradict the Cauchy criterion for $epsilon=1$, and show the sequence isn't Cauchy.
Don't worry about being terribly precise here. We don't need the smallest $n$, just anything that works.
$endgroup$
You have a solid argument for the main part, aside from the typo $|frac1sqrtn+1+sqrtn|$ in the second line (already noted in a comment).
After I did all this it got me thinking can you prove $x_n$ is not Cauchy? If so, how?
The definition of a Cauchy sequence refers not only to the difference between adjacent pairs of elements, but also the difference between pairs of elements any index distance apart - as long as they're both far enough out in the sequence.
Just eyeballing it, the square roots increase without bound; we should be able to find one that exceeds any particular target. So, then, given some $m$, can you find some larger $n$ with $sqrtn-sqrtm > 1$? A rule to do this would immediately contradict the Cauchy criterion for $epsilon=1$, and show the sequence isn't Cauchy.
Don't worry about being terribly precise here. We don't need the smallest $n$, just anything that works.
answered Mar 11 at 19:56
jmerryjmerry
14.2k1629
14.2k1629
$begingroup$
so if I chose n to be 1/4 or 1/8 would either of those work?
$endgroup$
– user597188
Mar 11 at 20:36
1
$begingroup$
Uh, what? $n$ is an integer. And, for the anti-Cauchy criterion we're trying to prove, it has to be greater than $m$.
$endgroup$
– jmerry
Mar 11 at 21:00
$begingroup$
sorry I meant like n/2$sqrtm$<1/4 or 1/8
$endgroup$
– user597188
Mar 11 at 21:07
$begingroup$
I still doubt that's what you mean; there's no reason to divide $n$ and $m$. Now, in what I wrote, the $1$ is arbitrary. We could replace it by $1/4$, or by $40$. But, whatever we do, it has to be a constant, not depending on $m$ at all.
$endgroup$
– jmerry
Mar 11 at 21:11
$begingroup$
So if I let $epsilon$ =1/4 id have (m-n)/( $sqrtm$ + $sqrtn$) $geq$ n/(2$sqrtm$) then $sqrtm$/2 - n/(2$sqrtm$) > 1/2-n/(2$sqrtm$) >1/2-1/4 > 1/4 which is what epsilon equals but how would I do it if I let epsilon=1?
$endgroup$
– user597188
Mar 11 at 21:18
|
show 2 more comments
$begingroup$
so if I chose n to be 1/4 or 1/8 would either of those work?
$endgroup$
– user597188
Mar 11 at 20:36
1
$begingroup$
Uh, what? $n$ is an integer. And, for the anti-Cauchy criterion we're trying to prove, it has to be greater than $m$.
$endgroup$
– jmerry
Mar 11 at 21:00
$begingroup$
sorry I meant like n/2$sqrtm$<1/4 or 1/8
$endgroup$
– user597188
Mar 11 at 21:07
$begingroup$
I still doubt that's what you mean; there's no reason to divide $n$ and $m$. Now, in what I wrote, the $1$ is arbitrary. We could replace it by $1/4$, or by $40$. But, whatever we do, it has to be a constant, not depending on $m$ at all.
$endgroup$
– jmerry
Mar 11 at 21:11
$begingroup$
So if I let $epsilon$ =1/4 id have (m-n)/( $sqrtm$ + $sqrtn$) $geq$ n/(2$sqrtm$) then $sqrtm$/2 - n/(2$sqrtm$) > 1/2-n/(2$sqrtm$) >1/2-1/4 > 1/4 which is what epsilon equals but how would I do it if I let epsilon=1?
$endgroup$
– user597188
Mar 11 at 21:18
$begingroup$
so if I chose n to be 1/4 or 1/8 would either of those work?
$endgroup$
– user597188
Mar 11 at 20:36
$begingroup$
so if I chose n to be 1/4 or 1/8 would either of those work?
$endgroup$
– user597188
Mar 11 at 20:36
1
1
$begingroup$
Uh, what? $n$ is an integer. And, for the anti-Cauchy criterion we're trying to prove, it has to be greater than $m$.
$endgroup$
– jmerry
Mar 11 at 21:00
$begingroup$
Uh, what? $n$ is an integer. And, for the anti-Cauchy criterion we're trying to prove, it has to be greater than $m$.
$endgroup$
– jmerry
Mar 11 at 21:00
$begingroup$
sorry I meant like n/2$sqrtm$<1/4 or 1/8
$endgroup$
– user597188
Mar 11 at 21:07
$begingroup$
sorry I meant like n/2$sqrtm$<1/4 or 1/8
$endgroup$
– user597188
Mar 11 at 21:07
$begingroup$
I still doubt that's what you mean; there's no reason to divide $n$ and $m$. Now, in what I wrote, the $1$ is arbitrary. We could replace it by $1/4$, or by $40$. But, whatever we do, it has to be a constant, not depending on $m$ at all.
$endgroup$
– jmerry
Mar 11 at 21:11
$begingroup$
I still doubt that's what you mean; there's no reason to divide $n$ and $m$. Now, in what I wrote, the $1$ is arbitrary. We could replace it by $1/4$, or by $40$. But, whatever we do, it has to be a constant, not depending on $m$ at all.
$endgroup$
– jmerry
Mar 11 at 21:11
$begingroup$
So if I let $epsilon$ =1/4 id have (m-n)/( $sqrtm$ + $sqrtn$) $geq$ n/(2$sqrtm$) then $sqrtm$/2 - n/(2$sqrtm$) > 1/2-n/(2$sqrtm$) >1/2-1/4 > 1/4 which is what epsilon equals but how would I do it if I let epsilon=1?
$endgroup$
– user597188
Mar 11 at 21:18
$begingroup$
So if I let $epsilon$ =1/4 id have (m-n)/( $sqrtm$ + $sqrtn$) $geq$ n/(2$sqrtm$) then $sqrtm$/2 - n/(2$sqrtm$) > 1/2-n/(2$sqrtm$) >1/2-1/4 > 1/4 which is what epsilon equals but how would I do it if I let epsilon=1?
$endgroup$
– user597188
Mar 11 at 21:18
|
show 2 more comments
$begingroup$
Let $epsilon_0=frac13$. For all $ninmathbbN$ and $p=n$,
$$ |sqrtn+p-sqrt n|=(sqrt2-1)sqrt ngesqrt 2-1>epsilon_0. $$
Namely, $sqrtn$ is not Cauchy.
$endgroup$
add a comment |
$begingroup$
Let $epsilon_0=frac13$. For all $ninmathbbN$ and $p=n$,
$$ |sqrtn+p-sqrt n|=(sqrt2-1)sqrt ngesqrt 2-1>epsilon_0. $$
Namely, $sqrtn$ is not Cauchy.
$endgroup$
add a comment |
$begingroup$
Let $epsilon_0=frac13$. For all $ninmathbbN$ and $p=n$,
$$ |sqrtn+p-sqrt n|=(sqrt2-1)sqrt ngesqrt 2-1>epsilon_0. $$
Namely, $sqrtn$ is not Cauchy.
$endgroup$
Let $epsilon_0=frac13$. For all $ninmathbbN$ and $p=n$,
$$ |sqrtn+p-sqrt n|=(sqrt2-1)sqrt ngesqrt 2-1>epsilon_0. $$
Namely, $sqrtn$ is not Cauchy.
answered Mar 12 at 14:44
xpaulxpaul
23.3k24655
23.3k24655
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%2f3144113%2fshow-x-n-sqrtn-is-not-cauchy-sequence%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$
You made a typo, $|frac1sqrtn+1 + sqrtn|$ probably needs to be $|frac1sqrtn+1 + sqrtn|$. Your proof is correct. Note that for Cauchy you need that for any $m,ngeq n_0$: $|x_n-x_m|<epsilon$ which is not the case
$endgroup$
– Stan Tendijck
Mar 11 at 19:32