Sur les points d'unicité d'un ensemble mesurable B. (Q1834711)

Im \(n\)-dimensionalen Raum sei \(E\) eine Menge, die meßbar \((B)\) ist, \(E_1\) diejenige Menge von Punkten von \(E\), in denen die Orthogonalprojektion von \(E\) auf eine \((n-1)\)-dimensionale Hyperebene nur eine einfache Bedeckung liefert. Die Projektion von \(E_1\) ist Komplement einer analytischen Menge. Auf Grund dieses Satzes führt Verf. die Konstruktion zweier Komplemente analytischer Mengen, die nicht separabel \((B)\) sind, durch (Existenzbeweis in der vorstehend besprochenen Note). Ferner wird eine Menge \(E\) konstruiert, deren \(E_1\) keiner über der Projektionshyperebene eindeutigen Fläche angehört. Endlich wird ein Beispiel einer impliziten Funktion gegeben, die keine überall eindeutige Funktion der \textit{Baire}schen Klassen ist, obwohl die Gleichung \[ F(x_1,\ldots,x_n,y) = 0, \] in der \(F\) eine Funktion der \textit{Baire}schen Klassen ist, für jedes System \(x_1^0,\ldots, x_n^0\) befriedigt werden kann.