Sur la séparabilité multiple des ensembles. (Q2611368)

Ein System \(\varPhi\) von Teilmengen einer Menge \(K\) hat die ``Eigenschaft \(P_n\)'', \(n \geqq 2\) ganz, wenn es zu \(n\) Mengen \(E_1\), \dots, \(E_n\) von \(\varPhi\) stets Mengen \(H_1\) \dots, \(H_n\) mit \(H_1H_2\ldots H_n = 0\), \(E_\nu-E_1E_2\ldots E_n \subset H_\nu\), \(K-H_\nu \in \varPhi\) (\(\nu = 1, 2, \ldots, n\)) gibt. Das Bestehen von \(P_2\) besagt Gültigkeit des zweiten \textit{Lusin}schen Prinzips, das von \(P_n\) für alle Indizes \(n\) Gültigkeit des verallgemeinerten zweiten \textit{Lusin}schen Prinzips. (Vgl. hierzu JFM 60.0041.*-42). Verf. zeigt durch einen einfachen Induktionsschluß nach \(n\) für das Bestehen von \(P_n\): Wenn das System \(\varPhi\) (endlich) additiv und multiplikativ ist und das zweite \textit{Lusin}sche Prinzip erfüllt, so gilt für \(\varPhi\) auch das verallgemeinerte zweite \textit{Lusin}sche Prinzip.