Algebraisches Hüllensystem

Algebraische Hüllensysteme sind ein Begriff aus dem mathematischen Teilgebiet der universellen Algebra. Ein Hüllensystem heißt algebraisch, wenn es sich als Menge der Universen aller Unterstrukturen einer algebraischen Struktur ergibt.

Zusammenhang zwischen Hüllensystem und Hüllenoperator

Für ein Hüllensystem über einer Grundmenge ist der zugehörige Hüllenoperator auf gegeben durch:

Der Hüllenoperator ordnet also einer Teilmenge von S die kleinste Obermenge aus 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 und der Hüllenoperator werden algebraisch genannt, wenn folgende Endlichkeitsbedingung erfüllt ist:

Das bedeutet:

In der Logik wird diese Eigenschaft Kompaktheit genannt.

Diese Eigenschaft gilt für jedes Hüllensystem, das durch die Unterstrukturen einer algebraischen Struktur gegeben ist, denn ein Element 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 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 und und wie oben eine Verknüpfung definiert durch und für andere Tupel (was für nicht auftritt) zum Beispiel setzt.

Charakterisierung über Induktivität

Eine Menge von Mengen heißt induktiv, wenn für jede nichtleere bezüglich der Inklusionsrelation aufsteigend linear geordnete Teilmenge die Vereinigungsmenge wiederum zu gehört. Dies ist äquivalent dazu, dass die Vereinigung jeder nichtleeren bezüglich der Inklusionsrelation gerichteten Teilmenge von wiederum zu gehört. 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 eine gerichtete Teilmenge mit unendlicher Kardinalität . lässt sich als Vereinigung einer aufsteigenden Kette von Teilmengen kleinerer Kardinalität darstellen. Hierfür wähle eine Nummerierung , dann ist Vereinigung der Bilder für jede Ordinalzahl . Da für unendliche Mengen die Menge aller endlichen Teilmengen dieselbe Kardinalität wie die Menge selbst besitzt und sich somit jedes zu einer gerichteten Teilmenge ergänzen lässt, ohne die Kardinalität zu überschreiten, lässt sich 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.

Satz von Schmidt

Aus dem Vorherigen ergibt sich ein Satz von Jürgen Schmidt (1918–1980), welcher besagt, dass die Induktivität für ein Hüllensystem äquivalent zur Algebraizität ist.

Denn die Algebraizität impliziert die Induktivität offensichtlich unmittelbar. Umgekehrt betrachte man für ein Hüllensystem und ein die gerichtete Menge (sie ist gerichtet, da ). Sie besteht aus Elementen des Hüllensystems, somit ist auch ihre Vereinigung Element des Hüllensystems, somit ist 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 zwei einfachen Beispielen kann man den vom Satz formulierten Zusammenhang zwischen Algebraizität und Induktivität nachprüfen.

Ein mögliches Hüllensystem ist die ganze Potenzmenge, . In diesem Fall ist der Hüllenoperator die Identität. Da jede Teilmenge von 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 und allen endlichen Teilmengen, . Endliche Teilmengen werden in diesem Fall vom Hüllenoperator auf sich selbst abgebildet, unendliche Teilmengen dagegen auf ganz . Für eine unendliche echte Teilmenge von 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 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.