lim n -> unendl.: zn = z
<=> Zu jedem ε>0 gibt es ein N∈ℕ mit n>N ==> |zn - z | <ε. #
|zn - z | <ε <=> | Re(zn) + i*Im(zn) - ( Re(z) + i*Im(z)) |<ε
<=> | (Re(zn) - Re(z)) + i*(Im(zn) - Im(z)) |<ε
<=> \( \sqrt{ (Re(z_n) - Re(z))^2 + (Im(z_n) - Im(z))^2 }<ε \)
Wenn also # erfüllt ist , dann folgt auch
\( \sqrt{ (Re(z_n) - Re(z))^2 } <ε \)
==> \( | Re(z_n) - Re(z) | <ε \) also lim n -> unendl.: Re zn = Re z
Entsprechend auch lim n -> unendl.: Im zn = Im z
Bei der Umkehrung für die beiden mit ε/2 arbeiten.