On density points and approximately continuous functions. (Q2586367)

Folgende beiden Sätze werden bewiesen: I. Es seien \(E\), \(X_1\), \(X_2\) lineare Mengen mit \(X_1\subset X_2 \subset E \subset [a, b]\). Ferner seien \(X_1\), \(X_2\) perfekt, \(E\) sei \(B\)-meßbar, und jeder Punkt von \(E\) sei Dichtepunkt (d. h. Punkt der Dichte Eins) von \(E\) in \([a,b]\). Dann gibt es zu jeder reellen Zahl \(\mu\) mit \(m(X_2) <\mu < m(E)\), wobei \(m(~~)\) das Lebesguesche Maß bedeutet, eine perfekte Menge \(P\) mit \(X_2\subset P\subset E\) und \(m(P)=\mu\) derart, daß jeder Punkt von \(X_1\) Dichtepunkt von \(P\) in \([a,b]\) ist, und daß \(P\) nirgends dicht ist, wenn dies für \(X_2\) gilt. II. Es sei \(f(x)\) eine endliche, reelle Funktion der Klasse 1 in \([a,b]\). Ferner seien \(y_1,y_2,\ldots\) alle rationalen Zahlen derart, daß zu \(y_n\) zwei Zahlen \(a_n\), \(b_n\) existieren mit \(a\leqq a_n<b_n\leqq b\) und \(f(a_n) < f(y_n) < f(b_n)\). Man bezeichne mit \(E_{y_n}\) bzw. \(E^{y_n}\) die Menge aller \(x\in [a, b]\) mit \(f(x)<y_n\) bzw. \(f(x)> y_n\). Behauptet wird: Es ist \(f(x)\) dann und nur dann approximativ stetig in \([a,b]\), wenn ein System perfekter Mengen \(P_{y_r}^{r+s}\), \(P^{y_r}_{r+s}\) existiert, \(s =0, 1, 2,\ldots\); \(r = 1, 2,\ldots\) mit folgenden Eigenschaften: 1) \(E_{y_r}= \lim\limits_{s\to\infty} P^{r+s}_{y_r}\), \(E^{y_r}=\lim\limits_{s\to\infty} P^{y_r}_{r+s}\). 2) \(P_{y_r}^{r+s}\subset E_{y_r}\), \(P^{y_r}_{r+s}\subset E^{y_r}\), \quad 3) \(P_{y_r}^{r+s}\subset P^{r+s+1}_{y_r}\), \(P^{y_r}_{r+s}\subset P^{y_r}_{r+s+1}\), 4) Jeder Punkt von \(P^s_{y_r}\) bzw. von \(P_s^{y_t}\), wobei \(y_r< y_t\), ist Dichtepunkt von \(P^s_{y_t}\) bzw. von \(P_s^{y_r}\); für alle \(r\), \(s\), mit \(r\leqq s\), \(t\leqq s\). Zum Beweis von 2; vgl. auch Bull. Amer. math. Soc. 45 (1939), 264-265 (F. d. M. 65, 195 (JFM 65.0195.*)).