Hallo zusammen,
ich habe folgendes Problem. Für die Uni muss ich folgende Aufgabe bearbeiten und bin leider wieder mal etwas hilflos... Hier zunächst einmal die Aufgabe:
"Sei (M,) eine lineare Ordnung und die Menge M dabei nicht leer. Wir definieren auf der Menge die sogenannte lexikographische Ordnung umgangssprachlich, indem wir festlegen: Für und gilt genau dann, wenn für die erste Position i, in der sich s und t unterscheiden, gilt oder, wenn es keine solche Position gibt, wenn gilt. Formal: Für alle und gelten I II III Beweisen Sie auf Basis der formalen Definition, dass eine Ordnungsrelation ist."
Ich weiß, dass eine Ordnungsrelation eine reflexive, transitive und antisymmetrische Relation ist. Doch wie soll ich jetzt irgendein Merkmal davon beweisen? Ich habe mich an reflexiv versucht (was ja eigentlich meist am einfachsten ist) und bin aber nicht weitergekommen. Logisch erschließt sich mir zwar, dass Reflexivität gilt, weil eine Liste nun mal die selbe Länge wie sie selbst hat und auch an allen Stellen gleich ist, aber wie soll ich das denn bitte formal beweisen? Die anderen beiden Eigenschaften überfordern mich derzeit komplett...
Kann mir jemand Beistand leisten oder ein paar Tipps oder Ideen geben, wie ich den Beweis formal durchführen könnte???
Vielen Dank und LG
Für alle, die mir helfen möchten (automatisch von OnlineMathe generiert): "Ich möchte die Lösung in Zusammenarbeit mit anderen erstellen." |