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
 
Thread 'Video on imaginary numbers and some queries'
Hi, I was watching the following video. I found some points confusing. Could you please help me to understand the gaps? Thanks, in advance! Question 1: Around 4:22, the video says the following. So for those mathematicians, negative numbers didn't exist. You could subtract, that is find the difference between two positive quantities, but you couldn't have a negative answer or negative coefficients. Mathematicians were so averse to negative numbers that there was no single quadratic...
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...
Thread 'Unit Circle Double Angle Derivations'
Here I made a terrible mistake of assuming this to be an equilateral triangle and set 2sinx=1 => x=pi/6. Although this did derive the double angle formulas it also led into a terrible mess trying to find all the combinations of sides. I must have been tired and just assumed 6x=180 and 2sinx=1. By that time, I was so mindset that I nearly scolded a person for even saying 90-x. I wonder if this is a case of biased observation that seeks to dis credit me like Jesus of Nazareth since in reality...
Back
Top