Mathematik online lernen im Mathe-Forum. Nachhilfe online
Startseite » Forum » Trichotomie

Trichotomie

Universität / Fachhochschule

Sonstiges

Elementare Zahlentheorie

Tags: Beweis, Trichotomie

 
Antworten Neue Frage stellen Im Forum suchen
Neue Frage
Peggy01

Peggy01 aktiv_icon

17:16 Uhr, 28.05.2008

Antworten
Hallo, wer kann mir die Trichotomie allgemein beweisen?!
Trichotomie: Zwischen a und b besteht genau einer der drei Beziehungen:
a<b
a=b
a>b

das habe ich soweit verstanden, nur wie geht der Beweis davon?
Hierzu passend bei OnlineMathe:
Online-Nachhilfe in Mathematik
Antwort
hagman

hagman aktiv_icon

22:20 Uhr, 28.05.2008

Antworten
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 ={1,2,3,...} bzw. 0={0,1,2,...}
Hier definiert man a>bc:a=b+c sowie a>bb<a.

Behauptung: Für a,b0 gilt die Trichotomie.
Zunächst: Es gilt stets mindestens eine der drei Relationen.
Beweis per Induktion nach b.
1.)b=0: Falls a=0, folgt a=b, ansonsten ist a und es folgt a=b+a, also a>b.
2.) Die Behauptung gelte für b; dann gilt sie auch für b+1:
Falls a=0, folgt wieder sofort a<b+1. Ansonsten gilt a=a'+1 für ein a'0.
Nach Voraussetzung gilt a'<b oder a'=b oder a'>b.
Im ersten Fall ist a'+c=b für ein c und daher auch a+c=(a'+1)+c=(a'+c)+1=b+1,d.h. a<b+1.
Im zweiten Fall ist a=a'+1=b+1.
Im dritten is a'=b+c für ein c und daher auch a=a'+1=(b+c)+1=(b+1)+c und folglich a>b+1.
Per Induktion folgt also, dass stets mindestens eine de Relationen a<b,a=b,a>b gilt.

Es können aber nicht zwei der Relationen gelten:
Aus a=b und a<b würde beispielsweise a+c=b=a+0 folgen mit c. Da in 0 die Kürzungsregel für Summanden gilt, folgt hieraus c=0 im Widerspruch zu c0.
Derselbe Widerspruch ergibt sich zwischen a=b und a>b.
Auch a<b und a>b können nicht gleichzeitig gelten, da dann a+c=b und a=b+d für gewisse c,d gilt. Dann ist aber a+(c+d)=(a+c)+d=b+d=a, woraus wieder c+d=0 folgt - Widerspruch.

Somit ist die Trichotomie für 0 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).
Diese Frage wurde automatisch geschlossen, da der Fragesteller kein Interesse mehr an der Frage gezeigt hat.