Every 'decreasing' or 'increasing' infinite sequence whose sum converges contains at least one term of...
$begingroup$
Note on the title: This conjecture is not restricted to real numbers, 'decreasing' and 'increasing' were used because of the character limit. The actual conjecture is that every sequence whose terms strictly increase or decrease in magnitude contains at least one term whose magnitude is $0$.
Warning: the following contains a gratuitous excess of '$infty$' it is recommended that you be familiar with at least one of the following: extended real/complex numbers (projective real, hypereal, Riemann sphere, etc.), non-standard numbers, or "Indian" infinities (Jaina infinities, Bhaskara, etc.).
Let $mathbb{U}$ denote a universe (e.g. $mathbb{R}^n,mathbb{C},mathbb{H}setminusmathbb{R},ldots$ etc.), where $uinmathbb{U}implies |u|neqinfty$
Definition: finite - a number* $zinmathbb{U}$ is finite iff $|z|in(0,infty)$
Definition: infinitesimal - a number $zinmathbb{U}$ is infinitesimal iff $forall winmathbb{U}setminus{mathbb{U}_0}.|z|<|w|$, where $mathbb{U_0}$ is the additive identity (zero) of $mathbb{U}$
Definition: infinite - a number $zinmathbb{U}$ is infinite iff $forall winmathbb{U}.|z|>|w|$
Definition: convergence - the sum of an infinite sequence $Asubseteq mathbb{U}$ converges iff $sum Ainmathbb{U}$
Let $A$ be an infinite sequence in $mathbb{U}$, indexed by a set $Isubseteqmathbb{N}cup{infty}$ where:
$$A=bigcup_{iin I}{a_i}:qquadforall i,jin I.i<jimplies(|a_i|leq|a_j|oplus |a_i|geq|a_j|)$$
and where $lim_{ito n}a_i=a_n$, i.e. $A$ is equal to its own limit at every point and is strictly increasing xor decreasing in magnitude.
Conjecture:
$$sum_{iin I}a_iinmathbb{U}impliesexists kin I:|a_k|=0$$
Reasoning:
The sum of infinitely many finite numbers is always infinite (proof needed). Thus, if $A$ contains only finite terms, then the sum of $A$ does not converge.
If $a_1$ is finite and $A$ is increasing, then either all $ain A$ are finite, or $|a_infty|=infty$. In the case of the former, $sum A$ is the sum of infinitely many finite terms, and thus infinite. In the case of the latter, $A$ contains at least one infinite term, therefore $|sum A|=|a_1|+cdots+infty=infty$.
This is intuitively reinforced (though not proven) by treating the sum of $A$ as the integral of a continuous function.**
If $A$ is increasing and the sum of $A$ converges, then the first term must be infinitesimal. Since the magnitude of a number is given by a standard, real number, it follows that $|a_1|=0$.
If $A$ is decreasing and the sum of $A$ converges, then $|a_infty|=0$. Otherwise, $|a_infty|$ is finite, making all $ain A$ finite; if this were the case, then sum of $A$ would be the sum of $A$ would not converge.
While this is at least true for all integer sequences (unless there is a proof that the sum of an infinite sequence of increasing integers converges), I'm not absolutely certain that it holds for all sequences. If it does, the how should I prove this? Can I prove this?
I'm particularly skeptical about what would happen if I applied this to sequences of matrices or to sequenences with multiple infinite terms (e.g. where $|a_1|=|a_infty|=infty$ but $|a_1+a_infty|=0$)
*the term "number" can be replaced with "element" as this can also apply to the elements of any $mathbb{U}$ equipped with a unary operation $|cdot|:mathbb{U}tomathbb{R}cup{infty}$ for which $uinmathbb{U}implies|u|neqinfty$
**Imagine a function $f:mathbb{R}tomathbb{U}$ such that $ninmathbb{N}implies f(n)=a_n$ and $forall x,y,zinmathbb{R}. x<y<zimplies |f(x)|leq|f(y)|leq|f(z)|$. For any such function $int_0^infty f(x) dx=infty$, even if $f(infty)$ is finite (proof needed).
This is actually one way to show that $intfrac{1}{z} dx=ln{z}$.
sequences-and-series conjectures
asked Dec 21 '18 at 17:08
R. BurtonR. Burton
627110
$endgroup$
add a comment |
$begingroup$
Note on the title: This conjecture is not restricted to real numbers, 'decreasing' and 'increasing' were used because of the character limit. The actual conjecture is that every sequence whose terms strictly increase or decrease in magnitude contains at least one term whose magnitude is $0$.
Warning: the following contains a gratuitous excess of '$infty$' it is recommended that you be familiar with at least one of the following: extended real/complex numbers (projective real, hypereal, Riemann sphere, etc.), non-standard numbers, or "Indian" infinities (Jaina infinities, Bhaskara, etc.).
Let $mathbb{U}$ denote a universe (e.g. $mathbb{R}^n,mathbb{C},mathbb{H}setminusmathbb{R},ldots$ etc.), where $uinmathbb{U}implies |u|neqinfty$
Definition: finite - a number* $zinmathbb{U}$ is finite iff $|z|in(0,infty)$
Definition: infinitesimal - a number $zinmathbb{U}$ is infinitesimal iff $forall winmathbb{U}setminus{mathbb{U}_0}.|z|<|w|$, where $mathbb{U_0}$ is the additive identity (zero) of $mathbb{U}$
Definition: infinite - a number $zinmathbb{U}$ is infinite iff $forall winmathbb{U}.|z|>|w|$
Definition: convergence - the sum of an infinite sequence $Asubseteq mathbb{U}$ converges iff $sum Ainmathbb{U}$
Let $A$ be an infinite sequence in $mathbb{U}$, indexed by a set $Isubseteqmathbb{N}cup{infty}$ where:
$$A=bigcup_{iin I}{a_i}:qquadforall i,jin I.i<jimplies(|a_i|leq|a_j|oplus |a_i|geq|a_j|)$$
and where $lim_{ito n}a_i=a_n$, i.e. $A$ is equal to its own limit at every point and is strictly increasing xor decreasing in magnitude.
Conjecture:
$$sum_{iin I}a_iinmathbb{U}impliesexists kin I:|a_k|=0$$
Reasoning:
The sum of infinitely many finite numbers is always infinite (proof needed). Thus, if $A$ contains only finite terms, then the sum of $A$ does not converge.
If $a_1$ is finite and $A$ is increasing, then either all $ain A$ are finite, or $|a_infty|=infty$. In the case of the former, $sum A$ is the sum of infinitely many finite terms, and thus infinite. In the case of the latter, $A$ contains at least one infinite term, therefore $|sum A|=|a_1|+cdots+infty=infty$.
This is intuitively reinforced (though not proven) by treating the sum of $A$ as the integral of a continuous function.**
If $A$ is increasing and the sum of $A$ converges, then the first term must be infinitesimal. Since the magnitude of a number is given by a standard, real number, it follows that $|a_1|=0$.
If $A$ is decreasing and the sum of $A$ converges, then $|a_infty|=0$. Otherwise, $|a_infty|$ is finite, making all $ain A$ finite; if this were the case, then sum of $A$ would be the sum of $A$ would not converge.
While this is at least true for all integer sequences (unless there is a proof that the sum of an infinite sequence of increasing integers converges), I'm not absolutely certain that it holds for all sequences. If it does, the how should I prove this? Can I prove this?
I'm particularly skeptical about what would happen if I applied this to sequences of matrices or to sequenences with multiple infinite terms (e.g. where $|a_1|=|a_infty|=infty$ but $|a_1+a_infty|=0$)
*the term "number" can be replaced with "element" as this can also apply to the elements of any $mathbb{U}$ equipped with a unary operation $|cdot|:mathbb{U}tomathbb{R}cup{infty}$ for which $uinmathbb{U}implies|u|neqinfty$
**Imagine a function $f:mathbb{R}tomathbb{U}$ such that $ninmathbb{N}implies f(n)=a_n$ and $forall x,y,zinmathbb{R}. x<y<zimplies |f(x)|leq|f(y)|leq|f(z)|$. For any such function $int_0^infty f(x) dx=infty$, even if $f(infty)$ is finite (proof needed).
This is actually one way to show that $intfrac{1}{z} dx=ln{z}$.
sequences-and-series conjectures
asked Dec 21 '18 at 17:08
R. BurtonR. Burton
627110
$endgroup$
1
$begingroup$
And which is the infinitesimal number in the convergent series $sum_{n=1}^infty frac{1}{n^2}$?
$endgroup$
– N. S.
Dec 21 '18 at 17:11
$begingroup$
@N.S. the infinitesimal number is $0$. It is the $infty^text{th}$ term in the sequence. (following $frac{1}{infty^2}=0$)
$endgroup$
– R. Burton
Dec 21 '18 at 17:12
1
$begingroup$
"The sum of infinitely many finite numbers is infinite." This is false. $$1+frac12+frac14+frac18+cdots=2$$
$endgroup$
– saulspatz
Dec 21 '18 at 17:25
$begingroup$
You are assuming that $a_infty=lim_n a_n$, which is not necessary, see my answer.
$endgroup$
– N. S.
Dec 21 '18 at 17:26
$begingroup$
@saulspatz by the definitions given, the $infty^text{th}$ term of this summation is infinitesimal, not finite.
$endgroup$
– R. Burton
Dec 21 '18 at 17:26
add a comment |
$begingroup$
Note on the title: This conjecture is not restricted to real numbers, 'decreasing' and 'increasing' were used because of the character limit. The actual conjecture is that every sequence whose terms strictly increase or decrease in magnitude contains at least one term whose magnitude is $0$.
Warning: the following contains a gratuitous excess of '$infty$' it is recommended that you be familiar with at least one of the following: extended real/complex numbers (projective real, hypereal, Riemann sphere, etc.), non-standard numbers, or "Indian" infinities (Jaina infinities, Bhaskara, etc.).
Let $mathbb{U}$ denote a universe (e.g. $mathbb{R}^n,mathbb{C},mathbb{H}setminusmathbb{R},ldots$ etc.), where $uinmathbb{U}implies |u|neqinfty$
Definition: finite - a number* $zinmathbb{U}$ is finite iff $|z|in(0,infty)$
Definition: infinitesimal - a number $zinmathbb{U}$ is infinitesimal iff $forall winmathbb{U}setminus{mathbb{U}_0}.|z|<|w|$, where $mathbb{U_0}$ is the additive identity (zero) of $mathbb{U}$
Definition: infinite - a number $zinmathbb{U}$ is infinite iff $forall winmathbb{U}.|z|>|w|$
Definition: convergence - the sum of an infinite sequence $Asubseteq mathbb{U}$ converges iff $sum Ainmathbb{U}$
Let $A$ be an infinite sequence in $mathbb{U}$, indexed by a set $Isubseteqmathbb{N}cup{infty}$ where:
$$A=bigcup_{iin I}{a_i}:qquadforall i,jin I.i<jimplies(|a_i|leq|a_j|oplus |a_i|geq|a_j|)$$
and where $lim_{ito n}a_i=a_n$, i.e. $A$ is equal to its own limit at every point and is strictly increasing xor decreasing in magnitude.
Conjecture:
$$sum_{iin I}a_iinmathbb{U}impliesexists kin I:|a_k|=0$$
Reasoning:
The sum of infinitely many finite numbers is always infinite (proof needed). Thus, if $A$ contains only finite terms, then the sum of $A$ does not converge.
If $a_1$ is finite and $A$ is increasing, then either all $ain A$ are finite, or $|a_infty|=infty$. In the case of the former, $sum A$ is the sum of infinitely many finite terms, and thus infinite. In the case of the latter, $A$ contains at least one infinite term, therefore $|sum A|=|a_1|+cdots+infty=infty$.
This is intuitively reinforced (though not proven) by treating the sum of $A$ as the integral of a continuous function.**
If $A$ is increasing and the sum of $A$ converges, then the first term must be infinitesimal. Since the magnitude of a number is given by a standard, real number, it follows that $|a_1|=0$.
If $A$ is decreasing and the sum of $A$ converges, then $|a_infty|=0$. Otherwise, $|a_infty|$ is finite, making all $ain A$ finite; if this were the case, then sum of $A$ would be the sum of $A$ would not converge.
While this is at least true for all integer sequences (unless there is a proof that the sum of an infinite sequence of increasing integers converges), I'm not absolutely certain that it holds for all sequences. If it does, the how should I prove this? Can I prove this?
I'm particularly skeptical about what would happen if I applied this to sequences of matrices or to sequenences with multiple infinite terms (e.g. where $|a_1|=|a_infty|=infty$ but $|a_1+a_infty|=0$)
*the term "number" can be replaced with "element" as this can also apply to the elements of any $mathbb{U}$ equipped with a unary operation $|cdot|:mathbb{U}tomathbb{R}cup{infty}$ for which $uinmathbb{U}implies|u|neqinfty$
**Imagine a function $f:mathbb{R}tomathbb{U}$ such that $ninmathbb{N}implies f(n)=a_n$ and $forall x,y,zinmathbb{R}. x<y<zimplies |f(x)|leq|f(y)|leq|f(z)|$. For any such function $int_0^infty f(x) dx=infty$, even if $f(infty)$ is finite (proof needed).
This is actually one way to show that $intfrac{1}{z} dx=ln{z}$.
sequences-and-series conjectures
asked Dec 21 '18 at 17:08
R. BurtonR. Burton
627110
$endgroup$
Note on the title: This conjecture is not restricted to real numbers, 'decreasing' and 'increasing' were used because of the character limit. The actual conjecture is that every sequence whose terms strictly increase or decrease in magnitude contains at least one term whose magnitude is $0$.
Warning: the following contains a gratuitous excess of '$infty$' it is recommended that you be familiar with at least one of the following: extended real/complex numbers (projective real, hypereal, Riemann sphere, etc.), non-standard numbers, or "Indian" infinities (Jaina infinities, Bhaskara, etc.).
Let $mathbb{U}$ denote a universe (e.g. $mathbb{R}^n,mathbb{C},mathbb{H}setminusmathbb{R},ldots$ etc.), where $uinmathbb{U}implies |u|neqinfty$
Definition: finite - a number* $zinmathbb{U}$ is finite iff $|z|in(0,infty)$
Definition: infinitesimal - a number $zinmathbb{U}$ is infinitesimal iff $forall winmathbb{U}setminus{mathbb{U}_0}.|z|<|w|$, where $mathbb{U_0}$ is the additive identity (zero) of $mathbb{U}$
Definition: infinite - a number $zinmathbb{U}$ is infinite iff $forall winmathbb{U}.|z|>|w|$
Definition: convergence - the sum of an infinite sequence $Asubseteq mathbb{U}$ converges iff $sum Ainmathbb{U}$
Let $A$ be an infinite sequence in $mathbb{U}$, indexed by a set $Isubseteqmathbb{N}cup{infty}$ where:
$$A=bigcup_{iin I}{a_i}:qquadforall i,jin I.i<jimplies(|a_i|leq|a_j|oplus |a_i|geq|a_j|)$$
and where $lim_{ito n}a_i=a_n$, i.e. $A$ is equal to its own limit at every point and is strictly increasing xor decreasing in magnitude.
Conjecture:
$$sum_{iin I}a_iinmathbb{U}impliesexists kin I:|a_k|=0$$
Reasoning:
The sum of infinitely many finite numbers is always infinite (proof needed). Thus, if $A$ contains only finite terms, then the sum of $A$ does not converge.
If $a_1$ is finite and $A$ is increasing, then either all $ain A$ are finite, or $|a_infty|=infty$. In the case of the former, $sum A$ is the sum of infinitely many finite terms, and thus infinite. In the case of the latter, $A$ contains at least one infinite term, therefore $|sum A|=|a_1|+cdots+infty=infty$.
This is intuitively reinforced (though not proven) by treating the sum of $A$ as the integral of a continuous function.**
If $A$ is increasing and the sum of $A$ converges, then the first term must be infinitesimal. Since the magnitude of a number is given by a standard, real number, it follows that $|a_1|=0$.
If $A$ is decreasing and the sum of $A$ converges, then $|a_infty|=0$. Otherwise, $|a_infty|$ is finite, making all $ain A$ finite; if this were the case, then sum of $A$ would be the sum of $A$ would not converge.
While this is at least true for all integer sequences (unless there is a proof that the sum of an infinite sequence of increasing integers converges), I'm not absolutely certain that it holds for all sequences. If it does, the how should I prove this? Can I prove this?
I'm particularly skeptical about what would happen if I applied this to sequences of matrices or to sequenences with multiple infinite terms (e.g. where $|a_1|=|a_infty|=infty$ but $|a_1+a_infty|=0$)
*the term "number" can be replaced with "element" as this can also apply to the elements of any $mathbb{U}$ equipped with a unary operation $|cdot|:mathbb{U}tomathbb{R}cup{infty}$ for which $uinmathbb{U}implies|u|neqinfty$
**Imagine a function $f:mathbb{R}tomathbb{U}$ such that $ninmathbb{N}implies f(n)=a_n$ and $forall x,y,zinmathbb{R}. x<y<zimplies |f(x)|leq|f(y)|leq|f(z)|$. For any such function $int_0^infty f(x) dx=infty$, even if $f(infty)$ is finite (proof needed).
This is actually one way to show that $intfrac{1}{z} dx=ln{z}$.
sequences-and-series conjectures
sequences-and-series conjectures
asked Dec 21 '18 at 17:08
R. BurtonR. Burton
627110
asked Dec 21 '18 at 17:08
R. BurtonR. Burton
627110
edited Dec 21 '18 at 17:46
R. Burton
asked Dec 21 '18 at 17:08
R. BurtonR. Burton
627110
asked Dec 21 '18 at 17:08
R. BurtonR. Burton
627110
asked Dec 21 '18 at 17:08
R. BurtonR. Burton
627110
627110
1
$begingroup$
And which is the infinitesimal number in the convergent series $sum_{n=1}^infty frac{1}{n^2}$?
$endgroup$
– N. S.
Dec 21 '18 at 17:11
$begingroup$
@N.S. the infinitesimal number is $0$. It is the $infty^text{th}$ term in the sequence. (following $frac{1}{infty^2}=0$)
$endgroup$
– R. Burton
Dec 21 '18 at 17:12
1
$begingroup$
"The sum of infinitely many finite numbers is infinite." This is false. $$1+frac12+frac14+frac18+cdots=2$$
$endgroup$
– saulspatz
Dec 21 '18 at 17:25
$begingroup$
You are assuming that $a_infty=lim_n a_n$, which is not necessary, see my answer.
$endgroup$
– N. S.
Dec 21 '18 at 17:26
$begingroup$
@saulspatz by the definitions given, the $infty^text{th}$ term of this summation is infinitesimal, not finite.
$endgroup$
– R. Burton
Dec 21 '18 at 17:26
add a comment |
1
$begingroup$
And which is the infinitesimal number in the convergent series $sum_{n=1}^infty frac{1}{n^2}$?
$endgroup$
– N. S.
Dec 21 '18 at 17:11
$begingroup$
@N.S. the infinitesimal number is $0$. It is the $infty^text{th}$ term in the sequence. (following $frac{1}{infty^2}=0$)
$endgroup$
– R. Burton
Dec 21 '18 at 17:12
1
$begingroup$
"The sum of infinitely many finite numbers is infinite." This is false. $$1+frac12+frac14+frac18+cdots=2$$
$endgroup$
– saulspatz
Dec 21 '18 at 17:25
$begingroup$
You are assuming that $a_infty=lim_n a_n$, which is not necessary, see my answer.
$endgroup$
– N. S.
Dec 21 '18 at 17:26
$begingroup$
@saulspatz by the definitions given, the $infty^text{th}$ term of this summation is infinitesimal, not finite.
$endgroup$
– R. Burton
Dec 21 '18 at 17:26
1
1
$begingroup$
And which is the infinitesimal number in the convergent series $sum_{n=1}^infty frac{1}{n^2}$?
$endgroup$
– N. S.
Dec 21 '18 at 17:11
$begingroup$
And which is the infinitesimal number in the convergent series $sum_{n=1}^infty frac{1}{n^2}$?
$endgroup$
– N. S.
Dec 21 '18 at 17:11
$begingroup$
@N.S. the infinitesimal number is $0$. It is the $infty^text{th}$ term in the sequence. (following $frac{1}{infty^2}=0$)
$endgroup$
– R. Burton
Dec 21 '18 at 17:12
$begingroup$
@N.S. the infinitesimal number is $0$. It is the $infty^text{th}$ term in the sequence. (following $frac{1}{infty^2}=0$)
$endgroup$
– R. Burton
Dec 21 '18 at 17:12
1
1
$begingroup$
"The sum of infinitely many finite numbers is infinite." This is false. $$1+frac12+frac14+frac18+cdots=2$$
$endgroup$
– saulspatz
Dec 21 '18 at 17:25
$begingroup$
"The sum of infinitely many finite numbers is infinite." This is false. $$1+frac12+frac14+frac18+cdots=2$$
$endgroup$
– saulspatz
Dec 21 '18 at 17:25
$begingroup$
You are assuming that $a_infty=lim_n a_n$, which is not necessary, see my answer.
$endgroup$
– N. S.
Dec 21 '18 at 17:26
$begingroup$
You are assuming that $a_infty=lim_n a_n$, which is not necessary, see my answer.
$endgroup$
– N. S.
Dec 21 '18 at 17:26
$begingroup$
@saulspatz by the definitions given, the $infty^text{th}$ term of this summation is infinitesimal, not finite.
$endgroup$
– R. Burton
Dec 21 '18 at 17:26
$begingroup$
@saulspatz by the definitions given, the $infty^text{th}$ term of this summation is infinitesimal, not finite.
$endgroup$
– R. Burton
Dec 21 '18 at 17:26
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
I think there is a fundamental problem with this post, and that is you have abandoned all of the traditional definitions that we would use to discuss this claim. Not to be condescending, but your conjecture is not even wrong; if we can't agree on the definitions then there is no point in arguing over the veracity of your claim.
Take for example the comment on your post given by N.S.; given the sequence $f:mathbb{N}rightarrowmathbb{R}$ defined by $f(n)=1/n^2$, the series $sum_n f(n)$ converges and no term is $0$. There is no "infinitesimal" term, and there is no "$infty^{text{th}}$" element of the sequence.
EDIT: At the request of the OP, I am going to copy and past a lengthy discussion in the comments below into the answer proper.
To pursue this idea further, I would first abandon trying to consider arbitrary sets which have norms on them, and try to formulate your ideas first on $mathbb{R}$. You want to consider a very unique object, an "infinite sequence with a final term". There is nothing wrong with this idea, but I don't think it has a given name in most circles of mathematics. Allow me to name them hypersequences for the sake of this comment.
Hypersequences of reals are defined to be functions from the set $mathbb{N}∪{ω}$ (the natural numbers plus a symbol $omega$ which is larger than all naturals in the usual order) to the set of reals. Now you need to define what you mean by convergent hypersequences, what the "sum" of a hypersequence should be, etc. Basically rebuild calculus from the ground up on these new objects. Then, when you have a full accounting of all of the terms and definitions you want to use, attempt to prove that in this new setting, the sum of a convergent hypersequence whose terms either strictly increase or strictly decrease in norm must contain the element $0$.
Once you have a working theory on $mathbb{R}$, then you can ask yourself "what about this theory really needed to be about the reals?". Assuming that you didn't use any properties specific to the reals, it should then be really easy to generalize to any set that has a notion of magnitude (which should probably just be the idea of a norm).
answered Dec 21 '18 at 17:26
DanielOfJackDanielOfJack
1763
$endgroup$
$begingroup$
The only reason the definitions were written this way was to avoid taking up space clarifying exactly which sequences this refers to. If you disregard the existence of an $infty^text{th}$ term, it just makes the problem more difficult. The labeling was meant to be pragmatic.
$endgroup$
– R. Burton
Dec 21 '18 at 17:31
$begingroup$
@R.Burton It is not about diregarding the existence of an $infty^{text{th}}$ term; the definition of a sequence simply does not have such a term. Sequences are functions from $mathbb{N}$ to some other set; a sequence of reals would be a function from naturals to reals, a sequence of complex numbers would be a function from naturals to complex numbers, etc. And the point is that there is no such natural number as $infty$.
$endgroup$
– DanielOfJack
Dec 21 '18 at 17:33
1
$begingroup$
@R.Burton I would first abandon trying to consider arbitrary sets which have norms on them, and try to formulate your ideas first on $mathbb{R}$. You want to consider a very unique object, an "infinite sequence with a final term". There is nothing wrong with this idea, but I don't think it has a given name in most circles of mathematics. Allow me to name them hypersequences for the sake of this comment. Hypersequences of reals are defined to be functions from the set $mathbb{N}cup{omega}$ (the natural numbers plus a symbol $omega$ which is larger than all naturals in the usual order)
$endgroup$
– DanielOfJack
Dec 21 '18 at 17:46
1
$begingroup$
@R.Burton to the set of reals. Now you need to define what you mean by convergent hypersequences, what the "sum" of a hypersequence should be, etc. Basically rebuild calculus from the ground up on these new objects. Then, when you have a full accounting of all of the terms and definitions you want to use, attempt to prove that in this new setting, the sum of a hypersequence whose terms either strictly increase or strictly decrease in norm must contain the element $0$.
$endgroup$
– DanielOfJack
Dec 21 '18 at 17:49
1
$begingroup$
@R.Burton Once you have a working theory on $mathbb{R}$, then you can ask yourself "what about this theory really needed to be about the reals?". Assuming that you didn't use any properties specific to the reals, it should then be really easy to generalize to any set that has a notion of magnitude (which should probably just be the idea of a norm).
$endgroup$
– DanielOfJack
Dec 21 '18 at 17:52
|
show 3 more comments
$begingroup$
The answer is no. Here is a counterexample:
$$a_n= frac{1}{n^2} mbox{ if } nneq infty \
a_infty=-1$$
In your comment you assumed that $a_infty= lim_n a_n$ which is not necesarily true. If you add this extra assumption, then your Conjecture is just the divergence test for series, and it is true in each Banach space.
answered Dec 21 '18 at 17:25
N. S.N. S.
104k7114209
$endgroup$
$begingroup$
Fair enough, I will edit the question. I still need to prove it, though, and this should apply outside of Banach spaces as well (to some extent).
$endgroup$
– R. Burton
Dec 21 '18 at 17:40
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%2f3048705%2fevery-decreasing-or-increasing-infinite-sequence-whose-sum-converges-contain%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 there is a fundamental problem with this post, and that is you have abandoned all of the traditional definitions that we would use to discuss this claim. Not to be condescending, but your conjecture is not even wrong; if we can't agree on the definitions then there is no point in arguing over the veracity of your claim.
Take for example the comment on your post given by N.S.; given the sequence $f:mathbb{N}rightarrowmathbb{R}$ defined by $f(n)=1/n^2$, the series $sum_n f(n)$ converges and no term is $0$. There is no "infinitesimal" term, and there is no "$infty^{text{th}}$" element of the sequence.
EDIT: At the request of the OP, I am going to copy and past a lengthy discussion in the comments below into the answer proper.
To pursue this idea further, I would first abandon trying to consider arbitrary sets which have norms on them, and try to formulate your ideas first on $mathbb{R}$. You want to consider a very unique object, an "infinite sequence with a final term". There is nothing wrong with this idea, but I don't think it has a given name in most circles of mathematics. Allow me to name them hypersequences for the sake of this comment.
Hypersequences of reals are defined to be functions from the set $mathbb{N}∪{ω}$ (the natural numbers plus a symbol $omega$ which is larger than all naturals in the usual order) to the set of reals. Now you need to define what you mean by convergent hypersequences, what the "sum" of a hypersequence should be, etc. Basically rebuild calculus from the ground up on these new objects. Then, when you have a full accounting of all of the terms and definitions you want to use, attempt to prove that in this new setting, the sum of a convergent hypersequence whose terms either strictly increase or strictly decrease in norm must contain the element $0$.
Once you have a working theory on $mathbb{R}$, then you can ask yourself "what about this theory really needed to be about the reals?". Assuming that you didn't use any properties specific to the reals, it should then be really easy to generalize to any set that has a notion of magnitude (which should probably just be the idea of a norm).
answered Dec 21 '18 at 17:26
DanielOfJackDanielOfJack
1763
$endgroup$
$begingroup$
The only reason the definitions were written this way was to avoid taking up space clarifying exactly which sequences this refers to. If you disregard the existence of an $infty^text{th}$ term, it just makes the problem more difficult. The labeling was meant to be pragmatic.
$endgroup$
– R. Burton
Dec 21 '18 at 17:31
$begingroup$
@R.Burton It is not about diregarding the existence of an $infty^{text{th}}$ term; the definition of a sequence simply does not have such a term. Sequences are functions from $mathbb{N}$ to some other set; a sequence of reals would be a function from naturals to reals, a sequence of complex numbers would be a function from naturals to complex numbers, etc. And the point is that there is no such natural number as $infty$.
$endgroup$
– DanielOfJack
Dec 21 '18 at 17:33
1
$begingroup$
@R.Burton I would first abandon trying to consider arbitrary sets which have norms on them, and try to formulate your ideas first on $mathbb{R}$. You want to consider a very unique object, an "infinite sequence with a final term". There is nothing wrong with this idea, but I don't think it has a given name in most circles of mathematics. Allow me to name them hypersequences for the sake of this comment. Hypersequences of reals are defined to be functions from the set $mathbb{N}cup{omega}$ (the natural numbers plus a symbol $omega$ which is larger than all naturals in the usual order)
$endgroup$
– DanielOfJack
Dec 21 '18 at 17:46
1
$begingroup$
@R.Burton to the set of reals. Now you need to define what you mean by convergent hypersequences, what the "sum" of a hypersequence should be, etc. Basically rebuild calculus from the ground up on these new objects. Then, when you have a full accounting of all of the terms and definitions you want to use, attempt to prove that in this new setting, the sum of a hypersequence whose terms either strictly increase or strictly decrease in norm must contain the element $0$.
$endgroup$
– DanielOfJack
Dec 21 '18 at 17:49
1
$begingroup$
@R.Burton Once you have a working theory on $mathbb{R}$, then you can ask yourself "what about this theory really needed to be about the reals?". Assuming that you didn't use any properties specific to the reals, it should then be really easy to generalize to any set that has a notion of magnitude (which should probably just be the idea of a norm).
$endgroup$
– DanielOfJack
Dec 21 '18 at 17:52
|
show 3 more comments
$begingroup$
I think there is a fundamental problem with this post, and that is you have abandoned all of the traditional definitions that we would use to discuss this claim. Not to be condescending, but your conjecture is not even wrong; if we can't agree on the definitions then there is no point in arguing over the veracity of your claim.
Take for example the comment on your post given by N.S.; given the sequence $f:mathbb{N}rightarrowmathbb{R}$ defined by $f(n)=1/n^2$, the series $sum_n f(n)$ converges and no term is $0$. There is no "infinitesimal" term, and there is no "$infty^{text{th}}$" element of the sequence.
EDIT: At the request of the OP, I am going to copy and past a lengthy discussion in the comments below into the answer proper.
To pursue this idea further, I would first abandon trying to consider arbitrary sets which have norms on them, and try to formulate your ideas first on $mathbb{R}$. You want to consider a very unique object, an "infinite sequence with a final term". There is nothing wrong with this idea, but I don't think it has a given name in most circles of mathematics. Allow me to name them hypersequences for the sake of this comment.
Hypersequences of reals are defined to be functions from the set $mathbb{N}∪{ω}$ (the natural numbers plus a symbol $omega$ which is larger than all naturals in the usual order) to the set of reals. Now you need to define what you mean by convergent hypersequences, what the "sum" of a hypersequence should be, etc. Basically rebuild calculus from the ground up on these new objects. Then, when you have a full accounting of all of the terms and definitions you want to use, attempt to prove that in this new setting, the sum of a convergent hypersequence whose terms either strictly increase or strictly decrease in norm must contain the element $0$.
Once you have a working theory on $mathbb{R}$, then you can ask yourself "what about this theory really needed to be about the reals?". Assuming that you didn't use any properties specific to the reals, it should then be really easy to generalize to any set that has a notion of magnitude (which should probably just be the idea of a norm).
answered Dec 21 '18 at 17:26
DanielOfJackDanielOfJack
1763
$endgroup$
$begingroup$
The only reason the definitions were written this way was to avoid taking up space clarifying exactly which sequences this refers to. If you disregard the existence of an $infty^text{th}$ term, it just makes the problem more difficult. The labeling was meant to be pragmatic.
$endgroup$
– R. Burton
Dec 21 '18 at 17:31
$begingroup$
@R.Burton It is not about diregarding the existence of an $infty^{text{th}}$ term; the definition of a sequence simply does not have such a term. Sequences are functions from $mathbb{N}$ to some other set; a sequence of reals would be a function from naturals to reals, a sequence of complex numbers would be a function from naturals to complex numbers, etc. And the point is that there is no such natural number as $infty$.
$endgroup$
– DanielOfJack
Dec 21 '18 at 17:33
1
$begingroup$
@R.Burton I would first abandon trying to consider arbitrary sets which have norms on them, and try to formulate your ideas first on $mathbb{R}$. You want to consider a very unique object, an "infinite sequence with a final term". There is nothing wrong with this idea, but I don't think it has a given name in most circles of mathematics. Allow me to name them hypersequences for the sake of this comment. Hypersequences of reals are defined to be functions from the set $mathbb{N}cup{omega}$ (the natural numbers plus a symbol $omega$ which is larger than all naturals in the usual order)
$endgroup$
– DanielOfJack
Dec 21 '18 at 17:46
1
$begingroup$
@R.Burton to the set of reals. Now you need to define what you mean by convergent hypersequences, what the "sum" of a hypersequence should be, etc. Basically rebuild calculus from the ground up on these new objects. Then, when you have a full accounting of all of the terms and definitions you want to use, attempt to prove that in this new setting, the sum of a hypersequence whose terms either strictly increase or strictly decrease in norm must contain the element $0$.
$endgroup$
– DanielOfJack
Dec 21 '18 at 17:49
1
$begingroup$
@R.Burton Once you have a working theory on $mathbb{R}$, then you can ask yourself "what about this theory really needed to be about the reals?". Assuming that you didn't use any properties specific to the reals, it should then be really easy to generalize to any set that has a notion of magnitude (which should probably just be the idea of a norm).
$endgroup$
– DanielOfJack
Dec 21 '18 at 17:52
|
show 3 more comments
$begingroup$
I think there is a fundamental problem with this post, and that is you have abandoned all of the traditional definitions that we would use to discuss this claim. Not to be condescending, but your conjecture is not even wrong; if we can't agree on the definitions then there is no point in arguing over the veracity of your claim.
Take for example the comment on your post given by N.S.; given the sequence $f:mathbb{N}rightarrowmathbb{R}$ defined by $f(n)=1/n^2$, the series $sum_n f(n)$ converges and no term is $0$. There is no "infinitesimal" term, and there is no "$infty^{text{th}}$" element of the sequence.
EDIT: At the request of the OP, I am going to copy and past a lengthy discussion in the comments below into the answer proper.
To pursue this idea further, I would first abandon trying to consider arbitrary sets which have norms on them, and try to formulate your ideas first on $mathbb{R}$. You want to consider a very unique object, an "infinite sequence with a final term". There is nothing wrong with this idea, but I don't think it has a given name in most circles of mathematics. Allow me to name them hypersequences for the sake of this comment.
Hypersequences of reals are defined to be functions from the set $mathbb{N}∪{ω}$ (the natural numbers plus a symbol $omega$ which is larger than all naturals in the usual order) to the set of reals. Now you need to define what you mean by convergent hypersequences, what the "sum" of a hypersequence should be, etc. Basically rebuild calculus from the ground up on these new objects. Then, when you have a full accounting of all of the terms and definitions you want to use, attempt to prove that in this new setting, the sum of a convergent hypersequence whose terms either strictly increase or strictly decrease in norm must contain the element $0$.
Once you have a working theory on $mathbb{R}$, then you can ask yourself "what about this theory really needed to be about the reals?". Assuming that you didn't use any properties specific to the reals, it should then be really easy to generalize to any set that has a notion of magnitude (which should probably just be the idea of a norm).
answered Dec 21 '18 at 17:26
DanielOfJackDanielOfJack
1763
$endgroup$
I think there is a fundamental problem with this post, and that is you have abandoned all of the traditional definitions that we would use to discuss this claim. Not to be condescending, but your conjecture is not even wrong; if we can't agree on the definitions then there is no point in arguing over the veracity of your claim.
Take for example the comment on your post given by N.S.; given the sequence $f:mathbb{N}rightarrowmathbb{R}$ defined by $f(n)=1/n^2$, the series $sum_n f(n)$ converges and no term is $0$. There is no "infinitesimal" term, and there is no "$infty^{text{th}}$" element of the sequence.
EDIT: At the request of the OP, I am going to copy and past a lengthy discussion in the comments below into the answer proper.
To pursue this idea further, I would first abandon trying to consider arbitrary sets which have norms on them, and try to formulate your ideas first on $mathbb{R}$. You want to consider a very unique object, an "infinite sequence with a final term". There is nothing wrong with this idea, but I don't think it has a given name in most circles of mathematics. Allow me to name them hypersequences for the sake of this comment.
Hypersequences of reals are defined to be functions from the set $mathbb{N}∪{ω}$ (the natural numbers plus a symbol $omega$ which is larger than all naturals in the usual order) to the set of reals. Now you need to define what you mean by convergent hypersequences, what the "sum" of a hypersequence should be, etc. Basically rebuild calculus from the ground up on these new objects. Then, when you have a full accounting of all of the terms and definitions you want to use, attempt to prove that in this new setting, the sum of a convergent hypersequence whose terms either strictly increase or strictly decrease in norm must contain the element $0$.
Once you have a working theory on $mathbb{R}$, then you can ask yourself "what about this theory really needed to be about the reals?". Assuming that you didn't use any properties specific to the reals, it should then be really easy to generalize to any set that has a notion of magnitude (which should probably just be the idea of a norm).
answered Dec 21 '18 at 17:26
DanielOfJackDanielOfJack
1763
edited Dec 21 '18 at 17:55
answered Dec 21 '18 at 17:26
DanielOfJackDanielOfJack
1763
answered Dec 21 '18 at 17:26
DanielOfJackDanielOfJack
1763
answered Dec 21 '18 at 17:26
DanielOfJackDanielOfJack
1763
1763
$begingroup$
The only reason the definitions were written this way was to avoid taking up space clarifying exactly which sequences this refers to. If you disregard the existence of an $infty^text{th}$ term, it just makes the problem more difficult. The labeling was meant to be pragmatic.
$endgroup$
– R. Burton
Dec 21 '18 at 17:31
$begingroup$
@R.Burton It is not about diregarding the existence of an $infty^{text{th}}$ term; the definition of a sequence simply does not have such a term. Sequences are functions from $mathbb{N}$ to some other set; a sequence of reals would be a function from naturals to reals, a sequence of complex numbers would be a function from naturals to complex numbers, etc. And the point is that there is no such natural number as $infty$.
$endgroup$
– DanielOfJack
Dec 21 '18 at 17:33
1
$begingroup$
@R.Burton I would first abandon trying to consider arbitrary sets which have norms on them, and try to formulate your ideas first on $mathbb{R}$. You want to consider a very unique object, an "infinite sequence with a final term". There is nothing wrong with this idea, but I don't think it has a given name in most circles of mathematics. Allow me to name them hypersequences for the sake of this comment. Hypersequences of reals are defined to be functions from the set $mathbb{N}cup{omega}$ (the natural numbers plus a symbol $omega$ which is larger than all naturals in the usual order)
$endgroup$
– DanielOfJack
Dec 21 '18 at 17:46
1
$begingroup$
@R.Burton to the set of reals. Now you need to define what you mean by convergent hypersequences, what the "sum" of a hypersequence should be, etc. Basically rebuild calculus from the ground up on these new objects. Then, when you have a full accounting of all of the terms and definitions you want to use, attempt to prove that in this new setting, the sum of a hypersequence whose terms either strictly increase or strictly decrease in norm must contain the element $0$.
$endgroup$
– DanielOfJack
Dec 21 '18 at 17:49
1
$begingroup$
@R.Burton Once you have a working theory on $mathbb{R}$, then you can ask yourself "what about this theory really needed to be about the reals?". Assuming that you didn't use any properties specific to the reals, it should then be really easy to generalize to any set that has a notion of magnitude (which should probably just be the idea of a norm).
$endgroup$
– DanielOfJack
Dec 21 '18 at 17:52
|
show 3 more comments
$begingroup$
The only reason the definitions were written this way was to avoid taking up space clarifying exactly which sequences this refers to. If you disregard the existence of an $infty^text{th}$ term, it just makes the problem more difficult. The labeling was meant to be pragmatic.
$endgroup$
– R. Burton
Dec 21 '18 at 17:31
$begingroup$
@R.Burton It is not about diregarding the existence of an $infty^{text{th}}$ term; the definition of a sequence simply does not have such a term. Sequences are functions from $mathbb{N}$ to some other set; a sequence of reals would be a function from naturals to reals, a sequence of complex numbers would be a function from naturals to complex numbers, etc. And the point is that there is no such natural number as $infty$.
$endgroup$
– DanielOfJack
Dec 21 '18 at 17:33
1
$begingroup$
@R.Burton I would first abandon trying to consider arbitrary sets which have norms on them, and try to formulate your ideas first on $mathbb{R}$. You want to consider a very unique object, an "infinite sequence with a final term". There is nothing wrong with this idea, but I don't think it has a given name in most circles of mathematics. Allow me to name them hypersequences for the sake of this comment. Hypersequences of reals are defined to be functions from the set $mathbb{N}cup{omega}$ (the natural numbers plus a symbol $omega$ which is larger than all naturals in the usual order)
$endgroup$
– DanielOfJack
Dec 21 '18 at 17:46
1
$begingroup$
@R.Burton to the set of reals. Now you need to define what you mean by convergent hypersequences, what the "sum" of a hypersequence should be, etc. Basically rebuild calculus from the ground up on these new objects. Then, when you have a full accounting of all of the terms and definitions you want to use, attempt to prove that in this new setting, the sum of a hypersequence whose terms either strictly increase or strictly decrease in norm must contain the element $0$.
$endgroup$
– DanielOfJack
Dec 21 '18 at 17:49
1
$begingroup$
@R.Burton Once you have a working theory on $mathbb{R}$, then you can ask yourself "what about this theory really needed to be about the reals?". Assuming that you didn't use any properties specific to the reals, it should then be really easy to generalize to any set that has a notion of magnitude (which should probably just be the idea of a norm).
$endgroup$
– DanielOfJack
Dec 21 '18 at 17:52
$begingroup$
The only reason the definitions were written this way was to avoid taking up space clarifying exactly which sequences this refers to. If you disregard the existence of an $infty^text{th}$ term, it just makes the problem more difficult. The labeling was meant to be pragmatic.
$endgroup$
– R. Burton
Dec 21 '18 at 17:31
$begingroup$
The only reason the definitions were written this way was to avoid taking up space clarifying exactly which sequences this refers to. If you disregard the existence of an $infty^text{th}$ term, it just makes the problem more difficult. The labeling was meant to be pragmatic.
$endgroup$
– R. Burton
Dec 21 '18 at 17:31
$begingroup$
@R.Burton It is not about diregarding the existence of an $infty^{text{th}}$ term; the definition of a sequence simply does not have such a term. Sequences are functions from $mathbb{N}$ to some other set; a sequence of reals would be a function from naturals to reals, a sequence of complex numbers would be a function from naturals to complex numbers, etc. And the point is that there is no such natural number as $infty$.
$endgroup$
– DanielOfJack
Dec 21 '18 at 17:33
$begingroup$
@R.Burton It is not about diregarding the existence of an $infty^{text{th}}$ term; the definition of a sequence simply does not have such a term. Sequences are functions from $mathbb{N}$ to some other set; a sequence of reals would be a function from naturals to reals, a sequence of complex numbers would be a function from naturals to complex numbers, etc. And the point is that there is no such natural number as $infty$.
$endgroup$
– DanielOfJack
Dec 21 '18 at 17:33
1
1
$begingroup$
@R.Burton I would first abandon trying to consider arbitrary sets which have norms on them, and try to formulate your ideas first on $mathbb{R}$. You want to consider a very unique object, an "infinite sequence with a final term". There is nothing wrong with this idea, but I don't think it has a given name in most circles of mathematics. Allow me to name them hypersequences for the sake of this comment. Hypersequences of reals are defined to be functions from the set $mathbb{N}cup{omega}$ (the natural numbers plus a symbol $omega$ which is larger than all naturals in the usual order)
$endgroup$
– DanielOfJack
Dec 21 '18 at 17:46
$begingroup$
@R.Burton I would first abandon trying to consider arbitrary sets which have norms on them, and try to formulate your ideas first on $mathbb{R}$. You want to consider a very unique object, an "infinite sequence with a final term". There is nothing wrong with this idea, but I don't think it has a given name in most circles of mathematics. Allow me to name them hypersequences for the sake of this comment. Hypersequences of reals are defined to be functions from the set $mathbb{N}cup{omega}$ (the natural numbers plus a symbol $omega$ which is larger than all naturals in the usual order)
$endgroup$
– DanielOfJack
Dec 21 '18 at 17:46
1
1
$begingroup$
@R.Burton to the set of reals. Now you need to define what you mean by convergent hypersequences, what the "sum" of a hypersequence should be, etc. Basically rebuild calculus from the ground up on these new objects. Then, when you have a full accounting of all of the terms and definitions you want to use, attempt to prove that in this new setting, the sum of a hypersequence whose terms either strictly increase or strictly decrease in norm must contain the element $0$.
$endgroup$
– DanielOfJack
Dec 21 '18 at 17:49
$begingroup$
@R.Burton to the set of reals. Now you need to define what you mean by convergent hypersequences, what the "sum" of a hypersequence should be, etc. Basically rebuild calculus from the ground up on these new objects. Then, when you have a full accounting of all of the terms and definitions you want to use, attempt to prove that in this new setting, the sum of a hypersequence whose terms either strictly increase or strictly decrease in norm must contain the element $0$.
$endgroup$
– DanielOfJack
Dec 21 '18 at 17:49
1
1
$begingroup$
@R.Burton Once you have a working theory on $mathbb{R}$, then you can ask yourself "what about this theory really needed to be about the reals?". Assuming that you didn't use any properties specific to the reals, it should then be really easy to generalize to any set that has a notion of magnitude (which should probably just be the idea of a norm).
$endgroup$
– DanielOfJack
Dec 21 '18 at 17:52
$begingroup$
@R.Burton Once you have a working theory on $mathbb{R}$, then you can ask yourself "what about this theory really needed to be about the reals?". Assuming that you didn't use any properties specific to the reals, it should then be really easy to generalize to any set that has a notion of magnitude (which should probably just be the idea of a norm).
$endgroup$
– DanielOfJack
Dec 21 '18 at 17:52
|
show 3 more comments
$begingroup$
The answer is no. Here is a counterexample:
$$a_n= frac{1}{n^2} mbox{ if } nneq infty \
a_infty=-1$$
In your comment you assumed that $a_infty= lim_n a_n$ which is not necesarily true. If you add this extra assumption, then your Conjecture is just the divergence test for series, and it is true in each Banach space.
answered Dec 21 '18 at 17:25
N. S.N. S.
104k7114209
$endgroup$
$begingroup$
Fair enough, I will edit the question. I still need to prove it, though, and this should apply outside of Banach spaces as well (to some extent).
$endgroup$
– R. Burton
Dec 21 '18 at 17:40
add a comment |
$begingroup$
The answer is no. Here is a counterexample:
$$a_n= frac{1}{n^2} mbox{ if } nneq infty \
a_infty=-1$$
In your comment you assumed that $a_infty= lim_n a_n$ which is not necesarily true. If you add this extra assumption, then your Conjecture is just the divergence test for series, and it is true in each Banach space.
answered Dec 21 '18 at 17:25
N. S.N. S.
104k7114209
$endgroup$
$begingroup$
Fair enough, I will edit the question. I still need to prove it, though, and this should apply outside of Banach spaces as well (to some extent).
$endgroup$
– R. Burton
Dec 21 '18 at 17:40
add a comment |
$begingroup$
The answer is no. Here is a counterexample:
$$a_n= frac{1}{n^2} mbox{ if } nneq infty \
a_infty=-1$$
In your comment you assumed that $a_infty= lim_n a_n$ which is not necesarily true. If you add this extra assumption, then your Conjecture is just the divergence test for series, and it is true in each Banach space.
answered Dec 21 '18 at 17:25
N. S.N. S.
104k7114209
$endgroup$
The answer is no. Here is a counterexample:
$$a_n= frac{1}{n^2} mbox{ if } nneq infty \
a_infty=-1$$
In your comment you assumed that $a_infty= lim_n a_n$ which is not necesarily true. If you add this extra assumption, then your Conjecture is just the divergence test for series, and it is true in each Banach space.
answered Dec 21 '18 at 17:25
N. S.N. S.
104k7114209
answered Dec 21 '18 at 17:25
N. S.N. S.
104k7114209
answered Dec 21 '18 at 17:25
N. S.N. S.
104k7114209
answered Dec 21 '18 at 17:25
N. S.N. S.
104k7114209
104k7114209
$begingroup$
Fair enough, I will edit the question. I still need to prove it, though, and this should apply outside of Banach spaces as well (to some extent).
$endgroup$
– R. Burton
Dec 21 '18 at 17:40
add a comment |
$begingroup$
Fair enough, I will edit the question. I still need to prove it, though, and this should apply outside of Banach spaces as well (to some extent).
$endgroup$
– R. Burton
Dec 21 '18 at 17:40
$begingroup$
Fair enough, I will edit the question. I still need to prove it, though, and this should apply outside of Banach spaces as well (to some extent).
$endgroup$
– R. Burton
Dec 21 '18 at 17:40
$begingroup$
Fair enough, I will edit the question. I still need to prove it, though, and this should apply outside of Banach spaces as well (to some extent).
$endgroup$
– R. Burton
Dec 21 '18 at 17:40
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%2f3048705%2fevery-decreasing-or-increasing-infinite-sequence-whose-sum-converges-contain%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
1
$begingroup$
And which is the infinitesimal number in the convergent series $sum_{n=1}^infty frac{1}{n^2}$?
$endgroup$
– N. S.
Dec 21 '18 at 17:11
$begingroup$
@N.S. the infinitesimal number is $0$. It is the $infty^text{th}$ term in the sequence. (following $frac{1}{infty^2}=0$)
$endgroup$
– R. Burton
Dec 21 '18 at 17:12
1
$begingroup$
"The sum of infinitely many finite numbers is infinite." This is false. $$1+frac12+frac14+frac18+cdots=2$$
$endgroup$
– saulspatz
Dec 21 '18 at 17:25
$begingroup$
You are assuming that $a_infty=lim_n a_n$, which is not necessary, see my answer.
$endgroup$
– N. S.
Dec 21 '18 at 17:26
$begingroup$
@saulspatz by the definitions given, the $infty^text{th}$ term of this summation is infinitesimal, not finite.
$endgroup$
– R. Burton
Dec 21 '18 at 17:26