Sur les fonctions implicites mesurables \(B\). (Q572468)

\(F(x,y)\) bezeichne hier stets eine Bairesche Funktion. Es werden die durch \(F(x,y)=0\) definierten impliziten Funktionen \(y=y(x)\) untersucht. Unter der Voraussetzung (*), daß jedem \(x\) höchstens abzählbar viele Werte y entsprechen \(y\), beweist Verf., daß der Existenzbereich jeder solchen impliziten Funktion eine Borelsche Menge ist, und insbesondere, daß eine eindeutige Bairesche Funktion \(y(x)\) existiert, die der gegebenen Gleichung genügt. Ohne die Voraussetzung (*) gilt dies nicht. Verf. konstruiert nämlich eine Gleichung \(F(x,y)=0\), für die der Existenzbereich der impliziten Funktion \(y(x)\) das Intervall \((0,1)\) ist, während keine eindeutige Bairesche Funktion \(y(x)\) existiert, die diese Gleichung erfüllt. Zu diesem Zwecke zeigt Verf., daß zwei zueinander fremde Komplemente analytischer Mengen im allgemeinen nicht durch zwei Borelsche Mengen separiert werden können. Die Anwendung der Methoden auf ein System von Gleichungen mit mehreren unabhängigen und abhängigen Veränderlichen ist möglich.