Totale Ordnung < Mengenlehre < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Aufgabe | Auf einer Menge M sei eine lineare Ordnung [mm]\le[/mm] gegeben. Die von [mm]\le[/mm] erzeugte lexikographische
Ordnung auf [mm]M \times M[/mm] ist gegeben durch
[mm] (a, b) <_{Lex} (c, d) \in M \timesM :<-> (a < c)
\vee (a = c \wedge b < d) [/mm]:
Aufgabe 1:
Zeigen Sie, dass durch die lexikographische Ordnung [mm]\le_{Lex }[/mm]tatsächlich eine lineare Ordnung
auf M [mm] \timesM [/mm] gegeben ist |
Hallo,
Das Vorgehen bei der Aufgabe ist mir schon klar aber ich wollte fragen ob mit dieser lexikographischen Ordung aus Aufgabe 1 die folgende gemeint ist:
[mm] (a, b) \le_{Lex} (c, d) \in M \timesM :<-> (a \le c) \vee (a = c \wedge b \le d) [/mm]
Habe ich das richtig verstanden?
Danke!
Gruß
Angelika
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 10:21 Mo 26.04.2010 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
