R^n/Borel-Mengen/Durch Quader erzeugt/Fakt/Beweis

Aus Wikiversity
Beweis

Wir beweisen den Zusatz. Es genügt zu zeigen, dass jede offene Menge im sich als eine abzählbare Vereinigung von achsenparallelen offenen Quadern mit rationalen Eckpunkten schreiben lässt. Da die Menge der rationalen Zahlen abzählbar ist, ist auch die Menge aller Quader mit rationalen Ecken abzählbar. Wir müssen daher nur zeigen, dass jede offene Menge eine Vereinigung von offenen achsenparallelen Quadern mit rationalen Ecken ist. Es sei dazu offen und sei ein Punkt. Daher gibt es ein , das wir rational wählen können, mit

Jede Koordinate ist eine reelle Zahl, und damit der Limes einer Folge von rationalen Zahlen. Sei

mit

für alle . Damit ist einerseits

und andererseits gilt für die Beziehung

also . Damit ist . Die Vereinigung dieser so konstruierten Quader ist genau .