Definition: Sequence
[2.2.3] Definition: Convergence of a Sequence
Intuitively, this can also be written as \(\displaystyle \lim_{n\to\infty}a_n = a\). So as \(n\) gets larger, \(a_n\) gets closer to \(a\). But we define it this way because we want to be precises. Next, we define what \(|a_n - a| \leq \epsilon\) is?
Definition: Epsilon Neighborhood of \(a\)
\(V_{\epsilon}(a)\) is an interval around \(a\) consisting of all the points whose distance from \(a\) is less than \(\epsilon\). So the earlier definition of convergence asserts that after some \(N\), the sequence ends up in that \(\epsilon\) neighborhood of \(L\).
Definition: Convergence of a Sequence: (Topological Version)
One note here as mentioned in the book. This value of \(N\) will really depend on the value of \(\epsilon\) we choose. If we choose a small \(\epsilon\), then we expect \(N\) to be larger.
Definition: Uniqueness of Limits
This will certainly require a proof!
Definition: Divergence
We know that a sequence converges to \(L\) if for all \(\epsilon > 0\), there exists \(N \in \mathbb{N}\) such that some tail of the sequence in the interval \((L-\epsilon, L+\epsilon)\).
The negation of this statement is as follows:
A sequence does not converge to \(L\) if there exists some \(\epsilon\) such that for all tails of the sequence, the tail will not be inside the interval \((L-\epsilon, L+\epsilon)\). So it doesn’t matter where the tail starts, for that specific \(\epsilon\), this tail will never be fully contained in that interval. In other words, for all \(N \in \mathbb{N}\), there is some \(n > N\) such that \(n \not\in (L-\epsilon, L+\epsilon)\). (So no matter what \(N\) we choose, we can always pick some \(n > N\) where the sequence will no longer be in that interval)
Now, a sequence diverges if it doesn’t converge for any \(L\).
As a quick example, take \(\{1,2,3,4,\cdots\}\). Suppose for it converges to \(100\). Pick \(\epsilon = 1\). The converges definition says that there exists an \(N\) such that for any \(n > N\), \(n\) falls into \((99,101)\). We will show that this is false by showing that for every \(N\), there is some \(n > N\), where \(n\) doesn’t fall in the interval. Pick \(n = N + 101\), then for any \(N\), we can see that \(n = N+101\) is always outside the interval. Hence, the sequence doesn’t converge to \(L=100\).
[2.3.1] Definition: Bounded Sequences
For the proof see this.
[2.3.2] Convergent Sequences
For the proof see this.
Definition: Increasing, Decreasing and Monotone Sequences
[2.4.2] Monotone Convergence Theorem
For the proof see this.