Sulla teoria delle funzioni e degli insiemi. (Q1510608)

Enthält eine perfecte Punktmenge \(A\), welche in einem Raume liegt, dessen Dimensionenzahl endlich oder abzählbar unendlich sein möge, eine abgeschlossene Menge \(a\), so heisst \(a\) ``nirgends dicht'' in \(A\), wenn in jeder Umgebung eines beliebigen Punktes von \(A\) Punkte von \(A\) liegen, die der Menge \(a\) nicht angehören. Ist \(A\) nicht perfect, sondern nur abgeschlossen, so heisst die Menge \(a\) nirgends dicht in \(A\), wenn ihre in der grössten perfecten Teilmenge \(B\) von \(A\) enthaltene Teilmenge in \(B\) nirgends dicht ist. Eine Menge heisst ``von der ersten Kategorie und vollkommen in Bezug auf \(A\)'', wenn sie die Summe einer abzählbaren Menge von abgeschlossenen, in \(A\) nirgends dichten Mengen ist. Nun teilt der Verf. folgenden Fundamentalsatz mit: ``Jede wohldefinirte Menge, welche in einem Raume liegt, dessen Dimensionenanzahl endlich oder abzählbar unendlich sein möge, ist die Summe einer abzählbaren Menge von Differenzen zwischen abgeschlossenen Mengen und in Bezug auf diese vollkommenen Teilmengen derselben von der ersten Kategorie.'' Dieser Satz giebt zu mengentheoretischen, functionentheoretischen und geometrischen Anwendungen Anlass; es möge unter den ersteren der bisher nicht bewiesene Cantor'sche Satz hervorgehoben werden, nach welchem das Continuum die zweite Mächtigkeit besitzt. Es ist zu beachten, dass der Verf. hier nur die von ihm erhaltenen Resultate vorläufig mitteilt, mit dem Vorbehalt, die bezüglichen Beweise später herauszugeben.