Suslin-Operation

In der Mathematik ist die Suslin-Operation (auch ${\mathcal {A}}$-Operation) ein Konstruktionsverfahren der deskriptiven Mengenlehre, mit dem zahlreiche Mengen konstruiert werden können.

Historisch hat sie ihren Ursprung in der Beobachtung, dass man aus offenen oder abgeschlossenen Mengen durch Komplementbildung und abzählbare Vereinigungen und Durchschnitte alle Borel-Mengen konstruieren kann, dass aber die Bilder von Borel-Mengen unter Orthogonalprojektionen nicht notwendig Borel-Mengen sein müssen und man mit dem von Suslin vorgeschlagenen Verfahren eine größere Klasse von Mengen erhält als nur die Borel-Mengen.

Definition

Die Suslin-Operation ist auf Suslin-Schemata definiert. Ein Suslin-Schema ist eine Familie, deren Indexmenge die Menge der endlichen Folgen natürlicher Zahlen $\mathbb {N} ^{<\omega }=\{\,\langle n_{1},\dots ,n_{k}\rangle \,|\,k\in \mathbb {N} ,\ n_{1},\dots ,n_{k}\in \mathbb {N} \,\}$ ist, sprich eine Menge

$P=\langle p_{s}\rangle _{s\in \mathbb {N} ^{<\omega }}=\langle p_{\langle n_{1},\dots ,n_{k}\rangle }\rangle _{k\in \mathbb {N} ,\ n_{1},\dots ,n_{k}\in \mathbb {N} }$.

Die Menge der unendlichen Folgen natürlicher Zahlen wird mit $\mathbb {N} ^{\omega }$ notiert.

Die Suslin-Operation ${\mathcal {A}}$ ist wie folgt definiert:

${\mathcal {A}}(P)=\bigcup _{\langle n_{i}\rangle _{i}\in \mathbb {N} ^{\omega }}\bigcap _{k\in \mathbb {N} }p_{\langle n_{0},\dots ,n_{k-1}\rangle }$

Die durch die Suslin-Operation aus der Familie der offenen (oder abgeschlossenen) Teilmengen eines gegebenen Raumes erhaltenen Mengen heißen analytische Mengen.

Eigenschaften

• Die Suslin-Operation ist idempotent: ${\mathcal {A}}({\mathcal {A}}(P))={\mathcal {A}}(P)$.
• ${\mathcal {A}}(P)$ ist unter abzählbaren Vereinigungen und Durchschnitten abgeschlossen.
• ${\mathcal {A}}(P)$ im Allgemeinen nicht unter Komplementbildung abgeschlossen.

Literatur

• P. S. Aleksandrov: Sur la puissance des ensembles measurables B, C.R. Acad. Sci. Paris 162 (1916), S. 323–325
• M. Ya. Suslin: Sur un définition des ensembles measurables B sans nombres transfinis, C.R. Acad. Sci. Paris 164 (1917), S. 88–91

Weblinks

• A-operation (Encyclopedia of Mathematics)