Topologischer Raum/Normal/P-integrierbar/Stetige Funktionen mit kompakten Träger/Dicht/Fakt

Es sei ein normaler topologischer Raum und sei ein -endliches topologisch (kompakt) approximierbares Maß auf den Borel-Mengen von .

Dann ist der Raum der -wertigen stetigen Funktionen mit einem kompakten Träger ein dichter Untervektorraum im Lebesgueraum .