Über einige Modifikationen einer vorgegebenen Topologie. (Q2595005)

In einer Menge \(P\) wird die Topologie \(u\) mit Hilfe folgender Hüllenaxiome \vskip0.4ex \line{\indent \rlap{1)}\hss \(u0=0\qquad 2)\;M\subset uM\qquad 3)\;M_1\subset M_2 \Rightarrow uM_1\subset uM_2\)\hss} \vskip0.4ex \noindent eingeführt (\textit{E. Čech}, Časopis mat. fys., Praha, 66 (1937), D 225-D 264; F. d. M. \(63_{\text{II}}\) 1170). Die Topologie \(u\) ist schwächer als die Topologie \(v\), falls \(uM\subset vM\) für jede Teilmenge \(M \subset P\) ist. Es sei \((P, u)\) ein topologischer Raum und \(Q \subset (P, u)\). Unter der oberen (unteren) \(f\)-Modifikation der Topologie \(u\) in bezug auf \(Q\) versteht man die schwächste (stärkste) Topologie von alten Topologien in \(P\) mit der Eigenschaft \(f\) in \(Q\), die stärker (schwächer) als die gegebene Topologie \(u\) sind. Verf. befaßt sich mit den folgenden fünf Eigenschaften \(f\): 1) \(u(M_1+ M_2) \subset uM_1 + uM_2\), 2) \(x =\prod U\), wobei \(U\) alle Umgebungen des Punktes \(x\) durchläuft, 3) \(u (M + K) \subset uM + K\) für jede endliche Teilmenge \(K\subset P\), 4) Zu jedem Punkte gibt es ein vollständiges System offener Umgebungen, 5) \( uuM \subset uM\). Es werden notwendige und hinreichende Bedingungen für die Existenz der \(f\)-Modifikation und auch einige Konstruktionen angegeben.