Definitions for divergence

  • #1
1,462
44
The general definition for a sequence to diverge is the negation of what it means for a sequence to converge: ##\forall L\in\mathbb{R}~\exists\epsilon>0~\forall N\in\mathbb{N}~\exists n\ge N##, ##|a_n - L| \ge \epsilon##. How does this general definition of divergence relate to the definition of a sequence diverging specifically to infinity, which is ##\forall M \in \mathbb{R} ~ \exists N \in \mathbb{N} \forall n \ge N##, ##a_n > M##?
 

Answers and Replies

  • #2
andrewkirk
Science Advisor
Homework Helper
Insights Author
Gold Member
3,893
1,460
The second is a sub-case of the first, so if the second criteria is met, so will the first be. That needs to be proved. It is not difficult. The reverse implication does not hold. Oscillating sequences are a counterexample.
 
  • #3
1,462
44
The second is a sub-case of the first, so if the second criteria is met, so will the first be. That needs to be proved. It is not difficult. The reverse implication does not hold. Oscillating sequences are a counterexample.
How would I go about showing that the second criteria implies the first, out of curiosity? I tried to take a stab at it, but I got buried by the quantifiers...

EDIT: Actually, maybe I see how to do. If we argue by contradiction we see that ##a_n## must converge, and so is bounded. But that contradicts the fact that it is unbounded...
 
  • #4
RPinPA
Science Advisor
Homework Helper
571
319
Not quite formally: Let L be any real number and M any number M > L. Define ##M - L = \epsilon##. Then eventually all ##a_n > M## which certainly meets the condition ##|a_n - L| \geq \epsilon##
 

Related Threads on Definitions for divergence

Replies
2
Views
2K
  • Last Post
Replies
3
Views
11K
  • Last Post
Replies
13
Views
1K
  • Last Post
Replies
4
Views
924
  • Last Post
Replies
4
Views
1K
  • Last Post
Replies
2
Views
2K
  • Last Post
Replies
11
Views
785
M
  • Last Post
Replies
4
Views
2K
  • Last Post
Replies
11
Views
2K
Top