- 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
-
Notifications
You must be signed in to change notification settings - Fork 0
JFKakaJFK/dm-tutorium
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
Repository files navigation
About
Übungsblätter zum DM Tutorium
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published