Ideals and subrings of the ring of continuous functions. (Q2591597)

\(S\) sei ein kompakter metrisierbarer Raum, \(C(S)\) der Ring der komplexen, stetigen Funktionen \(\alpha(x)\) auf \(S\); \(C(S)\) ist ein topologischer Ring hinsichtlich der gleichmäßigen Konvergenz der \(\alpha(x)\). Jedes Ideal in \(C(S)\) ist Hauptideal. Ordnet man jedem Ideal die Menge aller Punkte zu, auf denen alle Funktionen des Ideals verschwinden, so erhält man eine eineindeutige Zuordnung der teilweise geordneten Menge aller Ideale von \(C(S)\) auf die abgeschlossenen Teilmengen von \(S\). Daraus folgt, daß zwei Räume \(S\) und \(S_1\) dann und nur dann homöomorph sind, wenn \(C(S)\) und \(C(S_1)\) stetig isomorph sind. Auch für gewisse abgeschlossene Teilringe von \(C(S)\) läßt sich eine eineindeutige Zuordnung zu den stetigen Zerlegungen von S feststellen (entsprechende Sätze auch bei \textit{M. H. Stone}, Trans. Amer. math. Soc. 40 (1937), 375-481; JFM 63.1173.*).