Topologischer Raum/Kompakt/R/Algebra/Maximum/Fakt

Aus Wikiversity

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

Dann gehören mit und auch  und zu .