Quelques remarques sur les courbes qui sont des complémen- taires analytiques. (Q2614547)

Es sei eine Kurve \(C\) durch die Gleichung \(y=f(x)\) gegeben; \(J\) bezeichne die Menge \(M(x, y)\) aller Punkte, für die \(y<f(x)\), \(S\) die Menge aller Punkte, für die \(y>f(x)\) ist. Die Ebene wird also in drei punktfremde Mengen \(J\), \(C\) und \(S\) geteilt. Es war früher bekannt (\textit{Borel, Lebesgue, de la Vallèe Poussin}): I. Wenn die Funktion \(f(x)\) einer der \textit{Baire}schen Klassen angehört, dann sind \(J\), \(C\) und \(S\) \(B\)-meßbar. II. Wenn eine von den Mengen \(J\) und \(S\) \(B\)-meßbar ist, dann gehört \(f(x)\) zu einer der \textit{Baire}schen Klassen. Dazu gibt Verf. folgenden Satz an: III. Wenn die Menge \(C\) analytisch ist (also insbesondere \(B\)-meßbar), dann gehört \(f(x)\) zu einer der \textit{Baire}schen Klassen. Wenn nur eine von den Mengen \(J\) und \(S\) analytisch ist, kann die Funktion \(f(x)\) keiner der \textit{Baire}schen Klassen angehören; wenn aber beide Mengen \(J\) und \(S\) analytisch sind, dann folgt schon die Zugehörigkeit der Funktion \(f(x)\) zu einer der \textit{Baire}schen Klassen. Ist \(J\) analytisch, so gilt das gleiche für \(J + C\), und umgekehrt; analoge Sätze gelten selbstverständlich für \(S\) und \(S + C\). Es zeigt sich, daß jede analytische Kurve \(B\)-meßbar ist; es entsteht aber die Frage, ob es \(B\)-nichtmeßbare Kurven gibt, die aber Komplementärmengen von analytischen Mengen sind. Mit Hilfe eines Theorems von \textit{Mazurkiewicz} (Fundamenta Math. 10 (1927), 172-174; F. d. M. 53, 173) zeigt Verf. die Existenz solcher Kurven. Ist \(J + S\) analytisch, so ist nicht notwendig auch \(C\) analytisch. Wenn \(C\) die Komplementärmenge einer analytischen Menge ist, dann sind die Mengen \(J\) und \(S\) projektive Mengen, und zwar höchstens \(B_{2}\). Das Ende der Arbeit ist verschiedenen Gattungen von \(B\)-Separabilitäten zweier Kurven gewidmet.