Definition: Eine geordnete Menge (V,£) heißt verbandsgeordnet falls zu je zwei Elementen x, y das Supremum x Ú y und das Infimum x Ù y existieren. |
Beispiel 1: Auf der Mengen N der natürlichen Zahlen ist die Teilbarkeitsrelation "|" eine Ordnungsrelation. Bzgl. dieser Relation ist eine obere Schranke von {a,b} ein gemeinsames Vielfaches, und eine untere Schranke ein gemeinsamer Teiler. Da es zu je zwei natürliche Zahlen a und b ein kleinstes gemeinsames Vielfaches kgV(a,b) und einen größten gemeinsamen Teiler ggT(a,b), ist (N, | ) verbandsgeordnet.
Beispiel 2: Für jede Menge M ist die Teilmengenrelation "Í" eine Ordnungsrelation auf der Potenzmenge P(M). A Ù B ist gerade A Ç B, A Ú B ist A È B.
Für x,y Î V gilt genau dann x £ y falls y = x Ú y ist (genau dann wenn x = x Ù y ist), (siehe hier).
Für "Ú" und "Ù"
gelten eine Reihe von Eigenschaften:
Kommutativität
a Ù b = b Ù a,
a Ú b = b Ú a
und Idempotenz a Ù a = a, sowie
a Ù a = a sind wegen der Symmetrie
der Definition von Supremum und Infimum offensichtlich.
Auch die Assoziativgesetze
aÙ(bÙc)=
(aÙb)Ùc,
aÚ(bÚc)=
(aÚb)Úc,
folgen mit diesem Lemma leicht:
aÙ(bÙc)=
sup{a,b,c} = sup{c,a,b} =
cÙ(aÙb)=
(aÙb)Ùc,
und genauso fürs Infimum.
Die Absorptionsgesetze bedürfen einen Beweis:
Nach Definition des Supremums als obere Schranke gilt
a £ a Ú b.
Deshalb ist a größte untere Schranke von
{a,a Ú b}, also
a = a Ù (a Ú b).
Genauso zeigt man
a = a Ú (a Ù b).
In verbandsgeordneten Mengen hat jede endliche Menge {a1, ... , ak} ein Supremum a1 Ú (a2 Ú ... (ak-1 Ú ak)...)), und entsprechend ein Infimum, wie sich durch mehrmaliges Anwenden des vorigen Lemmas ergibt. Trotzdem kann es unendliche Mengen geben, die kein Supremum oder Infimum haben. Verbandsgeordnete Mengen, bei denen jeder Menge ein Supremum und ein Infimum existiert, werden vollständig genannt. Endliche verbandsgeordnete Mengen sind also immer vollständig.
Übungsaufgabe: Gibt es in Beispiel 1 (N, | ) zu jeder Menge ein Supremum oder zu jeder Menge ein Infimum?
Übungsaufgabe: Für eine Menge M sei T(M) die Menge aller transitiven Relationen auf M. Zeigen Sie, daß (T(M), Í ) ein Verband ist. Hinweis
Übungsaufgabe: Sei (M,£) eine geordnete Menge. Wir haben schon gesehen, daß die Menge der primitiven Ideale, geordnet durch "Í", eine zu (M,£) isomorphe geordnete Menge ist. Zeigen Sie, daß die Menge aller Ideale von (M,£) einen Verband bildet. Hinweis
Definition:
Gegeben sei eine Menge V und zwei binäre Verknüpfungen
"Ù" und "Ú"
auf V.
Falls folgende Gesetze gelten (jeweils für alle a,b,c Î V):
|
Für jeden Verband (V,Ù,Ú) kann man eine Relation auf V definieren durch x £ y falls x Ú y = y. |
![]() Beweis: |
![]() |
Interessant ist nun, daß beide so entstehenden Strukturen übereinstimmen. Damit ist gemeint: Die verbandsgeordnete Menge des kartesischen Produkts des Verbandes einer verbandsgeordneten Menge ist gleich dem kartesischen Produkt der ursprünglichen verbandsgeordneten Menge, und umgekehrt ...
Was ist ggT(3150,kgV(6600,3150))? |
![]() |