Kommt darauf an, wie die Relationen und definiert sind (naja, zumindest = sollte klar sein, aber und sind zu definieren!). Der grundlegende Fall sind die natürlichen Zahlen bzw. Hier definiert man sowie .
Behauptung: Für gilt die Trichotomie. Zunächst: Es gilt stets mindestens eine der drei Relationen. Beweis per Induktion nach . Falls folgt ansonsten ist und es folgt also . Die Behauptung gelte für dann gilt sie auch für Falls folgt wieder sofort . Ansonsten gilt für ein . Nach Voraussetzung gilt oder oder . Im ersten Fall ist für ein und daher auch . . Im zweiten Fall ist . Im dritten is für ein und daher auch und folglich . Per Induktion folgt also, dass stets mindestens eine de Relationen gilt.
Es können aber nicht zwei der Relationen gelten: Aus und würde beispielsweise folgen mit . Da in die Kürzungsregel für Summanden gilt, folgt hieraus im Widerspruch zu . Derselbe Widerspruch ergibt sich zwischen und . Auch und können nicht gleichzeitig gelten, da dann und für gewisse gilt. Dann ist aber woraus wieder folgt - Widerspruch.
Somit ist die Trichotomie für und die oben genannten Definitionen von und gezeigt.
Jetzt definiere geeignet für (und beweise Trichotomie). Dann definiere geeignet für (und beweise Trichotomie) und schließlich für (und beweise Trichotomie).
|