- Blatt 2
- Blatt 3
- Blatt 4
- Blatt 5
- Blatt 6
- Blatt 7
- Blatt 8
- Blatt 10
- Blatt 11
- Blatt 13
- @Aufagbe 10 aus Klausur G aus SS 2018 (Zugriff über Uni Netzwerk/VPN)
Antwortmöglichkeit
B
ist falsch (also nicht allgemeingültig), weil sich ein Gegenbeispiel finden lässt. Die MengeM
sei die Menge aller Tripel aus natürlichen Zahlen (z.B.(0,0,0),(42,0,12)
), alsoM={(a,b,c) | a,b,c Element d. nat. Zahlen}
. Die wohlfundierte und partielle Ordnung sei die natürliche Ordnung auf die einzelnen Komponenten mit der Komponentenweisen Ordnung auf die ersten beiden Elemente. FürA = (a,b,c)
undB = (d,e,f)
gilt alsoA <= B <=> ab <= cc
(A
ist genau dann kleiner gleichB
, wennab
mit der Komponentenweisen Ordung kleiner gleichcd
). Diese Ordnung ist wohlfundiert, da keine absteigende Kette möglich ist, mit unendlich vielen minimalen Elementen der Form(0, 0, x)
(x
ist eine beliebige natürliche Zahl). Die Ordnung ist auch partiell, da z.B.(2,0,3)
und(1,1,1)
nicht miteinander verglichen ('geordnet') werden können. Dann hat z.B das Element(1,0,0)
unendlich viele Vorgänger der Form(0,0,x)
(x
ist eine beliebige natürliche Zahl). Jedes nicht minimale Element hat also unendlich viele Vorgänger (die Relation ist aber wohlfundiert!).
- @Aufagbe 10 aus Klausur G aus SS 2018 (Zugriff über Uni Netzwerk/VPN)
Antwortmöglichkeit
jfkakajfk / dm-tutorium Goto Github PK
View Code? Open in Web Editor NEWÜbungsblätter zum DM Tutorium