Sur l'axiomatique des espaces topologiques de M. Fréchet. (Q2588629)

Als topologischer Raum im Sinne von M. Fréchet wird eine Menge 1 bezeichnet, deren Teilmengen \(A \subset 1\) je eine Teilmenge \(A'\) zugeordnet ist, so daß \(x \in A'\) mit \(A - (x) \neq 0\) und \(x \in \left( A-(x) \right)'\)gleichbedeutend ist. Diese Räume lassen sich auch mit den folgenden Operationen einführen: \[ \begin{matrix}\l&\quad\l \\ \text{a) } \overline{A}= A + A', & \text{b) } \mathfrak{f}(A) = A(1 - A)' + (1 - A)A', \\ \text{c) } \mathfrak{i}(A) = A-(1-A)', & \text{d) } \mathfrak{e}(A) =(1 - A) - A', \\ \text{e) } \mathfrak{b}(A) = A(1 - A)', & \text{f) } \mathfrak{o}(A) = (1 - A)A'. \end{matrix} \] Die Axiome sind \[ \begin{aligned} & \text{a) } \overline{0}= 0, \, A \subset \overline{A},\quad \text{b) } \mathfrak{f}(0) = 0, \, \mathfrak{f}(A)=\mathfrak{f}(1 -A),\; \; \text{c) } \mathfrak{i}(1) = 1, \, \mathfrak{i}(A) \subset A, \\ & \text{d) } \mathfrak{e}(0) = 1, \; \mathfrak{e}(A) \subset 1-A,\; \text{e) } \mathfrak{b}(1) = 0, \; \mathfrak{b}(A) \subset A,\; \text{f) } \mathfrak{o}(0) = 0, \; \mathfrak{o}(A) \subset 1-A. \end{aligned} \] Die Menge \(A'\) ist dann gleich der Menge aller \(x\) mit \[ \begin{aligned} & \text{a) } A-(x) \neq 0\;\; \text{und} \;\; x \in \overline{A-(x)}, \quad \text{b) } A-(x) =0 \;\; \text{und} \;\; x \in \mathfrak{f} [A-(x)], \\ & \text{c) } A-(x) \neq 0\;\; \text{und} \;\; x \notin \mathfrak{i}[(1-A)+(x)], \\ & \text{d) } A-(x) \neq 0\;\; \text{und} \;\; x \not\in \mathfrak{e}[A-(x)], \;\; \text{e) } A-(x) \neq 0\;\; \text{und} \;\; x \in \mathfrak{b}[(1-A)+(x)], \\ & \text{f) } A-(x) \neq 0\;\; \text{und} \;\; x \in \mathfrak{o}[A-(x)]. \end{aligned} \]