totale Ordnung < Relationen < Diskrete Mathematik < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) beantwortet  | | Datum: | 11:51 Sa 31.10.2009 | | Autor: | Aniria |
| Aufgabe | also:
zeige: es gibt auf [mm] \IN [/mm] genau eine totatle Ordnung [mm] R\subseteq\IN [/mm] x [mm] \IN [/mm] mit:
[mm] \forall [/mm] p [mm] \in \IN [/mm] : pRp+ |
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
also, um dies zu zeigen, müsste man 1. zeigen, dass diese totale Ordnung existiert und
2. dass es genau eine existiert
Eigenschaft der totalen Ordnung ist im Allg.: p=q [mm] \vee [/mm] pRq [mm] \vee [/mm] qRp
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 12:06 Sa 31.10.2009 | | Autor: | dayscott |
vielleicht hilft das:
führe dir die Bedeutung der Totalordnung vor Augen:
eine Totalordnung ist eine Halbordnung über alle Elemente aus einer Menge M.
Eine Halbordnung ist eine antisymmetrische Quasiordnung.
Eine Quasiordnung ist eine Relation, die transitiv und reflexiv ist.
|
|
|
|
