diskrete strukturen - algebraische strukturen und verbände'epaul/lehre/18ds/ds09.pdf · 2018....
TRANSCRIPT
![Page 1: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/1.jpg)
Diskrete StrukturenVorlesung 9: Algebraische Strukturen & Verbände
11. Dezember 2018
1
![Page 2: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/2.jpg)
Nächste Termine — Modul “Diskrete Strukturen”
Hörsaalübung (Mo. 9:15) Vorlesung (Di. 17:15)
10.12.HörsaalübungÜbung Götze 13.12. 7:30 Uhr
11.12.Alg. Strukturen, Verbände(4. Abgabe + 5. Übungsblatt)
17.12.Hörsaalübung5. Übungswoche
18.12.Boolesche Algebren, Gruppen
24.12. 25.12.
31.12. 1.1.
7.1. 8.1.Körper(5. Abgabe + 6. Übungsblatt)
14.1.Hörsaalübung6. Übungswoche
15.1.Graphen und Bäume
21.1. 22.1.Planarität von Graphen(6. Abgabe + 7. Übungsblatt)
28.1.Hörsaalübung7. Übungswoche
29.1.Färbbarkeit von Graphen
4.2.Tutorium(Klausurvorbereitung)
5.2.Arithmetik
![Page 3: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/3.jpg)
Vorlesungsstruktur
1 Mathematische GrundlagenI Aussagen- und PrädikatenlogikI Naive MengenlehreI Relationen und Funktionen
2 Diskrete StrukturenI Algebraische StrukturenI Bäume und GraphenI Arithmetik
3
![Page 4: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/4.jpg)
Heutige Vorlesung
Algebraische Strukturen und Isomorphie
Korrespondenz Ordnungsstruktur & algebraische Darstellung
Unterstruktur
Charakterisierung Distributivität
Einführung Boolesche Algebren
Bitte Fragen direkt stellen!
4
![Page 5: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/5.jpg)
Algebraische Strukturen — Grundlagen
Motivationbisher nur Korrespondenz via Bijektion(für jede Äquivalenzrelation gibt es eine Zerlegung, . . . )häu�g möchte man jedoch strukturerhaltende “Gleichheit”,die Umbenennungen der Elemente ignoriert
Ziel: “gleich” rechnen in strukturäquivalenten Mengendaher zunächst Formalisierung ‘algebraische Struktur’
· · ·
4
3
2
1
0
· · ·
14
13
12
11
10
5
![Page 6: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/6.jpg)
Algebraische Strukturen — Grundlagen
Motivationbisher nur Korrespondenz via Bijektion(für jede Äquivalenzrelation gibt es eine Zerlegung, . . . )häu�g möchte man jedoch strukturerhaltende “Gleichheit”,die Umbenennungen der Elemente ignoriert
Ziel: “gleich” rechnen in strukturäquivalenten Mengendaher zunächst Formalisierung ‘algebraische Struktur’
· · ·
4
3
2
1
0
· · ·
14
13
12
11
10
6
![Page 7: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/7.jpg)
Algebraische Strukturen — Grundlagen
Motivationbisher nur Korrespondenz via Bijektion(für jede Äquivalenzrelation gibt es eine Zerlegung, . . . )häu�g möchte man jedoch strukturerhaltende “Gleichheit”,die Umbenennungen der Elemente ignoriertZiel: “gleich” rechnen in strukturäquivalenten Mengendaher zunächst Formalisierung ‘algebraische Struktur’
· · ·
4
3
2
1
0
· · ·
14
13
12
11
10
7
![Page 8: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/8.jpg)
Algebraische Strukturen — Grundlagen
Motivation:
wir können auch “Mengen” von komplizierten Objekten betrachten
Beispiele
Verb = {(M,�) | (M,�) Verband}Zerl = {(M,M) | M Zerlegung von M}Äq = {(M,≡) | ≡ Äquivalenzrelation auf M}
8
![Page 9: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/9.jpg)
Algebraische Strukturen — Grundlagen
§9.1 TheoremDie Funktion f : Äq→ Zerl mit
f((M,≡)
)=(M, (M/≡)
)für alle (M,≡) ∈ Äq ist bijektiv
Beweis (direkt).Für jede Äquivalenzrelation ≡ auf M ist (M/≡) eine Zerlegung von Mgemäß §5.6. Also gilt f ((M,≡)) ∈ Zerl.
Des Weiteren gibt es nach §5.7 eine Funktion g : Zerl→ Äq, so dassf ; g = idÄq und g ; f = idZerl (siehe §5.8).
Damit ist f invertierbar und deshalb nach §6.2 bijektiv.
9
![Page 10: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/10.jpg)
Algebraische Strukturen — Grundlagen
§9.1 TheoremDie Funktion f : Äq→ Zerl mit
f((M,≡)
)=(M, (M/≡)
)für alle (M,≡) ∈ Äq ist bijektiv
Beweis (direkt).Für jede Äquivalenzrelation ≡ auf M ist (M/≡) eine Zerlegung von Mgemäß §5.6. Also gilt f ((M,≡)) ∈ Zerl.
Des Weiteren gibt es nach §5.7 eine Funktion g : Zerl→ Äq, so dassf ; g = idÄq und g ; f = idZerl (siehe §5.8).
Damit ist f invertierbar und deshalb nach §6.2 bijektiv.
10
![Page 11: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/11.jpg)
Algebraische Strukturen — Grundlagen
§9.1 TheoremDie Funktion f : Äq→ Zerl mit
f((M,≡)
)=(M, (M/≡)
)für alle (M,≡) ∈ Äq ist bijektiv
Beweis (direkt).Für jede Äquivalenzrelation ≡ auf M ist (M/≡) eine Zerlegung von Mgemäß §5.6. Also gilt f ((M,≡)) ∈ Zerl.
Des Weiteren gibt es nach §5.7 eine Funktion g : Zerl→ Äq, so dassf ; g = idÄq und g ; f = idZerl (siehe §5.8).
Damit ist f invertierbar und deshalb nach §6.2 bijektiv.
11
![Page 12: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/12.jpg)
Algebraische Strukturen — Grundlagen
§9.1 TheoremDie Funktion f : Äq→ Zerl mit
f((M,≡)
)=(M, (M/≡)
)für alle (M,≡) ∈ Äq ist bijektiv
Beweis (direkt).Für jede Äquivalenzrelation ≡ auf M ist (M/≡) eine Zerlegung von Mgemäß §5.6. Also gilt f ((M,≡)) ∈ Zerl.
Des Weiteren gibt es nach §5.7 eine Funktion g : Zerl→ Äq, so dassf ; g = idÄq und g ; f = idZerl (siehe §5.8).
Damit ist f invertierbar und deshalb nach §6.2 bijektiv.
12
![Page 13: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/13.jpg)
Algebraische Strukturen — Grundlagen
Kurzeinführung:algebraische Struktur ist eine Menge Mzusammen mit Relationen, Funktionen, und Konstanten auf Mhäu�g unterliegen diese weiteren Einschränkungen
Beispiele(N, nachfolger,0) ist eine algebraische Struktur mit
I einer Funktion nachfolger : N→ N undI einer Konstante 0 ∈ N
Peano-Axiome beschreiben algebraische Strukturen (N, s, z) mit(siehe §6.6)
I einer Funktion s : N → N und (speziell: injektiver Funktion)I einer Konstante z ∈ N (mit weiteren Eigenscha�en)
jede teilweise geordnete Menge (M,�)ist eine algebraische Struktur mit
I einer Relation � ⊆ M×M (speziell: einer Ordnungsrelation)
13
![Page 14: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/14.jpg)
Algebraische Strukturen — Grundlagen
Kurzeinführung:algebraische Struktur ist eine Menge Mzusammen mit Relationen, Funktionen, und Konstanten auf Mhäu�g unterliegen diese weiteren Einschränkungen
Beispiele(N, nachfolger,0) ist eine algebraische Struktur mit
I einer Funktion nachfolger : N→ N undI einer Konstante 0 ∈ N
Peano-Axiome beschreiben algebraische Strukturen (N, s, z) mit(siehe §6.6)
I einer Funktion s : N → N und (speziell: injektiver Funktion)I einer Konstante z ∈ N (mit weiteren Eigenscha�en)
jede teilweise geordnete Menge (M,�)ist eine algebraische Struktur mit
I einer Relation � ⊆ M×M (speziell: einer Ordnungsrelation)
14
![Page 15: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/15.jpg)
Algebraische Strukturen — Grundlagen
Kurzeinführung:algebraische Struktur ist eine Menge Mzusammen mit Relationen, Funktionen, und Konstanten auf Mhäu�g unterliegen diese weiteren Einschränkungen
Beispiele(N, nachfolger,0) ist eine algebraische Struktur mit
I einer Funktion nachfolger : N→ N undI einer Konstante 0 ∈ N
Peano-Axiome beschreiben algebraische Strukturen (N, s, z) mit(siehe §6.6)
I einer Funktion s : N → N und (speziell: injektiver Funktion)I einer Konstante z ∈ N (mit weiteren Eigenscha�en)
jede teilweise geordnete Menge (M,�)ist eine algebraische Struktur mit
I einer Relation � ⊆ M×M (speziell: einer Ordnungsrelation)
15
![Page 16: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/16.jpg)
Algebraische Strukturen — Grundlagen
Kurzeinführung:algebraische Struktur ist eine Menge Mzusammen mit Relationen, Funktionen, und Konstanten auf Mhäu�g unterliegen diese weiteren Einschränkungen
Beispiele(N, nachfolger,0) ist eine algebraische Struktur mit
I einer Funktion nachfolger : N→ N undI einer Konstante 0 ∈ N
Peano-Axiome beschreiben algebraische Strukturen (N, s, z) mit(siehe §6.6)
I einer Funktion s : N → N und (speziell: injektiver Funktion)I einer Konstante z ∈ N (mit weiteren Eigenscha�en)
jede teilweise geordnete Menge (M,�)ist eine algebraische Struktur mit
I einer Relation � ⊆ M×M (speziell: einer Ordnungsrelation)
16
![Page 17: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/17.jpg)
Algebraische Strukturen — Grundlagen
§9.2 De�nition (Algebraische Struktur)Sei U eine Grundmenge und seien
R1, . . . , Rk ⊆ U × U Relationen auf U
f1, . . . , f` : U × U → U binäre (zweistellige) Funktionen auf U
g1, . . . , gm : U → U unäre (einstellige) Funktionen auf U und
c1, . . . , cn ∈ U Elemente (auch: Konstanten) von U .
Dann ist(U , 〈R1, . . . , Rk〉, 〈f1, . . . , f`〉, 〈g1, . . . , gm〉, 〈c1, . . . , cn〉
)eine
algebraische Struktur des Typs (k, `, m, n).
Beispiele
jede Äquivalenzrelation ≡ ⊆ M×M liefert eine algebraische Struktur(M, 〈≡〉, 〈〉, 〈〉, 〈〉) des Typs (1, 0, 0, 0)die Wahrheitswerte {0, 1} bilden eine algebraische Struktur({0, 1}, 〈〉, 〈∨, ∧〉, 〈¬〉, 〈0, 1〉) des Typs (0, 2, 1, 2)
17
![Page 18: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/18.jpg)
Algebraische Strukturen — Grundlagen
§9.2 De�nition (Algebraische Struktur)Sei U eine Grundmenge und seien
R1, . . . , Rk ⊆ U × U Relationen auf U
f1, . . . , f` : U × U → U binäre (zweistellige) Funktionen auf U
g1, . . . , gm : U → U unäre (einstellige) Funktionen auf U und
c1, . . . , cn ∈ U Elemente (auch: Konstanten) von U .
Dann ist(U , 〈R1, . . . , Rk〉, 〈f1, . . . , f`〉, 〈g1, . . . , gm〉, 〈c1, . . . , cn〉
)eine
algebraische Struktur des Typs (k, `, m, n).
Beispiele
jede Äquivalenzrelation ≡ ⊆ M×M liefert eine algebraische Struktur(M, 〈≡〉, 〈〉, 〈〉, 〈〉) des Typs (1, 0, 0, 0)die Wahrheitswerte {0, 1} bilden eine algebraische Struktur({0, 1}, 〈〉, 〈∨, ∧〉, 〈¬〉, 〈0, 1〉) des Typs (0, 2, 1, 2)
18
![Page 19: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/19.jpg)
Algebraische Strukturen — Grundlagen
§9.2 De�nition (Algebraische Struktur)Sei U eine Grundmenge und seien
R1, . . . , Rk ⊆ U × U Relationen auf U
f1, . . . , f` : U × U → U binäre (zweistellige) Funktionen auf U
g1, . . . , gm : U → U unäre (einstellige) Funktionen auf U und
c1, . . . , cn ∈ U Elemente (auch: Konstanten) von U .
Dann ist(U , 〈R1, . . . , Rk〉, 〈f1, . . . , f`〉, 〈g1, . . . , gm〉, 〈c1, . . . , cn〉
)eine
algebraische Struktur des Typs (k, `, m, n).
Beispiele
jede Äquivalenzrelation ≡ ⊆ M×M liefert eine algebraische Struktur(M, 〈≡〉, 〈〉, 〈〉, 〈〉) des Typs (1, 0, 0, 0)die Wahrheitswerte {0, 1} bilden eine algebraische Struktur({0, 1}, 〈〉, 〈∨, ∧〉, 〈¬〉, 〈0, 1〉) des Typs (0, 2, 1, 2)
19
![Page 20: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/20.jpg)
Algebraische Strukturen — Grundlagen
§9.2 De�nition (Algebraische Struktur)Sei U eine Grundmenge und seien
R1, . . . , Rk ⊆ U × U Relationen auf U
f1, . . . , f` : U × U → U binäre (zweistellige) Funktionen auf U
g1, . . . , gm : U → U unäre (einstellige) Funktionen auf U und
c1, . . . , cn ∈ U Elemente (auch: Konstanten) von U .
Dann ist(U , 〈R1, . . . , Rk〉, 〈f1, . . . , f`〉, 〈g1, . . . , gm〉, 〈c1, . . . , cn〉
)eine
algebraische Struktur des Typs (k, `, m, n).
Beispiele
jede Äquivalenzrelation ≡ ⊆ M×M liefert eine algebraische Struktur(M, 〈≡〉, 〈〉, 〈〉, 〈〉) des Typs (1, 0, 0, 0)die Wahrheitswerte {0, 1} bilden eine algebraische Struktur({0, 1}, 〈〉, 〈∨, ∧〉, 〈¬〉, 〈0, 1〉) des Typs (0, 2, 1, 2)
20
![Page 21: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/21.jpg)
Algebraische Strukturen — Grundlagen
§9.2 De�nition (Algebraische Struktur)Sei U eine Grundmenge und seien
R1, . . . , Rk ⊆ U × U Relationen auf U
f1, . . . , f` : U × U → U binäre (zweistellige) Funktionen auf U
g1, . . . , gm : U → U unäre (einstellige) Funktionen auf U und
c1, . . . , cn ∈ U Elemente (auch: Konstanten) von U .
Dann ist(U , 〈R1, . . . , Rk〉, 〈f1, . . . , f`〉, 〈g1, . . . , gm〉, 〈c1, . . . , cn〉
)eine
algebraische Struktur des Typs (k, `, m, n).
Beispiele
jede Äquivalenzrelation ≡ ⊆ M×M liefert eine algebraische Struktur(M, 〈≡〉, 〈〉, 〈〉, 〈〉) des Typs (1, 0, 0, 0)die Wahrheitswerte {0, 1} bilden eine algebraische Struktur({0, 1}, 〈〉, 〈∨, ∧〉, 〈¬〉, 〈0, 1〉) des Typs (0, 2, 1, 2)
21
![Page 22: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/22.jpg)
Algebraische Strukturen — Grundlagen
§9.2 De�nition (Algebraische Struktur)Sei U eine Grundmenge und seien
R1, . . . , Rk ⊆ U × U Relationen auf U
f1, . . . , f` : U × U → U binäre (zweistellige) Funktionen auf U
g1, . . . , gm : U → U unäre (einstellige) Funktionen auf U und
c1, . . . , cn ∈ U Elemente (auch: Konstanten) von U .
Dann ist(U , 〈R1, . . . , Rk〉, 〈f1, . . . , f`〉, 〈g1, . . . , gm〉, 〈c1, . . . , cn〉
)eine
algebraische Struktur des Typs (k, `, m, n).
Beispiele
jede Äquivalenzrelation ≡ ⊆ M×M liefert eine algebraische Struktur(M, 〈≡〉, 〈〉, 〈〉, 〈〉) des Typs (1, 0, 0, 0)die Wahrheitswerte {0, 1} bilden eine algebraische Struktur({0, 1}, 〈〉, 〈∨, ∧〉, 〈¬〉, 〈0, 1〉) des Typs (0, 2, 1, 2)
22
![Page 23: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/23.jpg)
Algebraische Strukturen — Grundlagen
Notizen
algebraische Struktur= Grundmenge mit Relationen, Funktionen und Konstanten
wir betrachten nur binäre und unäre Funktionenund (2-stellige) Relationen
Reihenfolge im Typ:1 Anzahl Relationen2 Anzahl binärer Funktionen3 Anzahl unärer Funktionen4 Anzahl Konstanten
wir lassen leere Blöcke am Ende wegund lassen die Gruppierung weg, falls o�ensichtlichz.B. (M, 〈�〉) oder (M,�) statt (M, 〈�〉, 〈〉, 〈〉, 〈〉)
23
![Page 24: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/24.jpg)
Algebraische Strukturen — Grundlagen
Notizen
algebraische Struktur= Grundmenge mit Relationen, Funktionen und Konstanten
wir betrachten nur binäre und unäre Funktionenund (2-stellige) RelationenReihenfolge im Typ:
1 Anzahl Relationen2 Anzahl binärer Funktionen3 Anzahl unärer Funktionen4 Anzahl Konstanten
wir lassen leere Blöcke am Ende wegund lassen die Gruppierung weg, falls o�ensichtlichz.B. (M, 〈�〉) oder (M,�) statt (M, 〈�〉, 〈〉, 〈〉, 〈〉)
24
![Page 25: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/25.jpg)
Algebraische Strukturen — Grundlagen
weitere Beispielejede teilweise geordnete Menge (M,�) ist einealgebraische Struktur des Typs (1,0,0,0)
die Peano-Axiome spezi�zieren einealgebraische Struktur (N, s, z) des Typs (0,0, 1, 1)
(Beschreibung der natürlichen Zahlen)
jede Potenzmenge P(M) liefert eine algebraischeStruktur (P(M),⊆,∪,∩, ·c , ∅,M) des Typs (1, 2, 1, 2)
25
![Page 26: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/26.jpg)
Algebraische Strukturen — Grundlagen
weitere Beispielejede teilweise geordnete Menge (M,�) ist einealgebraische Struktur des Typs (1,0,0,0)
die Peano-Axiome spezi�zieren einealgebraische Struktur (N, s, z) des Typs (0,0, 1, 1)
(Beschreibung der natürlichen Zahlen)
jede Potenzmenge P(M) liefert eine algebraischeStruktur (P(M),⊆,∪,∩, ·c , ∅,M) des Typs (1, 2, 1, 2)
26
![Page 27: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/27.jpg)
Algebraische Strukturen — Grundlagen
weitere Beispielejede teilweise geordnete Menge (M,�) ist einealgebraische Struktur des Typs (1,0,0,0)
die Peano-Axiome spezi�zieren einealgebraische Struktur (N, s, z) des Typs (0,0, 1, 1)
(Beschreibung der natürlichen Zahlen)
jede Potenzmenge P(M) liefert eine algebraischeStruktur (P(M),⊆,∪,∩, ·c , ∅,M) des Typs (1, 2, 1, 2)
27
![Page 28: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/28.jpg)
Algebraische Strukturen — Isomorphie
§9.2 De�nition (Isomorphismus)Seien U = (U , 〈R1, . . . , Rk〉, 〈f1, . . . , f`〉, 〈g1, . . . , gm〉, 〈c1, . . . , cn〉) undU ′ = (U ′, 〈R ′1 , . . . , R ′k〉, 〈f
′1 , . . . , f
′` 〉, 〈g′1, . . . , g′m〉, 〈c′1 , . . . , c′n〉) zwei
algebraische Strukturen gleichen Typs.Eine Funktion ϕ : U → U ′ heißt Isomorphismus von U nach U ′, gdw.
ϕ bijektiv ist,
für alle 1 ≤ i ≤ k und u1, u2 ∈ U gilt
(u1, u2) ∈ Ri gdw.(ϕ(u1), ϕ(u2)
)∈ R ′i
für alle 1 ≤ i ≤ ` und u1, u2 ∈ U gilt
ϕ(fi(u1, u2)
)= f ′i
(ϕ(u1), ϕ(u2)
)ϕ(gi(u)
)= g′i
(ϕ(u)
)für alle 1 ≤ i ≤ m und u ∈ U , und
ϕ(ci) = c′i für alle 1 ≤ i ≤ n.U und U ′ heißen isomorph, gdw. ein solcher Isomorphismus existiert.
28
![Page 29: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/29.jpg)
Algebraische Strukturen — Isomorphie
§9.2 De�nition (Isomorphismus)Seien U = (U , 〈R1, . . . , Rk〉, 〈f1, . . . , f`〉, 〈g1, . . . , gm〉, 〈c1, . . . , cn〉) undU ′ = (U ′, 〈R ′1 , . . . , R ′k〉, 〈f
′1 , . . . , f
′` 〉, 〈g′1, . . . , g′m〉, 〈c′1 , . . . , c′n〉) zwei
algebraische Strukturen gleichen Typs.Eine Funktion ϕ : U → U ′ heißt Isomorphismus von U nach U ′, gdw.
ϕ bijektiv ist,
für alle 1 ≤ i ≤ k und u1, u2 ∈ U gilt
(u1, u2) ∈ Ri gdw.(ϕ(u1), ϕ(u2)
)∈ R ′i
für alle 1 ≤ i ≤ ` und u1, u2 ∈ U gilt
ϕ(fi(u1, u2)
)= f ′i
(ϕ(u1), ϕ(u2)
)ϕ(gi(u)
)= g′i
(ϕ(u)
)für alle 1 ≤ i ≤ m und u ∈ U , und
ϕ(ci) = c′i für alle 1 ≤ i ≤ n.U und U ′ heißen isomorph, gdw. ein solcher Isomorphismus existiert.
29
![Page 30: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/30.jpg)
Algebraische Strukturen — Isomorphie
§9.2 De�nition (Isomorphismus)Seien U = (U , 〈R1, . . . , Rk〉, 〈f1, . . . , f`〉, 〈g1, . . . , gm〉, 〈c1, . . . , cn〉) undU ′ = (U ′, 〈R ′1 , . . . , R ′k〉, 〈f
′1 , . . . , f
′` 〉, 〈g′1, . . . , g′m〉, 〈c′1 , . . . , c′n〉) zwei
algebraische Strukturen gleichen Typs.Eine Funktion ϕ : U → U ′ heißt Isomorphismus von U nach U ′, gdw.
ϕ bijektiv ist,
für alle 1 ≤ i ≤ k und u1, u2 ∈ U gilt
(u1, u2) ∈ Ri gdw.(ϕ(u1), ϕ(u2)
)∈ R ′i
für alle 1 ≤ i ≤ ` und u1, u2 ∈ U gilt
ϕ(fi(u1, u2)
)= f ′i
(ϕ(u1), ϕ(u2)
)ϕ(gi(u)
)= g′i
(ϕ(u)
)für alle 1 ≤ i ≤ m und u ∈ U , und
ϕ(ci) = c′i für alle 1 ≤ i ≤ n.
U und U ′ heißen isomorph, gdw. ein solcher Isomorphismus existiert.
30
![Page 31: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/31.jpg)
Algebraische Strukturen — Isomorphie
§9.2 De�nition (Isomorphismus)Seien U = (U , 〈R1, . . . , Rk〉, 〈f1, . . . , f`〉, 〈g1, . . . , gm〉, 〈c1, . . . , cn〉) undU ′ = (U ′, 〈R ′1 , . . . , R ′k〉, 〈f
′1 , . . . , f
′` 〉, 〈g′1, . . . , g′m〉, 〈c′1 , . . . , c′n〉) zwei
algebraische Strukturen gleichen Typs.Eine Funktion ϕ : U → U ′ heißt Isomorphismus von U nach U ′, gdw.
ϕ bijektiv ist,
für alle 1 ≤ i ≤ k und u1, u2 ∈ U gilt
(u1, u2) ∈ Ri gdw.(ϕ(u1), ϕ(u2)
)∈ R ′i
für alle 1 ≤ i ≤ ` und u1, u2 ∈ U gilt
ϕ(fi(u1, u2)
)= f ′i
(ϕ(u1), ϕ(u2)
)ϕ(gi(u)
)= g′i
(ϕ(u)
)für alle 1 ≤ i ≤ m und u ∈ U , und
ϕ(ci) = c′i für alle 1 ≤ i ≤ n.U und U ′ heißen isomorph, gdw. ein solcher Isomorphismus existiert.
31
![Page 32: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/32.jpg)
Algebraische Strukturen — Isomorphie
Beispiel(N, nachfolger,0) und ({z ∈ Z | z ≤ 0}, g,0) mit g(z) = z − 1 für allez ≤ 0 sind isomorph vermittels
Isomorphismus ϕ(n) = −n für alle n ∈ Nϕ bijektiv (leicht nachweisbar)
ϕ(nachfolger(n)) = ϕ(n+ 1) = −n− 1 = g(−n) = g(ϕ(n))
ϕ(0) = 0
· · ·
4
3
2
1
0
0
−1
−2
−3
−4
· · ·32
![Page 33: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/33.jpg)
Algebraische Strukturen — Isomorphie
Beispiel(N, nachfolger,0) und ({z ∈ Z | z ≤ 0}, g,0) mit g(z) = z − 1 für allez ≤ 0 sind isomorph vermittels Isomorphismus ϕ(n) = −n für alle n ∈ N
ϕ bijektiv (leicht nachweisbar)
ϕ(nachfolger(n)) = ϕ(n+ 1) = −n− 1 = g(−n) = g(ϕ(n))
ϕ(0) = 0
· · ·
4
3
2
1
0
0
−1
−2
−3
−4
· · ·33
![Page 34: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/34.jpg)
Algebraische Strukturen — Isomorphie
Beispiel(N, nachfolger,0) und ({z ∈ Z | z ≤ 0}, g,0) mit g(z) = z − 1 für allez ≤ 0 sind isomorph vermittels Isomorphismus ϕ(n) = −n für alle n ∈ N
ϕ bijektiv (leicht nachweisbar)
ϕ(nachfolger(n)) = ϕ(n+ 1) = −n− 1 = g(−n) = g(ϕ(n))
ϕ(0) = 0
· · ·
4
3
2
1
0
0
−1
−2
−3
−4
· · ·34
![Page 35: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/35.jpg)
Algebraische Strukturen — Isomorphie
Beispiel(N, nachfolger,0) und ({z ∈ Z | z ≤ 0}, g,0) mit g(z) = z − 1 für allez ≤ 0 sind isomorph vermittels Isomorphismus ϕ(n) = −n für alle n ∈ N
ϕ bijektiv (leicht nachweisbar)
ϕ(nachfolger(n)) = ϕ(n+ 1) = −n− 1 = g(−n) = g(ϕ(n))
ϕ(0) = 0
· · ·
4
3
2
1
0
0
−1
−2
−3
−4
· · ·35
![Page 36: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/36.jpg)
Algebraische Strukturen — Isomorphie
weiteres Beispiel(N,≤) und ({z ∈ Z | z ≤ 0},≤) sind nicht isomorph
Beweis: Sei ϕ Isomorphismus und z = ϕ(0).
Da z − 1 ≤ 0 und ϕ bijektiv,existiert n ∈ N \ {0}, so dass ϕ(n) = z − 1. Es gilt 0 ≤ n, aberϕ(0) = z 6≤ z − 1 = ϕ(n) im Widerspruch zur Isomorphismus-Eigenscha�.Also existiert kein Isomorphismus und die Strukturen sind nicht isomorph.
· · ·
4
3
2
1
0
0
−1
−2
−3
−4
· · ·
36
![Page 37: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/37.jpg)
Algebraische Strukturen — Isomorphie
weiteres Beispiel(N,≤) und ({z ∈ Z | z ≤ 0},≤) sind nicht isomorphBeweis: Sei ϕ Isomorphismus und z = ϕ(0).
Da z − 1 ≤ 0 und ϕ bijektiv,existiert n ∈ N \ {0}, so dass ϕ(n) = z − 1. Es gilt 0 ≤ n, aberϕ(0) = z 6≤ z − 1 = ϕ(n) im Widerspruch zur Isomorphismus-Eigenscha�.Also existiert kein Isomorphismus und die Strukturen sind nicht isomorph.
· · ·
4
3
2
1
0
0
−1
−2
−3
−4
· · ·
37
![Page 38: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/38.jpg)
Algebraische Strukturen — Isomorphie
weiteres Beispiel(N,≤) und ({z ∈ Z | z ≤ 0},≤) sind nicht isomorphBeweis: Sei ϕ Isomorphismus und z = ϕ(0). Da z − 1 ≤ 0 und ϕ bijektiv,existiert n ∈ N \ {0}, so dass ϕ(n) = z − 1. Es gilt 0 ≤ n, aberϕ(0) = z 6≤ z − 1 = ϕ(n) im Widerspruch zur Isomorphismus-Eigenscha�.Also existiert kein Isomorphismus und die Strukturen sind nicht isomorph.
· · ·
4
3
2
1
0
0
−1
−2
−3
−4
· · ·
?
38
![Page 39: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/39.jpg)
Algebraische Strukturen — Isomorphie
weiteres Beispiel(N,≤) und ({z ∈ Z | z ≤ 0},≤) sind nicht isomorphBeweis: Sei ϕ Isomorphismus und z = ϕ(0). Da z − 1 ≤ 0 und ϕ bijektiv,existiert n ∈ N \ {0}, so dass ϕ(n) = z − 1. Es gilt 0 ≤ n, aberϕ(0) = z 6≤ z − 1 = ϕ(n) im Widerspruch zur Isomorphismus-Eigenscha�.Also existiert kein Isomorphismus und die Strukturen sind nicht isomorph.
· · ·
4
3
2
1
0
0
−1
−2
−3
−4
· · ·
?
?
39
![Page 40: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/40.jpg)
Algebraische Strukturen — Isomorphie
§9.3 TheoremIsomorphie ist eine Äquivalenzrelationauf algebraischen Strukturen eines bestimmten Typs.
Beweis.leichte Übung
40
![Page 41: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/41.jpg)
Algebraische Strukturen — Isomorphie
§9.4 TheoremidQ ist der einzige Isomorphismus von und auf (Q,+, ·)
Beweis (direkt; 1/2).Sei ϕ : Q→ Q ein Isomorphismus von und auf (Q,+, ·).Wir zeigen zunächst ϕ(0) = 0, ϕ(1) = 1 und ϕ(−1) = −1.
ϕ(0) = ϕ(0+ 0) = ϕ(0) + ϕ(0). Es gibt nur eine Zahl n ∈ Q, so dassn = n+ n. Also ϕ(0) = 0.
ϕ(1) = ϕ(1 · 1) = ϕ(1) · ϕ(1). Es gibt nur zwei Zahlen n ∈ Q, so dassn = n · n. Da ϕ(0) = 0 und ϕ injektiv ist, gilt also ϕ(1) = 1.
ϕ(1) = ϕ((−1) · (−1)) = ϕ(−1) · ϕ(−1). Es gibt nur zwei Zahlen n ∈ Q,so dass ϕ(1) = 1 = n · n. Da ϕ(1) = 1 und ϕ injektiv ist, gilt alsoϕ(−1) = −1.
41
![Page 42: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/42.jpg)
Algebraische Strukturen — Isomorphie
§9.4 TheoremidQ ist der einzige Isomorphismus von und auf (Q,+, ·)
Beweis (direkt; 1/2).Sei ϕ : Q→ Q ein Isomorphismus von und auf (Q,+, ·).Wir zeigen zunächst ϕ(0) = 0, ϕ(1) = 1 und ϕ(−1) = −1.
ϕ(0) = ϕ(0+ 0) = ϕ(0) + ϕ(0). Es gibt nur eine Zahl n ∈ Q, so dassn = n+ n. Also ϕ(0) = 0.
ϕ(1) = ϕ(1 · 1) = ϕ(1) · ϕ(1). Es gibt nur zwei Zahlen n ∈ Q, so dassn = n · n. Da ϕ(0) = 0 und ϕ injektiv ist, gilt also ϕ(1) = 1.
ϕ(1) = ϕ((−1) · (−1)) = ϕ(−1) · ϕ(−1). Es gibt nur zwei Zahlen n ∈ Q,so dass ϕ(1) = 1 = n · n. Da ϕ(1) = 1 und ϕ injektiv ist, gilt alsoϕ(−1) = −1.
42
![Page 43: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/43.jpg)
Algebraische Strukturen — Isomorphie
§9.4 TheoremidQ ist der einzige Isomorphismus von und auf (Q,+, ·)
Beweis (direkt; 1/2).Sei ϕ : Q→ Q ein Isomorphismus von und auf (Q,+, ·).Wir zeigen zunächst ϕ(0) = 0, ϕ(1) = 1 und ϕ(−1) = −1.
ϕ(0) = ϕ(0+ 0) = ϕ(0) + ϕ(0). Es gibt nur eine Zahl n ∈ Q, so dassn = n+ n. Also ϕ(0) = 0.
ϕ(1) = ϕ(1 · 1) = ϕ(1) · ϕ(1). Es gibt nur zwei Zahlen n ∈ Q, so dassn = n · n. Da ϕ(0) = 0 und ϕ injektiv ist, gilt also ϕ(1) = 1.
ϕ(1) = ϕ((−1) · (−1)) = ϕ(−1) · ϕ(−1). Es gibt nur zwei Zahlen n ∈ Q,so dass ϕ(1) = 1 = n · n. Da ϕ(1) = 1 und ϕ injektiv ist, gilt alsoϕ(−1) = −1.
43
![Page 44: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/44.jpg)
Algebraische Strukturen — Isomorphie
§9.4 TheoremidQ ist der einzige Isomorphismus von und auf (Q,+, ·)
Beweis (direkt; 1/2).Sei ϕ : Q→ Q ein Isomorphismus von und auf (Q,+, ·).Wir zeigen zunächst ϕ(0) = 0, ϕ(1) = 1 und ϕ(−1) = −1.
ϕ(0) = ϕ(0+ 0) = ϕ(0) + ϕ(0). Es gibt nur eine Zahl n ∈ Q, so dassn = n+ n. Also ϕ(0) = 0.
ϕ(1) = ϕ(1 · 1) = ϕ(1) · ϕ(1). Es gibt nur zwei Zahlen n ∈ Q, so dassn = n · n. Da ϕ(0) = 0 und ϕ injektiv ist, gilt also ϕ(1) = 1.
ϕ(1) = ϕ((−1) · (−1)) = ϕ(−1) · ϕ(−1). Es gibt nur zwei Zahlen n ∈ Q,so dass ϕ(1) = 1 = n · n. Da ϕ(1) = 1 und ϕ injektiv ist, gilt alsoϕ(−1) = −1.
44
![Page 45: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/45.jpg)
Algebraische Strukturen — Isomorphie
Beweis (direkt; 2/2).Sei ϕ : Q→ Q ein Isomorphismus von und auf (Q,+, ·).
Für jedes n ∈ N gilt
ϕ(n) = ϕ(1+ · · ·+ 1︸ ︷︷ ︸n mal
) = ϕ(1) + · · ·+ ϕ(1)︸ ︷︷ ︸n mal
= 1+ · · ·+ 1︸ ︷︷ ︸n mal
= n
Analog für z ∈ Z mit z ≤ 0 unter Nutzung von −1Seien m, n ∈ Z mit n > 0. Z.zg. ϕ(mn ) =
mn . Es gilt
m = ϕ(m) = ϕ(mn· n) = ϕ(
mn) · ϕ(n) = ϕ(
mn) · n
Diese Gleichung läßt sich eindeutig lösen und wir erhalten ϕ(mn ) =mn .
Also gilt ϕ = idQ.
45
![Page 46: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/46.jpg)
Algebraische Strukturen — Isomorphie
Beweis (direkt; 2/2).Sei ϕ : Q→ Q ein Isomorphismus von und auf (Q,+, ·).
Für jedes n ∈ N gilt
ϕ(n) = ϕ(1+ · · ·+ 1︸ ︷︷ ︸n mal
) = ϕ(1) + · · ·+ ϕ(1)︸ ︷︷ ︸n mal
= 1+ · · ·+ 1︸ ︷︷ ︸n mal
= n
Analog für z ∈ Z mit z ≤ 0 unter Nutzung von −1
Seien m, n ∈ Z mit n > 0. Z.zg. ϕ(mn ) =mn . Es gilt
m = ϕ(m) = ϕ(mn· n) = ϕ(
mn) · ϕ(n) = ϕ(
mn) · n
Diese Gleichung läßt sich eindeutig lösen und wir erhalten ϕ(mn ) =mn .
Also gilt ϕ = idQ.
46
![Page 47: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/47.jpg)
Algebraische Strukturen — Isomorphie
Beweis (direkt; 2/2).Sei ϕ : Q→ Q ein Isomorphismus von und auf (Q,+, ·).
Für jedes n ∈ N gilt
ϕ(n) = ϕ(1+ · · ·+ 1︸ ︷︷ ︸n mal
) = ϕ(1) + · · ·+ ϕ(1)︸ ︷︷ ︸n mal
= 1+ · · ·+ 1︸ ︷︷ ︸n mal
= n
Analog für z ∈ Z mit z ≤ 0 unter Nutzung von −1Seien m, n ∈ Z mit n > 0. Z.zg. ϕ(mn ) =
mn . Es gilt
m = ϕ(m) = ϕ(mn· n) = ϕ(
mn) · ϕ(n) = ϕ(
mn) · n
Diese Gleichung läßt sich eindeutig lösen und wir erhalten ϕ(mn ) =mn .
Also gilt ϕ = idQ.
47
![Page 48: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/48.jpg)
Algebraische Strukturen — Isomorphie
Beweis (direkt; 2/2).Sei ϕ : Q→ Q ein Isomorphismus von und auf (Q,+, ·).
Für jedes n ∈ N gilt
ϕ(n) = ϕ(1+ · · ·+ 1︸ ︷︷ ︸n mal
) = ϕ(1) + · · ·+ ϕ(1)︸ ︷︷ ︸n mal
= 1+ · · ·+ 1︸ ︷︷ ︸n mal
= n
Analog für z ∈ Z mit z ≤ 0 unter Nutzung von −1Seien m, n ∈ Z mit n > 0. Z.zg. ϕ(mn ) =
mn . Es gilt
m = ϕ(m) = ϕ(mn· n) = ϕ(
mn) · ϕ(n) = ϕ(
mn) · n
Diese Gleichung läßt sich eindeutig lösen und wir erhalten ϕ(mn ) =mn .
Also gilt ϕ = idQ.
48
![Page 49: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/49.jpg)
Verbände — Charakterisierung
Theorem (§8.16)Für jeden Verband (M,�) und alle x, y, z ∈ M gelten
x ∨ y = y ∨ x und x ∧ y = y ∧ x Kommutativität
x ∨ (y ∨ z) = (x ∨ y) ∨ z und x ∧ (y ∧ z) = (x ∧ y) ∧ z Assoziativität
x ∨ (x ∧ y) = x und x ∧ (x ∨ y) = x Absorption
Notizen:
für jeden Verband (M,�) (selbst eine algebraische Struktur)existiert also eine algebraische Struktur (M,∨,∧) mit den obigenBeschränkungen an die Funktionen ∨,∧ : M×M→ M
49
![Page 50: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/50.jpg)
Verbände — Charakterisierung
§9.5 TheoremSei (M,t,u) eine algebraische Struktur des Typs (0, 2,0,0), so dass füralle x, y, z ∈ M
x t y = y t x und x u y = y u x Kommutativität
x t (y t z) = (x t y) t z und x u (y u z) = (x u y) u z Assoziativität
x t (x u y) = x und x u (x t y) = x Absorption
Dann ist (M,�) ein Verband, wobei
� = {(x, y) ∈ M×M | x = x u y}
50
![Page 51: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/51.jpg)
Verbände — Charakterisierung
§9.5 TheoremSei (M,t,u) eine algebraische Struktur des Typs (0, 2,0,0), so dass füralle x, y, z ∈ M
x t y = y t x und x u y = y u x Kommutativität
x t (y t z) = (x t y) t z und x u (y u z) = (x u y) u z Assoziativität
x t (x u y) = x und x u (x t y) = x Absorption
Dann ist (M,�) ein Verband, wobei
� = {(x, y) ∈ M×M | x = x u y}
51
![Page 52: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/52.jpg)
Verbände — Charakterisierung
Beweis (direkt; 1/2).Für alle x, y ∈ M ist also x � y gdw. x = x u y. Wir weisen zunächst dieEigenscha�en einer Ordnungsrelation nach:
re�exiv: Für jedes x ∈ M gilt x = x u (x t (x u x)) = x u x (Absorptionzweifach) also auch x � x .antisymmetrisch: Seien x � y und y � x . D.h. x = x u y undy = y u x . Mit Hilfe der Kommutativität gilt dann
x = x u y = y u x = y
transitiv: Seien x � y und y � z. D.h. x = x u y und y = y u z. UnterNutzung der Assoziativität erhalten wir
x = x u y = x u (y u z) = (x u y) u z = x u z
und damit x � z.
52
![Page 53: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/53.jpg)
Verbände — Charakterisierung
Beweis (direkt; 1/2).Für alle x, y ∈ M ist also x � y gdw. x = x u y. Wir weisen zunächst dieEigenscha�en einer Ordnungsrelation nach:
re�exiv: Für jedes x ∈ M gilt x = x u (x t (x u x)) = x u x (Absorptionzweifach) also auch x � x .
antisymmetrisch: Seien x � y und y � x . D.h. x = x u y undy = y u x . Mit Hilfe der Kommutativität gilt dann
x = x u y = y u x = y
transitiv: Seien x � y und y � z. D.h. x = x u y und y = y u z. UnterNutzung der Assoziativität erhalten wir
x = x u y = x u (y u z) = (x u y) u z = x u z
und damit x � z.
53
![Page 54: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/54.jpg)
Verbände — Charakterisierung
Beweis (direkt; 1/2).Für alle x, y ∈ M ist also x � y gdw. x = x u y. Wir weisen zunächst dieEigenscha�en einer Ordnungsrelation nach:
re�exiv: Für jedes x ∈ M gilt x = x u (x t (x u x)) = x u x (Absorptionzweifach) also auch x � x .antisymmetrisch: Seien x � y und y � x . D.h. x = x u y undy = y u x . Mit Hilfe der Kommutativität gilt dann
x = x u y = y u x = y
transitiv: Seien x � y und y � z. D.h. x = x u y und y = y u z. UnterNutzung der Assoziativität erhalten wir
x = x u y = x u (y u z) = (x u y) u z = x u z
und damit x � z.
54
![Page 55: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/55.jpg)
Verbände — Charakterisierung
Beweis (direkt; 1/2).Für alle x, y ∈ M ist also x � y gdw. x = x u y. Wir weisen zunächst dieEigenscha�en einer Ordnungsrelation nach:
re�exiv: Für jedes x ∈ M gilt x = x u (x t (x u x)) = x u x (Absorptionzweifach) also auch x � x .antisymmetrisch: Seien x � y und y � x . D.h. x = x u y undy = y u x . Mit Hilfe der Kommutativität gilt dann
x = x u y = y u x = y
transitiv: Seien x � y und y � z. D.h. x = x u y und y = y u z. UnterNutzung der Assoziativität erhalten wir
x = x u y = x u (y u z) = (x u y) u z = x u z
und damit x � z.55
![Page 56: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/56.jpg)
Verbände — Charakterisierung
Beweis (direkt; 2/2).Für alle x, y ∈ M ist also x � y gdw. x = x u y. Wir weisen nun noch dieSuprema (In�ma analog) nach:
Supremum: Seien x, y ∈ M. Wir behaupten, dass x t y das Supremumvon {x, y} ist.
I obere Schranke: Es gilt x = x u (x t y) (Absorption) und damitx � x t y. Ebenso gilt y = y u (y t x) und damit y � x t y, day t x = x t y (Kommutativität).
I kleinste obere Schranke: Sei z ∈ M, so dass x � z und y � z. D.h.x = x u z und y = y u z. Wir folgern zunächst mit Absorption undKommutativität x t z = (x u z) t z = z und y t z = (y u z) t z = z.Damit ergibt sich nun
(x t y) u z = (x t y) u (x t z)= (x t y) u (x t (y t z))= (x t y) u ((x t y) t z) = (x t y)
und damit (x t y) � z.
56
![Page 57: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/57.jpg)
Verbände — Charakterisierung
Beweis (direkt; 2/2).Für alle x, y ∈ M ist also x � y gdw. x = x u y. Wir weisen nun noch dieSuprema (In�ma analog) nach:
Supremum: Seien x, y ∈ M. Wir behaupten, dass x t y das Supremumvon {x, y} ist.
I obere Schranke: Es gilt x = x u (x t y) (Absorption) und damitx � x t y. Ebenso gilt y = y u (y t x) und damit y � x t y, day t x = x t y (Kommutativität).
I kleinste obere Schranke: Sei z ∈ M, so dass x � z und y � z. D.h.x = x u z und y = y u z. Wir folgern zunächst mit Absorption undKommutativität x t z = (x u z) t z = z und y t z = (y u z) t z = z.Damit ergibt sich nun
(x t y) u z = (x t y) u (x t z)= (x t y) u (x t (y t z))= (x t y) u ((x t y) t z) = (x t y)
und damit (x t y) � z.
57
![Page 58: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/58.jpg)
Verbände — Charakterisierung
Beweis (direkt; 2/2).Für alle x, y ∈ M ist also x � y gdw. x = x u y. Wir weisen nun noch dieSuprema (In�ma analog) nach:
Supremum: Seien x, y ∈ M. Wir behaupten, dass x t y das Supremumvon {x, y} ist.
I obere Schranke: Es gilt x = x u (x t y) (Absorption) und damitx � x t y. Ebenso gilt y = y u (y t x) und damit y � x t y, day t x = x t y (Kommutativität).
I kleinste obere Schranke: Sei z ∈ M, so dass x � z und y � z. D.h.x = x u z und y = y u z. Wir folgern zunächst mit Absorption undKommutativität x t z = (x u z) t z = z und y t z = (y u z) t z = z.
Damit ergibt sich nun
(x t y) u z = (x t y) u (x t z)= (x t y) u (x t (y t z))= (x t y) u ((x t y) t z) = (x t y)
und damit (x t y) � z.
58
![Page 59: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/59.jpg)
Verbände — Charakterisierung
Beweis (direkt; 2/2).Für alle x, y ∈ M ist also x � y gdw. x = x u y. Wir weisen nun noch dieSuprema (In�ma analog) nach:
Supremum: Seien x, y ∈ M. Wir behaupten, dass x t y das Supremumvon {x, y} ist.
I obere Schranke: Es gilt x = x u (x t y) (Absorption) und damitx � x t y. Ebenso gilt y = y u (y t x) und damit y � x t y, day t x = x t y (Kommutativität).
I kleinste obere Schranke: Sei z ∈ M, so dass x � z und y � z. D.h.x = x u z und y = y u z. Wir folgern zunächst mit Absorption undKommutativität x t z = (x u z) t z = z und y t z = (y u z) t z = z.Damit ergibt sich nun
(x t y) u z = (x t y) u (x t z)= (x t y) u (x t (y t z))= (x t y) u ((x t y) t z) = (x t y)
und damit (x t y) � z.59
![Page 60: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/60.jpg)
Verbände — Charakterisierung
Notizen:
§8.16 liefert algebraische Struktur à la §9.5 für jeden Verband
§9.5 liefert Verband für jede derartige algebraische Struktur
→ starke Korrespondenz (wir verwenden beide Sichtweisen)
§9.6 KorollarDie Funktion f mit f ((M,�)) = (M,∨,∧) für alle Verbände (M,�) istbijektiv zwischen Verbänden und algebraischen Strukturen à la §9.5.
Beweis.Hier ohne Beweis. Es wäre noch zu zeigen, dass die Umwandlungen aus§8.16 und §9.5 unter Komposition die Identitäten liefern.
60
![Page 61: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/61.jpg)
Verbände — Charakterisierung
Notizen:
§8.16 liefert algebraische Struktur à la §9.5 für jeden Verband
§9.5 liefert Verband für jede derartige algebraische Struktur
→ starke Korrespondenz (wir verwenden beide Sichtweisen)
§9.6 KorollarDie Funktion f mit f ((M,�)) = (M,∨,∧) für alle Verbände (M,�) istbijektiv zwischen Verbänden und algebraischen Strukturen à la §9.5.
Beweis.Hier ohne Beweis. Es wäre noch zu zeigen, dass die Umwandlungen aus§8.16 und §9.5 unter Komposition die Identitäten liefern.
61
![Page 62: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/62.jpg)
Verbände — Charakterisierung
Notizen:
§8.16 liefert algebraische Struktur à la §9.5 für jeden Verband
§9.5 liefert Verband für jede derartige algebraische Struktur
→ starke Korrespondenz (wir verwenden beide Sichtweisen)
§9.6 KorollarDie Funktion f mit f ((M,�)) = (M,∨,∧) für alle Verbände (M,�) istbijektiv zwischen Verbänden und algebraischen Strukturen à la §9.5.
Beweis.Hier ohne Beweis. Es wäre noch zu zeigen, dass die Umwandlungen aus§8.16 und §9.5 unter Komposition die Identitäten liefern.
62
![Page 63: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/63.jpg)
Verbände — Charakterisierung
§9.7 De�nition (Unterstruktur)Seien U = (U , 〈R1, . . . , Rk〉, 〈f1, . . . , f`〉, 〈g1, . . . , gm〉, 〈c1, . . . , cn〉) undV = (V , 〈R ′1 , . . . , R ′k〉, 〈f
′1 , . . . , f
′` 〉, 〈g′1, . . . , g′m〉, 〈c′1 , . . . , c′n〉) zwei
algebraische Strukturen gleichen Typs.Dann ist V eine Unterstruktur von U , gdw.
V ⊆ U
für alle 1 ≤ i ≤ k und v1, v2 ∈ V gilt (R ′i = Ri ∩ (V × V ))
(v1, v2) ∈ R ′i gdw. (v1, v2) ∈ Rif ′i (v1, v2) = fi(v1, v2) für alle 1 ≤ i ≤ ` und v1, v2 ∈ Vg′i (v) = gi(v) für alle 1 ≤ i ≤ m und v ∈ V , undc′i = ci für alle 1 ≤ i ≤ n.
63
![Page 64: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/64.jpg)
Verbände — Charakterisierung
§9.7 De�nition (Unterstruktur)Seien U = (U , 〈R1, . . . , Rk〉, 〈f1, . . . , f`〉, 〈g1, . . . , gm〉, 〈c1, . . . , cn〉) undV = (V , 〈R ′1 , . . . , R ′k〉, 〈f
′1 , . . . , f
′` 〉, 〈g′1, . . . , g′m〉, 〈c′1 , . . . , c′n〉) zwei
algebraische Strukturen gleichen Typs.Dann ist V eine Unterstruktur von U , gdw.
V ⊆ Ufür alle 1 ≤ i ≤ k und v1, v2 ∈ V gilt (R ′i = Ri ∩ (V × V ))
(v1, v2) ∈ R ′i gdw. (v1, v2) ∈ Ri
f ′i (v1, v2) = fi(v1, v2) für alle 1 ≤ i ≤ ` und v1, v2 ∈ Vg′i (v) = gi(v) für alle 1 ≤ i ≤ m und v ∈ V , undc′i = ci für alle 1 ≤ i ≤ n.
64
![Page 65: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/65.jpg)
Verbände — Charakterisierung
§9.7 De�nition (Unterstruktur)Seien U = (U , 〈R1, . . . , Rk〉, 〈f1, . . . , f`〉, 〈g1, . . . , gm〉, 〈c1, . . . , cn〉) undV = (V , 〈R ′1 , . . . , R ′k〉, 〈f
′1 , . . . , f
′` 〉, 〈g′1, . . . , g′m〉, 〈c′1 , . . . , c′n〉) zwei
algebraische Strukturen gleichen Typs.Dann ist V eine Unterstruktur von U , gdw.
V ⊆ Ufür alle 1 ≤ i ≤ k und v1, v2 ∈ V gilt (R ′i = Ri ∩ (V × V ))
(v1, v2) ∈ R ′i gdw. (v1, v2) ∈ Rif ′i (v1, v2) = fi(v1, v2) für alle 1 ≤ i ≤ ` und v1, v2 ∈ Vg′i (v) = gi(v) für alle 1 ≤ i ≤ m und v ∈ V , undc′i = ci für alle 1 ≤ i ≤ n.
65
![Page 66: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/66.jpg)
Verbände — Charakterisierung
Notizen:
Relationen, Funktionen und Konstanten der Oberstruktur übertragensich eingeschränkt auf V auf die Unterstruktur
wir sagen daher V ⊆ U bildet eine Unterstruktur, falls
(V , 〈R ′1 , . . . , R ′k〉, 〈f′1 , . . . , f
′` 〉, 〈g′1, . . . , g′m〉, 〈c1, . . . , cn〉)
eine algebraische Struktur ist, wobeiI R′i = Ri ∩ V 2 für alle 1 ≤ i ≤ kI f ′i = fi ∩ V 3 für alle 1 ≤ i ≤ `I g′i = gi ∩ V 2 für alle 1 ≤ i ≤ m
66
![Page 67: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/67.jpg)
Verbände — Charakterisierung
Beispiel: Wir betrachten den Verband U = (P({1, 2, 3},∪,∩)
{1, 2, 3}
{1, 2} {1, 3} {2, 3}
{1} {2} {3}
∅
und die Teilmenge V ={∅, {1}, {3}, {1, 2, 3}
}.
V bildet keine Unterstruktur von U
67
![Page 68: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/68.jpg)
Verbände — Charakterisierung
Beispiel: Wir betrachten den Verband U = (P({1, 2, 3},∪,∩)
{1, 2, 3}
{1, 2} {1, 3} {2, 3}
{1} {2} {3}
∅
und die Teilmenge V ={∅, {1}, {3}, {1, 2, 3}
}.
V bildet keine Unterstruktur von U
68
![Page 69: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/69.jpg)
Verbände — Charakterisierung
Beispiel: Wir betrachten den Verband U = (P({1, 2, 3},∪,∩)
{1, 2, 3}
{1, 2} {1, 3} {2, 3}
{1} {2} {3}
∅
und die Teilmenge V ′ ={∅, {1}, {2, 3}, {1, 2, 3}
}.
V ′ bildet eine Unterstruktur von U
69
![Page 70: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/70.jpg)
Verbände — Charakterisierung
Beispiel: Wir betrachten den Verband U = (P({1, 2, 3},∪,∩)
{1, 2, 3}
{1, 2} {1, 3} {2, 3}
{1} {2} {3}
∅
und die Teilmenge V ′ ={∅, {1}, {2, 3}, {1, 2, 3}
}.
V ′ bildet eine Unterstruktur von U
70
![Page 71: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/71.jpg)
Verbände — Charakterisierung
§9.8 Theorem (Charakterisierung Distributivität)Sei V = (V ,∨,∧) eine algebraische Struktur mit den Eigenscha�en aus §9.5(d.h. ein Verband (V ,�) mit Supremum ∨ und In�mum ∧). Dann istV distributiv gdw. keine Unterstruktur von V isomorph zu M3 oder N5 ist.
∞
1 2 3
0
∞
3 2
1
0M3 N5
71
![Page 72: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/72.jpg)
Verbände — Charakterisierung
Beweisskizze (1/3).Sei U ⊆ V eine Teilmenge, die eine Unterstruktur (U ,∨′,∧′) bildet,die isomorph zu M3 = ({0, 1, 2, 3, ∞},∨3,∧3) ist.Sei ϕ : U → {0, 1, 2, 3, ∞} ein Isomorphismus.Also existieren u1, u2, u3 ∈ U mit
ϕ(u1) = 1 ϕ(u2) = 2 und ϕ(u3) = 3
Dann gilt
ϕ(u1 ∨ (u2 ∧ u3)
)= ϕ
(u1 ∨′ (u2 ∧′ u3)
)= ϕ(u1) ∨3 (ϕ(u2) ∧3 ϕ(u3)) = 1 ∨3 (2 ∧3 3) = 1
ϕ((u1 ∨ u2) ∧ (u1 ∨ u3)
)= ϕ
((u1 ∨′ u2) ∧′ (u1 ∨′ u3)
)= (ϕ(u1) ∨3 ϕ(u2)) ∧3 (ϕ(u1) ∨3 ϕ(u3))= (1 ∨3 2) ∧3 (1 ∨3 3) =∞
Da 1 6=∞, gilt auch ϕ−1(1) 6= ϕ−1(∞), womit V nicht distributiv ist.
72
![Page 73: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/73.jpg)
Verbände — Charakterisierung
Beweisskizze (1/3).Sei U ⊆ V eine Teilmenge, die eine Unterstruktur (U ,∨′,∧′) bildet,die isomorph zu M3 = ({0, 1, 2, 3, ∞},∨3,∧3) ist.Sei ϕ : U → {0, 1, 2, 3, ∞} ein Isomorphismus.Also existieren u1, u2, u3 ∈ U mit
ϕ(u1) = 1 ϕ(u2) = 2 und ϕ(u3) = 3
Dann gilt
ϕ(u1 ∨ (u2 ∧ u3)
)= ϕ
(u1 ∨′ (u2 ∧′ u3)
)= ϕ(u1) ∨3 (ϕ(u2) ∧3 ϕ(u3)) = 1 ∨3 (2 ∧3 3) = 1
ϕ((u1 ∨ u2) ∧ (u1 ∨ u3)
)= ϕ
((u1 ∨′ u2) ∧′ (u1 ∨′ u3)
)= (ϕ(u1) ∨3 ϕ(u2)) ∧3 (ϕ(u1) ∨3 ϕ(u3))= (1 ∨3 2) ∧3 (1 ∨3 3) =∞
Da 1 6=∞, gilt auch ϕ−1(1) 6= ϕ−1(∞), womit V nicht distributiv ist.
73
![Page 74: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/74.jpg)
Verbände — Charakterisierung
Beweisskizze (1/3).Sei U ⊆ V eine Teilmenge, die eine Unterstruktur (U ,∨′,∧′) bildet,die isomorph zu M3 = ({0, 1, 2, 3, ∞},∨3,∧3) ist.Sei ϕ : U → {0, 1, 2, 3, ∞} ein Isomorphismus.Also existieren u1, u2, u3 ∈ U mit
ϕ(u1) = 1 ϕ(u2) = 2 und ϕ(u3) = 3
Dann gilt
ϕ(u1 ∨ (u2 ∧ u3)
)= ϕ
(u1 ∨′ (u2 ∧′ u3)
)= ϕ(u1) ∨3 (ϕ(u2) ∧3 ϕ(u3)) = 1 ∨3 (2 ∧3 3) = 1
ϕ((u1 ∨ u2) ∧ (u1 ∨ u3)
)= ϕ
((u1 ∨′ u2) ∧′ (u1 ∨′ u3)
)= (ϕ(u1) ∨3 ϕ(u2)) ∧3 (ϕ(u1) ∨3 ϕ(u3))= (1 ∨3 2) ∧3 (1 ∨3 3) =∞
Da 1 6=∞, gilt auch ϕ−1(1) 6= ϕ−1(∞), womit V nicht distributiv ist.74
![Page 75: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/75.jpg)
Verbände — Charakterisierung
Beweisskizze (2/3).(isomorph zu N5 analog) Umgekehrt sei V nicht distributiv.
Fall 1: Es existieren a, b, c ∈ V mit a � b und
a ∨ (b ∧ c) 6= (a ∨ b) ∧ (a ∨ c) = b ∧ (a ∨ c)
Es folgt, dass das linke Hasse-Diagramm
a ∨ c
b ∧ (a ∨ c) c
a ∨ (b ∧ c)
b ∧ c
∞
3 2
1
0
eine Unterstruktur von V ist (viel Nachrechnen). Der Isomorphismus zu N5(rechtes Hasse-Diagramm) ist o�ensichtlich.
75
![Page 76: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/76.jpg)
Verbände — Charakterisierung
Beweisskizze (2/3).(isomorph zu N5 analog) Umgekehrt sei V nicht distributiv.
Fall 1: Es existieren a, b, c ∈ V mit a � b und
a ∨ (b ∧ c) 6= (a ∨ b) ∧ (a ∨ c) = b ∧ (a ∨ c)
Es folgt, dass das linke Hasse-Diagramm
a ∨ c
b ∧ (a ∨ c) c
a ∨ (b ∧ c)
b ∧ c
∞
3 2
1
0
eine Unterstruktur von V ist (viel Nachrechnen). Der Isomorphismus zu N5(rechtes Hasse-Diagramm) ist o�ensichtlich.
76
![Page 77: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/77.jpg)
Verbände — Charakterisierung
Beweisskizze (2/3).(isomorph zu N5 analog) Umgekehrt sei V nicht distributiv.
Fall 1: Es existieren a, b, c ∈ V mit a � b und
a ∨ (b ∧ c) 6= (a ∨ b) ∧ (a ∨ c) = b ∧ (a ∨ c)
Es folgt, dass das linke Hasse-Diagramm
a ∨ c
b ∧ (a ∨ c) c
a ∨ (b ∧ c)
b ∧ c
∞
3 2
1
0
eine Unterstruktur von V ist (viel Nachrechnen). Der Isomorphismus zu N5(rechtes Hasse-Diagramm) ist o�ensichtlich.
77
![Page 78: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/78.jpg)
Verbände — Charakterisierung
Beispiele vom Nachrechnen:
partielle Ordnung: z.zg. a ∨ (b ∧ c) � b ∧ (a ∨ c)Wir zeigen dazu a ∨ (b ∧ c) � b und a ∨ (b ∧ c) � a ∨ c.
Dieswiederum zeigen wir durch a � b und b ∧ c � b sowie a � a ∨ c undb ∧ c � c � a ∨ c.
Suprema und In�ma: z.zg. (b ∧ (a ∨ c)) ∨ c = a ∨ c. Wir zeigen dazu(b ∧ (a ∨ c)) ∨ c � a ∨ c ∨ c = a ∨ c und a � b ∧ (a ∨ c). Dieswiederum zeigen wir durch a � b und a � a ∨ c.
Ungleichheit: z.zg. a ∨ (b ∧ c) 6= b ∧ c. Sei a ∨ (b ∧ c) = b ∧ c. Alsoa � b ∧ c � c, womit
a ∨ (b ∧ c) = b ∧ c = b ∧ (a ∨ c)
im Widerspruch zur Annahme.
78
![Page 79: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/79.jpg)
Verbände — Charakterisierung
Beispiele vom Nachrechnen:
partielle Ordnung: z.zg. a ∨ (b ∧ c) � b ∧ (a ∨ c)Wir zeigen dazu a ∨ (b ∧ c) � b und a ∨ (b ∧ c) � a ∨ c. Dieswiederum zeigen wir durch a � b und b ∧ c � b sowie a � a ∨ c undb ∧ c � c � a ∨ c.
Suprema und In�ma: z.zg. (b ∧ (a ∨ c)) ∨ c = a ∨ c. Wir zeigen dazu(b ∧ (a ∨ c)) ∨ c � a ∨ c ∨ c = a ∨ c und a � b ∧ (a ∨ c). Dieswiederum zeigen wir durch a � b und a � a ∨ c.
Ungleichheit: z.zg. a ∨ (b ∧ c) 6= b ∧ c. Sei a ∨ (b ∧ c) = b ∧ c. Alsoa � b ∧ c � c, womit
a ∨ (b ∧ c) = b ∧ c = b ∧ (a ∨ c)
im Widerspruch zur Annahme.
79
![Page 80: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/80.jpg)
Verbände — Charakterisierung
Beispiele vom Nachrechnen:
partielle Ordnung: z.zg. a ∨ (b ∧ c) � b ∧ (a ∨ c)Wir zeigen dazu a ∨ (b ∧ c) � b und a ∨ (b ∧ c) � a ∨ c. Dieswiederum zeigen wir durch a � b und b ∧ c � b sowie a � a ∨ c undb ∧ c � c � a ∨ c.
Suprema und In�ma: z.zg. (b ∧ (a ∨ c)) ∨ c = a ∨ c. Wir zeigen dazu(b ∧ (a ∨ c)) ∨ c � a ∨ c ∨ c = a ∨ c und a � b ∧ (a ∨ c).
Dieswiederum zeigen wir durch a � b und a � a ∨ c.
Ungleichheit: z.zg. a ∨ (b ∧ c) 6= b ∧ c. Sei a ∨ (b ∧ c) = b ∧ c. Alsoa � b ∧ c � c, womit
a ∨ (b ∧ c) = b ∧ c = b ∧ (a ∨ c)
im Widerspruch zur Annahme.
80
![Page 81: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/81.jpg)
Verbände — Charakterisierung
Beispiele vom Nachrechnen:
partielle Ordnung: z.zg. a ∨ (b ∧ c) � b ∧ (a ∨ c)Wir zeigen dazu a ∨ (b ∧ c) � b und a ∨ (b ∧ c) � a ∨ c. Dieswiederum zeigen wir durch a � b und b ∧ c � b sowie a � a ∨ c undb ∧ c � c � a ∨ c.
Suprema und In�ma: z.zg. (b ∧ (a ∨ c)) ∨ c = a ∨ c. Wir zeigen dazu(b ∧ (a ∨ c)) ∨ c � a ∨ c ∨ c = a ∨ c und a � b ∧ (a ∨ c). Dieswiederum zeigen wir durch a � b und a � a ∨ c.
Ungleichheit: z.zg. a ∨ (b ∧ c) 6= b ∧ c. Sei a ∨ (b ∧ c) = b ∧ c. Alsoa � b ∧ c � c, womit
a ∨ (b ∧ c) = b ∧ c = b ∧ (a ∨ c)
im Widerspruch zur Annahme.
81
![Page 82: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/82.jpg)
Verbände — Charakterisierung
Beispiele vom Nachrechnen:
partielle Ordnung: z.zg. a ∨ (b ∧ c) � b ∧ (a ∨ c)Wir zeigen dazu a ∨ (b ∧ c) � b und a ∨ (b ∧ c) � a ∨ c. Dieswiederum zeigen wir durch a � b und b ∧ c � b sowie a � a ∨ c undb ∧ c � c � a ∨ c.
Suprema und In�ma: z.zg. (b ∧ (a ∨ c)) ∨ c = a ∨ c. Wir zeigen dazu(b ∧ (a ∨ c)) ∨ c � a ∨ c ∨ c = a ∨ c und a � b ∧ (a ∨ c). Dieswiederum zeigen wir durch a � b und a � a ∨ c.
Ungleichheit: z.zg. a ∨ (b ∧ c) 6= b ∧ c. Sei a ∨ (b ∧ c) = b ∧ c. Alsoa � b ∧ c � c, womit
a ∨ (b ∧ c) = b ∧ c = b ∧ (a ∨ c)
im Widerspruch zur Annahme.
82
![Page 83: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/83.jpg)
Verbände — Charakterisierung
Beweisskizze (3/3).Fall 2: Für alle x, y, z ∈ V mit x � y gilt x ∨ (y ∧ z) = y ∧ (x ∨ z).
Trotzdemexistieren a, b, c ∈ V , so dass
a ∨ (b ∧ c) 6= (a ∨ b) ∧ (a ∨ c)
Es folgt, dass das linke Hasse-Diagramm mit⊥ = (a ∧ b) ∨ (a ∧ c) ∨ (b ∧ c) und > = (a ∨ b) ∧ (a ∨ c) ∧ (b ∨ c)
>
(a ∨ ⊥) ∧ > (b ∨ ⊥) ∧ > (c ∨ ⊥) ∧ >
⊥
∞
1 2 3
0
eine Unterstruktur von V ist (noch mehr Nachrechnen). Der Isomorphismuszu M3 (rechtes Hasse-Diagramm) ist o�ensichtlich.
83
![Page 84: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/84.jpg)
Verbände — Charakterisierung
Beweisskizze (3/3).Fall 2: Für alle x, y, z ∈ V mit x � y gilt x ∨ (y ∧ z) = y ∧ (x ∨ z). Trotzdemexistieren a, b, c ∈ V , so dass
a ∨ (b ∧ c) 6= (a ∨ b) ∧ (a ∨ c)
Es folgt, dass das linke Hasse-Diagramm mit⊥ = (a ∧ b) ∨ (a ∧ c) ∨ (b ∧ c) und > = (a ∨ b) ∧ (a ∨ c) ∧ (b ∨ c)
>
(a ∨ ⊥) ∧ > (b ∨ ⊥) ∧ > (c ∨ ⊥) ∧ >
⊥
∞
1 2 3
0
eine Unterstruktur von V ist (noch mehr Nachrechnen). Der Isomorphismuszu M3 (rechtes Hasse-Diagramm) ist o�ensichtlich.
84
![Page 85: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/85.jpg)
Verbände — Charakterisierung
Beweisskizze (3/3).Fall 2: Für alle x, y, z ∈ V mit x � y gilt x ∨ (y ∧ z) = y ∧ (x ∨ z). Trotzdemexistieren a, b, c ∈ V , so dass
a ∨ (b ∧ c) 6= (a ∨ b) ∧ (a ∨ c)
Es folgt, dass das linke Hasse-Diagramm mit⊥ = (a ∧ b) ∨ (a ∧ c) ∨ (b ∧ c) und > = (a ∨ b) ∧ (a ∨ c) ∧ (b ∨ c)
>
(a ∨ ⊥) ∧ > (b ∨ ⊥) ∧ > (c ∨ ⊥) ∧ >
⊥
∞
1 2 3
0
eine Unterstruktur von V ist (noch mehr Nachrechnen). Der Isomorphismuszu M3 (rechtes Hasse-Diagramm) ist o�ensichtlich.
85
![Page 86: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/86.jpg)
Verbände — Charakterisierung
Nicht-distributiver Verband M3:
∞
1 2 3
0
denn 1 ∨ (2 ∧ 3) = 1 ∨ 0 = 1aber (1 ∨ 2) ∧ (1 ∨ 3) =∞∧ (1 ∨ 3) =∞∧∞ =∞
86
![Page 87: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/87.jpg)
Verbände — Charakterisierung
Nicht-distributiver Verband M3:
∞
1 2 3
0
denn 1 ∨ (2 ∧ 3) = 1 ∨ 0 = 1aber (1 ∨ 2) ∧ (1 ∨ 3) =∞∧ (1 ∨ 3) =∞∧∞ =∞
87
![Page 88: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/88.jpg)
Verbände — Charakterisierung
Nicht-distributiver Verband M3:
∞
1 2 3
0
denn 1 ∨ (2 ∧ 3) = 1 ∨ 0 = 1aber (1 ∨ 2) ∧ (1 ∨ 3) =∞∧ (1 ∨ 3) =∞∧∞ =∞
88
![Page 89: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/89.jpg)
Verbände — Charakterisierung
Nicht-distributiver Verband M3:
∞
1 2 3
0
denn 1 ∨ (2 ∧ 3) = 1 ∨ 0 = 1aber (1 ∨ 2) ∧ (1 ∨ 3) =∞∧ (1 ∨ 3) =∞∧∞ =∞
89
![Page 90: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/90.jpg)
Verbände — Charakterisierung
Nicht-distributiver Verband M3:
∞
1 2 3
0
denn 1 ∨ (2 ∧ 3) = 1 ∨ 0 = 1aber (1 ∨ 2) ∧ (1 ∨ 3) =∞∧ (1 ∨ 3) =∞∧∞ =∞
90
![Page 91: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/91.jpg)
Verbände — Charakterisierung
Nicht-distributiver Verband M3:
∞
1 2 3
0
denn 1 ∨ (2 ∧ 3) = 1 ∨ 0 = 1aber (1 ∨ 2) ∧ (1 ∨ 3) =∞∧ (1 ∨ 3) =∞∧∞ =∞
91
![Page 92: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/92.jpg)
Verbände — Charakterisierung
Nicht-distributiver Verband M3:
∞
1 2 3
0
denn 1 ∨ (2 ∧ 3) = 1 ∨ 0 = 1aber (1 ∨ 2) ∧ (1 ∨ 3) =∞∧ (1 ∨ 3) =∞∧∞ =∞
92
![Page 93: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/93.jpg)
Verbände — Charakterisierung
Nicht-distributiver Verband N5:
∞
3 2
1
0
denn 1 ∨ (2 ∧ 3) = 1 ∨ 0 = 1aber (1 ∨ 2) ∧ (1 ∨ 3) =∞∧ (1 ∨ 3) =∞∧ 3 = 3
93
![Page 94: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/94.jpg)
Verbände — Charakterisierung
Nicht-distributiver Verband N5:
∞
3 2
1
0
denn 1 ∨ (2 ∧ 3) = 1 ∨ 0 = 1aber (1 ∨ 2) ∧ (1 ∨ 3) =∞∧ (1 ∨ 3) =∞∧ 3 = 3
94
![Page 95: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/95.jpg)
Verbände — Charakterisierung
Nicht-distributiver Verband N5:
∞
3 2
1
0
denn 1 ∨ (2 ∧ 3) = 1 ∨ 0 = 1aber (1 ∨ 2) ∧ (1 ∨ 3) =∞∧ (1 ∨ 3) =∞∧ 3 = 3
95
![Page 96: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/96.jpg)
Verbände — Charakterisierung
Nicht-distributiver Verband N5:
∞
3 2
1
0
denn 1 ∨ (2 ∧ 3) = 1 ∨ 0 = 1aber (1 ∨ 2) ∧ (1 ∨ 3) =∞∧ (1 ∨ 3) =∞∧ 3 = 3
96
![Page 97: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/97.jpg)
Verbände — Charakterisierung
Nicht-distributiver Verband N5:
∞
3 2
1
0
denn 1 ∨ (2 ∧ 3) = 1 ∨ 0 = 1aber (1 ∨ 2) ∧ (1 ∨ 3) =∞∧ (1 ∨ 3) =∞∧ 3 = 3
97
![Page 98: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/98.jpg)
Verbände — Charakterisierung
Nicht-distributiver Verband N5:
∞
3 2
1
0
denn 1 ∨ (2 ∧ 3) = 1 ∨ 0 = 1aber (1 ∨ 2) ∧ (1 ∨ 3) =∞∧ (1 ∨ 3) =∞∧ 3 = 3
98
![Page 99: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/99.jpg)
Algebraische Strukturen — Boolesche Algebren
§9.9 De�nition (Komplement und Boolesche Algebra)Sei (M,�) ein Verband mit kleinstem Element ⊥ (von M) undgrößtem Element > (von M).
Sei x ∈ M. Ein Element y ∈ M heißt Komplement von x gdw.x ∧ y = ⊥ und x ∨ y = >.
Der Verband (M,�) heißt komplementiert gdw.für jedes x ∈ M ein Komplement y ∈ M von x existiert.
Der Verband (M,�) heißt Boolesche Algebra gdw.er komplementiert und distributiv ist und ⊥ 6= > gilt.
George Boole (∗ 1815; † 1864)engl. Philosoph und Mathematiker
symbolische Aussagenlogik
nur Grundschulausbildung
99
![Page 100: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/100.jpg)
Algebraische Strukturen — Boolesche Algebren
§9.9 De�nition (Komplement und Boolesche Algebra)Sei (M,�) ein Verband mit kleinstem Element ⊥ (von M) undgrößtem Element > (von M).
Sei x ∈ M. Ein Element y ∈ M heißt Komplement von x gdw.x ∧ y = ⊥ und x ∨ y = >.Der Verband (M,�) heißt komplementiert gdw.für jedes x ∈ M ein Komplement y ∈ M von x existiert.
Der Verband (M,�) heißt Boolesche Algebra gdw.er komplementiert und distributiv ist und ⊥ 6= > gilt.
George Boole (∗ 1815; † 1864)engl. Philosoph und Mathematiker
symbolische Aussagenlogik
nur Grundschulausbildung
100
![Page 101: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/101.jpg)
Algebraische Strukturen — Boolesche Algebren
§9.9 De�nition (Komplement und Boolesche Algebra)Sei (M,�) ein Verband mit kleinstem Element ⊥ (von M) undgrößtem Element > (von M).
Sei x ∈ M. Ein Element y ∈ M heißt Komplement von x gdw.x ∧ y = ⊥ und x ∨ y = >.Der Verband (M,�) heißt komplementiert gdw.für jedes x ∈ M ein Komplement y ∈ M von x existiert.
Der Verband (M,�) heißt Boolesche Algebra gdw.er komplementiert und distributiv ist und ⊥ 6= > gilt.
George Boole (∗ 1815; † 1864)engl. Philosoph und Mathematiker
symbolische Aussagenlogik
nur Grundschulausbildung
101
![Page 102: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/102.jpg)
Algebraische Strukturen — Boolesche Algebren
Notizen:
Komplemente sind in allgemeinen Verbänden nicht eindeutig
2 ist Komplement von 1
3 ist auch Komplement von 1
∞
1 2 3
0
102
![Page 103: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/103.jpg)
Algebraische Strukturen — Boolesche Algebren
Notizen:
Komplemente sind in allgemeinen Verbänden nicht eindeutig
2 ist Komplement von 1
3 ist auch Komplement von 1
∞
1 2 3
0
103
![Page 104: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/104.jpg)
Algebraische Strukturen — Boolesche Algebren
Notizen:
Komplemente sind in allgemeinen Verbänden nicht eindeutig
2 ist Komplement von 1
3 ist auch Komplement von 1
∞
1 2 3
0
104
![Page 105: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/105.jpg)
Algebraische Strukturen — Boolesche Algebren
§9.10 TheoremSei (M,�) ein distributiver Verband mit kleinstem Element ⊥ und größtemElement >. Für jedes x ∈ M existiert höchstens ein Komplement von x .
Beweis (direkt).Sei x ∈ M und seien y, z ∈ M Komplemente von x .
Wir zeigen y = y ∧ z
y = > ∧ y = (x ∨ z) ∧ y = (x ∧ y) ∨ (z ∧ y)= ⊥ ∨ (z ∧ y) = y ∧ z
Wir zeigen z = y ∧ z
z = > ∧ z = (x ∨ y) ∧ z = (x ∧ z) ∨ (y ∧ z)= ⊥ ∨ (y ∧ z) = y ∧ z
Also y = y ∧ z = z
105
![Page 106: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/106.jpg)
Algebraische Strukturen — Boolesche Algebren
§9.10 TheoremSei (M,�) ein distributiver Verband mit kleinstem Element ⊥ und größtemElement >. Für jedes x ∈ M existiert höchstens ein Komplement von x .
Beweis (direkt).Sei x ∈ M und seien y, z ∈ M Komplemente von x .
Wir zeigen y = y ∧ z
y = > ∧ y = (x ∨ z) ∧ y = (x ∧ y) ∨ (z ∧ y)= ⊥ ∨ (z ∧ y) = y ∧ z
Wir zeigen z = y ∧ z
z = > ∧ z = (x ∨ y) ∧ z = (x ∧ z) ∨ (y ∧ z)= ⊥ ∨ (y ∧ z) = y ∧ z
Also y = y ∧ z = z
106
![Page 107: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/107.jpg)
Algebraische Strukturen — Boolesche Algebren
§9.10 TheoremSei (M,�) ein distributiver Verband mit kleinstem Element ⊥ und größtemElement >. Für jedes x ∈ M existiert höchstens ein Komplement von x .
Beweis (direkt).Sei x ∈ M und seien y, z ∈ M Komplemente von x .
Wir zeigen y = y ∧ z
y = > ∧ y = (x ∨ z) ∧ y = (x ∧ y) ∨ (z ∧ y)= ⊥ ∨ (z ∧ y) = y ∧ z
Wir zeigen z = y ∧ z
z = > ∧ z = (x ∨ y) ∧ z = (x ∧ z) ∨ (y ∧ z)= ⊥ ∨ (y ∧ z) = y ∧ z
Also y = y ∧ z = z
107
![Page 108: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/108.jpg)
Algebraische Strukturen — Boolesche Algebren
§9.10 TheoremSei (M,�) ein distributiver Verband mit kleinstem Element ⊥ und größtemElement >. Für jedes x ∈ M existiert höchstens ein Komplement von x .
Beweis (direkt).Sei x ∈ M und seien y, z ∈ M Komplemente von x .
Wir zeigen y = y ∧ z
y = > ∧ y = (x ∨ z) ∧ y = (x ∧ y) ∨ (z ∧ y)= ⊥ ∨ (z ∧ y) = y ∧ z
Wir zeigen z = y ∧ z
z = > ∧ z = (x ∨ y) ∧ z = (x ∧ z) ∨ (y ∧ z)= ⊥ ∨ (y ∧ z) = y ∧ z
Also y = y ∧ z = z108
![Page 109: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/109.jpg)
Algebraische Strukturen — Boolesche Algebren
1
0
Beispiel({0, 1}, {(0,0), (0, 1), (1, 1)}) Verband der Wahrheitswerte mit
kleinstem Element 0 und größtem Element 1
Supremum ∨ und In�mum ∧Ist distributiv, da total geordnet.
Für jedes b ∈ {0, 1} gilt b ∧ (1− b)︸ ︷︷ ︸¬b
= 0 und b ∨ (1− b)︸ ︷︷ ︸¬b
= 1.
Also komplementiert und damit Boolesche Algebra
109
![Page 110: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/110.jpg)
Algebraische Strukturen — Boolesche Algebren
{1, 2, 3}
{1, 2} {1, 3} {2, 3}
{1} {2} {3}
∅
weiteres Beispielfür jede Menge M ist (P(M),⊆) ein distributiver Verband
I mit kleinstem Element ∅ und größtem Element MI Supremum ∪ und In�mum ∩
M′ ∩ (M′)c = ∅ und M′ ∪ (M′)c = M für jedes M′ ∈ P(M)→ komplementiert und sogar Boolesche Algebra falls M 6= ∅
110
![Page 111: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/111.jpg)
Algebraische Strukturen — Boolesche Algebren
noch ein Beispielsei M 6= ∅ eine unendliche Menge und
M = {X ∈ P(M) | X endlich} ∪ {X ∈ P(M) | M \ X endlich}
distributiver, unvollständiger VerbandI mit kleinstem Element ∅ und größtem Element MI Supremum ∪ und In�mum ∩
M′ ∩ (M′)c = ∅ und M′ ∪ (M′)c = M für jedes M′ ∈ P(M)→ komplementiert und damit Boolesche Algebra
111
![Page 112: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/112.jpg)
Algebraische Strukturen — Boolesche Algebren
§9.11 TheoremSei (M,�) eine Boolesche Algebra mit kleinstem Element ⊥ und größtemElement > und sei ·c : M→ M, so dass für alle x ∈ M das Element xc dasKomplement von x ist. Dann gelten
1 (xc)c = x für alle x ∈ M und2 (x ∧ y)c = xc ∨ yc und (x ∨ y)c = xc ∧ yc für alle x, y ∈ M
Beweis (direkt; 1/2).1 Per De�nition ist (xc)c das Komplement von xc . Aufgrund der
Kommutativität von ∧ und ∨ (§8.16) ist x auch Komplement von xc .Da das Komplement eindeutig ist (§9.10), gilt x = (xc)c .
112
![Page 113: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/113.jpg)
Algebraische Strukturen — Boolesche Algebren
§9.11 TheoremSei (M,�) eine Boolesche Algebra mit kleinstem Element ⊥ und größtemElement > und sei ·c : M→ M, so dass für alle x ∈ M das Element xc dasKomplement von x ist. Dann gelten
1 (xc)c = x für alle x ∈ M und2 (x ∧ y)c = xc ∨ yc und (x ∨ y)c = xc ∧ yc für alle x, y ∈ M
Beweis (direkt; 1/2).1 Per De�nition ist (xc)c das Komplement von xc . Aufgrund der
Kommutativität von ∧ und ∨ (§8.16) ist x auch Komplement von xc .Da das Komplement eindeutig ist (§9.10), gilt x = (xc)c .
113
![Page 114: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/114.jpg)
Algebraische Strukturen — Boolesche Algebren
Beweis (direkt; 2/2).2 Wir zeigen, dass (x ∨ y) ∧ (xc ∧ yc) = ⊥ und (x ∨ y) ∨ (xc ∧ yc) = >.
Aufgrund der Eindeutigkeit des Komplements ist dann(x ∨ y)c = xc ∧ yc .
(x ∨ y) ∧ (xc ∧ yc)= (x ∧ xc ∧ yc) ∨ (y ∧ xc ∧ yc)= (⊥ ∧ yc) ∨ (⊥ ∧ xc) = ⊥ ∨⊥ = ⊥
Analog rechnen wir die zweite Gleichheit
(x ∨ y) ∨ (xc ∧ yc)= (x ∨ y ∨ xc) ∧ (x ∨ y ∨ yc)= (> ∨ y) ∨ (> ∨ x) = > ∨> = >
Ebenso für das zweite deMorgan-Gesetz.
114
![Page 115: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/115.jpg)
Algebraische Strukturen — Boolesche Algebren
Beweis (direkt; 2/2).2 Wir zeigen, dass (x ∨ y) ∧ (xc ∧ yc) = ⊥ und (x ∨ y) ∨ (xc ∧ yc) = >.
Aufgrund der Eindeutigkeit des Komplements ist dann(x ∨ y)c = xc ∧ yc .
(x ∨ y) ∧ (xc ∧ yc)= (x ∧ xc ∧ yc) ∨ (y ∧ xc ∧ yc)= (⊥ ∧ yc) ∨ (⊥ ∧ xc) = ⊥ ∨⊥ = ⊥
Analog rechnen wir die zweite Gleichheit
(x ∨ y) ∨ (xc ∧ yc)= (x ∨ y ∨ xc) ∧ (x ∨ y ∨ yc)= (> ∨ y) ∨ (> ∨ x) = > ∨> = >
Ebenso für das zweite deMorgan-Gesetz.
115
![Page 116: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/116.jpg)
Algebraische Strukturen — Boolesche Algebren
Beweis (direkt; 2/2).2 Wir zeigen, dass (x ∨ y) ∧ (xc ∧ yc) = ⊥ und (x ∨ y) ∨ (xc ∧ yc) = >.
Aufgrund der Eindeutigkeit des Komplements ist dann(x ∨ y)c = xc ∧ yc .
(x ∨ y) ∧ (xc ∧ yc)= (x ∧ xc ∧ yc) ∨ (y ∧ xc ∧ yc)= (⊥ ∧ yc) ∨ (⊥ ∧ xc) = ⊥ ∨⊥ = ⊥
Analog rechnen wir die zweite Gleichheit
(x ∨ y) ∨ (xc ∧ yc)= (x ∨ y ∨ xc) ∧ (x ∨ y ∨ yc)= (> ∨ y) ∨ (> ∨ x) = > ∨> = >
Ebenso für das zweite deMorgan-Gesetz.
116
![Page 117: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/117.jpg)
Algebraische Strukturen — Boolesche Algebren
Beweis (direkt; 2/2).2 Wir zeigen, dass (x ∨ y) ∧ (xc ∧ yc) = ⊥ und (x ∨ y) ∨ (xc ∧ yc) = >.
Aufgrund der Eindeutigkeit des Komplements ist dann(x ∨ y)c = xc ∧ yc .
(x ∨ y) ∧ (xc ∧ yc)= (x ∧ xc ∧ yc) ∨ (y ∧ xc ∧ yc)= (⊥ ∧ yc) ∨ (⊥ ∧ xc) = ⊥ ∨⊥ = ⊥
Analog rechnen wir die zweite Gleichheit
(x ∨ y) ∨ (xc ∧ yc)= (x ∨ y ∨ xc) ∧ (x ∨ y ∨ yc)= (> ∨ y) ∨ (> ∨ x) = > ∨> = >
Ebenso für das zweite deMorgan-Gesetz.117
![Page 118: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/118.jpg)
Algebraische Strukturen — Boolesche Algebren
Notizen:
wir nutzen mc für das Komplement von m in Booleschen Algebren
§9.12 Theorem (vgl. §9.5)Sei (M,u,t, ·∗,⊥,>) eine algebraische Struktur des Typs (0, 2, 1, 2),so dass für alle x, y ∈ M
u und t kommutativ, distributiv und assoziativ sind,
x t (x u y) = x und x u (x t y) = x , Absorption
und x u x∗ = ⊥ und x t x∗ = >. Komplemente
Dann ist (M,�) mit x � y gdw. x = x u y eine Boolesche Algebra.
Beweis (direkt).Unter Nutzung von §9.5 leicht nachzurechnen.
118
![Page 119: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/119.jpg)
Algebraische Strukturen — Boolesche Algebren
Notizen:
wir nutzen mc für das Komplement von m in Booleschen Algebren
§9.12 Theorem (vgl. §9.5)Sei (M,u,t, ·∗,⊥,>) eine algebraische Struktur des Typs (0, 2, 1, 2),so dass für alle x, y ∈ M
u und t kommutativ, distributiv und assoziativ sind,
x t (x u y) = x und x u (x t y) = x , Absorption
und x u x∗ = ⊥ und x t x∗ = >. Komplemente
Dann ist (M,�) mit x � y gdw. x = x u y eine Boolesche Algebra.
Beweis (direkt).Unter Nutzung von §9.5 leicht nachzurechnen.
119
![Page 120: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/120.jpg)
Algebraische Strukturen — Boolesche Algebren
Notizen:
wir nutzen mc für das Komplement von m in Booleschen Algebren
§9.12 Theorem (vgl. §9.5)Sei (M,u,t, ·∗,⊥,>) eine algebraische Struktur des Typs (0, 2, 1, 2),so dass für alle x, y ∈ M
u und t kommutativ, distributiv und assoziativ sind,
x t (x u y) = x und x u (x t y) = x , Absorption
und x u x∗ = ⊥ und x t x∗ = >. Komplemente
Dann ist (M,�) mit x � y gdw. x = x u y eine Boolesche Algebra.
Beweis (direkt).Unter Nutzung von §9.5 leicht nachzurechnen.
120
![Page 121: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/121.jpg)
Algebraische Strukturen — Boolesche Algebren
Notizen:
wir nutzen mc für das Komplement von m in Booleschen Algebren
§9.12 Theorem (vgl. §9.5)Sei (M,u,t, ·∗,⊥,>) eine algebraische Struktur des Typs (0, 2, 1, 2),so dass für alle x, y ∈ M
u und t kommutativ, distributiv und assoziativ sind,
x t (x u y) = x und x u (x t y) = x , Absorption
und x u x∗ = ⊥ und x t x∗ = >. Komplemente
Dann ist (M,�) mit x � y gdw. x = x u y eine Boolesche Algebra.
Beweis (direkt).Unter Nutzung von §9.5 leicht nachzurechnen.
121
![Page 122: Diskrete Strukturen - Algebraische Strukturen und Verbände'epaul/lehre/18ds/ds09.pdf · 2018. 12. 11. · Nächste Termine — Modul “Diskrete Strukturen” Hörsaalübung (Mo](https://reader035.vdokument.com/reader035/viewer/2022070218/61244a67c724d365e46870e4/html5/thumbnails/122.jpg)
Zusammenfassung
Algebraische Strukturen
Isomorphismen und Unterstrukturen
Charakterisierung Distributivität
Boolesche Algebren
Fün�e Aufgabenserie bereits im AlmaWeb verfügbar
122