Distributiver Verband - LinkFang.de





Distributiver Verband


Ein distributiver Verband ist eine spezielle Struktur der Mathematik. Gegenüber allgemeinen Verbänden, in denen für die beiden (zweistelligen) Operationen [math]\vee [/math] und [math]\wedge [/math] nur die Assoziativgesetze, die Kommutativgesetze und die Absorptionsgesetze gefordert werden, gelten in einem distributiven Verband noch zusätzlich Distributivgesetze für beide Richtungen.

Die Gültigkeit der Distributivgesetze macht Verbände interessanter. Sie lassen sich einfacher untersuchen, da auftretende Terme sich leichter umformen lassen und es in gewissem Sinne einfache Darstellungen gibt. Dabei treten distributive Verbände sehr häufig auf, auch in Bereichen außerhalb der Mathematik. Boolesche Algebren sind spezielle distributive Verbände.

Präzisierung

Im Folgenden meinen wir mit dem Verband V stets den Verband [math]\left(V, \vee,\wedge\right)[/math].

Ein Verband [math]V[/math] heißt distributiver Verband, wenn für alle [math]a,b,c\in V[/math] gilt:

  • [math]a\vee(b\wedge c) = (a\vee b)\wedge(a\vee c) [/math]
  • [math]a\wedge(b\vee c) = (a\wedge b)\vee (a\wedge c) [/math]

Man kann jede der beiden Aussagen aus der anderen mit Hilfe der Verbandsaxiome ableiten.[1] Daher genügt es, die Gültigkeit eines dieser beiden Distributivgesetze zu fordern.

Jeder distributive Verband ist modular, aber nicht umgekehrt.

Ein modularer Verband, der nicht distributiv ist, enthält immer den Verband [math]M_3[/math], den Verband der Untergruppen der Kleinschen Vierergruppe, als Unterverband.[2] Dies ergibt das Kriterium:

  • hat ein Verband weder einen Unterverband der Form [math]N_5[/math] noch einen der Form [math]M_3[/math], dann ist er distributiv.

Beispiele

Distributive Verbände kann man in vielen Gebieten innerhalb und außerhalb der Mathematik finden. Distributive Verbände sind:

Kürzungsregel

In einem distributiven Verband gilt die Kürzungsregel: Gelten für [math]a, b, c \in V [/math] die beiden Gleichungen

  • aus [math]a \wedge b = a \wedge c [/math] und [math]a \vee b = a \vee c[/math] folgt [math]b = c[/math].[3]

Das Beispiel [math]M_3[/math] zeigt, dass diese Regel in beliebigen Verbänden nicht gilt. Sie ist in dem folgenden Sinn typisch für distributive Verbände:

  • Ist die Kürzungsregel für beliebige Wahl von [math]a,b,c[/math] in einem Verband V gültig, dann ist [math]V[/math] distributiv.[4]

Komplemente in distributiven Verbänden

Für ein gegebenes Element a eines beschränkten Verbandes nennt man ein Element b mit der Eigenschaft

  • [math]a \wedge b = 0[/math] und [math]a \vee b = 1[/math]

ein Komplement von a.

Während es im Allgemeinen zu einem Elemente mehrere komplementäre Elemente geben kann, gilt:

  • wenn in einem distributiven Verband ein Komplement von a existiert, dann ist es eindeutig bestimmt.[5]

Man bezeichnet ein eindeutig bestimmtes Komplement von [math]a[/math] mit [math]a^c[/math] oder [math]\neg a[/math] (vor allem bei Anwendungen in der Logik) oder [math]\overline a[/math].

Ein distributiver Verband, in dem jedes Element [math]a[/math] ein (eindeutig bestimmtes) Komplement [math]\neg a[/math] hat, heißt Boolesche Algebra.

Siehe auch: Boolesche Algebra

Auch in einem nicht-distributiven Verband kann jedes Element genau ein Komplement haben. Damit man die Distributivität folgern kann, muss man mehr fordern:

  • Ein Verband [math]V [/math] ist distributiv, wenn jedes Element in jedem Intervall höchstens ein relatives Komplement besitzt.

Ist V ein distributiver Verband und haben [math]a,b \in V [/math] Komplemente, dann haben auch [math]a \wedge b[/math] und [math]a \vee b[/math] Komplemente und es gilt

  • [math](a \wedge b)^c = a^c \vee b^c[/math] und [math](a \vee b)^c = a^c \wedge b^c[/math]

Dies ist eine andere Formulierung der de Morganschen Regeln.

Repräsentationssatz für distributive Verbände

Distributive Verbände sind auch anders zu charakterisieren, denn Birkhoff (1933) und Stone (1936) haben gezeigt:

  • Ein Verband ist genau dann distributiv, wenn er isomorph zu einem Mengen-Ring ist.[6]

Hieraus folgt natürlich, dass sich jeder distributive Verband in eine Boolesche Algebra einbetten lässt.

Weitere Eigenschaften

Jeder Unterverband eines distributiven Verbandes ist distributiv, dagegen sind Teilverbände nicht immer distributiv.

Das homomorphe Bild eines distributiven Verbandes ist distributiv.

Das direkte Produkt beliebig vieler distributiver Verbände ist distributiv.

Vollständige Distributivität

Ein Verband heißt [math]\wedge[/math]-volldistributiv, wenn für jede Wahl von [math]a \in V[/math] und jede Teilmenge [math]M \subseteq V[/math] gilt

[math]a \wedge \bigvee_{x \in M} x = \bigvee_{x \in M}(a \wedge x)[/math].

[math]\vee[/math]-Volldistributivität wird dual definiert.

Der Begriff Volldistributivität ohne Zusatz wird unterschiedlich verwendet:

  • Es kann bedeuten, dass einer von diesen beiden Bedingungen erfüllt ist und im anderen Fall spricht man von dual-volldistributiv oder verwendet explizit die obige Bezeichnung.[7]
  • Es kann bedeuten, dass beide Bedingungen erfüllt sind.
  • Es kann bedeuten, dass das folgende unendliche Distributivgesetz und die dazu duale Form gilt
Für alle [math]\emptyset \ne I, J \subseteq V[/math] gilt: [math]\bigwedge\left\{\bigvee\left\{a_{ij}| j \in J\right\}|i \in I\right\} =\bigvee \left\{\bigwedge \left\{a_{i\varphi(i)}|i \in I\right\}|\varphi: I \to J\right\}[/math] [8]

Für alle drei Begriffe gilt:

Jeder volldistributive Verband ist distributiv und jeder endliche distributive Verband ist volldistributiv.[9]

Ein vollständiger distributiver Verband braucht nicht volldistributiv sein, wie das Beispiel zeigt.[10]

Einzelnachweise und Anmerkungen

  1. Der Beweis ist eine Gleichungsumformung. Wir nehmen an, dass D2 gilt, und wollen D1 zeigen:
    [math] (a \vee b) \wedge (a \vee c) [/math]; Anwendung des zweiten Axioms:
    [math]= ((a \vee b) \wedge a) \vee ((a \vee b) \wedge c)[/math]; nach Absoptionsgesetz:
    [math]= a \vee ((a \vee b) \wedge c)[/math]; Anwendung des zweiten Axioms in Klammer:
    [math]= a \vee ((a \wedge c) \vee (b \wedge c)) [/math]; nach Assoziativgesetz:
    [math]= (a \vee (a \wedge c)) \vee (b \wedge c) [/math]; die linke Seite entspricht nach dem Absorptionsgesetz [math]a[/math]:
    [math]= a \vee (b \wedge c) [/math].
    Die Gegenrichtung folgt dual.
  2. Der Beweis (mit mehreren Zwischenschritten) findet sich z. B. in: H. Gericke, Theorie der Verbände, Mannheim, ²1967,S 111
  3. Auch dies wird mit einer einfachen Folge von Gleichungen bewiesen, in der das Absorptionsgesetz, das Distributivgesetz und die Voraussetzungen verwendet werden: [math]b = b \vee (a \wedge b) = b \vee (a \wedge c) = (b \vee a) \wedge (b \vee c)[/math][math] = (a \vee c) \wedge (b \vee c)[/math][math] = (a\wedge b) \vee c = (a \wedge c) \vee a = c[/math]; nach H. Gericke, Theorie der Verbände, ²1967, S. 114
  4. Die Beweisidee ist, dass in [math]N_5[/math] und [math]M_3[/math] jeweils die Kürzungsregel nicht gilt. Vgl. H. Gericke, Theorie der Verbände, ²1967, S. 113f
  5. Dies folgt unmittelbar aus der Kürzungsregel
  6. G.Grätzer, Lattice Theory, 1971, S. 75
  7. So z. B. H. Gericke, Theorie der Verbände, ²1967, S. 114
  8. Diese Form wurde aus G. Grätzer, Lattice Theory, p 118, Exercise 7 übernommen.
  9. H. Gericke, Theorie der Verbände, Mannheim, ²1967,S. 114f
  10. Der Verband ohne die 1 ist als Produkt von [math]\N \times \{0,1\}[/math] distributiv. Dass der ganze Verband vollständig und distributiv ist, sieht man leicht. Das Beispiel findet sich (mit etwas anderem Hasse-Diagramm) in H. Gericke, Theorie der Verbände, Mannheim, ²1967, S. 115

Literatur


Kategorien: Ordnungstheorie | Verbandstheorie | Verband (Mathematik)

Quelle: Wikipedia - http://de.wikipedia.org/wiki/Distributiver Verband (Vollständige Liste der Autoren des Textes [Versionsgeschichte])    Lizenz: CC-by-sa-3.0

Änderungen: Alle Bilder mit den meisten Bildunterschriften wurden entfernt. Ebenso alle zu nicht-existierenden Artikeln/Kategorien gehenden internen Wikipedia-Links (Bsp. Portal-Links, Redlinks, Bearbeiten-Links). Entfernung von Navigationsframes, Geo & Normdaten, Mediadateien, gesprochene Versionen, z.T. ID&Class-Namen, Style von Div-Containern, Metadaten, Vorlagen, wie lesenwerte Artikel. Ansonsten sind keine Inhaltsänderungen vorgenommen worden. Weiterhin kann es durch die maschinelle Bearbeitung des Inhalts zu Fehlern gerade in der Darstellung kommen. Darum würden wir jeden Besucher unserer Seite darum bitten uns diese Fehler über den Support mittels einer Nachricht mit Link zu melden. Vielen Dank!

Stand der Informationen: August 201& - Wichtiger Hinweis: Da die Inhalte maschinell von Wikipedia übernommen wurden, ist eine manuelle Überprüfung nicht möglich. Somit garantiert LinkFang.de nicht die Richtigkeit und Aktualität der übernommenen Inhalte. Sollten die Informationen mittlerweile fehlerhaft sein, bitten wir Sie darum uns per Support oder E-Mail zu kontaktieren. Wir werden uns dann innerhalb von spätestens 10 Tagen um Ihr Anliegen kümmern. Auch ohne Anliegen erfolgt mindestens alle drei Monate ein Update der gesamten Inhalte.