Beruflich Dokumente
Kultur Dokumente
Anordnungsaxiome
1.3.1 Definition Ein Krper K heit angeordneter Krper (AK), wenn in K eine Kleiner-Relation (in Zeichen: < ) definiert ist, welche die folgenden Axiome erfllt: (A1)
(A2)
(A3) (A4)
[Trichotomie]
[Transitivitt] [Monotoniegesetz zu + ]
[Monotoniegesetzt zu ]
Fr alle x, y, z K gilt:
Falls x < y und y < z , folgt x < z . Fr alle x, y, z K gilt: Falls x < y , gilt x + z < y + z . Fr alle x, y, z K gilt: Falls x < y und 0 < z , gilt: x z < y z .
Bemerkung: Seien x und y x, y Elemente eines angeordneten Krpers. Schreibweisen: y > x bedeutet x < y , x y bedeutet x < y oder x = y .
R2 ,
x c > y c .
(f)
1 >0 , x
(2) x < 0
1 <0 . x
Beweis: Zu (a):
Nach (A1) gilt nur eine der Beziehungen x < y, x = y, y < x . Also muss gelten: x = y.
Zu (b): Wir beweisen nur Aussage (1). Wir haben x K und x > 0 . Wegen (K1) existiert zu x das inverse Element x . Dann:
x>0
Zu (c):
(1)
( A3)
(2)
x < ( y + ( x )) + x
x < y 0 < c
( A 4)
Regel
x ( c ) < y ( c )
xc < y c y c < xc .
( A3)
x c + ( x c + y c) < y c + ( x c + y c)
Zu (e): Fall 1:
a > 0 . [Sei zur Benutzung von (A4) x = 0 , y = a , z = a .] Dann hat man wegen (A4) 0 a < a a . Da 0 a = 0 (Satz 1.2.4) , folgt 0 < a 2 . a < 0 . [Sei zur Benutzung von Aussage (d) x = a , y = 0 , c = a .] Dann hat man wegen Aussage (d) a a > 0 a . Da 0 a = 0 (Satz 1.2.4) , folgt a 2 > 0 .
Fall 2:
Wir beweisen nur Aussage (1). 1 1 Beweisidee: Wir zeigen, dass = 0 und < 0 unmglich sind. x x Dann ergibt sich die Aussage mit (A1). Eigentlicher Beweis: 1 1 Da x > 0 , existiert das Element x 1 = und es gilt x = 1 . x x 1 Wegen Aussage (e) gilt: 1 = 12 > 0 . Also x > 0 . x 1 Annahme: < 0 . Nach Voraussetzung ist x > 0 . x 1 1 Wir haben 0 < x und < 0 . Mit (d) folgt: 0 > x . x x 1 1 = 0 . Wegen Satz 1.2.4 folgt: x = 0 . Annahme: x x Die Gleichungen ( I ), ( II ) bilden jeweils einen Widerspruch zu ( ) .
Zu (f):
( )
(I) ( II )
1.3.4
Definition (Absolutbetrag)
x, falls x 0 Sei K ein angeordneter Krper und sei x K . Wir setzen: x = x, falls x < 0 1.3.5 Satz Sei K ein angeordneter Krper. Seien x, y K . Dann gilt:
(a) (b) (c) (d) (e) (f) (g)
x 0 x =0 x=0 x = x x x x y = x y
x x = fr y 0 y y
x + y x + y (Dreiecksungleichung)
x+ y x y x y x y
x = x + y + ( y )) = ( x + y ) + ( y ) x + y + y = x + y + y .
(1): Dreiecksungleichung ; (2) Satz 1.3.5 , Teil (c) . Damit folgt:
x+ y x y .
Damit folgt:
x y x y .
xm a ma x m+a .