3.4 Reelle Zahlen

g  : {f : X '--> X bijektiv}

3.4.1 Die Gruppe

Eine nicht leere Menge G zusammen mit einer Abbildung o , durch die je zwei Elemente a,b  (-  G das Element ao b  (-  G zugeordnet wird und die folgenden Eigenschaften besitzt, heißt Gruppe:

Gilt zusätzlich:

3.4.2 Axiomensystem für die reellen Zahlen

Die reellen Zahlen bilden eine Menge mit den Verknüpfungen + und . :

+ : R× R     +(x,y) = x+ y  |R × R '-->  R
(x,y) '--> x+ y                 (x,y) '--> x + y

Sowie einer Anordnung, die durch eine Teilmenge R+ < R  , den Positivitätsbereich, gegeben wird. Für diese Daten müssen erfüllt sein:

3.4.3 Körperaxiome

Zu gegebenen Zahlen a,b  (-  R  gibt es genau eine Zahl x  (-  R mit a+ x = b.(x = b+ (-a))  . Zu gegeben Zahlen a /= 0  gibt es genau ein x  (-  R  mit ax = b       1
(x = ab)  . Nun gilt:

a.0-=-0 A a- (- -R;  (x /= 0,y /= 0 --> xy /= 0)

a + a.0 = a .1+ a.0 = a(1+ 0) = a .1 = a

a+ x = a ==> x = a+ (-a) = 0 = a.0

(-1)(-1) = - (-1) = 1
--------------------

Wir betrachten nun folgende Gleichung:

(-1)+ x = 0    (*)

Diese soll nun gelöst werden:

Die Gleichung wird durch (- 1)(- 1)  , - (-1)  und 1 gelöst.

3.4.4 Anordnungsaxiome

Die Elemente von  +
R  heißen positive Zahlen. Diese sind durch die folgenden Axiome gekennzeichnet:

  1. Für jedes x  (-  R  gilt genau eine der Aussagen:
         +             +
x  (-  R ,x = 0,-x  (-  R

  2. x,y  (-  R+  ==> x + y  (-  R+
  3. x,y  (-  R+  ==> xy  (-  R+

Bezeichnung: Für x  (-  R+  schreiben wir x > 0  .

Definition:

Wir definieren folgendes:

  • x < y  (y > x)  Def
----> y - x > 0
  • y < x  Def
----> y < x  oder y = x
  • x < y < z   Def
----> x < y  und y < z
  • x < y < z   Def
----> x < y  und y < z
  • x  heißt negativ, falls x < 0  gilt. Das heißt: - x > 0

Folgerungen:

  1. x < y < z  ==> x < z
  2. (x < y)  /\ (z > 0)  ==> xz < yz

    y- x > 0  , z > 0  ==> z(y- x) = zy - zx > 0  : zx < zy

  3. y < 0  , z < 0  ==> - y > 0  , - z > 0  ==> (-y)(-z)> 0
 --- ---
  yz>0
  4. x < 0  , z > 0  ==> xz < 0  (Setze in 2: y = 0  )

Beispiel:

Für welche x  gilt x + 1-> 2
    x  ?

Beispiel:

Wir stellen folgende Behauptung auf:

x,y > 0 : x < y <==> x2 < y2

Diese Aussage ist nun zu beweisen:

y2 -x2 = (y- x)(y+ x)
 -- --    -- -- -- --
 ->0--     >0    >0
  >0

==>  Voraussetzung: x < y

==>  Voraussetzung: y2 -x2 > 0

Übung:

Es ist folgende Aussage zu beweisen: Für x < y  gilt x < x+-y-< y
      2  .