Boolescher Verband/Einführung/Textabschnitt

Aus Wikiversity


Definition  

Ein Verband heißt boolesch, wenn er komplementär und distributiv ist.

Statt boolescher Verband sagt man auch boolesche Algebra. Ein boolescher Verband ist insbesondere ein kommutativer Halbring. Der Teilmengenverband auf einer beliebigen Menge ist ein boolescher Verband, die Komplementarität ist durch die Komplementbildung auf Teilmengen gegeben, daher der Name. Von diesem Hauptbeispiel her sind auch die folgenden Regeln vertraut.



Lemma  

In einem booleschen Verband gelten die folgenden Rechenregeln.

  1. Zu jedem Element gibt es genau ein Element mit und . Es wird mit bezeichnet.
  2. Es ist
  3. Es ist und .
  4. Es ist
  5. Es ist

Beweis  

  1. Es seien und Komplemente von . Dann ist

    Da ebenso gilt, folgt .

  2. Siehe Aufgabe.
  3. Siehe Aufgabe.
  4. Siehe Aufgabe.
  5. Siehe Aufgabe.


Die letzten beiden Regeln nennt man Regeln von de Morgan.