Häufungspunkt a ist ja wohl so definiert:
In jeder ε-Umgebung von a liegt noch ein anderes
Element von M.
\(a_{n}\rightarrow a\) bedeutet doch :
Zu jedem ε>0 gibt es ein N, so dass für alle n>N
|| an - a|| < ε gilt. Und weil an≠a ist (Deshalb ist die
Folge aus M\{a} .) Folgt daraus doch gleich, dass
in jeder ε-Umgebung von a noch ein anderes
Element von M liegt, nämlich z.B. das aN+1.
Und umgekehrt: Wenn a ein Häufungspunkt von M ist,
dann nimm zu jedem n ein von a verschiedenes
Element aus der (1/n)-Umgebung von a. Das existiert,
da ein Häufungspunkt von M ist.
Dann hast du ein an ∈ M\{a} und die Folge der an
konvergiert gegen a.