Why Doesn't the Sequence 2,0,2,0,2,0 Converge?

AI Thread Summary
The discussion centers on the convergence of the sequence 2,0,2,0,2,0, with participants expressing frustration over the lack of formal theorem references in their textbook. It is emphasized that a sequence converges to a limit L if, beyond a certain point, all terms are arbitrarily close to L, which is illustrated using the epsilon definition. The sequence in question does not converge because its alternating terms, 2 and 0, cannot both be close to the same limit. A suggestion is made to use indirect proof and the triangle inequality to demonstrate the sequence's divergence. Overall, the conversation highlights the tension between intuitive understanding and formal mathematical proof requirements.
meemoe_uk
Messages
124
Reaction score
0
Hi everyone,
I'm doing a course which contains foundation work on convergence.
I was suprised to see the book I am using uses phrases such as...
" This sequence clearly doesn`t converge "
for sequences such as 2,0,2,0,2,0,2,0...
I was expecting it to say something like " By theorem 4.5, this sequence doesn`t converge "
I wouldn`t feel comfortable writing " This sequence clearly doesn`t converge " if, in an exam, I got a question which said " Prove that 2,0,2,0,2,0 doesn`t converge ".
Can anyone point me to basic theorems on convergence which are used to tackle simple questions like this?
 
Mathematics news on Phys.org
I don't (like your book) see any reason to appeal to a "theorem".
When your text says "clearly" what it means is that it follows directly from the definition.

A sequence of numbers {an} converges to a limit, L, if, by going far enough on the sequence all the numbers past that point are arbitrarily close to L. Formally: for any [epsilon]>0, there exist an integer N such that if n> N, |an-L|< [epsilon].
("n> N" is "far enough on the sequence", "|an-L|" measures the distance from an to L and "< [epsilon]" is the "arbitrarily close" part.)

Take [epsilon]= 1/2. Two consecutive terms are 2 and 0 and they can't both be with distance 1/2 of anything.
 
Well, if I wanted to decide if 2,0,2,0,2 converged then I wouldn`t need to study a bunch of theorems to convince myself it didn`t, because it is clear to my intuition that it doesn`t. But I can`t just write that in an exam. Since I started this maths degree, there's been loads of questions I've been confronted with where the answers are so blatently obvious that I feel like writing " Because it just bloody is! OK? ", but you can`t write that. You've got to apply the fundamental theorems.

Have you attempted a direct proof in what you've written?
Looks OK, part from the last line.
If there's no theorem to fall back on, then I spose I'd have to construct one myself, maybe with induction method.

I like the way you write "theorem", like you think it's a word I've made up.
 
Have you attempted a direct proof in what you've written?

Do an indirect proof.

Suppose both 2 and 0 are within distance 1/2 of L.
IOW |2 - L| < 1/2 and |L - 0| < 1/2
Now apply the triangle inequality:
2 = |2 - 0| = |2 - L + L - 0| < |2 - L| + |L - 0| < 1/2 + 1/2 = 1
So 2 < 1
So the supposition was false, and both 2 and 0 cannot be within distance 1/2 from the same number.

(the triangle inequality is one of your best friends when working with &epsilon;-&delta; proofs)
 
Thanks hurkyl
 
Suppose ,instead of the usual x,y coordinate system with an I basis vector along the x -axis and a corresponding j basis vector along the y-axis we instead have a different pair of basis vectors ,call them e and f along their respective axes. I have seen that this is an important subject in maths My question is what physical applications does such a model apply to? I am asking here because I have devoted quite a lot of time in the past to understanding convectors and the dual...
Insights auto threads is broken atm, so I'm manually creating these for new Insight articles. In Dirac’s Principles of Quantum Mechanics published in 1930 he introduced a “convenient notation” he referred to as a “delta function” which he treated as a continuum analog to the discrete Kronecker delta. The Kronecker delta is simply the indexed components of the identity operator in matrix algebra Source: https://www.physicsforums.com/insights/what-exactly-is-diracs-delta-function/ by...
Back
Top