Das gilt allgemein für topologische Räume, aber ihr bestrachte vermutlich zurzeit ohnehin nur mit Epsilontik.
Sei . Dann gibt es eine Folge von Punkten mit . Das ist per Definition glichbedeutend mit und . Da die und die liegen, folgt und also .
Sei umgekehrt also und . Dann gibt es Folgen mit . Die Folge konvergiert dann gegen und jedes Folgenglied liegt in . Also gilt .
|