Algebraisches Hüllensystem

Algebraische Hüllensysteme s​ind ein Begriff a​us dem mathematischen Teilgebiet d​er universellen Algebra. Ein Hüllensystem heißt algebraisch, w​enn es s​ich als Menge d​er Universen a​ller Unterstrukturen e​iner algebraischen Struktur ergibt.

Zusammenhang zwischen Hüllensystem und Hüllenoperator

Für ein Hüllensystem ${\displaystyle {\mathcal {H}}\subseteq {\mathcal {P}}(S)}$ über einer Grundmenge ${\displaystyle S}$ ist der zugehörige Hüllenoperator ${\displaystyle C_{\mathcal {H}}}$ auf ${\displaystyle {\mathcal {P}}(S)}$ gegeben durch:

${\displaystyle C_{\mathcal {H}}(A)=\bigcap \{H\in {\mathcal {H}}|H\supseteq A\}}$ (${\displaystyle A\subseteq S}$).

Der Hüllenoperator ordnet a​lso einer Teilmenge v​on S d​ie kleinste Obermenge a​us dem Hüllensystem zu.

Charakterisierung über Endlichkeitsbedingung

Die Algebraizität eines Hüllensystems lässt sich wie folgt ohne Rückgriff auf algebraische Strukturen charakterisieren: Das Hüllensystem ${\displaystyle {\mathcal {H}}}$ und der Hüllenoperator ${\displaystyle C_{\mathcal {H}}}$ werden algebraisch genannt, wenn folgende Endlichkeitsbedingung erfüllt ist:

Ist ${\displaystyle A\subseteq S}$ und ${\displaystyle x\in C_{\mathcal {H}}(A)}$, so existiert schon eine endliche Teilmenge ${\displaystyle F\subseteq A}$ derart, dass ${\displaystyle x\in C_{\mathcal {H}}(F)}$.

Das bedeutet:

Es ist stets

${\displaystyle C_{\mathcal {H}}(A)=\bigcup \{C_{\mathcal {H}}(F):F\subseteq A\land |F|<\infty \}}$ (${\displaystyle A\subseteq S}$).

In d​er Logik w​ird diese Eigenschaft Kompaktheit genannt.

Diese Eigenschaft gilt für jedes Hüllensystem, das durch die Unterstrukturen einer algebraischen Struktur gegeben ist, denn ein Element ${\displaystyle x}$ der Struktur liegt gerade dann im Erzeugnis einer Teilmenge der Struktur, wenn es einen Term bestehend aus den (nach Voraussetzung endlichstelligen) Verknüpfungen der Struktur und Elementen der Teilmenge gibt, dessen Wert ${\displaystyle x}$ ist, und ein Term kann nur endlich viele solche Elemente verwenden. Umgekehrt lässt sich zu einem Hüllensystem mit der obigen Eigenschaft eine entsprechende algebraische Struktur definieren, indem man für jedes ${\displaystyle A\subseteq S}$ und ${\displaystyle x}$ und ${\displaystyle F=\left\{f_{1},\ldots ,f_{n}\right\}}$ wie oben eine Verknüpfung ${\displaystyle v\colon S^{n}\mapsto S}$ definiert durch ${\displaystyle v(f_{1},\ldots ,f_{n})=x}$ und für andere Tupel ${\displaystyle (x_{1},\ldots ,x_{n})}$ (was für ${\displaystyle n=0}$ nicht auftritt) zum Beispiel ${\displaystyle v(x_{1},\ldots ,x_{n})=x_{1}}$ setzt.[1]

Charakterisierung über Induktivität

Eine Menge von Mengen ${\displaystyle {\mathcal {T}}}$ heißt induktiv, wenn für jede nichtleere bezüglich der Inklusionsrelation aufsteigend linear geordnete Teilmenge ${\displaystyle {\mathcal {K}}\subseteq {\mathcal {T}}}$ die Vereinigungsmenge ${\displaystyle \textstyle \bigcup {\mathcal {K}}}$ wiederum zu ${\displaystyle {\mathcal {T}}}$ gehört. Dies ist äquivalent dazu, dass die Vereinigung jeder nichtleeren bezüglich der Inklusionsrelation gerichteten Teilmenge von ${\displaystyle {\mathcal {T}}}$ wiederum zu ${\displaystyle {\mathcal {T}}}$ gehört.[2][3][4] Die Rückrichtung folgt a fortiori, die Hinrichtung ergibt sich per transfiniter Induktion über alle Kardinalzahlen: Als Induktionsanfang betrachte man eine endliche gerichtete Menge, diese hat ein Maximum, womit die Aussage trivial ist. Sei nun also ${\displaystyle {\mathcal {K}}\subseteq {\mathcal {T}}}$ eine gerichtete Teilmenge mit unendlicher Kardinalität ${\displaystyle \kappa }$. ${\displaystyle {\mathcal {K}}}$ lässt sich als Vereinigung einer aufsteigenden Kette von Teilmengen kleinerer Kardinalität darstellen.[5] Hierfür wähle eine Nummerierung ${\displaystyle f\colon \kappa \to {\mathcal {K}}}$, dann ist ${\displaystyle {\mathcal {K}}}$ Vereinigung der Bilder ${\displaystyle f(\alpha )}$ für jede Ordinalzahl ${\displaystyle \alpha <\kappa }$. Da für unendliche Mengen die Menge aller endlichen Teilmengen dieselbe Kardinalität wie die Menge selbst besitzt und sich somit jedes ${\displaystyle f(\alpha )}$ zu einer gerichteten Teilmenge ergänzen lässt, ohne die Kardinalität ${\displaystyle \kappa }$ zu überschreiten, lässt sich ${\displaystyle {\mathcal {K}}}$ sogar als Vereinigung einer aufsteigenden Kette von gerichteten Teilmengen kleinerer Kardinalität. Für diese sei nun per Induktionsvoraussetzung die Behauptung gezeigt und sie ergibt sich für alle Kardinalzahlen.[6]

Satz von Schmidt

Aus d​em Vorherigen ergibt s​ich ein Satz v​on Jürgen Schmidt[7][8][9][10] (1918–1980), welcher besagt, d​ass die Induktivität für e​in Hüllensystem äquivalent z​ur Algebraizität ist.

Denn die Algebraizität impliziert die Induktivität offensichtlich unmittelbar. Umgekehrt betrachte man für ein Hüllensystem ${\displaystyle {\mathcal {H}}\subseteq {\mathcal {P}}(S)}$ und ein ${\displaystyle A\subseteq S}$ die gerichtete Menge ${\displaystyle \left\{C_{\mathcal {H}}(F)\mid F\subseteq A\land |F|<\infty \right\}}$ (sie ist gerichtet, da ${\displaystyle C_{\mathcal {H}}(F)\cup C_{\mathcal {H}}(G)=C_{\mathcal {H}}(F\cup G)}$). Sie besteht aus Elementen des Hüllensystems, somit ist auch ihre Vereinigung ${\displaystyle U}$ Element des Hüllensystems, somit ist ${\displaystyle U=C_{\mathcal {H}}(A)}$ und die Algebraizität gezeigt. Man beachte, dass der Beweis letzterer Implikation aufgrund obiger Verwendung gewisser Sätze über unendliche Mengen auf dem Auswahlaxiom basiert.

Beispiele

An z​wei einfachen Beispielen k​ann man d​en vom Satz formulierten Zusammenhang zwischen Algebraizität u​nd Induktivität nachprüfen.

Ein mögliches Hüllensystem ist die ganze Potenzmenge, ${\displaystyle {\mathcal {H}}={\mathcal {P}}(S)}$. In diesem Fall ist der Hüllenoperator die Identität. Da jede Teilmenge von ${\displaystyle S}$ die Vereinigung ihrer endlichen Teilmengen ist, sind der Hüllenoperator und das Hüllensystem algebraisch. Tatsächlich ist das Hüllensystem in diesem Fall auch induktiv.

Ein anderes Hüllensystem besteht aus der als unendlich angenommenen Menge ${\displaystyle S}$ und allen endlichen Teilmengen, ${\displaystyle {\mathcal {H}}=\{S\}\cup \{A:A\subseteq S\land |A|<\infty \}}$. Endliche Teilmengen werden in diesem Fall vom Hüllenoperator auf sich selbst abgebildet, unendliche Teilmengen dagegen auf ganz ${\displaystyle S}$. Für eine unendliche echte Teilmenge von ${\displaystyle S}$ ist die Endlichkeitsbedingung daher nicht erfüllt, das Hüllensystem somit nicht algebraisch. Tatsächlich ist es auch nicht induktiv, eine aufsteigende Kette endlicher Mengen, die nicht ganz ${\displaystyle S}$ ausschöpft, ist hierfür ein Gegenbeispiel.

Literatur

Originalarbeiten

• Jürgen Schmidt: Über die Rolle der transfiniten Schlussweisen in einer allgemeinen Idealtheorie. In: Math. Nachr. Band 7, 1952, S. 165–182 (MR0047628).
• Jürgen Schmidt: Einige grundlegende Begriffe und Sätze aus der Theorie der Hüllenoperatoren. In: Bericht über die Mathematiker-Tagung in Berlin. Deutscher Verlag der Wissenschaften, Berlin Januar 1953, S. 21–48 (MR0069802).

Monographien

• Paul Moritz Cohn: Universal Algebra (= Mathematics and Its Applications. Band 6). Überarbeitete Auflage. D. Reidel Publishing, Dordrecht, Boston 1981, ISBN 90-277-1213-1.
• Th. Ihringer: Allgemeine Algebra (= Teubner Studienbuch). Teubner Verlag, Stuttgart 1988, ISBN 3-519-02083-1.
• Heinrich Werner: Einführung in die allgemeine Algebra (= BI-Hochschultaschenbuch. Band 120). Bibliographisches Institut, Mannheim / Wien / Zürich 1978, ISBN 3-411-00120-8.

Einzelnachweise und Fußnoten

1. Bjarni Jónsson: Topics in Universal Algebra. Springer, Berlin 1972, ISBN 3-540-05722-6, S. 91.
2. Ihringer: S. 37.
3. Ihringer spricht in seiner Darstellung nicht von algebraischen Hüllensystemen, sondern stellt sie allein auf den Begriff der Induktivität ab.
4. Stanley Burris, H. P. Sankappanavar: A Course in Universal Algebra. 1981, S. 24 (math.uwaterloo.ca [PDF; 1,6 MB]).
5. Schmidt: Math. Nachr. Band 7, 1952, S. 174.
6. Günter Bruns: A lemma on directed sets and chains. In: Archiv der Mathematik. Band 18, Nr. 6. Birkhäuser, 1967, ISSN 0003-889X, S. 561–563, doi:10.1007/BF01898858.
7. Schmidt: Math. Nachr. Band 7, 1952, S. 172.
8. Schmidt: Bericht über die Mathematiker-Tagung in Berlin. Januar 1953, S. 25.
9. Cohn: S. 45, 397.
10. Schmidt bezeichnet den Satz in den Artikeln von 1952 und 1953 als Hauptsatz über algebraische Hüllensysteme. Diese Bezeichnung wird in der heutigen Literatur zur Universellen Algebra nicht aufgegriffen. Heinrich Werner gibt in Einführung in die allgemeine Algebra. S. 32, einen Satz an, welcher im Wesentlichen dem Satz von Schmidt entspricht und dennoch nicht Jürgen Schmidt zugewiesen wird, sondern als ein Resultat von Birkhoff-Frink aus dem Jahre 1948 genannt ist.