◀ ▲ ▶Branches / Analysis / Proof

Proof

(related to Proposition: Sum of Convergent Complex Sequences)

Let \(\epsilon > 0\). By hypothesis, the complex sequences \((a_n)_{n\in\mathbb N}\) and \((b_n)_{n\in\mathbb N}\) are convergent to the limits \(\lim_{n\rightarrow\infty} a_n=a\) and \(\lim_{n\rightarrow\infty} b_n=b\). It follows that

1. there is an \(N(\epsilon)\in\mathbb N\) with \(|a_n - a| < \epsilon\) for all \(n > N(\epsilon)\), and that
2. there is an \(M(\epsilon)\in\mathbb N\) with \(|b_n - b| < \epsilon\) for all \(n > M(\epsilon)\).

Therefore, for all \(n > \max(N(\epsilon),M(\epsilon))\), it follows from triangle property of the absolute value that \[|(a_n + b_n) - (a + b)| \le |a_n - a| + |b_n - b| < \epsilon + \epsilon=2\epsilon.\]

Since \(\epsilon\) can be arbitrarily small chosen, it follows that

\[\lim_{n\rightarrow\infty} (a_n + b_n)=\lim_{n\rightarrow\infty} a_n + \lim_{n\rightarrow\infty} b_n= a + b.\]

Thank you to the contributors under CC BY-SA 4.0!

Github:

References

Bibliography

1. Forster Otto: "Analysis 1, Differential- und Integralrechnung einer Veränderlichen", Vieweg Studium, 1983