Notes de tératopologie. II. (Q2595000)

Es werden folgende Sätze bewiesen: I (Satz von der stetigen Fortsetzbarkeit): Sei \(E\) ein beliebiger topologischer Raum, \(A\) ein überall dichter Teil, \(f\) eine auf \(A\) definierte Funktion mit Werten in einem regulären Raum \(E'\). Wenn für jedes \(x\) in \(E f(y)\) gegen einen Grenzwert \(\bar f (x)\) strebt, wenn \(y\) in \(A\) gegen \(x\) geht, so ist \(\bar f (x)\) eine stetige Fortsetzung von \(f\) von \(A\) auf ganz \(E\). II (Satz vom Doppellimes): Seien \(\mathfrak F_1\times\mathfrak F_2\) das Filterprodukt auf dem Mengenprodukt \(E = E_1 \times E_2\) eines Filters \(\mathfrak F_1\) auf \(E_1\) mit einem Filter \(\mathfrak F_2\) auf \(E_2\) und \(f\) eine in \(E\) erklärte Funktion mit Werten in einem regalaren Raum \(E'\). Ist \(x\) ein beliebiger Punkt von \(E_1\), so bezeichnet man mit \(f_x\) die in \(E_2\) durch \(f_x(y) = f (x, y)\) erklärte Funktion. Hat nun \(f_x\) für jedes \(x\) in \(E_1\) einen Limes \(g (x)\) nach dem Filter \(\mathfrak F_2\), hat andererseits \(f\) einen Limes \(a\) nach dem Filter \(\mathfrak F_1\times \mathfrak F_2\), so hat \(g(x)\) ebenfalls \(a\) als Limes nach dem Filter \(\mathfrak F_1\). Durch Aufstellung von Gegenbeispielen wird gezeigt, daß I und II nur für reguläre Räume \(E'\) gilt, also der Regularität von \(E'\) äquivalent sind.