On the concept of a topological space. (Q2592928)

Verf. stellt sich die Aufgabe, eine Definition des topologischen Raumes zu entwickeln derart, daß in ihm die Unterscheidung zwischen beschränkten und nichtbeschränkten Teilen möglich ist. Genauer gesagt sei \(\varSigma\) eine Menge von Dingen; man betrachte eine Gesamtheit \(\varGamma\) von Untermengen von \(\varSigma\), die der folgenden Bedingung genügen: Die Leermenge, die Summe zweier Mengen aus \(\varGamma\) und der Durchschnitt irgendeiner Gesamtheit von Mengen aus \(\varGamma\) gehören immer zu \(\varGamma\). Dann entsteht aus \(\varSigma\) ein topologischer Raum \(S\), für den die Elemente von \(\varGamma\) die abgeschlossenen und beschränkten Teile sind. Eine Menge von \(S\) heißt abgeschlossen, wenn ihr Durchschnitt mit jeder abgeschlossenen und beschränkten Menge von \(S\) abgeschlossen und beschränkt ist. Weiterhin werden die Begriffe der offenen Mengen, der abgeschlossenen Hülle einer Menge, der beschränkten Mengen (d. h. derjenigen, deren abgeschlossene Hülle abgeschlossen und beschränkt ist), der \(T_0\)-, \(T_1\)-, \(T_2\)-Räume, der Semibikompaktheit und der Bikompaktheit eines Raumes, der Stetigkeit und der Vollstetigkeit einer Transformation und des Homöomorphismus zwischen zwei Räumen entwickelt. Die vorangehenden Begriffsbildungen können mit Nutzen in der vom Verf. schon entwickelten Theorie: ``A theory of connectivity in terms of gratings.'' [Ann. Math. (2) 39, 883--912 (1938; JFM 64.0602.01; Zbl 0019.37401) verwandt werden. Weiteres Referat im Zbl 0020.16702.