Proof verification of $x_n = frac{2-cospi n}{2+cos pi n}$ does not have a limit using $varepsilon$ definition
up vote
2
down vote
favorite
Let:
$$
begin{cases}
x_n = frac{2-cospi n}{2+cos pi n} \
a = 3
end{cases}
$$
Prove that $a$ is not the limit of ${x_n}$ using $varepsilon$ definition.
Start with the definition of limit:
$$
lim_{nto infty}x_n = a stackrel{text{def}}{iff} {forall varepsilon > 0, exists N in mathbb N, forall n>N:|x_n - a| < varepsilon }
$$
Now negate that definition. For the sequence to not have a limit we have the following to be true:
$$
{exists varepsilon >0, forall N in mathbb N, exists n > N: |x_n - a| ge varepsilon}
$$
Try to find such epsilon. Since $n in mathbb N$ we have that for $kinmathbb N$:
$$
begin{equation}
|x_n| =
begin{cases}
3, & n=2k -1, \
{1over 3}, & n = 2k
end{cases}
end{equation}
$$
Now take for instance $varepsilon = 1$. With that $varepsilon$ for any $N$ we may find infinitely many $n$ such that $n > N text{and} |x_n -3| ge 1$. Thus the sequence does not have a limit.
I'm kindly asking to verify two things:
- The negation of limit definition
- The proof itself
Btw is it true that any periodic sequence doesn't have a limit?
Thank you!
calculus limits proof-verification epsilon-delta
add a comment |
up vote
2
down vote
favorite
Let:
$$
begin{cases}
x_n = frac{2-cospi n}{2+cos pi n} \
a = 3
end{cases}
$$
Prove that $a$ is not the limit of ${x_n}$ using $varepsilon$ definition.
Start with the definition of limit:
$$
lim_{nto infty}x_n = a stackrel{text{def}}{iff} {forall varepsilon > 0, exists N in mathbb N, forall n>N:|x_n - a| < varepsilon }
$$
Now negate that definition. For the sequence to not have a limit we have the following to be true:
$$
{exists varepsilon >0, forall N in mathbb N, exists n > N: |x_n - a| ge varepsilon}
$$
Try to find such epsilon. Since $n in mathbb N$ we have that for $kinmathbb N$:
$$
begin{equation}
|x_n| =
begin{cases}
3, & n=2k -1, \
{1over 3}, & n = 2k
end{cases}
end{equation}
$$
Now take for instance $varepsilon = 1$. With that $varepsilon$ for any $N$ we may find infinitely many $n$ such that $n > N text{and} |x_n -3| ge 1$. Thus the sequence does not have a limit.
I'm kindly asking to verify two things:
- The negation of limit definition
- The proof itself
Btw is it true that any periodic sequence doesn't have a limit?
Thank you!
calculus limits proof-verification epsilon-delta
$x_n=frac{1}{3}$ if n=even , and if n=odd $x_n=3$
– Dadrahm
Nov 22 at 15:54
@Dadrahm right, i've spotted that as well. It should be $3$ instead of $2$
– roman
Nov 22 at 15:55
add a comment |
up vote
2
down vote
favorite
up vote
2
down vote
favorite
Let:
$$
begin{cases}
x_n = frac{2-cospi n}{2+cos pi n} \
a = 3
end{cases}
$$
Prove that $a$ is not the limit of ${x_n}$ using $varepsilon$ definition.
Start with the definition of limit:
$$
lim_{nto infty}x_n = a stackrel{text{def}}{iff} {forall varepsilon > 0, exists N in mathbb N, forall n>N:|x_n - a| < varepsilon }
$$
Now negate that definition. For the sequence to not have a limit we have the following to be true:
$$
{exists varepsilon >0, forall N in mathbb N, exists n > N: |x_n - a| ge varepsilon}
$$
Try to find such epsilon. Since $n in mathbb N$ we have that for $kinmathbb N$:
$$
begin{equation}
|x_n| =
begin{cases}
3, & n=2k -1, \
{1over 3}, & n = 2k
end{cases}
end{equation}
$$
Now take for instance $varepsilon = 1$. With that $varepsilon$ for any $N$ we may find infinitely many $n$ such that $n > N text{and} |x_n -3| ge 1$. Thus the sequence does not have a limit.
I'm kindly asking to verify two things:
- The negation of limit definition
- The proof itself
Btw is it true that any periodic sequence doesn't have a limit?
Thank you!
calculus limits proof-verification epsilon-delta
Let:
$$
begin{cases}
x_n = frac{2-cospi n}{2+cos pi n} \
a = 3
end{cases}
$$
Prove that $a$ is not the limit of ${x_n}$ using $varepsilon$ definition.
Start with the definition of limit:
$$
lim_{nto infty}x_n = a stackrel{text{def}}{iff} {forall varepsilon > 0, exists N in mathbb N, forall n>N:|x_n - a| < varepsilon }
$$
Now negate that definition. For the sequence to not have a limit we have the following to be true:
$$
{exists varepsilon >0, forall N in mathbb N, exists n > N: |x_n - a| ge varepsilon}
$$
Try to find such epsilon. Since $n in mathbb N$ we have that for $kinmathbb N$:
$$
begin{equation}
|x_n| =
begin{cases}
3, & n=2k -1, \
{1over 3}, & n = 2k
end{cases}
end{equation}
$$
Now take for instance $varepsilon = 1$. With that $varepsilon$ for any $N$ we may find infinitely many $n$ such that $n > N text{and} |x_n -3| ge 1$. Thus the sequence does not have a limit.
I'm kindly asking to verify two things:
- The negation of limit definition
- The proof itself
Btw is it true that any periodic sequence doesn't have a limit?
Thank you!
calculus limits proof-verification epsilon-delta
calculus limits proof-verification epsilon-delta
asked Nov 22 at 15:49
roman
1,46111119
1,46111119
$x_n=frac{1}{3}$ if n=even , and if n=odd $x_n=3$
– Dadrahm
Nov 22 at 15:54
@Dadrahm right, i've spotted that as well. It should be $3$ instead of $2$
– roman
Nov 22 at 15:55
add a comment |
$x_n=frac{1}{3}$ if n=even , and if n=odd $x_n=3$
– Dadrahm
Nov 22 at 15:54
@Dadrahm right, i've spotted that as well. It should be $3$ instead of $2$
– roman
Nov 22 at 15:55
$x_n=frac{1}{3}$ if n=even , and if n=odd $x_n=3$
– Dadrahm
Nov 22 at 15:54
$x_n=frac{1}{3}$ if n=even , and if n=odd $x_n=3$
– Dadrahm
Nov 22 at 15:54
@Dadrahm right, i've spotted that as well. It should be $3$ instead of $2$
– roman
Nov 22 at 15:55
@Dadrahm right, i've spotted that as well. It should be $3$ instead of $2$
– roman
Nov 22 at 15:55
add a comment |
1 Answer
1
active
oldest
votes
up vote
1
down vote
accepted
The definition of the limit relies on finding an arbitrary $varepsilon >0$ but as small as you would like to, essentialy "reaching" zero thus $x_n to a$. Since you found a $varepsilon >0$ such that the sequence does not converge (meaning that $|x_n - a | geq epsilon$) then indeed the sequence does not have a limit.
Did OP really prove that, no matter what $a$ is chosen, there is an $x_n$ further than $1$ from $a$? [I think that would be straightforward from the formulas for $a_n$ depending on parity of $n$ that he put in post.]
– coffeemath
Nov 22 at 16:03
I don't see how $frac{sin(n)}{2^n}$ is periodic. What would be it's period?
– roman
Nov 22 at 16:04
1
@coffeemath but $a$ is given to equal $3$, do we really need to consider the case of "any" $a$?
– roman
Nov 22 at 16:10
@roman Sorry, I thought you meant a sequence involving periodic terms. As for the convergence part, your proof is correct. Since you are only interested for $a=3$ it is enough what you've done. The case of any $a$ determines just a wider form of limit.
– Rebellos
Nov 22 at 16:17
@coffeemath Since the OP is interested for the value of a supposed limit of $a=3$ he/she does not have to check for all the cases of limits $a in mathbb R$.
– Rebellos
Nov 22 at 16:18
|
show 2 more comments
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',
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%2f3009289%2fproof-verification-of-x-n-frac2-cos-pi-n2-cos-pi-n-does-not-have-a-l%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
up vote
1
down vote
accepted
The definition of the limit relies on finding an arbitrary $varepsilon >0$ but as small as you would like to, essentialy "reaching" zero thus $x_n to a$. Since you found a $varepsilon >0$ such that the sequence does not converge (meaning that $|x_n - a | geq epsilon$) then indeed the sequence does not have a limit.
Did OP really prove that, no matter what $a$ is chosen, there is an $x_n$ further than $1$ from $a$? [I think that would be straightforward from the formulas for $a_n$ depending on parity of $n$ that he put in post.]
– coffeemath
Nov 22 at 16:03
I don't see how $frac{sin(n)}{2^n}$ is periodic. What would be it's period?
– roman
Nov 22 at 16:04
1
@coffeemath but $a$ is given to equal $3$, do we really need to consider the case of "any" $a$?
– roman
Nov 22 at 16:10
@roman Sorry, I thought you meant a sequence involving periodic terms. As for the convergence part, your proof is correct. Since you are only interested for $a=3$ it is enough what you've done. The case of any $a$ determines just a wider form of limit.
– Rebellos
Nov 22 at 16:17
@coffeemath Since the OP is interested for the value of a supposed limit of $a=3$ he/she does not have to check for all the cases of limits $a in mathbb R$.
– Rebellos
Nov 22 at 16:18
|
show 2 more comments
up vote
1
down vote
accepted
The definition of the limit relies on finding an arbitrary $varepsilon >0$ but as small as you would like to, essentialy "reaching" zero thus $x_n to a$. Since you found a $varepsilon >0$ such that the sequence does not converge (meaning that $|x_n - a | geq epsilon$) then indeed the sequence does not have a limit.
Did OP really prove that, no matter what $a$ is chosen, there is an $x_n$ further than $1$ from $a$? [I think that would be straightforward from the formulas for $a_n$ depending on parity of $n$ that he put in post.]
– coffeemath
Nov 22 at 16:03
I don't see how $frac{sin(n)}{2^n}$ is periodic. What would be it's period?
– roman
Nov 22 at 16:04
1
@coffeemath but $a$ is given to equal $3$, do we really need to consider the case of "any" $a$?
– roman
Nov 22 at 16:10
@roman Sorry, I thought you meant a sequence involving periodic terms. As for the convergence part, your proof is correct. Since you are only interested for $a=3$ it is enough what you've done. The case of any $a$ determines just a wider form of limit.
– Rebellos
Nov 22 at 16:17
@coffeemath Since the OP is interested for the value of a supposed limit of $a=3$ he/she does not have to check for all the cases of limits $a in mathbb R$.
– Rebellos
Nov 22 at 16:18
|
show 2 more comments
up vote
1
down vote
accepted
up vote
1
down vote
accepted
The definition of the limit relies on finding an arbitrary $varepsilon >0$ but as small as you would like to, essentialy "reaching" zero thus $x_n to a$. Since you found a $varepsilon >0$ such that the sequence does not converge (meaning that $|x_n - a | geq epsilon$) then indeed the sequence does not have a limit.
The definition of the limit relies on finding an arbitrary $varepsilon >0$ but as small as you would like to, essentialy "reaching" zero thus $x_n to a$. Since you found a $varepsilon >0$ such that the sequence does not converge (meaning that $|x_n - a | geq epsilon$) then indeed the sequence does not have a limit.
edited Nov 22 at 16:16
answered Nov 22 at 15:56
Rebellos
13.9k31243
13.9k31243
Did OP really prove that, no matter what $a$ is chosen, there is an $x_n$ further than $1$ from $a$? [I think that would be straightforward from the formulas for $a_n$ depending on parity of $n$ that he put in post.]
– coffeemath
Nov 22 at 16:03
I don't see how $frac{sin(n)}{2^n}$ is periodic. What would be it's period?
– roman
Nov 22 at 16:04
1
@coffeemath but $a$ is given to equal $3$, do we really need to consider the case of "any" $a$?
– roman
Nov 22 at 16:10
@roman Sorry, I thought you meant a sequence involving periodic terms. As for the convergence part, your proof is correct. Since you are only interested for $a=3$ it is enough what you've done. The case of any $a$ determines just a wider form of limit.
– Rebellos
Nov 22 at 16:17
@coffeemath Since the OP is interested for the value of a supposed limit of $a=3$ he/she does not have to check for all the cases of limits $a in mathbb R$.
– Rebellos
Nov 22 at 16:18
|
show 2 more comments
Did OP really prove that, no matter what $a$ is chosen, there is an $x_n$ further than $1$ from $a$? [I think that would be straightforward from the formulas for $a_n$ depending on parity of $n$ that he put in post.]
– coffeemath
Nov 22 at 16:03
I don't see how $frac{sin(n)}{2^n}$ is periodic. What would be it's period?
– roman
Nov 22 at 16:04
1
@coffeemath but $a$ is given to equal $3$, do we really need to consider the case of "any" $a$?
– roman
Nov 22 at 16:10
@roman Sorry, I thought you meant a sequence involving periodic terms. As for the convergence part, your proof is correct. Since you are only interested for $a=3$ it is enough what you've done. The case of any $a$ determines just a wider form of limit.
– Rebellos
Nov 22 at 16:17
@coffeemath Since the OP is interested for the value of a supposed limit of $a=3$ he/she does not have to check for all the cases of limits $a in mathbb R$.
– Rebellos
Nov 22 at 16:18
Did OP really prove that, no matter what $a$ is chosen, there is an $x_n$ further than $1$ from $a$? [I think that would be straightforward from the formulas for $a_n$ depending on parity of $n$ that he put in post.]
– coffeemath
Nov 22 at 16:03
Did OP really prove that, no matter what $a$ is chosen, there is an $x_n$ further than $1$ from $a$? [I think that would be straightforward from the formulas for $a_n$ depending on parity of $n$ that he put in post.]
– coffeemath
Nov 22 at 16:03
I don't see how $frac{sin(n)}{2^n}$ is periodic. What would be it's period?
– roman
Nov 22 at 16:04
I don't see how $frac{sin(n)}{2^n}$ is periodic. What would be it's period?
– roman
Nov 22 at 16:04
1
1
@coffeemath but $a$ is given to equal $3$, do we really need to consider the case of "any" $a$?
– roman
Nov 22 at 16:10
@coffeemath but $a$ is given to equal $3$, do we really need to consider the case of "any" $a$?
– roman
Nov 22 at 16:10
@roman Sorry, I thought you meant a sequence involving periodic terms. As for the convergence part, your proof is correct. Since you are only interested for $a=3$ it is enough what you've done. The case of any $a$ determines just a wider form of limit.
– Rebellos
Nov 22 at 16:17
@roman Sorry, I thought you meant a sequence involving periodic terms. As for the convergence part, your proof is correct. Since you are only interested for $a=3$ it is enough what you've done. The case of any $a$ determines just a wider form of limit.
– Rebellos
Nov 22 at 16:17
@coffeemath Since the OP is interested for the value of a supposed limit of $a=3$ he/she does not have to check for all the cases of limits $a in mathbb R$.
– Rebellos
Nov 22 at 16:18
@coffeemath Since the OP is interested for the value of a supposed limit of $a=3$ he/she does not have to check for all the cases of limits $a in mathbb R$.
– Rebellos
Nov 22 at 16:18
|
show 2 more comments
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%2f3009289%2fproof-verification-of-x-n-frac2-cos-pi-n2-cos-pi-n-does-not-have-a-l%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
$x_n=frac{1}{3}$ if n=even , and if n=odd $x_n=3$
– Dadrahm
Nov 22 at 15:54
@Dadrahm right, i've spotted that as well. It should be $3$ instead of $2$
– roman
Nov 22 at 15:55