# Diagonaler Schnitt

Im mathematischen Teilgebiet der Mengenlehre ist der diagonale Schnitt eine dem Durchschnitt verwandte Konstruktion, einer Familie von Mengen eine neue, nämlich ihren diagonalen Schnitt, zuzuordnen. Die Elemente des diagonalen Schnitts der Familie $(X_{\alpha })_{\alpha }$ sind gewisse Indizes $\alpha$, die ihrerseits wieder gewissen der Mengen $X_{\xi }$ angehören. Die hier zu besprechende Begriffsbildung ist daher nur dann sinnvoll, wenn die Indizes selbst als Elemente der Mengen auftreten, daher betrachtet man mit Ordinalzahlen indizierte Mengen von Ordinalzahlen.

## Definition

Es sei $\kappa$ eine Kardinalzahl und $(X_{\alpha })_{\alpha <\kappa }$ eine Familie von Mengen $X_{\alpha }\subset \kappa$. Dann heißt
    $\Delta _{\alpha <\kappa }X_{\alpha }\,=\,\{\xi <\kappa ;\,\xi \in \bigcap _{\alpha <\xi }X_{\alpha }\}$
der diagonale Schnitt der Familie $(X_{\alpha })_{\alpha <\kappa }$.

## Eigenschaften

Es mögen die Daten obiger Definition vorliegen. Natürlich ist der Durchschnitt im diagonalen Schnitt enthalten, das heißt, es gilt $\bigcap _{\alpha <\kappa }X_{\alpha }\subset \Delta _{\alpha <\kappa }X_{\alpha }$, denn ist $\xi <\kappa$ in jeder der Mengen $X_{\alpha }$ enthalten, so erst recht in $\bigcap _{\alpha <\xi }X_{\alpha }$, und das ist genau die definierende Bedingung für die Zugehörigkeit von $\xi$ zu $\Delta _{\alpha <\kappa }X_{\alpha }$.
Setzt man $Y_{\xi }:=\bigcap _{\alpha <\xi }X_{\alpha }$, so ist $\xi \mapsto Y_{\xi }$ eine fallende Funktion $\kappa \rightarrow P(\kappa )$, wobei $P$ für die Potenzmenge steht, das heißt, aus $\xi <\eta$ folgt $Y_{\xi }\supset Y_{\eta }$. Nach Definition ist $\xi \in Y_{\xi }$ äquivalent zu $\xi \in \Delta _{\alpha <\kappa }X_{\alpha }$. Auf dem kartesischen Produkt $\kappa \times \kappa$ definiere die Relation $R:=\{(\xi ,\eta );\,\xi \in Y_{\eta }\}$ und die Diagonale $d:\kappa \rightarrow \kappa \times \kappa ,\,\xi \mapsto (\xi ,\xi )$. Dann ist der diagonale Schnitt genau die Menge derjenigen Ordinalzahlen $\xi$, für die das Diagonalelement $(\xi ,\xi )$ in $R$ liegt:
    $\Delta _{\alpha <\kappa }X_{\alpha }=d^{-1}(R)=\{\xi <\kappa ;\,\xi \in Y_{\xi }\}$.
Die Mitgliedschaft von $\xi$ zum diagonalen Durchschnitt hängt nur von der Mitgliedschaft in den ersten $X_{\alpha },\alpha <\xi$ ab. Das wird in der folgenden Formel besonders deutlich:
    $\Delta _{\alpha <\kappa }X_{\alpha }=\bigcap _{\alpha }(X_{\alpha }\cup \{\xi ;\xi \leq \alpha \})$

## Beispiel

Um zu demonstrieren, wie der hier vorgestellte Begriff funktioniert, soll folgende einfache Aussage bewiesen werden:
* Es sei $\kappa$ eine Kardinalzahl und für eine Ordinalzahl $\alpha <\kappa$ sei $X_{\alpha }:=\{\xi <\kappa ;\,\alpha +1<\xi <\kappa \}$. Dann gilt
    $\Delta _{\alpha <\kappa }X_{\alpha }=\{\xi <\kappa ;\,\xi {\text{ ist eine Limes-Ordinalzahl}}\}$
Beweis: „$\subset$“: Ist $\xi \in \Delta _{\alpha <\kappa }X_{\alpha }$, so ist $\xi \in \bigcap _{\alpha <\xi }X_{\alpha }$, also $\xi \in X_{\alpha }$ für alle $\alpha <\xi$. Für alle $\alpha <\xi$ gilt also $\alpha +1<\xi$, daher ist $\xi =\sup _{\xi <\alpha }\alpha$ eine Limes-Ordinalzahl.
„$\supset$“: Ist umgekehrt $\xi =\sup _{\alpha <\xi }\alpha$ eine Limes-Ordinalzahl, so ist $\alpha +1<\xi$ für alle $\alpha <\xi$ und daher $\xi \in \bigcap _{\alpha <\xi }X_{\alpha }$, was genau die definierende Bedingung für $\xi \in \Delta _{\alpha <\kappa }X_{\alpha }$ ist.

## Verwendung

Der diagonale Schnitt findet besonders in der Untersuchung überabzählbarer regulärer Kardinalzahlen Anwendung. Ein Filter auf einer Kardinalzahl $\kappa$ heißt normal, wenn er gegenüber der Bildung diagonaler Schnitte abgeschlossen ist, das heißt, $\Delta _{\alpha <\kappa }X_{\alpha }$ ist wieder Element des Filters, wenn alle $X_{\alpha }$ es sind. So ist etwa der club-Filter auf einer überabzählbaren regulären Kardinalzahl normal. Diese Tatsache wird zum Beispiel im Satz von Fodor verwendet.

## Diagonale Vereinigung

Der zum diagonalen Schnitt duale Begriff ist die diagonale Vereinigung. Ist $\kappa$ eine Kardinalzahl und $(X_{\alpha })_{\alpha <\kappa }$ eine Familie von Mengen $X_{\alpha }\subset \kappa$, so heißt
    $\Sigma _{\alpha <\kappa }X_{\alpha }:=\{\xi <\kappa ;\,\xi \in \bigcup _{\alpha <\xi }X_{\alpha }\}$
die diagonale Vereinigung der Mengenfamilie $(X_{\alpha })_{\alpha <\kappa }$.
Die Definition ist gerade so angelegt, dass $\kappa \setminus \Sigma _{\alpha <\kappa }X_{\alpha }=\Delta _{\alpha <\kappa }(\kappa \setminus X_{\alpha })$ gilt.