Totalordnung < Formale Sprachen < Theoretische Inform. < Hochschule < Informatik < Vorhilfe
|
| Status: |
(Frage) beantwortet  | | Datum: | 11:31 Di 08.11.2011 | | Autor: | emulb |
| Aufgabe | Stelle die Totalordnung grafisch dar:
a)
b)
c)
d) eine Totalordnung. |
Wie stelle ich eine Totalordnung grafisch dar. Ich weiß, dass reflexiv, transitiv, antisymmetrisch die Bedingung für die Halbordnung ist und auch für die Totalordnung. Jedoch gehört für die Totalordnung eine Bedingung dazu. Meine Grafik sieht aus wie eine Halbordnung, dh {123} sind im dreieich und von jedem geht ein Pfeil zu jedem und auch zu sich selbst. Aber wie sieht nun die Totalordnung aus??
|
|
| |
|
| Status: |
(Antwort) fertig  | | Datum: | 13:12 Di 08.11.2011 | | Autor: | felixf |
Moin!
> Stelle die Totalordnung grafisch dar:
> a)
> b)
> c)
> d) eine Totalordnung.
>
> Wie stelle ich eine Totalordnung grafisch dar. Ich weiß,
> dass reflexiv, transitiv, antisymmetrisch die Bedingung
> für die Halbordnung ist und auch für die Totalordnung.
> Jedoch gehört für die Totalordnung eine Bedingung dazu.
> Meine Grafik sieht aus wie eine Halbordnung, dh {123} sind
> im dreieich und von jedem geht ein Pfeil zu jedem und auch
> zu sich selbst. Aber wie sieht nun die Totalordnung aus??
Deine Grafik zur Halbordnung stimmt nicht: die dargestellte Ordnung ist offenbar nicht antisymmetrisch.
Und zur Totalordnung: was besagt diese zusaetzliche Bedingung denn? Das musst du dir mal ueberlegen. Schreib sie dochmal hierhin. Und ueberlege dir, ob sie bei verschiedenen Diagrammen mit der Menge [mm] $\{1, 2, 3 \}$ [/mm] erfuellt ist.
LG Felix
|
|
|
|
