# Antikette

Antikette ist ein mathematischer Begriff aus dem Teilgebiet der Mengenlehre und gehört in das Begriffsfeld der Ordnungsrelation. In der englischsprachigen Literatur entspricht ihm der Begriff antichain, manchmal auch als Sperner family oder Sperner system bezeichnet.
Der Begriff Antikette gehört ebenso wie der Begriff der Kette zum Kernbestand desjenigen Teils der Mathematik, der sich mit Fragestellungen zu Ordnungsrelationen befasst. Hier ist neben der Mengenlehre insbesondere die Kombinatorik der endlichen halbgeordneten Mengen (englisch combinatorial order theory) zu erwähnen. Zu den zentralen Ergebnissen zählen Sätze wie der Satz von Sperner, der Satz von Dilworth, der Heiratssatz und viele weitere.

## Klärung des Begriffs
### Definition

Eine Teilmenge $A\subseteq P$ einer Halbordnung $(P,\leq )$ heißt Antikette, falls für zwei verschiedene Elemente $a,b\in A$ weder $a\leq b$ noch $b\leq a$ gilt.

### Veranschaulichung

Betrachtet man die Ordnungsrelation $\leq$ nur innerhalb der Teilmenge $A$, so findet man dort keine zwei miteinander in Relation stehenden Elemente. Innerhalb der Antikette $A$ ist also die Situation entgegengesetzt der Situation, welche in einer Kette der Halbordnung gegeben ist.
Vom Begriff der Antikette erhält man eine gute Anschauung bei Betrachtung des Hasse-Diagramms der halbgeordneten Menge $(P,\leq )$. Antiketten erkennt man im Hasse-Diagramm als solche Teilmengen, für die keine zwei Elemente durch einen Kantenzug verbunden sind.
Die Schnittmenge einer Antikette mit einer Kette hat stets die Mächtigkeit $\leq 1$, besteht also stets aus höchstens einem Element. So lässt sich der Begriff demnach auch fassen: Eine Teilmenge $A\subseteq P$ einer halbgeordneten Menge $(P,\leq )$ ist genau dann eine Antikette, wenn sie keine Kette von $(P,\leq )$ in zwei oder mehr Elementen schneidet.

## Beispiele
### Die reellen Zahlen

Die reellen Zahlen $\mathbb {R}$ bilden mit der gewöhnlichen strengen Ordnung $\leq$ eine Kette. Die einzigen Antiketten sind die trivialen: Die leere Menge $\varnothing$ und die einelementigen Teilmengen.

### Die Primzahlen

Man betrachte die natürlichen Zahlen $\mathbb {N} =\{1,2,3,\ldots \}$ als Trägermenge und als Ordnungsrelation $\leq$ die bekannte Teilerrelation. Für zwei natürliche Zahlen $k$ und $l$ ist also $k\leq l$ gleichbedeutend damit, dass $k$ Teiler von $l$ ist, also dass es eine natürliche Zahl $n$ gibt, sodass $k\cdot n=l$ gilt.
Nach dieser Maßgabe ist in dieser halbgeordneten Menge $(\mathbb {N} ,\leq )$ zum Beispiel die Menge aller Primzahlen eine Antikette.

### Die Teiler von 60

Als Trägermenge $P$ wähle man die Menge der Teiler von 60 und als Ordnungsrelation $\leq$ wieder die Teilerrelation. Dann ist $\{4,6,10,15\}$ eine Antikette von $(P,\leq )$.

### Mengen von endlichen Mengen derselben Mächtigkeit

Man betrachte ein beliebiges Mengensystem ${\mathcal {X}}$ über der Grundmenge $X$. Als Ordnungsrelation $\leq$ wähle man die Inklusionsrelation $\subseteq$.
Für $n\in \mathbb {N}$ setze ${\mathcal {X}}_{n}=\{\,A\in {\mathcal {X}}\;:\;\left|A\right|=n\,\}$, also ist ${\mathcal {X}}_{n}$ das System der $n$-elementigen Teilmengen von $X$. Dann ist jedes ${\mathcal {X}}_{n}$ Antikette von $({\mathcal {X}},\subseteq )$.

### Orbits

Die Automorphismengruppe $\operatorname {Aut} (P,\leq )$ der halbgeordneten Menge $(P,\leq )$ operiert als Untergruppe der symmetrischen Gruppe $S_{P}$ in natürlicher Weise auf $P$, indem als Verknüpfung $\phi \cdot x=\phi (x)$ für $x\in P$ und $\phi \in \operatorname {Aut} (P,\leq )$ genommen wird.
Die dadurch gegebenen Orbits $\operatorname {Aut} (P,\leq )\cdot x=\{\,\phi (x)\;:\;\phi \in \operatorname {Aut} (P,\leq )\,\}$ mit $x\in P$ sind im Falle, dass $P$ endlich ist, stets Antiketten von $(P,\leq )$.

## Die Spernerzahl
### Definition

Die Spernerzahl (englisch Sperner number) der geordneten Menge $(P,\leq )$ ist definiert als das Supremum der Mächtigkeiten aller in $(P,\leq )$ vorkommenden Antiketten. Die Spernerzahl wird heute üblicherweise mit dem Buchstaben $w$ bezeichnet, entsprechend der Gepflogenheit in der englischsprachigen Literatur.
In der deutschsprachigen Literatur wird die Spernerzahl von $(P,\leq )$ (entsprechend dem dafür in der englischsprachigen Literatur auch geläufigen Terminus width) manchmal auch die Breite von $(P,\leq )$ genannt.

### Formale Darstellung

$w(P,\leq )=\sup\{\,|A|\;:\;A{\text{ Antikette in }}(P,\leq )\,\}$
Wenn aus dem Kontext klar ist, um welche geordnete Menge $(P,\leq )$ es sich handelt, schreibt man kurz und einfach $w$.

### Erläuterung

Die Spernerzahl $w$ ist stets höchstens so groß wie die Mächtigkeit $|P|$ der Trägermenge von $(P,\leq )$. Im Falle, dass $P$ eine endliche Menge ist, ist auch die Spernerzahl endlich und damit eine natürliche Zahl. Dann wird das Supremum angenommen und es gilt:
    $w(P,\leq )\ =\max\{\,|A|\;:\;A{\text{ Antikette in }}(P,\leq )\,\}.$

### Beispiele
#### Die reellen Zahlen

$\mathbb {R}$ hat wie jede nichtleere Kette $w=1$.

#### Die Teiler von 60

Die oben angegebene Antikette $\{\,4,6,10,15\,\}$ (siehe Hasse-Diagramm) ist die größtmögliche. Also gilt hier $w=4$.

#### Die Potenzmengen

Für die Potenzmenge ${\mathcal {P}}(X)$ einer endlichen Menge $X$ mit $|X|=n$ Elementen gilt stets $w({\mathcal {P}}(X))={\binom {n}{\lfloor {\frac {n}{2}}\rfloor }}$. Denn genau dies besagt der Satz von Sperner.
Für unendliches $X$ der Mächtigkeit $|X|=\aleph _{\alpha }$ gilt $w({{\mathcal {P}}(X)})=2^{\aleph _{\alpha }}$.

## Verbandseigenschaften
### Erklärung

Das System ${\mathcal {D}}={\mathcal {D}}(P,\leq )$ der Antiketten von $(P,\leq )$ ist stets nichtleer und trägt die folgende Ordnungsrelation, welche die Ordnungsrelation von $(P,\leq )$ in natürlicher Weise auf ${\mathcal {D}}$ fortsetzt:
    Für zwei Antiketten $A,B\in {\mathcal {D}}$ ist $A\leq B$ dann und nur dann, wenn zu jedem $b\in B$ ein $a\in A$ existiert mit $a\leq b$.
Die so definierte Ordnungsrelation, welche ebenfalls mit $\leq$ bezeichnet wird, gibt auf diesem Wege dem Antikettensystem ${\mathcal {D}}$ die Struktur eines distributiven Verbands.

### Das Resultat von Dilworth

Bei endlichem $(P,\leq )$ liegt nun ein spezielles Augenmerk auf dem Teilsystem ${\mathcal {S}}={\mathcal {S}}(P,\leq )$ der Antiketten maximaler Größe:
    ${\mathcal {S}}=\{\,A\in {\mathcal {D}}\;:\;|A|=w(P,\leq )\,\}$
Hier gilt nämlich das folgende fundamentale Resultat von Robert Dilworth:
    Bei endlichem $(P,\leq )$ ist $({\mathcal {S}},\leq )$ Unterverband von $({\mathcal {D}},\leq )$, wobei die zugehörigen Verbandsoperationen $\land$ und $\lor$ die folgende Darstellung haben:
       (1) $A\land B=\operatorname {Min} ({A}\cup {B})$
       (2) $A\lor B=\operatorname {Max} ({A}\cup {B})$
       ($A,B\in {\mathcal {S}}$ )
Dabei wird mit $\operatorname {Min} (X)$ bzw. mit $\operatorname {Max} (X)$ für $X\subseteq P$ die Teilmenge derjenigen Elemente von $X$ bezeichnet, welche bzgl. der induzierten Ordnungsrelation innerhalb $X$ minimal bzw. maximal sind.

### Das Resultat von Kleitman, Edelberg, Lubell und Freese und der Satz von Sperner

Als Folgerung ergibt sich:
    Eine endliche geordnete Menge $(P,\leq )$ enthält stets eine Antikette maximaler Größe, welche von allen Automorphismen $\phi \in \operatorname {Aut} (P,\leq )$ auf sich selbst abgebildet wird.
Oder anders ausgedrückt:
    Eine endliche geordnete Menge $(P,\leq )$ enthält stets eine Antikette maximaler Größe, welche als Vereinigung gewisser Orbits $\operatorname {Aut} (P,\leq )\cdot x$ mit $x\in P$ darstellbar ist.
Hierdurch gelangt man auf direktem Wege zum Satz von Sperner. Denn im Falle, dass $(P,\leq )=(2^{M},\subseteq )$ mit endlicher Grundmenge $M$ ist, sind die Orbits identisch mit den Mächtigkeitsklassen ${M \choose k}$ $(k=0,\dots ,\left|{M}\right|)$.

## Anzahl der Antiketten endlicher Potenzmengen

Auf Richard Dedekind geht das Problem zurück, für $n\in \mathbb {N} _{0}$ und $X=\{1,2,\ldots ,n\}$ die Anzahl $M(n)$ aller Antiketten der Potenzmenge ${\mathcal {P}}(X)$ zu bestimmen. Dieses Problem bezeichnet man daher als Dedekind-Problem (englisch Dedekind’s problem) und die Zahlen $M(n)$ als Dedekind-Zahlen (englisch Dedekind numbers).
Die Zahl $M(n)$ ist (im Wesentlichen) identisch mit der Anzahl der monoton wachsenden surjektiven Funktionen von ${\mathcal {P}}(\{1,2,\ldots ,n\})$ nach $2=\{0,1\}$ und genauso identisch mit der Anzahl der freien distributiven Verbände mit $n$ erzeugenden Elementen.
Da diese Zahlen ein erhebliches Wachstum aufweisen, ist die exakte Bestimmung von $M(n)$ bislang allein für $n=0,1,\ldots ,8$ gelungen:
    ${\begin{aligned}M(0)&=2\\M(1)&=3\\M(2)&=6\\M(3)&=20\\M(4)&=168\\M(5)&=7.581\\M(6)&=7.828.354\\M(7)&=2.414.682.040.998\\M(8)&=56.130.437.228.687.557.907.788\\\end{aligned}}$
Für eine Einschätzung der Größenordnung des Wachstums der $M(n)$ kennt man jedoch untere und obere Schranken, so zum Beispiel die folgenden, welche auf die Arbeit des Mathematikers Georges Hansel aus dem Jahre 1966 zurückgeht:
    $2^{\tbinom {n}{\lfloor {\frac {n}{2}}\rfloor }}\leq M(n)\leq 3^{\tbinom {n}{\lfloor {\frac {n}{2}}\rfloor }}$
Wie Daniel J. Kleitman und George Markowsky in 1975 zeigten, lässt sich die genannte obere Schranke weiter verschärfen zu:
    $M(n)\leq 2^{{\tbinom {n}{\lfloor {\frac {n}{2}}\rfloor }}\cdot {\bigl1+{\mathcal {O}}{({\frac {\ln(n)}{n}})}{\bigr )}}$
und man kennt sogar noch bessere Schranken.
Das Dedekind-Problem ist noch ungelöst. Dem bedeutenden ungarischen Mathematiker Paul Erdős (1913–1996) wird die Bemerkung zugeschrieben, das Problem sei für dieses Jahrhundert zu schwer. Zwar legte der polnische Mathematiker Andrzej P. Kisielewicz im Jahre 1988 eine korrekte Formel vor. Diese gilt jedoch als nutzlos, da mit ihr selbst die Verifikation der schon bekannten Dedekind-Zahlen aus Gründen des Rechenaufwands nicht möglich ist.

## Abgrenzung des Begriffs

In der Mengenlehre wird der Begriff der Antikette teilweise auch anders benutzt. Die Antiketteneigenschaft wird in gewissen Zusammenhängen an die Inkompatibilität zweier verschiedener Elemente geknüpft oder bei Booleschen Algebren an Disjunktheitsbedingungen. Über Einzelheiten gibt die Monographie von Thomas Jech Auskunft.