\( \left(a_{n}\right)_{n \in \mathbb{N}} \) konvergiert gegen \( a \)
<=> Jede Teilfolge von \( \left(a_{n}\right)_{n \in \mathbb{N}} \) besitzt
eine gegen \( a \) konvergente Teilfolge.
"<==" Da die Folge selber eine Teilfolge ist und sich selbst als Teilfolge enthält
konvergiert sie gegen a.
"==>" \( \left(a_{n}\right)_{n \in \mathbb{N}} \) konvergiert gegen \( a \)
==> \( \forall ε > 0 ∃N \in \mathbb{N} n≥N ==> |a_n - a | \lt ε \)
Sei nun ε > 0 . Und (bk)k∈ℕ eine Teilfolge von (an)n∈ℕ
Dann gibt es ja zu jedem k ein n≥k so, dass bk=an .
Sei nun K so gewählt, dass für alle k≥K jedenfalls n≥N gilt.
Dann gilt für alle k≥K auch \( |a_n - a | \lt ε \).
Also konvergiert die Teilfolge gegen a.