Sur l'axiomatique des espaces de Hausdorff. (Q2584336)

Verf. führt eine Hausdorffsche Topologie vermöge des Begrenzung- und Randbegriffs ein. Es bedeute \(f_1(X) = \overline H\,\cdot\, \overline {1-X}\), \(f_2 (X) = (1 - X) \cdot f_1 (X)\). Es bedeute weiter \(\alpha _i\), \(i = 1, 2\) die Aussage: Ist \(a_1\in f_i(A)\), \(a_2\in f_i(A)\), \(a_1\neq a_2\) so gibt es eine Zerlegung \(A = A_1 + A_2\), \(A_1\cdot A_2 = 0\) derart, daß \(a_1\not\in f_i(A_2)\), \(a_2\not\in f_i(A_1)\). Es gilt der Satz: Genügt ein Fréchetscher Raum \((V)\) der \(2^\circ \) Bedingung von F. Riesz, so ist das letzte Hausdorffsche Umgebungsaxiom \((D)\) äquivalent mit den folgenden Bedingungen: \ 1. \(f_1(A)\subset A\), falls \(A\) einpunktig ist; \ 2. es gilt \(\alpha _1\). Oder: \ 1. \(f_2(A)=0\), falls \(A\) einpunktig ist; \ 2. es gilt \(\alpha _2\). Die Axiome des Hausdorffschen Raumes sind: \ I. \(ABf_1(AB) = AB[f_1(1-A) + f_1(1-B)]\); \ II. \(f_1^2(A)\subset f_1(A)\); \ III. \(f_1(A)\subset A\) für höchstens einpunktige \(A\); \ IV. \(\alpha _1\); oder auch: \ I. \(f_2(A+B)=(1-B)f_2(A)+(1-A)f_2(B)\); \ II. \(f_2^2(A)\subset A\); \ III. \(f_2(A)=0\) für höchstens einpunktige \(A\); \ IV. \(\alpha _2\).