Ein kurzer Beweis des Angelic-Satzes für stetige Funktionen auf web- kompakten Räumen. (A short proof of the angelic theorem for continuous functions on web-compact spaces) (Q803870)

Im Jahre 1987 konnte J. Orihuela den Angelic-Charakter des Raumes der stetigen reellwertigen Funktionen C(X,\({\mathbb{R}})\) in der punktweisen Topologie für eine große Klasse von topologischen Räumen X etablieren. Diese Klasse, von ihm Klasse der web-kompakten Räume genannt, umfaßte nicht nur die Klasse der abzählbar bestimmten Räume, sondern auch all die Hausdorff-Räume, welche eine \(\sigma\)- relativ abzählbar kompakte, dichte Teilmenge besitzen. Die vorliegende Arbeit präsentiert einen einfachen Beweis für diesen Angelic-Satz. Der vorgestellte Beweis basiert auf der folgenden neuen Charakterisierung der web-kompakten Räume: Ein Hausdorff-Raum X ist web-kompakt genau dann, wenn eine dichte Teilmenge U von X und eine Semimetrik d: \(U\times U\to [0,1]\) mit den beiden nachstehenden Eigenschaften existieren: (i) Jede d-konvergente Folge in U ist relativ abzählbar kompakt in X; (ii) U ist separabel in Bezug auf die Semimetrik d.