Sur une propriété caractéristique des ensembles \(G_{\delta \sigma \delta }\). (Q563048): Difference between revisions

Ist \(E\) eine gegebene ebene Menge, so bezeichne \(f(E)\) die Menge aller reellen Zahlen \(a\), für welche die Gerade \(x=a\quad E\) in einer abzählbaren Menge trifft, deren Ordinaten eine gegen unendlich strebende Folge bilden. Die Verf. beweist hierüber die folgenden Sätze; 1. Dafür, daß eine lineare Menge \(H\) eine Menge \(G_{\delta \sigma \delta }\) sei, ist notwendig und hinreichend, daß eine abgeschlossene ebene Menge \(E\) existiert, so daß \(f(E) = H\) ist. 2. Dafür, daß zu einer linearen Menge \(H\) eine ebene \(G_\delta \)-Menge \(E\) mit \(f(E)=H\) existiere, ist notwendig und hinreichend, daß \(H\) komplementär-analytisch ist. 3. Dafür, daß zu einer linearen Menge \(H\) eine ebene projektive Menge \(E\) der Klasse \(P_\xi (\xi < \varOmega )\) mit \(f(E)=H\) existiere, ist notwendig und hinreichend, daß \(H\) Differenz von zwei projektiven Mengen der Klasse \(P_\xi \) ist. Einige damit zusammenhängende Resultate beziehen sich auf die Funktionen \(\varphi (E)\) und \(\psi (E)\), welche die Menge aller reellen Zahlen \(a\) bezeichnen, für die die Gerade \(x=a\quad E\) in einer isolierten Menge trifft bzw. in einer linearen Menge mit mindestens einem Häufungspunkt innerhalb jedes Intervalls mit ganzzahligen Endpunkten.