Borel-Lebesgue/Kompakt/Enthält offene Teilmenge/Positives Maß/Aufgabe

Aus Wikiversity

Es sei , , eine kompakte Teilmenge, die eine nichtleere offene Teilmenge umfasse. Zeige

.