Topologischer Raum/Kompakt/R/Algebra/Betrag/Fakt

Es sei ein kompakter topologischer Raum und eine abgeschlossene -Unteralgebra.

Dann gehört mit auch zu .