A Question about the Alternating Series Test

AI Thread Summary
The discussion centers on the Alternating Series Test and the implications of dropping the condition that the sequence Z is decreasing. A proposed approach involves using a sequence where odd terms are from a convergent series of positive terms, while even terms come from the divergent harmonic series. This combination suggests that the alternating series will diverge because the positive contributions do not converge to zero while the negative contributions do. The challenge lies in correctly indexing the terms of the series. The insights shared highlight the importance of understanding the behavior of convergent and divergent sequences in this context.
mscudder3
Messages
29
Reaction score
0
The definition I am working from is "Let Z=(z(sub n)) be a decreasing sequence of strictly positive numbers with lim(Z)=0. Then the alternating series, Sum(((-1)^n)*Z) is convergent.

My question is how to solve the following:
If the hypothesis that Z is decreasing is dropped, show the Alternating Series Test may fail.

I am aware of a proof utilizing some Z that is also alternating, but this breaks the condition that Z is strictly positive. I am unaware of an such sequence that has a limit of 0, all elements of the series are positive, yet is divergent.

This question is due within 10 hours. Please help!
 
Physics news on Phys.org
Look at a sequence whose odd terms are a convergent sequence of positive terms, like a geometric series and whose even terms are the terms of the divergent harmonic series {1/n}. The alternating sequence of negative odd terms and positive even terms should diverge. Intuitively this is because what is begin taken away reaches a limit while what is being added doesn't.

It will be a slight nuisance to get the indexing written correctly. I think harmonic terms will be \frac{1}{ (n/2)+1} , for n = 0,2,4,...
 
Thanks!

I never really assessed the thought of a limit being reached while another series (running in parallel) continued decreasing. I appreciate the quick input!
 
I was reading documentation about the soundness and completeness of logic formal systems. Consider the following $$\vdash_S \phi$$ where ##S## is the proof-system making part the formal system and ##\phi## is a wff (well formed formula) of the formal language. Note the blank on left of the turnstile symbol ##\vdash_S##, as far as I can tell it actually represents the empty set. So what does it mean ? I guess it actually means ##\phi## is a theorem of the formal system, i.e. there is a...
Back
Top