Sur un principe général de la théorie des ensembles analytiques. (Q1834710)

Verf. führt den Begriff der simultanen Trennung zweier Punktmengen durch Komplementärmengen analytischer Mengen ein: zwei Mengen \(E_1\), \(E_2\) heißen in diesem Sinne \textit{simultan trennbar}, wenn jede im Komplement \(H_1\) bzw. \(H_2\) einer analytischen Menge enthalten ist und \(H_1\) und \(H_2\) zueinander fremd sind. Sind \(E_1\) und \(E_2\) zwei analytische Mengen und \(R_1=E_1 - E_1E_2\), \(R_2 = E_2-E_1E_2\), so sind \(R_1\) und \(R_2\) simultan trennbar. Wenn umgekehrt zwei zueinander fremde Mengen \(R_1\) und \(R_2\), von denen jede Differenz zweier analytischer Mengen ist, simultan trennbar sind, so gibt es zwei analytische Mengen \(E_1\), \(E_2\) derart, daß \(R_1=E_1-E_1E_2\), \(R_2 = E_2 - E_1E_2\). Verf. beweist auf Grund dieser Sätze die Existenz zweier Komplemente analytischer Mengen, die (im Gegensatz zu den analytischen Mengen selbst) nicht separabel \((B)\) sind.