R^n/Kompakte Teilmenge/Volumen/Monotonie und endliche Vereinigung/Fakt/Beweis

Beweis

Wir argumentieren über die Überpflasterungseigenschaft im Sinne von Fakt. Die Eigenschaft (1) ist klar, da eine Quaderüberpflasterung der größeren Menge insbesondere eine Überpflasterung der kleineren Menge ist.

Zum Beweis von (2) können wir uns auf zwei kompakte Teilmengen und beschränken. Nehmen wir an, dass die Aussage nicht stimmt, sei also

Es sei die Differenz. Wir können das Volumen von durch eine Quaderüberpflasterung , , bis auf einen Fehler und ebenso das Volumen von durch eine Quaderüberpflasterung , , bis auf einen Fehler approximieren. Die Vereinigung der beiden Quaderüberpflasterungen ist eine Quaderüberpflasterung von mit einem Fehler von maximal . Das ergibt einen Widerspruch.

(3) folgt direkt aus (1) und (2).