Zum Inhalt springen

R^n/Kompakte Teilmenge/Volumen/Disjunkte Vereinigung/Formel aus Überpflasterung/Fakt/Beweis

Aus Wikiversity
Beweis

Die Abschätzung folgt aus Fakt  (2).

Für die andere Abschätzung sei eine Überpflasterung von gegeben. Aufgrund der Disjunktheit und der Kompaktheit gibt es einen positiven Abstand zwischen den beiden Mengen, d.h. es gibt ein derart, dass für alle , , ist. Einen Quader aus der Überpflasterung, der beide Teilmengen schneidet, kann man dann in endlich viele Quader unterteilen, sodass diese zu (mindestens) einer der beiden Mengen disjunkt sind. So erreicht man eine Verfeinerung der Überpflasterung mit der gleichen Quadervolumensumme, deren Quader jeweils nur eine Teilmenge treffen. Daher ist die Volumensumme dieser Überpflasterung gleich der Summe der Volumensumme der beiden Teilüberpflasterungen und damit mindestens so groß wie .