a ist Häufungswert von (an)
==> Zu jeder ε-Umgebung von a gibt es
ein n∈ℕ mit an ∈ Uε(a) #
Setze für jedes k∈ℕ εk = 1/k und wähle als ak so
ein (nach # existierendes) an ∈ Uε(a) aus .
Auf diese Weise hast du eine gegen a konvergierende
Teilfolge (ak)k∈ℕ denn durch die beschriebene Wahl
ist ja sicher gestellt, dass alle ak auch Glieder von an sind.
Umgekehrt: Ist (ak)k∈ℕ eine gegen a konvergierende
Teilfolge von (an), dann gibt es zu jedem ε>0 ein
N so dass für alle k>N gilt ak ∈ Uε(a) .
Da (ak)k∈ℕ eine Teilfolge ist, sind die ak auch
Folgenglieder von an, also enthält Uε(a)
mindestens ein Folgenglied von an und somit ist a
ein Häufungspunkt von an.