Reelle Zahlen/Disjunkte Vereinigung von halboffenen Intervallen/Mengen-Präring/Fakt/Beweis

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Beweis

Eine Teilmenge lässt sich genau dann als eine endliche Vereinigung von halboffenen Intervallen schreiben, wenn dies mit endlich vielen disjunkten halboffenen Teilmengen möglich ist, siehe Aufgabe. Die leere Menge ist das halboffene Interall (bzw. die leere Vereinigung). Die Abgeschlossenheit unter Vereinigungen ist klar. Sei und . Dann ist

Da eine Vereinigung von maximal zwei halboffenen Intervallen ist, folgt die Behauptung durch Induktion über .