Ordered sets, complexes and the problem of compactification. (Q2595012)

Eine Familie \(\beta\) von Mengen \(B_i\) besitze die Eigenschaft endlichen Durchschnittes (finite intersection property), wenn keine endliche Teilfamilie von \(\beta\) einen leeren Durchschnitt besitzt. Verf. zeigt durch transfinite Induktion den folgenden für die Theorie kompakter topologischer Räume nützlichen Hilfssatz: Ist \(\beta\) eine Familie von Mengen \(B_i\) mit der Eigenschaft endlichen Durchschnittes, und ist jede Menge \(B_i\) die Vereinigungsmenge einer endlichen Mengenfamilie, \(B_i = \sum\limits_j A_{ij}\), so kann man eder Menge \(B_i\) eine Menge \(A_{ij(i)}\) derart zuordnen, daß die Familie der Mengen \(A_{ij(i)}\) auch diese Eigenschaft besitzt. Es folgen Anwendungen auf gewisse Kompaktheitsbegriffe, die von Verf. in einer früheren Note definiert worden sind (Proc. nat. Acad. Sci. USA 25 (1939), 52-54; F. d. M. 65, 876 (JFM 65.0876.*)). Insbesondere wird der Hilfssatz angewendet zum Beweis des bekannten Satzes von \textit{A. Tychonoff} (Math. Ann., Berlin, 102 (1929), 544-561; F. d. M. \(55_{\text{II}}\), 963), S. 553) für diese Begriffe, nach dem jeder Produktraum bikompakter Räume ist. Ferner Anwendung auf unendliche Komplexe und halbgeordnete Mengen. Verf. leitet daraus eine Methode her in Anlehnung an die Methode der Kompaktifizierung von \textit{H. Wallman} (Ann. Math., Princeton, (2) 39 (1938), 112-136; F. d. M. \(64_{\text{I}}\), 603), um einen beliebigen topologischen Raum durch neue Punkte derart zu erweitern, daß er in einem gewissen Sinn kompakt wird. Der Begriff des topologischen Raumes wird in dem besonderen Sinn benutzt, den Verf. in der genannten Note festgelegt hat.