On rings of continuous functions on topological spaces. (Q2591598)

Die Ergebnisse der vorstehend besprochenen Note werden verallgemeinert. \(S\) sei ein total regulärer Raum, \(C(S)\) der Ring aller stetigen reellen Funktionen auf \(S\), \(C'(S)\) der aller beschränkten Funktionen aus \(C(S)\). Die Maximalideale in \(C(S)\) bzw. \(C'(S)\) bilden nach Topologisierung nach dem Vorbild von Stone Räume \(\gamma(S)\) bzw. \(\gamma'(S)\). Ist \(S\) bikompakt, so ist \(\gamma(S)= \gamma'(S)\) homöomorph zu \(S\); zwei bikompakte Räume \(S\) und \(S_1\) sind dann und nur dann homöomorph, wenn \(C(S)\) und \(C(S_1)\) algebraisch isomorph sind. Im allgemeinen Fall läßt sich \(S\) nach \textit{Čech} (Ann. Math., Princeton, (2) 38 (1937), 823-844; JFM 63.0570.*) in einen bikompakten Raum \(\beta S\) eindeutig einbetten. Es ist nun \(C'(S)\) isomorph zu \(C'(\beta S)\) und \(\gamma'(S)\) homöomorph zu \(\beta S\). Auch \(\gamma(S)\) ist homöomorph \(\beta S\). Erfüllen die Räume \(S\) und \(S_1\) das erste Abzählbarkeitsaxiom, so sind sie dann und nur dann homöomorph, wenn \(C'(S)\) und \(C'(S_1)\) oder wenn \(C(S)\) und \(C(S_1)\) isomorph sind.