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)) |<ε
<=> (Re(zn)−Re(z))2+(Im(zn)−Im(z))2<ε
Wenn also # erfüllt ist , dann folgt auch
(Re(zn)−Re(z))2<ε
==> ∣Re(zn)−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.