Kurs:Analysis 1 (TU Dortmund)/§1 Der Körper der reellen Zahlen

Aus testwiki
Version vom 22. Februar 2010, 12:48 Uhr von imported>Crochet.david.bot (Bot : Fixed Zeichenkodierung)
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)
Zur Navigation springen Zur Suche springen

§ Der Körper der Reellen Zahlen

Auf sind Addition + und Multiplikation erklärt mit folgenden Eigenschaften:

Körpertheorie (Algebra)/Körper/Definition/Variante 3

Statt

x+(y) schreibe xy
xy1 schreibe xy oder x/y
xy schreibe xy

Anordnungsaxiome

Es gibt eine Menge P mit: für alle x gilt:

entweder xP
oder xP
oder x=o

und

(i)

x,yPx+yP

(ii)

x,yPxyP
x>0 (größer) für xP
x<0 (kleiner) für xP

Exemplarischer Beweis: Warum ist 1 > 0?

Fallunterscheidung: Fall 1: 1P Korrekt Fall 2: (1)P1(1)(1)P Widerspruch

x<yyx>0

Regeln

Für das folgende gilt: t,x,y,z

  • (a) x<y und y<zx<z
  • (b) x<yx+z<y+z
  • (c) x<yz<0xz<yz
  • (d) x=0x2>0
  • (e) x<y und 0<t<1x<tx+(1t)y<y insbesondere (t=12),x<x+y2<y
  • (f) 0<x<y1y<1x

Beweise

  • (a) zx=(zy)>0+(yx)>0>0
  • (b) (z+y)(z+x)=yx>0
  • (c) yzxz=(yx)>0z>0
xzyz=(xy)z=(yx)>0(z)>0
  • (d) wie bei x=1
  • (e) y(tx+(1t)y)=tytx=t>0(yx)>0>0
  • (f) 1x1y=yxxy=(yx)>01xy>0
zz: t>01t>0
Annahme:1t<01t>0
1tt=1<0 Widerspruch!

Absolutbetrag

x

  • |x|={x,x>00,x=0x,x<0

heißt Betragsfunktion.

  • sign(x)={1,x>00,x=01,x<0
xsign(x)=|x|
|x|sign(x)=x

Eigenschaften

  • (a) |xy|=|x||y|
  • (b) |x|>0 (x=0), |0|=0
  • (c) x|x|,x|x|
  • (d) |x|<ϵϵ<x<ϵ

Dreiecksungleichung

Für x,y gilt: |x+y||x|+|y| und ||x||y|||xy|

und "=" genau dann, wenn xy0

Beweis

  • ±x|x|
±y|y|
±(x+y)|x|+|y||x+y||x|+|y|
  • |x|=|xy+y||xy|+|y|
|x||y||xy|
±(|x|+|y|)|xy|||x||y|||xy|

Intervalle (a<b)

[a,b]={x:axb}
[a,b)={x:ax<b}
(a,b)={x:a<x<b}

Vorlage:Fachbereich