Beruflich Dokumente
Kultur Dokumente
Claus Hillermeier - Mathematik Für Informatiker I
Claus Hillermeier - Mathematik Für Informatiker I
r Ingenieure I
(fu
r Informatiker)
Claus Hillermeier
Wintersemester 2000/2001
Institut fu
at Erlangen,
r Angewandte Mathematik der Universit
Martensstr. 3
e-mail: hillerm@am.uni-erlangen.de
Vorbemerkung:
Inhaltsverzeichnis
1 Zahlen
1.1
1.2
1.3
1.4
1.5
1.6
1.7
1.8
1.9
1.10
Mengen . . . . . . . . . . . . . . . . . . . . . . .
Relationen . . . . . . . . . . . . . . . . . . . . . .
Abbildungen . . . . . . . . . . . . . . . . . . . . .
Die naturlichen Zahlen . . . . . . . . . . . . . . .
1.4.1 Peano-Axiome . . . . . . . . . . . . . . . .
1.4.2 Ordnungstruktur . . . . . . . . . . . . . .
1.4.3 Algebraische Struktur . . . . . . . . . . .
1.4.4 Vollstandige Induktion . . . . . . . . . . .
1.4.5 Permutationen und Binomialkoezienten .
1.4.6 Machtigkeit von Mengen . . . . . . . . . .
Die ganzen Zahlen . . . . . . . . . . . . . . . . .
Gruppen und Homomorphismen . . . . . . . . . .
Die rationalen Zahlen . . . . . . . . . . . . . . . .
Ringe und Korper . . . . . . . . . . . . . . . . . .
Die reellen Zahlen . . . . . . . . . . . . . . . . . .
Folgen . . . . . . . . . . . . . . . . . . . . . . . .
1.10.1 Denition von Folgen . . . . . . . . . . . .
1.10.2 Metrische Struktur . . . . . . . . . . . . .
1.10.3 Konvergenz von Folgen . . . . . . . . . . .
1.10.4 Cauchy-Folgen und irrationale Zahlen . . .
1.10.5 Vollstandigkeit . . . . . . . . . . . . . . .
1.10.6 Rechenregeln fur Grenzwerte . . . . . . . .
1.10.7 Konvergenzkriterien . . . . . . . . . . . .
1.10.8 Haufungspunkte . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
2
5
8
13
13
14
14
15
17
20
20
22
25
29
32
37
37
38
39
41
44
45
46
49
1 Zahlen
1.1
Mengen
Im taglichen Leben fassen wir { meist ahnlich geartete { Objekte gedanklich oft zu einer
Menge zusammen, z.B. einer Menge von Marmeladeglasern oder Briefmarken. In der Mathematik gehort die Bildung von Mengen ebenfalls zum elementaren Handwerkszeug.
Von Georg Cantor, dem Begrunder der Mengenlehre, stammt folgende umgangssprachliche Beschreibung des Mengenbegris:
Unter einer Menge verstehen wir jede Zusammenfassung von bestimmten, wohlunterschiedenen Objekten unserer Anschauung oder unseres Denkens zu einem Ganzen.
Wir werden Mengen mit Grobuchstaben bezeichnen. Die Objekte einer Menge heien
die Elemente von A.
Eine Menge aus endlich vielen Elementen konnen wir dadurch beschreiben, dass wir all
ihre Elemente aufzahlen, wobei die Reihenfolge keine Rolle spielt, also z.B. A sei deni"
tionsgema gleich fa; b; c; dg\. Mit dem Kurzel :=\ fur denitionsgema gleich\ { der
"
"
Doppelpunkt steht bei dem zu denierenden Ausdruck { schreiben wir hierfur
A := fa; b; c; dg:
Meist fassen wir nicht wahllose Objekte zu einer Menge zusammen, sondern Objekte mit
einer gemeinsamen Eigenschaft. Eine solche Menge lasst sich alternativ durch die Angabe
der Eigenschaft E bezeicnen, die genau allen Elementen dieser Menge zukommt. Man
schreibt dann A := fa j a erfullt Eg, also z.B. A := fa j a ist griechischer Buchstabeg =
f; ;
; : : : ; !g. In der Mathematik wird die Aussage "a erfullt die Eigenschaft E \ oft
durch eine mathematische Formel ausgedruckt, z.B.
B := f+ 2;
2g = fx 2 R j x = 2g:
2
Der Begri der leeren Menge ;, die kein Element enthalt, wird eingefuhrt, um in allgemeinen Argumentationen Fallunterscheidungen zu vermeiden.
Zwei Mengen A und B heien gleich, wenn sie dieselben Elemente enthalten. Die Aussage
A = B\ ist also denitionsgema gleichbedeutend mit folgender Aussage:
"
Fur beliebige Objekte a ist a 2 A gleichbedeutend mit a 2 B:\
"
Unter Verwendung der Kurzel
Aussage 1
"
und
()
:()\
"
Von einer gegebenen Menge A lassen sich Teilmengen bilden. Eine Menge B heit Teilmenge von A, in Zeichen B A, wenn jedes Element von B auch Element von A ist,
d.h. wenn gilt: Fur jedes a 2 B folgt a 2 A. Wir fuhren fur Aussage 2 folgt aus Aussage
"
1\ das Kurzel Aussage 1 =) Aussage 2 \ ein. Damit lautet die Denition der Teilmenge:
"
(B A) :() (a 2 B =) a 2 A):
Veranschaulichung
anhand von Mengen,
die aus Punkten der
Zeichenebene bestehen:
A
B
Beweis:
()
Def.
(A B und B A)
(a 2 A =) a 2 B
und
a 2 A (= a 2 B )
:::
() (a 2 A () a 2 B ) () A = B
Def.
q.e.d.
Bemerkungen: (1) q.e.d.\ steht fur \quod erat demonstrandum\ und
"
zeigt das Ende des Beweises an.
(2) Weil die durch () \ angezeigte Aquivalenz
zweier
"
Aussagen gleichbedeutend ist mit =) und (= \,
"
kann der Beweis einer solchen Aquivalenz
aufgespalten
werden in den Beweis von =) \ und den Beweis von
"
(
= \.
"
Wenn wir eine Menge M gegeben haben (kurz: gegeben eine Menge M ), so lassen sich
3
alle Teilmengen von M wiederum zu einer Menge zusammenfassen, der sogenannten Potenzmenge P (M ).
Beispiel: Fur M = f1; 2g ist P (M ) = f;; f1g; f2g; f1; 2gg.
Liegen zwei Mengen A und B vor, so konnen wir die gemeinsamen Elemente heraussuchen
(Durchschnitt A \ B ) bzw. streichen (Dierenz AnB ). Alle Element zusammen bilden
die Vereinigung A [ B :
A \ B := fx j x 2 A und x 2 B g
A
B
AnB := fx j x 2 A und x 62 B g
A
B
A [ B := fx j x 2 A oder x 2 B g
A
B
Besitzen zwei Mengen A und B kein gemeinsames Element, d.h. A \ B = ;, so heien sie
disjunkt.
4
B
Eine weitere Moglichkeit, aus gegebenen Mengen neue Mengen zu erhalten, ist die Produktbildung:
Das direkte (oder kartesische) Produkt A B zweier Mengen A und B ist deniert
als
A B := f(x; y )jx 2 A; y 2 B g:
A B besteht also aus allen geordneten Paaren von Elementen aus A und B ; geordnet
deshalb, weil das erste Element des Paares stets aus A, das zweite stets aus B ist.
Beispiel: A = f2; 4g; B = f1; 3; 5g
=) A B = f(2; 1); (2; 3); (2; 5); (4; 1); (4; 3); (4; 5)g
Analog konnen wir auch das kartesische Produkt von n Mengen A ; A ; : : : ; An bilden:
1
A A
2
Die Elemente (a ; : : : ; an ) dieser Menge heien (geordnete) n-Tupel. Zwei n-Tupel (a ; : : : ; an)
und (b ; : : : ; bn ) heien gleich, falls sie komponentenweise gleich sind, d.h. falls gilt: ai = bi
fur alle i = 1; : : : ; n.
1
1.2
Relationen
Reelle Zahlen lassen sich als Punkte auf einer Geraden, der sog. reellen Zahlengeraden,
veranschaulichen.
0
x <
Je zwei reelle Zahlen x und y lassen sich stets der Groe nach vergleichen:
Es gilt entweder x y (siehe Bild) oder x > y .
Das \-Zeichen setzt also gewisse Elemente aus R (R:= Menge der reellen Zahlen) in
"
eine Vergleichsrelation zu anderen Elementen aus R. Die so in Relation gesetzten Paare
(x; y ) bilden eine Teilmenge des direkten Produkts R R:
V := f(x; y ) 2 R R j x y g R R :
In Verallgemeinerung denieren wir:
Gegeben seien zwei nichtleere Mengen M und N .
Dann heit eine nichtleere Teilmenge R M N eine Relation zwischen M und N .
Statt (x; y ) 2 R schreiben wir x y (oder verwenden statt
5
"
\ im obigen Beispiel).
"
Beispiele:
a) M = N = N (Menge der naturlichen Zahlen),
R := f(n; m) 2 N N j n ist Teiler von mg;
(2; 4) 2 R; (2; 5) 62 R.
b) M = N beliebig,
R := f(x; x) j x 2 M g M M deniert die Gleichheitsrelation.
Die oben eingefuhrte Relation V auf R und auch die Gleichheitsrelation sind Relationen
zwischen einer Menge M und sich selber und haben spezielle Eigenschaften:
(O1) x x fur alle x 2 R (Re
exivitat)
(O2) (x y und y z ) =) x z (Transitivitat)
x <
y <
x< z
(O3) (x y und y x) =) x = y (Antisymmetrie)
Allgemein heit jede Relation auf einer Menge M mit den Eigenschaften (O1) bis (O3)
Ordnungsrelation. [In (O1) ist dann naturlich das Symbol R durch M zu ersetzen.] Die
Menge M heit dann halbgeordnet.
Beispiel:
X := P (M ), Potenzmenge von M ;
Fur A; B M deniert A B :() A B eine Ordnungsrelation.
M
B
A
Hat eine Relation auf einer beliebigen Menge M (also wiederum: M = N ) die Eigenschaften (O1) und (O2) sowie statt der Antisymmetrie die Eigenschaft der Symmetrie,
also
1) x x fur alle [kurz: 8] x 2 M (Re
exivitat)
(A
2) (x y und y z ) =) x z (Transitivitat)
(A
3) x y =) y x (Symmetrie),
(A
so heit eine Aquivalenzrelation
auf M .
Die Menge aller zu x 2 M in der Relation stehenden Elemente von M heit Aquivalenzklasse [x] von x:
[x] := fy 2 M j y xg:
Behauptung:
(1) Jedes Element von M ist in genau einer Aquivalenzklasse
enthalten.
(2) Die Klassen sind paarweise disjunkt.
Aus (1) und (2) folgt: Die Menge M wird durch in Aquivalenzklassen
zerlegt. (Eine
Zerlegung einer Menge in disjunkte Teilmengen nennt man auch Partition.)
Beweis(Teil II):
Aussage (1) ist gleichbedeutend mit
(a) Jedes Element x 2 M ist in mindestens einer Aquivalenzklasse
enthalten.
und
(b) Jedes x 2 M ist in hochstens einer Aquivalenzklasse
enthalten,
d.h. (z 2 [x] und z 2 [y ]) =) [x] = [y ]:
(Symm.)
(Trans.)
Eine Aquivalenzrelation
erzeugt also eine neue Menge, die Menge der Aquivalenzklassen
von M , genannt Quotientenmenge M= von M nach
M= := f[x] j x 2 M g.
Beispiele:
(a) M sei die Menge aller Dreiecke in der Ebene.
Fur zwei Dreiecke A und B deniert
A B :() Flacheninhalt von A = Flacheninhalt von B
eine Aquivalenzrelation.
Das Beispiel zeigt, dass M= das Ergebnis eines Abstraktionsvorganges\ ist: Die
"
die Aquivalenzklasse
erzeugende Eigenschaft { hier: der Flacheninhalt { kann mit
der Klasse identiziert werden, d.h. von den ubrigen Eigenschaften wird abgesehen.
(Ein anderes Beispiel einer solchen Abstraktion ist der Zahlbegri: Interpretiere die
Zahl 3 als Aquivalenzklasse
aller Mengen aus drei Elementen.)
(b) Wir betrachten auf den naturlichen Zahlen N die Aquivalenzrelation
x y :() 2
ist Teiler von (x + y ) (() x + y ist gerade\).
"
N zerfallt unter in die zwei Aquivalenzklassen
[1] =
[2] =
1.3
Abbildungen
y
1
y
2
y
3
Im Gegensatz dazu betrachten wir nun eine Relation f zwischen M und N , bei der jedes
x 2 M mit genau einem y 2 N in Relation steht:
.
..
.
y=f(x)
von f .
f (x) 2 N nennen wir das Bild von x unter f oder den Funktionswert von f an der
Stelle x.
Gilt fur einen Punkt y 2 N y = f (x), so heit x ein Urbildpunkt von y bezuglich f .
Die Menge G(f ) := f(x; f (x)) 2 M N g, also die durch f gegebene Relation, heit
Graph der Funktion f .
Beispiele:
(a)
Denitionsbereich M = Z;
wobei Z := Menge der ganzen Zahlen,
N =N
f (x) := x ; 8 x 2 Z
0
9
>
>
=
>
>
;
kurz: f :
! N
7 x
!
N0
(3,9)
(+3,9)
8
7
4= Bild von 2 unter f
2= Urbildpunkt von4 bzgl. f
6
5
= f(2)
2
1
3 2 1 0 1 2
Argumente von f
(b)
IdM :
Z (Definitionsbereich von f)
M ! M [M beliebig]
x 7! x 8 x 2 M
Seien f : M
und
Das Bild f (M ) des gesamten Denitionsbereichs von f unter der Abbildung f wird als
Wertebereich von f bezeichnet. Besteht B N aus einem Element, also etwa B = fy g,
so schreiben wir f (y ) statt f (fy g), beachten aber, dass f (y ) eine Menge ist, namlich
die Menge aller Urbildpunkte von y :
1
f (y ) = fx 2 M j f (x) = y g:
1
In Beispiel (a):
Def.
A!N
x 7! f (x)
N
f(x)
M
x
.
P
gof
g(f(x))
Denition:
Beispiel:
Bezeichne [0; 1] das Intervall zwischen 0 und 1 auf der Zahlengeraden (0 und 1 eingeschlossen).
f:
[0; 1]
! [0; 1]
7! x
1
Wir schalten hinter die Abbildung f ein zweites Mal die Abbildung f .
10
1
2
1
4
0
1
fof
1
4
0
f f :
! [0; 1]
7
!
x
[0; 1]
1
4
Denition:
(a) Eine Abbildung f : M ! N heit injektiv, wenn keine zwei Elemente von M
auf dasselbe Element von N abgebildet werden, d.h. wenn aus f (x ) = f (x ) folgt:
x =x .
1
.
.
.
.
...
..
.
N
11
surjektiv:
..
.
.
N
(c) Eine Abbildung f : M ! N heit bijektiv, wenn sie injektiv und surjektiv ist.
Da dies bedeutet, dass jedes y 2 N hochstens einen Urbildpunkt (injektiv !) und
gleichzeitig mindestens einen Urbildpunkt (surjektiv !) hat, ist f genau dann bijektiv, wenn jedes y 2 N genau einen Urbildpunkt in M hat.
Eine Bijektion f ist also eine Eins-zu-Eins-Zuordnung zwischen den Elementen einer
Menge M und den Elementen einer Menge N .
.
.
.
N
x1
.
.
x2
..
..
(1) f braucht nicht surjektiv zu sein, so dass es moglicherweise fur einige y 2 N kein
x 2 M gibt mit f (x) = y ; man wei dann nicht, welches x man einem solchen y
zuordnen sollte.
(2) f braucht nicht injektiv zu sein, so dass es eventuell fur einige y 2 N mehrere
x 2 M gibt mit f (x) = y . Bei einer Abbildung von N nach M darf aber jedem y
nur ein x zugeordnet werden.
12
!N
jedoch bijektiv, so gibt es eine Umkehrabbildung, auch Umkehrfunktion oder inverse Abbildung zu f genannt. Sie wird geschrieben als f [gelesen:
f hoch minus 1] und ist deniert durch
Ist f : M
f
Es gilt (und f
! M
7! x:
N
f (x)
8x 2 M
8y 2 N:
lautet
1
! [0;
x
7
!
[0; 1]
! [0; 1]
7! 2x
[0; ]
1
f -1
1
2
0
1.4
Die natu
rlichen Zahlen
1.4.1 Peano-Axiome
Vom Zahlen her ist uns die Menge der naturlichen Zahlen, N := f1; 2; 3; 4; : : : g, vertraut.
Alle Aussagen uber naturliche Zahlen konnen durch logische Schlusse aus funf Grundannahmen, sog. Axiomen, gefolgert werden, die unmittelbar einsichtig und voneinander
unabhangig sind.
Weil sie von dem italienischen Mathematiker Peano stammen, heien die den naturlichen
Zahlen zugrundeliegenden Axiome Peano-Axiome.
(P 1) 1 ist eine naturliche Zahl.
(P 2) Jeder naturlichen Zahl n ist genau eine naturliche Zahl n
zugeordnet, die der Nachfolger von n heit.
(P 3) 1 ist kein Nachfolger, d.h. es gibt keine naturliche Zahl n
mit n = 1.
(P 4) Aus n; m 2 N und n 6= m folgt n 6= m .
(P 5) Enthalt eine Teilmenge A N die Zahl 1 und zu jeder Zahl n 2 A
auch deren Nachfolger n , so ist A = N.
+
13
1+=: 2
2+=: 3
3 +=: 4
...
Die skizzierte Darstellung der naturlichen Zahlen auf einer Zahlengeraden ergibt sich,
wenn man von 1 ausgeht und sukzessive den jeweiligen Nachfolger auftragt.
[Anregung: Folgere aus den Peano-Axiomen, dass bei diesem
sukzessiven Aufbau von N immer neue Zahlen n
(mit n 6= n) generiert werden.]
+
1.4.2 Ordnungstruktur
Die Zahlengerade spiegelt die vertraute Anordnung der naturlichen Zahlen nach ihrer
Groe wieder. Die kleinere\ von zwei naturlichen Zahlen steht links von der jeweils
"
groeren\ Zahl. Mathematisch prazise bedeutet diese Anordnung:
"
Es gibt eine Ordnungsrelation \ auf N, fur die gilt: n n 8 n 2 N.
"
Weiterhin gilt fur zwei naturliche Zahlen a; b 2 N stets:
+
ab
_ b a:
M ! M
: M
(a; b)
7! (a; b)
Statt (a; b) schreibt man a b:
a
b
.
.}
a *b
Auf der Menge N sind uns zwei innere Verknupfungen wohlvertraut, die Addition +\
"
und die Multiplikation \.
"
[ Setze einfach in obiger Denition N statt M und + bzw statt ] .
Die Addition ist so deniert, dass gilt
n =n+1
+
14
8 n 2 N:
a + (b + c) = (a + b) + c
a (b c) = (a b) c
a+b = b+a
ab = ba
8 a; b; c 2 N
8 a; b 2 N ;
d.h. die Reihenfolge der Summanden bzw. Faktoren beein
usst das Ergebnis der Abbildung (Rechenoperation) nicht.
Summe und Produkt zweier naturlicher Zahlen sind stets wieder eine naturliche Zahl.
Da also sowohl Addition als auch Multiplikation nicht aus der Menge N herausfuhren,
sagen wir auch, N sei abgeschlossen unter den beiden algebraischen Operationen (d.h.
Verknupfungen) +\ und \.
"
"
Sei A(n) eine Familie von Aussagen, die von naturlichen Zahlen n 2 N abhangen.
Der Beweis, dass A(n) fu
r alle n 2 N wahr ist, gliedert sich in zwei Schritte:
(1) Induktionsanfang: Man zeigt (durch direkten Beweis), dass A(1) wahr ist.
(2) Schluss von n auf n +1: Fur ein beliebiges n 2 N setzt man die Gultigkeit von A(n)
voraus (Induktionsvoraussetzung) und leitet daraus (durch direkten Beweis) die
Gultigkeit von A(n + 1) ab. [d.h. man zeigt (A(n) =) A(n + 1))].
Bemerkung: Als Induktionsanfang kann statt A(1) auch A(n ) fur ein
beliebiges n 2 Z gezeigt werden. Der Induktionsbeweis
gilt dann fur alle n n .
0
1+2+3+:::+n =
n (n + 1)
8 n 2 N:
Schluss von n auf n + 1: Sei n 2 N beliebig und die Formel richtig fur dieses n (Induktionsvoraussetzung). Dann folgt
n (n + 1) 2 (n + 1)
+(n + 1) =
1| + 2 +{z: : : + n}
+
2
2
n (n + 1)
gema A(n) :
2
(n + 1)(n + 2)
=
2
Dies ist genau die Aussage A(n + 1).
Also ist A(n) wahr 8 n 2 N.
q.e.d.
Das Prinzip der vollstandigen Induktion kann auch zur Denition einer Groe An fur alle
n 2 N (N := N [ f0g) verwendet werden. Man spricht dann von einer rekursiven
Denition:
(1) A wird festgelegt.
0
+1
2N
a := 1;
an := an a:
0
+1
Beispiel 2: Die Fakultaten n! (lies: n Fakultat) lassen sich salopp denieren als
1
n! := n1 (n 1) (n 2) : : : 2 1 ;; nn
= 0:
Die rekursive Denition, die ohne : : : auskommt, lautet
0! := 1
(n + 1)! := n! (n + 1):
Aus den Beispielen 6! = 1 2 3 4 5 6 = 720; 9! = 362880 ersieht man, dass die
Fakultaten mit wachsendem n sehr schnell gro werden.
Beispiel 3: Fur die Summe und das Produkt der Zahlen
am ; am ; : : : ; an 2 R (m; n 2 Z; m n)
n
P
schreibt man am + am + : : : + an =:
ak ;
+1
+1
am am
+1
:::a
=:
n
Q
k =m
k =m
ak :
Eine rekursive Denition dieser Summen- und Produktzeichen ersetzt wiederum die
Punktchen:
m
P
k =m
nP
+1
k =m
ak := am ;
ak :=
n
P
k =m
16
Bemerkungen:
(i) Als Rekursionsanfang wurde hier m 2 Z statt 0 gewahlt (analog zur Wahl von n
statt 1 beim Induktionsanfang).
2Z
(ii) Die Variable k 2 Z heit der Summationsindex. Man kann ein beliebiges Symbol
als Summationsindex verwenden, ohne den Summenwert zu verandern:
n
P
k =m
ak =
n
P
aj
j =m
"
l := j
nP
m
l=0
al
+m
ak =
k =m
l
X
ak +
k =m
n
X
ak fur m l n:
k =l+1
k = 1 +2 +:::+n
k =m
a = a (n m + 1) fur festes a 2 R
k = 1 2 3 : : : (n 1) n = n!
8n2N
k =1
A=f
a;
1
a;
1. Platz
2. Platz
"
"
an g:
::: ;
"
n-ter Platz
Jede beliebige Anordnung der n Elemente, z.B. (a ; a ; a ; a ; : : : ; an ), lasst sich nun interpretieren als bijektive Abbildung von A auf sich:
2
(a ; a ; : : : ; an ) Ausgangsreihenfolge
# #
1
(a ; a ; : : : ; an ) neue\ Anordnung
"
2
17
Die Anordnungen, auch Permutationen genannt, der n Elemente einer Menge A konnen
also mit den bijektiven Abbildungen von A nach A identiziert werden.
Schreibweise fur obige Beispiel-Permutation:
a a a
1 2 3
2 1 3
2 1 3
::: n
: : : an
::: n
::: n
::: n ;
oder kurz
oder noch kurzer
da die Ausgangsreihenfolge der Zahlen
1 : : : n klar ist:
2N
mit k
n bezeichnen wir
k) als Binomialkoezient.
n
k
:=
n!
(lies: n uber
k!(n k)!
49
6
Weiterhin gilt
n
k
n
0
n+1
n k
n
=
=
n
n
=
+
k 1
1;
n
k
n
1
n 1
= n:
[Beweis siehe Ubung]
n
0
18
n
1
;::: ;
n
n
n=0
n=1
0
0
1
0
1
1
n=2
2
0
2
1
n=3
3
0
..
.
Wegen
n
n
3
1
2
2
3
2
3
3
..
.
=
= 1 besteht die linke und die rechte Flanke aus Einsen.
0
Mit Hilfe obiger Additionsformel konnen wir nun die Zahlenwerte des Pascalschen Dreiecks
sukzessive hinschreiben:
1
1
1
1
1
..
.
Fur zwei reelle Zahlen a; b ist die Formel
(a + b) = a + 2ab + b = 1 a b + 2 a b + 1 a b vertraut. Sie ist ein Spezialfall
des Binomischen Satzes, der den Binomialkoezienten ihren Namen verliehen hat:
Gegeben seien Zahlen a; b 2 R und n 2 N. Dann gilt
2
(a + b) =
n
n
X
k =0
n
k
ak bn
Zwei Mengen A und B haben die gleiche Machtigkeit, wenn eine bijektive Abbildung
f : A ! B existiert.
Bemerkung: Statt es existiert ein : : : \ konnen wir das Kurzel
"
9
\ verwenden und schreiben:
"
: : : ; wenn 9 f : A ! B; f bijektiv.
Wir konnen nun die naturlichen Zahlen N, von deren Anzahl man eine gewisse Vorstellung
hat, als Vergleichsmenge zur Untersuchung der Machtigkeit einer unendlichen Menge M
heranziehen:
Denition: Eine unendliche Menge M heit abzahlbar unendlich,
wenn eine bijektive Abbildung f : N ! M existiert.
(Dann lassen sich die Elemente von M also durchnummerieren).
Ansonsten heit M u
berabzahlbar unendlich.
1.5
x+4=9
() x + 4| {z 4}
0
()
= 9
x = 52N
Fur die Gleichung x + 9 = 4 fuhrt das obige Verfahren dagegen zu keiner Losung x 2 N:
x + 9| {z 9} = 4 9 2= N :
0
Anders als die Addition ist also die Subtraktion nur manchmal in N durchfuhrbar.
Durch eine Erweiterung der Menge N konnen wir erreichen, dass die Subtraktion
uneingeschrankt ausfuhrbar wird und somit die Gleichung x + b = a fur beliebige a; b 2 N
stets eine Losung (in der Erweiterungsmenge) besitzt.
Wir fordern, dass in der erweiterten Zahlenmenge zu jedem b 2 N genau ein Element ( b)
existieren soll mit der Eigenschaft
b + ( b) = ( b) + b = 0:
20
a+0=0+a=a
8a2N
... 4 3 2 1
4 ...
x+b=a
() x + b| +{z( b}) = a + ( b)
0
() x = a + ( b) =: a b 2 Z
Mathematisch strenge Denition von Z:
Aus mathematischer Sicht ist es wunschenswert, die Existenz der ganzen Zahlen aus der
{ aus den Peano-Axiomen [und Eigenschaften : : : ] abgeleiteten { Existenz der naturlichen
Zahlen und aus deren Eigenschaften zu folgern. Gewinnt man die ganzen Zahlen auf die
soeben geschilderte Weise, so kann man diese Folgerung nicht ziehen. Wir wollen daher
ein mathematisch strenges Verfahren skizzieren, mit dessen Hilfe die ganzen Zahlen aus
den naturlichen Zahlen konstruiert werden konnen. (Damit folgt die Existenz von Z
automatisch aus der Existenz von N.)
Zur Konstruktion von Z gehen wir vom kartesischen Produkt
N N = f(n; m) j n 2 N ^ m 2 N g aus. Die Idee besteht darin, z.B. die naturliche Zahl 2
durch die Zahlenpaare (3,1) oder (4,2) oder (5,3) usw. darzustellen (stets ist die Dierenz
der beiden Zahlen gleich 2). Die Zahl (-2) soll durch die Zahlenpaare (1,3) oder (2,4) oder
(3,5) usw. dargestellt werden. Im Hinblick auf die Zahl (namlich 2), die sie darstellen
sollen, sind also die Zahlenpaare (3,1), (4,2), (5,3) usw. gleichwertig bzw. aquivalent.
Die zugehorige Aquivalenzrelation
auf N N lautet
(n; m) (n0 ; m0 ) :() n + m0 = n0 + m (siehe Ubung)
Folglich gilt 8 k 2 N:
(n; m) (n + k; m + k) () n + m + k = n + k + m
21
Damit zerfallt N
N
in Aquivalenzklassen
von Zahlenpaaren gema folgendem Schema:
[Erh
ohe 2. Zahl um 1]
Erh
ohe
1. Zahl
(1; 1)
(2; 1)
um 1
(3; 1)
r
r
r
r
r
(1; 2)
(2; 2)
(3; 2)
r
r
r
(1; 3)
r
r
(2; 3)
(3; 3)
r
r
r
(1; 4)
r
r
(2; 4)
(3; 4)
r
r
r
"
2\
2\
1\
0\
1\
"
"
"
"
Die Menge der (durch die Geraden angedeuteten) Aquivalenzklassen
konnen wir nun
gleichsetzen (siehe Schema) mit der Menge Z der ganzen Zahlen.
Man kann N bijektiv auf eine Teilmenge der Aquivalenzklassen
abbilden und erhalt so
N Z\.
"
Weiterhin kann man auf der Menge der Aquivalenzklassen
eine Addition denieren, die
mit der Addition auf N vertraglich\ ist. Diese Addition ist also identisch mit der Addition
"
auf N, wenn man diese mittels besagter Bijektion auf die entsprechende Teilmenge der
Aquivalenzklassen
ubertragt:
1.6
Bijektion
[(a; b)]
!
k
"
+\
[(c; d)]
Addition auf der Menge der Aquivalenzklassen
[(e; f )]
Fur die Addition in Z gelten { wir fur die Addition in N { die Gesetze der Assoziativitat
und der Kommutativitat.
Zusammenfassend ist also die Addition +\ in Z eine innere Verknupfung, d.h. + : ZZ !
"
Z, mit folgenden Eigenschaften:
8 a; b; c 2 Z (Assoziativitat)
(G 2) Es gibt genau eine Zahl 0 2 Z, genannt das neutrale Element (bezuglich der
Addition), so dass 8 a 2 Z gilt:
(G 1) a + (b + c) = (a + b) + c
a + b = b + a = 0:
b wird geschrieben als ( a) und das inverse Element zu a (bezuglich der Addition)
genannt. (Existenz eines inversen Elements)
22
(G 4) a + b = b + a
8 a; b 2 Z (Kommutativitat)
Betrachten wir nun eine allgemeine Menge G mit einer inneren Verknupfung : G G !
G.
Wenn die Verknupfung die Eigenschaften (G 1) bis (G 3) besitzt [ersetze einfach das
spezielle Verknupfungssymbol +\ durch das allgemeine Verknupfungssymbol \, die
"
"
spezielle Schreibweise 0\ des neutralen Elements durch die allgemeine Schreibweise e\
"
"
des neutralen Elements und die spezielle Schreibweise ( a) des inversen Elements durch
die allgemeine Schreibweise a fur das inverse Element zu a], so nennen wir das Paar
(G; ) [also: Menge samt Verknupfung] eine Gruppe.
Besitzt die Gruppe daruber hinaus auch die Eigenschaft (G 4) der Kommutativitat, so
heit sie kommutative oder abelsche Gruppe.
(Z; +) ist also ein Beispiel fur eine kommutative Gruppe.
Besteht eine Gruppe (G; ) aus endlich vielen Elementen, so heit die Anzahl der Elemente
(d.h. die Machtigkeit von G) auch Ordnung der Gruppe.
1
Eine Teilmenge U G einer Gruppe (G; ) heit Untergruppe von G, wenn U bezuglich
der Verknupfung selbst eine Gruppe ist. Man sieht sofort, dass eine Teilmenge U G
folgende Mindestvoraussetzungen (= notwendige Bedingungen\) erfullen muss, um eine
"
Untergruppe zu bilden:
(1) Fur jedes Element g 2 U ist auch g
Es zeigt sich, dass (1) und (2) nicht nur notwendig, sondern auch bereits hinreichend
sind fur die Bildung einer Untergruppe, dass also fur eine beliebige Teilmenge U G gilt:
(1) ^ (2)
[
g 2 U =) g
(1)
2 U =)
(2)
g| {zg }
e2U
1
2 U:
Abgeschlossenheit bezuglich :
Die Hintereinanderschaltung
zweier bijektiver Abbildungen
(von An nach An ) ist wieder
eine bijektive Abbildung
An ! An .
Die Identitatsabbildung. X
Homomorphismen:
Seien (G ; +) und (G ; ) zwei Gruppen. [Verknupfungssymbol +\ nur gewahlt, um bei"
de Verknupfungen voneinander zu unterscheiden.]
Unter den (beliebigen) Abbildungen f : G ! G sind diejenigen besonders ausgezeichnet, die die Gruppenstruktur respektieren bzw. mit ihr vertraglich\ sind, d.h. fur die
"
gilt:
1
f (a + b) = f (a) f (b)
.
.
.
f(a)
a+b
8a; b 2 G
G1
f(a) *f(b)
f(b)
G2
Eine Abbildung f : G
phismus.
!G
24
.
.
.
.
f(g1)
f(g)
Inverse
Inverse
g1
(3) Das Bild von G; f (G) H , ist eine Untergruppe von (H; ).
f(G)
f
eH
eG
Kern (f)
Motivierender Vorspann:
Um in Z die Gleichung x 4 = 24 zu losen, konnen wir beide Gleichungsseiten durch 4
dividieren und erhalten durch diese aquivalente Umformung die Losung x = 6. Fur
die Gleichung x 24 = 4 fuhrt dieses Vorgehen dagegen zu keiner Losung x 2 Z, denn
( 4)=24 62 Z. Die Division als inverse Operation der Multiplikation ist also nur manchmal
in Z durchfuhrbar.
Ahnlich
wie bei der Erweiterung von N nach Z gehen wir nun daran, eine Erweiterungsmenge von Z zu konstruieren, in der die Division uneingeschrankt ausfuhrbar wird (bis
auf die verbotene\ Division durch Null).
"
25
Wir wollen diese Erweiterungsmenge die Menge der rationalen Zahlen nennen und mit
Q bezeichnen. Im Zusammenspiel mit der auf Q zu denierenden Multiplikation soll Q
folgenden Forderungen genugen:
(1) Z Q (Erweiterungsmenge !)
(2) Die naturliche Zahl 1 spielt fur alle b 2 Z die Rolle des neutralen Elements bezuglich
der Multiplikation, denn es gilt:
b1= 1b = b
8b2Z
Wir fordern nun, dass die Zahl 1 diese Rolle des neutralen Elements bezuglich der
Multiplikation fur ganz Q ubernimmt, d.h. dass gilt
a1 =1a =a
8a2Q
(3) Durch die Erweiterung wollen wir ja erreichen, dass die Gleichung
x b = a fur beliebige a 2 Z; b 2 Znf0g stets eine Losung besitzt, namlich "x = a=b\.
Zu diesem Zweck fordern wir, dass in Q zu jedem b 2 Znf0g ein inverses Element
b bezuglich der Multiplikation existieren soll, so dass gilt:
1
bb =b
b = 1:
Die Losung der Gleichung x b = a (mit a 2 Z; b 2 Z nf0g) ergibt sich damit durch
1
Multiplikation mit b
(4) Da wir weiterhin fordern, dass die Multiplikation \ eine innere Verknupfung auf Q ,
"
a
also eine Abbildung : Q Q ! Q, sein soll, muss gelten a b =
2Q 8a2
b
Z; b 2 Znf0g. Aufgrund der Forderungen (3) und (4) hat die Gleichung x b = a
also stets eine Losung in Q.
1
Bemerkung:
^ b 6= 0g
Unsere Konstruktion soll die ublichen Regeln des Bruchrechnens reproduzieren. Nach
diesen Regeln haben Bruche, die durch Erweitern (oder Kurzen) mit einer ganzen Zahl
26
Wir stellen nun das kartesische Produkt Z (Znf0g) in der Zeichenebene dar:
Z \ {0}
.
.
b
b
a
a
y b
=
x a
() y
b
x, also
a
einer Geraden durch den Ursprung mit der Steigung . Schneiden wir diese Gerade, die
a
der Aquivalenzklasse
[(a; b)] entspricht, mit der Parallelen im Abstand 1 zur waagrechten
Zahlengeraden, so erhalten wir als x-Achsenabschnitt (des Schnittpunkts)
x=
a
a
y = :
|{z}
b
b
1
Die senkrechte Projektion dieses Schnittpunkts auf die Zahlengerade liefert also den geoa
metrischen Ort der durch die Aquivalenzklasse
[(a; b)] dargestellten rationalen Zahl auf
b
der Zahlengeraden.
27
Z \{0}
2
1
1 1
3 2
.
.
.
.
.
.
.
.
.
Auf der Menge Q dieser Aquivalenzklassen
wird nun eine Multiplikation (d.h. eine innere
Verknupfung : Q Q ! Q) deniert durch
[(a; b)] [(c; d)] := [(a c; b d)]
n
a c a co
vergleiche Bruchrechnen: =
:
b d bd
Man kann nun nachprufen, dass Q, mit dieser Multiplikation versehen, den Forderungen
(1) bis (4) genugt.
Q enthalt nicht nur zu jedem b 2 Znf0g ein inverses Element bezuglich der Multiplikation (siehe Forderung(3)), sondern zu jedem x 2 Q nf0g :
[(a; b)] ist durch [(b; a)] gegeben, denn es gilt:
[(a; b)] [(b; a)] = [(a b; a b)] = [(1; 1)]
(der Zahl 1[also dem neutralen Element] zugeordnete Aquivalenzklasse)
:
1
Daruber hinaus besitzt die Multiplikation auf Q die Eigenschaften der Assoziativitat,
x (y z ) = (x y ) z
8 x; y; z 2 Q ;
xy =yx
8 x; y 2 Q :
r :=
1
r+s
2
; r :=
2
r+r
2
; : : : ; rj
+1
:=
28
r + rj
2
(rekursive Denition!)
r ... r r
3 2
r1
Da die Menge Q also intuitiv weit groer\ ist als die Menge N, konnte man vermuten,
"
dass sie auch entsprechend mehr\ Elemente aufweist als N, also uberabzahlbar ist.
"
Diese Vermutung ist jedoch falsch, die rationalen Zahlen sind abzahlbar unendlich.
Zum Beweis geben wir das von dem Mathematiker Cantor gefundene Abzahlschema fur
positive rationale Zahlen (mit a; b 2 N) an:
1!2
3 ! 4 :::
1
2
2
2
3
2
4
:::
2
2
3
3
3
4
3
$ % $
#% $
1
3
1
4
2 3
(Das Schema enthalt alle positiven rationalen Zahlen, sogar mehr als einmal (z.B. 1; ; ; : : : ).
2 3
Die tatsachliche Anzahl der rationalen Zahlen ist also noch geringer als das Schema angibt. Zur Abzahlung aller rationaler Zahlen wird das Schema dupliziert (positive und
negative Zahlen) und nach dem Reiverschlussprinzip zwischen beiden Schemata hinund hergesprungen.)
1.8
Ringe und K
orper
Bereits auf Z gibt es neben der Addition eine weitere innere Verknupfung, die Multiplikation (denn Z ist abgeschlossen gegenuber der Multiplikation, d.h. sie ist eine Abbildung
: Z Z ! Z).
Jeweils fur sich betrachtet, haben die beiden Verknupfungen folgende Eigenschaften:
Addition: (Z; +) ist eine kommutative Gruppe.
Multiplikation:
29
(M 1) (a b) c = a (b c) 8 a; b; c 2 Z (Assoziativitat).
(M 2) Es gibt ein neutrales Element bezuglich der Multiplikation, namlich die
naturliche Zahl 1, d.h. es gilt: b 1 = 1 b = b 8 b 2 Z
(M 3) a b = b a 8 a; b 2 Z (Kommutativitat)
Addition und Multiplikation auf Z spielen auf gewisse Weise zusammen ( sind miteinander
"
vertraglich\), denn die Komposition beider Verknu
pfungen hat folgende Eigenschaften:
(D 1) a (b + c) = (a b) + (a c)
8 a; b; c 2 Z
(D 2) (a + b) c = (a c) + (b c)
(D 1) und (D 2) werden Distributivgesetze genannt.
[ Aufgrund der Kommutativitat der Multiplikation folgt im vorliegenden Fall (D 2) aus
(D 1). ]
In Verallgemeinerung der Situation bei Z nennen wir eine Menge M mit zwei inneren Verknupfungen +\ und \ (beachte: als allgemeine Verknupfungssymbole zu interpretieren!)
"
"
einen Ring, wenn gilt:
(i) (M; +) ist eine kommutative Gruppe.
(ii) (M; ) ist assoziativ, d.h. (M 1) gilt.
(iii) Fur (M; +; ) gelten die Distributivgesetze (D 1) und (D 2).
Gibt es daruberhinaus ein neutrales Element der Verknupfung \, (meist als Einsele"
"
ment\ oder 1\ bezeichnet zur Unterscheidung vom neutralen Element der Verknupfung
"
+\, das als Nullelement\ oder 0\ bezeichnet wird), so heit (M; +; ) ein Ring mit
"
Einselement" (kurz: Ring mit 1)."
Hat ein Ring die Eigenschaft (M 3), so heit er kommutativer Ring.
(Z; +; ) ist also ein Beispiel eines kommutativen Ringes mit 1.
Aus der distributiven Eigenschaft [ (D 1) und (D 2)] eines Ringes (M; +; ) ergibt sich die
besondere Rolle der 0:
[0 neutrales Element bzgl.+]
0b
()
(0 + 0) b
0 b + ( 0 b)
{z
}
|
0
0b=0
(D 2)
=
=
0b+0b
0 b + 0 b + ( 0 b)
|
{z
}
0
+( 0 b)
()
8b2M
8 b 2 M.
a = 0 _ b = 0 =) a b = 0:
Gilt auch die Umkehrung a b = 0 =) a = 0 _ b = 0, so heit der Ring nullteilerfrei.
Im anderen Fall gibt es zwei Elemente a; b 2 M mit a 6= 0; b 6= 0 und a b = 0. a und b
heien dann Nullteiler.
(Z; +; ) ist ein Beispiel eines nullteilerfreien Ringes.
30
Wenn (M; +; ) ein kommutativer Ring mit 1 ist, so fehlt nur noch die Existenz von
Inversen bezuglich der Multiplikation (fur alle Elemente auer dem Nullelement), um
(M nf0g; ) zu einer kommutativen Gruppe zu machen.
Wenn (M; +; ) auch noch diese Eigenschaft (d.h. die Existenz von Inversen bzgl. \) be"
sitzt, wenn also (M; +; ) ein Ring ist und (M nf0g; ) eine kommutative Gruppe, so nennt
man (M; +; ) einen Korper.
Da wir Q als Erweiterungsmenge zu Z ja gerade mit dem Ziel konstruiert haben, (Q nf0g; )
zu einer kommutativen Gruppe zu machen, ist (Q ; +; ) ein Beispiel fur einen Korper.
(Beachte: In diesem Spezialfall bedeuten +\ und \ die gewohnliche Addition und Mul"
"
tiplikation!)
Fur das Rechnen in einem Korper (M; +; ) ist folgende Eigenschaft wichtig: Korper sind
stets nullteilerfrei, d.h. es gilt stets (Beweis siehe Ubung!):
ab =0
() a = 0 _ b = 0:
Man kann zeigen, dass in einem Korper (M; +; ) mit mindestens 2 Elementen das Nullelement und das Einselement verschieden sein mussen.
Daraus folgt
0 b = 0 6= 1
8 b 2 M;
d.h. zum Nullelement kann es kein inverses Element geben (fur das ja
0 0 \= 1 gelten mute!)
"
In Korpern ist also grundsatzlich die Division durch Null verboten\!
"
Der einfachste nichttriviale Korper (M; +; ) besteht aus 2 Elementen, dem Nullelement 0
und dem Einselement 1, und den beiden Verknupfungen (die notwendigerweise so aussehen
mussen, damit (M; +; ) ein Korper sein kann):
1
+ 0
Kommut
ativitaet
b 0=0
Element "1".
Hier "1"=1 .
nullteilerfrei!
(Beweis siehe
Uebung)
Bemerkung: Eine innere Verknupfung auf einer endlichen Menge lat sich
stets, wie soeben, mittels einer Verknu
pfungstafel denieren:
31
1.9
*
..
.
... b ...
a
..
.
a*b
a b _ b a:
Die Ordnungsstruktur spielt mit der algebraischen Struktur von Q auf folgende Weise
zusammen:
8 a; b; c; d 2 Q gilt
(K 1) a b ^ c d =) a + c b + d
(K 2) a b ^ 0 d =) a d b d
In Verallgemeinerung dieser Situation nennen wir einen Korper, dessen Elemente konnex
geordnet sind und dessen innere Verknupfungen durch die Eigenschaften (K 1) und (K 2)
mit der Ordnungsrelation gekoppelt sind, einen konnex geordneten Korper.
Bemerkung: Wir werden im Folgenden statt vollstandig geordnet\
"
stets den aquivalenten Ausdruck konnex geordnet\
"
verwenden, um Verwechslungen mit dem Begri der
Vollstandigkeit zu vermeiden.
Die folgenden Uberlegungen
gelten nicht nur fur konnex geordnete Korper, sondern fur
beliebige konnex geordnete Mengen M .
Zunachst beobachten wir, dass die Re
exivitat der Ordnungsrelation ( also: x x 8 x 2
M ) aus der obigen Eigenschaft (A) folgt, indem man a = b setzt. Daher lassen sich die
Eigenschaften der Ordnungsrelation \ einer konnex geordneten Menge M wie folgt
"
notieren:
8 x; y; z 2 M gilt
(O 1) x y _ y x
(O 2) (x y ^ y z ) =) x z Transitivitat
(O 3) (x y ^ y x) () x = y Antisymmetrie
In konnex geordneten Mengen M lat sich Beschranktheit\ als wichtiges Kriterium zur
"
Beurteilung von Teilmengen denieren:
32
Eine Teilmenge A M heit nach oben beschrankt, wenn es ein c 2 M gibt mit
a c 8 a 2 A. Jedes solche Element c 2 M heit obere Schranke von A.
Veranschaulichung anhand der Zahlengeraden:
...
...
untere Schranken
obere Schranken
Analog heit eine Teilmenge A M nach unten beschrankt, wenn es ein b 2 M gibt
mit b a 8 a 2 A. Jedes solche b heit untere Schranke von A.
Wie die Skizze zeigt, handelt es sich bei Schranken keineswegs um eindeutig bestimmte
Zahlen bzw. Elemente. Um Eindeutigkeit zu erzielen, konnen wir nach der kleinsten oberen
(bzw. groten unteren) Schranke fragen:
Sei A M eine nach oben beschrankte Menge.
s 2 M heit Supremum (oder obere Grenze) von A, abgekurzt s = sup A,
wenn es die kleinste obere Schranke ist, d.h. wenn gilt
(i) s ist obere Schranke, d.h. a s
8a2A
0
(ii) inf
1+
jn2N
= 1 (kein Minimum!)
33
1
1+2
...
0
1+1
1
1+1
3
Auf Basis dieser Uberlegungen
konnen wir nun denieren, wann wir einem konnex geordneten Korper K die Eigenschaft der Vollstandigkeit hinsichtlich der Ordnungsstruktur zubilligen.
K heit vollstandig (hinsichtlich der Ordnungsstruktur)
:() K erfullt das folgende sogenannte Vollstandigkeitsaxiom:
(V) Jede nach oben (bzw. unten) beschrankte nichtleere Teilmenge
von K besitzt genau ein Supremum (bzw. Inmum) in K .
Wenn wir Q im Hinblick auf diese Eigenschaft betrachten, so stellen wir fest: Q ist
nicht vollstandig hinsichtlich seiner Ordnungsstruktur. Zum Beweis geben wir das Beispiel einer nach oben beschrankten Teilmenge aus Q an, die kein Supremum in Q besitzt:
A := x 2 Q jx
2 :
Fur das Supremum mute das Gleichheitszeichen gelten, d.h. sup A mute in Q die Gleichung x = 2 losen.
2
2
p
q
= 2 =) p = 2q
2
s.o.
q.e.d.
Aus der Geometrie wissen wir, dass die Lange x der Diagonalen des Einheitsquadrats die
Gleichung x = 1 + 1 = 2 lost (Satz des Pythagoras).
2
34
Wenn wir also diese Diagonale in die Zahlengerade drehen, sopist der Endpunkt x - den wir
als Losung von x = 2 Quadratwurzel von 2\, geschrieben 2, nennen - keine rationale
"
Zahl.
2
Der obige Beweis lehrt somit auch den Grund dafur, dass Q das Vollstandigkeitsaxiom
nicht erfullt:
Es gibt Zahlenp(z.B.
p alle
p Quadratwurzeln von naturlichen Zahlen, die nicht Quadratzahlen sind, wie 2; 3; 10; : : : ), die sich nicht als Bruch zweier ganzer Zahlen darstellen
lassen. Solche Zahlen heissen irrationale Zahlen.
(Ihre mathematisch prazise Denition folgt in Abschnitt 1.10)
Wir denieren nun die Menge R der reellen Zahlen als die Vereinigung der Menge Q
mit der Menge aller irrationalen Zahlen.
Das geometrische Modell von R ist die {nunmehr luckenlos besetzte { Zahlengerade. Addition, Multiplikation und Ordnungsrelation \ lassen sich von Q auf ganz R ausdehnen,
"
und man erhalt den Satz:
R ist (wie Q) ein konnex geordneter Korper.
Fur das Rechnen mit Ungleichungen sind fneben (O1) bis (O3) sowie (K1) [nutzlich
fur Abschatzung einer Summe!] und (K2) [nutzlich fur Abschatzung eines Produkts!]g
folgende Rechenregeln, die aus diesen Grundregeln abgeleitet werden konnen, nutzlich:
(U 1) x y () y x
1
(U 2)
0| {z
x y} () 0
1
y x
0x^xy
Kurzschreibweise f
ur
Mit Hilfe der Ordnungsrelation \ lassen sich wichtige Teilmengen von R denieren,
"
sogenannte Intervalle reeller Zahlen:
(i) Abgeschlossenes Intervall (a; b 2 R ; wobei a b)
[a; b] := fx 2 R j a x bg
(ii) Oenes Intervall (a; b 2 R ; wobei a < b)
(a; b) := fx 2 R j a < x < bg
[a,b]
)
d
(c,d)
35
Um auch die Losungen der Ungleichung x a (fur festes a 2 R) formal als Intervall schreiben zu konnen, fuhrt man die Symbole 1 und 1 ( minus Unendlich\, Unendlich\)
"
"
ein und legt hierfur 1 < x < 1 8 x 2 R fest. Nun konnen wir schreiben
( 1; a] :=
[b; 1) :=
fx 2 R j x ag und
fx 2 R j b xg
Mit der Hinzunahme der irrationalen Zahlen haben wir unser Ziel der Vervollstandigung
von Q (hinsichtlich der Ordnungstruktur) tatsachlich erreicht, denn es gilt:
Satz: R erfullt das Vollstandigkeitsaxiom (V).
Daruber hinaus ist R (bis auf Bezeichnung/Umbenennung, d.h.
bis auf Isomorphie) sogar der einzige konnex geordnete Korper, in
dem das Vollstandigkeitsaxiom gilt.
Bemerkung: Aufgrund dieses Satzes hatten wir R alternativer Weise auch
als den (eindeutig bestimmten) konnex geordneten Korper,
in dem (V) gilt, denieren konnen.
Aus der Tatsache, dass R das Vollstandigkeitsaxiom (V) erfullt, kann (im Prinzip) der
folgende unmittelbar einleuchtende\ Satz des Archimedes gefolgert werden:
"
(a) Zu jeder reellen Zahl x 2 R gibt es eine naturliche Zahl n 2 N mit x < n [n kann
also beliebig gro\ werden].
"
(b) Zu jeder reellen positiven Zahl 2 R, > 0 gibt es eine naturliche Zahl n 2 N mit
1
1
< . [ kann also "beliebig klein\ werden] .
n
n
(c) Zu jeder reellen Zahl x 2 R gibt es genau eine ganze Zahl n 2 Z mit n x < n + 1.
[
n
)
x
n+1
Die nach (c) eindeutig existierende ganze Zahl n wird mit [x] bezeichnet. [] heit GauKlammer. Fur jede reelle Zahl x gilt also [x] x < [x] + 1 .
Eine wichtige Funktion auf R ist die Betragsfunktion j:j : R
durch
ur x 0
jxj := xx f
fur x < 0:
36
! R.
Die nichtnegative Zahl jxj heit Absolutbetrag oder kurz Betrag von x.
Aus obiger Denition lassen sich folgende Rechenregeln fur Betrage herleiten:
8 x; y; 2 R gilt
(B 1)
(B 2)
(B 3)
(B 4)
1j jxj = jxj]
der BetragsSollen Betragszeichen (wieder) aufgelost werden, muss man die beiden Aste
funktion meist getrennt betrachten (Fallunterscheidung!).
1.10
Folgen
1 1 1
=) fxn g = 1; ; ; ; : : :
n
2 3 4
n gerade
) xn = +11;; falls
falls n ungerade
=) fxn g = 1; +1; 1; : : :
) xn =
(ii) Rekursive Denition, d.h. man gibt an, wie das n-te Glied aus einem oder mehreren
vorhergehenden Gliedern berechnet wird.
37
Beispiel:
2
1
) x = 1; xn = xn +
2
xn
3 17
=) fxn g = 1; ; ; : : :
2 12
|x-y|
Eine geometrische Betrachtung der Zahlengeraden lehrt, dass jz j den Abstand der reellen
Zahl z vom Ursprung und jx y j die Entfernung der Zahlen x und y voneinander anzeigt.
Wir denieren daher den Abstand zwischen den reellen Zahlen x und y als die nichtnegative Zahl jx y j.
Wichtige Eigenschaften dieses Abstandes sind:
8 x; y; z 2 R gilt:
(A1) jx y j 0 und (jx y j = 0 () x = y )
(A2) jx y j = jy xj
(A3) jx y j jx z j + jz y j ( Dreiecksungleichung\)
"
Diese Eigenschaften entsprechen genau den Forderungen, die wir auch an einen allgemeinen Abstands- (bzw. Entfernungs-)begri stellen wurden:
(A 1): Der Abstand soll durch eine nichtnegative reelle Zahl reprasentiert werden. Der
Abstand einer Zahl (allgemeiner: eines Elements einer Menge) zu sich selber soll
Null betragen. Umgekehrt sollen zwei voneinander verschiedene Elemente stets einen
Abstand ungleich Null voneinander haben, um sie mit Hilfe des Abstandsbegris
auseinander halten zu konnen.
(A 2): Abstand von x zu y = Abstand von y zu x.
(A 3): Der anschauliche Entfernungsbegri in der Zeichenebene (Abstand zweier Punkte
:= Lange der Verbindungsstrecke) gehorcht folgendem Gesetz:
Abstand (x; y ) Abstand (x; z )+ Abstand (z; y ),
denn in jedem Dreieck ist die Summe der Langen zweier Seiten groer als die Lange
der dritten Seite (! Name Dreiecksungleichung\).
"
38
(M 1)
(M 2) d(x; y ) = d(y; x)
(M 3) d(x; y ) d(x; z ) + d(z; y ) (Dreiecksungleichung)
heit Abstandsfunktion oder Metrik auf M .
[Der Name Metrik\ kommt von Abstands messung\.]
"
"
Ist auf einer Menge M eine Metrik erklart, so heit M ein metrischer Raum.
die einem festen Punkt (d.h. einer Zahl) beliebig nahe kommen, wobei dieser Punkt in
der Regel nicht selbst zur Folge gehort.
39
(a , a+ )
xN+3
...
a x
a
N+1
fAb x
x N+2
a+
Eine konvergente Folge kann nicht mehrere Grenzwerte haben, d.h. es gilt der
Satz: Hat eine Folge einen Grenzwert a, so ist dieser eindeutig.
Beweis durch Widerspruch: Angenommen, a und b waren zwei verschiedene Grenzwerte
der konvergenten Folge fxn g. Aufgrund der Metrikeigenschaft (A 1) gilt dann:
ja bj =: d > 0:
| ab | = d
aj <
bj <
ja bj ja x j + jx
n
8n>N
8n>M:
bj < 2 < d = ja bj
8n>N
q.e.d
40
! a. Dann 9 N = N
Beweis: Gelte xn n!1
=) jxn
=) jxn
2N
mit jxn
aj <
xm j
jxn aj + ja xm j < 2
xm j < 8 n; m > N :
(Dreiecksungl.)
8n>N.
8 n; m > N
q.e.d.
Ein Beispiel einer Cauchy-Folge ist die (Beispiel-)Folge (
):
1
x = 1; xn = xn
2
1
xn
xn
+1
2
1
xn +
2
xn
2
x x2 = 2
"
p
a+b
a b (Hausubung 33)
2
+
p
p
a+b
a + bp
ab ab ab = ab
2
2
=
(rekursive Def.)
also: xn
2
+1
2
(=) xn
+1
> 1)
8n2N
2
1
3) Behauptung: xn
2 8n2N
2n
Beweis per vollstandiger
Induktion:
1
3 1
=
=12
Ind.anfang, n = 1 : x
2
2 2
Schritt von n ! n + 1:
+1
41
1
2n
xn
+1
2
2
1
2
1
xn +
2
xn
2n
1
1
1
x
+
=
2 n 2n
xn
1
1
1
1
+ xn
=
+
xn n
n
4
2
2
xn
{z
} |
{z
}
|
n
xn
1 1
1
+ +1 n
<2
2
2
2
x
n
| {z }
(rekursive Def.)
(assoziativ)
(binom. Formel)
2 (Ind.annahme)
1
1
2
1
4) Aus xn
2 folgt xn
2n
Beweis durch Widerspruch:
+1
+1
1
2n
+1
+1
2
1
2n
1
2
denn
x2
n
q.e.d.
< 2.
:::
2 xn
"
+1
2+
xn
xn+1
+1
2n
22n
xn
1
2n
+1
< 2+
2]
"
1
n
1
1
<2+ n
n
2
2
2
xn < 2
+1
xn+1
2
2+
1
2
n2
Setze n0 = n + 1 (mit n0 2)
=)
=)
j2 x 0 j <
2
0
|2 {z }
> 9 n0 2N
n0
Die Folge fxn g konvergiert gegen 2:
n
Zu jedem
42
8 n0 2 N ; n0 2
mit
<
xn
|{z}
2 ab
jx
xm j = j(xn
xm ) (xn + xm )j
jx
xm j (xn + xm ) jxn
"
"
(xn + xm ) > 0
xm j
xn > 1
q.e.d.
Frage: Ist die Cauchy-Folge (
), als Folge rationaler Zahlen aufgefasst, konvergent?
Wir wissen bereits, dass lim xn = 2.
n!1
Ware fxn g konvergent gegen a 2 Q , so musste der Grenzwert a also die Gleichung x =
2 in Q losen. Da eine solche Losung in Q nicht existiert, hat fxn g also in Q keinen
Grenzwert.
2
Vom Blickpunkt der rationalen Zahlen Q aus, also der nur mit rationalen Zahlen besetzten
Zahlengeraden, konvergiert die rationale Cauchy-Folge (
) also gegen ein Loch\, d.h.
"
gegen eine Stelle, die von den rationalen Zahlen nicht besetzt ist. [(
) spielt also wirklich
die Rolle einer Lupe\!]
"
Wir konnen nun diese Cauchy-Folge dazu benutzen, um dieses Loch zu fullen, indem p
wir
festlegen: Die rationale Cauchy-Folge (
) deniert (fur n ! 1) die irrationale Zahl 2,
also die Losung der Gleichung x =p2.
Etwas allgemeiner denieren wir k (fur k 2 R ; k 0) durch die rekursiv gegebene
Cauchy-Folge
2
1
x = c; c > 0 beliebig; xn = xn
2
1
xn
jx
n+1
kj
n
1
2
k
x +
x
1
8 n 2 N:
Einlesen: k; c; ;
43
x n := c;
Bemerkenswerterweise ist also eine irrationale Zahl x nicht mehr explizit angebbar,
sondern wird durch ein Computerprogramm deniert, das es erlaubt, x naherungsweise, aber mit beliebiger Genauigkeit zu berechnen.
Bemerkung (B):
Wahrend also eine Cauchy-Folge eine (rationale oder irrationale) Zahl eindeutig deniert, gilt das Umgekehrte nicht. Zwei verschiedene Folgen fxn g und fyn g konnen
durchaus gegen denselben Punkt auf der Zahlengeraden konvergieren, und zwar genau dann, wenn die Folge fxn yn g gegen 0 konvergiert und damit eine sogenannte
Nullfolge ist.
Um diese Mehrdeutigkeit (der Darstellung einer reellen Zahl durch eine rationale
Cauchy-Folge) zu vermeiden, teilen wir die Menge aller Cauchy-Folgen in Aquivalenzklassen ein, fxn g fyng :() lim (xn yn) = 0, und verwenden aus jeder
n!1
Folgenklasse nur einen einzigen Vertreter als Reprasentanten der Klasse.
Die Menge der reellen Zahlen lat sich somit prazise denieren als die Menge der
(durch erzeugten) Aquivalenzklassen
von rationalen Cauchy-Folgen.
1.10.5 Vollstandigkeit
Der Begri der Cauchy-Folge erlaubt es, in allgemeinen metrischen Raumen einen Vollstandigkeitsbegri (hinsichtlich der metrischen Struktur) zu formulieren. Wahrend namlich eine
konvergente Folge stets auch eine Cauchy-Folge sein muss, gilt das Umgekehrte nicht in
jedem metrischen Raum, wie das Beispiel des metrischen Raumes Q lehrt.
Wir denieren nun: Ein metrischer Raum M heit vollstandig (hinsichtlich der metrischen
Struktur), wenn jede Cauchy-Folge fxn g (mit xn 2 M 8 n 2 N)
konvergiert, d.h. ihren Grenzwert in M hat.
Wie gerade gezeigt, ist Q nicht vollstandig (hinsichtlich der metrischen Struktur). Durch
die Vereinigung von Q mit allen rationalen Cauchy-Folgen ohne Grenzwert in Q, also
mit allen (durch diese Cauchy-Folgen berechenbaren) irrationalen Zahlen, erzielen wir
Vollstandigkeit.
Es gilt also der
Satz: R ist vollstandig (hinsichtlich der metrischen Struktur), d.h. jede reelle
Cauchy-Folge hat ihren Grenzwert in R.
Zum Nachweis der Konvergenz einer Folge fxn g in R genugt es also zu zeigen, dass fxn g
eine Cauchy-Folge ist. Mit diesem sog. Konvergenzkriterium von Cauchy haben wir
44
ein Nachweis-Werkzeug an der Hand, das von der Kenntnis des Grenzwertes keinen Gebrauch macht.
Wir haben nun zwei Vollstandigkeitsbegrie kennengelernt. In welcher Beziehung stehen
sie zueinander?
Die Unvollstandigkeit von Q hinsichtlich der Ordnungstruktur ( ! Existenz nach oben
beschrankter Teilmengen ohne Supremum) hat dieselbe Ursache wie die Unvollstandigkeit von Q hinsichtlich der metrischen Struktur, namlich eine luckenhafte Besetzung der
Zahlengeraden durch Q. Die soeben demonstrierte Vervollstandigung von Q bezuglich
der metrischen Struktur bewirkt daher, dass die resultierende Erweiterungsmenge R auch
hinsichtlich der Ordnungsstruktur vollstandig ist.
Fur die reellen Zahlen sind das Vollstandigkeitsaxiom (V ) und die Konvergenz aller
Cauchy-Folgen aquivalent, d.h. die eine Eigenschaft lat sich jeweils aus der anderen
folgern.
(i)
(ii)
(iii)
(iv)
(v)
8 ; 2 R
lim
Als Beispiel
fur die Anwendung
dieser Grenzwertregeln betrachten wir die Folge
n + n +
fang = 0n + 0n + 0 fur ; ; ; 0; 0 ; 0 2 R beliebig, wobei 0 6= 0.
Kurzen durch n liefert
+ n + n
an = 0 0 0 .
+n+n
2
45
Gema (iii) konnen wir jeweils fur Zahler und Nenner separat den Grenzwert bilden.
= lim
lim + +
n!1
n n n!1 |{z}
2
konstante Folge
"
1
lim
n!1 n
| {z }
+
1
lim
n!1 n
| {z }
+
=
=0; denn
n2
1
<n
8 n>
(i)
0 0
0
Analog gilt lim + +
= 0 . Anwendung von (iii) liefert lim an = 0 .
n!1
n!1
n n
2
1.10.7 Konvergenzkriterien
Zum Nachweis der Konvergenz einer reellen Folge kann das folgende { unmittelbar einleuchtende { Einschlieungskriterium hilfreich sein:
Satz: Seien reelle Folgen fan g ; fxn g und fbn g gegeben mit an xn bn
lim an = a = lim bn .
n!1
n!1
Dann konvergiert auch fxn g gegen a.
8n2N
und
xn
|
]
bn
an
|
n
Die Anwendung dieses Kriteriums setzt voraus, dass man den vermutlichen Grenzwert a
der Folge fxn g (sowie zwei Folgen fan g und fbn g, die nachgewiesen gegen a konvergieren)
bereits kennt.
Den Grenzwert zu bestimmen ist aber oft schwierig oder gar unmoglich. Wunschenswert
sind daher Kriterien, die vorab, ohne Kenntnis des ( vermutlichen) Grenzwertes, eine
Aussage uber Konvergenz oder Divergenz einer reellen Folge erlauben.
Ein Beispiel eines solchen Konvergenzkriteriums ist das Konvergenzkriterium von Cauchy.
Um weitere Kriterien dieser Art zu erhalten, stellen wir zunachst einige Begrie bereit.
Da die Bildmenge einer reellen Folge f : N ! R eine Teilmenge von R ist, konnen wir
den fur Teilmengen von R denierten Begri der oberen bzw. unteren Schranke auf diese
Bildmenge und damit auf die Folge selbst ubertragen:
Denition: Eine reelle Folge fxn g heit nach oben (bzw. unten) beschrankt, wenn ein
2 R existiert mit xn (bzw. xn ) 8 n 2 N. Wenn fxn g nach oben und
nach unten beschrankt ist, d.h. wenn ein 0 existiert mit jxn j 8 n 2 N,
so heit die Folge beschrankt.
46
Multiplizieren wir die Glieder einer beschrankten Folge mit den Gliedern einer Nullfolge,
so entsteht wieder eine Nullfolge gema folgendem
Satz: Ist fan g eine (reelle) Nullfolge und fbn g eine (reelle) beschrankte Folge,
so gilt lim an bn = 0.
n!1
Da bei einer (reellen) Folge die Folgenglieder in einer festgelegten Reihenfolge auftreten,
kann man fragen, ob sie mit wachsendem Index standig groer oder kleiner werden. Diese
Frage fuhrt auf den Begri einer monotonen Folge.
Denition: Eine reelle Folge fxn g heit monoton wachsend (bzw. fallend), wenn gilt
xn xn
+1
(bzw. xn xn )
+1
8 n 2 N:
q.e.d.
Die Umkehrung dieses Satzes gilt i.a. nicht, d.h. nicht jede (reelle) beschrankte Folge ist
konvergent, wie man am Beispiel der beschrankten Folge xn := ( 1)n sieht.
Ist eine beschrankte Folge jedoch auch noch monoton (wachsend oder fallend), so ist ihre
Konvergenz gesichert durch den folgenden
Jede (reelle) beschrankte monotone Folge hat einen Grenzwert in R und ist somit konvergent.
Der Beweis fut darauf, dass R das Vollstandigkeitsaxiom (V) erfullt:
Wir nehmen an, die beschrankte Folge fxn g sei monoton wachsend. (Der Beweis fur mo"
noton fallend\ geht analog.) Dann ist die Bildmenge M := fx ; x ; x ; : : : g R nach
oben beschrankt und besitzt gema (V) ein Supremum sup M := a 2 R. Fur jedes > 0
muss nun mindestens ein Folgenglied xN existieren mit xN 2 (a ; a] (denn sonst ware
a eine obere Schranke von M , was im Widerspruch zur Supremums-Eigenschaft von a
stunde). Da die Folge monoton wachst, muss dann xn 2 (a ; a] 8 n > N gelten. Also
konvergiert die Folge gegen a 2 R.
q.e.d.
1
47
n
1+
n
n
P
k =0
n
k
n1 1
n k
| {z }
n ::: (n k+1)
n!
k!(n k)! =
k!
= 1+n
n (n 1) 1
n (n 1) : : : (n n + 1) 1
+:::+
2!{z n }
n{z
!
n}
|
|
2
1
2!
1
= 1 + 1 + (1
2!
n n
n }
| n{z
n
(
1 (1
1)
n!
)+:::+
1
(1
n!
n (n
::: (n (n
n n ::: n
1)
1))
n 1
)
n
) : : : (1
Beim Ubergang
von xn nach xn werden alle Klammern in den ersten (n+1) Summanden,
die beiden Folgengliedern gemeinsam sind, groer, so dass xn < xn folgt. fxn g ist also
streng monoton wachsend.
Auerdem lat sich die im n-ten Folgenglied auftretende Summe nach oben abschatzen:
+1
+1
0 < xn
<
1+1+
"
< 1 usw.
<
1+
=)
1)Faktoren
=)
n!
<
k=0
"
1 1
1
1+ + +:::+ n
2 {z
2 }
| 2
n
n (geometrische Summe)
2
1
1
+:::+
2!
n!
1
1 ( )
1 k
2
) =
1
2
1
2
=2 (1
1
)
2
1)mal
(n
2n
xn < 1 + 2 = 3
Die Folge fxn g ist also monoton (wachsend) und nach oben beschrankt und daher (als
Folge in Rbetrachtet)
konvergent. Ihr Grenzwert wird als Eulersche Zahl e bezeichnet,
1 n
e := nlim
1+
, und ist eine irrationale Zahl. (Bemerkung: Da alle Folgenglieder xn
!1
n
rationale Zahlen sind, kann fxn g auch als Folge rationaler Zahlen angesehen werden. Als
Folge in Q ist sie nur Cauchy-Folge und nicht konvergent, da e keine rationale Zahl ist!)
Gema dem Satz von der monotonen Konvergenz gibt es fur eine monotone Folge zwei
Moglichkeiten: Ihre Folgenglieder konnen mit wachsendem Index nach oben bzw. nach
unten uber alle Schranken hinausgehen, oder aber sie mussen gegen einen Grenzwert konvergieren. Ein Beispiel des ersteren Folgentypus ist die monotone Folge xn = n, deren
Glieder mit wachsendem n uber alle Schranken wachsen. Fur diesen Typ von Divergenz
schreibt man symbolisch lim n = 1 und deniert
n!1
Denition:
48
2N
gibt
1.10.8 Haufungspunkte
Konvergenz einer Folge gegen einen Grenzwert a bedeutet, dass (fur beliebiges > 0)
ab einem gewissen Index N alle Folgenglieder im Intervall (a ; a + ) liegen. Eine Abschwachung dieser Forderung fuhrt zum Begri des Haufungspunktes: Von einem
Haufungspunkt a wird nur verlangt, dass im Intervall (a ; a + ) unendlich viele Folgenglieder xn liegen.
Ein Punkt a 2 R heit also Haufungspunkt der (reellen) Folge fxn g, wenn es zu jedem
(beliebig kleinen) > 0 und zu jedem (beliebig hohen) Index n 2 N ein n > n gibt mit
xn 2 (a ; a + ).
0
Beispiel: Die alternierende Folge xn := ( 1)n ist divergent, hat aber zwei Haufungspunkte, namlich 1 und ( 1).
Klarerweise ist jeder Grenzwert einer Folge fxn g auch ein Haufungspunkt dieser Folge.
Daruber hinaus lat sich { analog zur Eindeutigkeit des Grenzwertes { zeigen:
Satz: Gilt lim xn = a, so ist a der einzige Haufungspunkt der Folge fxn g.
n!1
Betrachten wir nun einen Haufungspunkt a einer divergenten Folge fxn g. Unendlich viele
Folgenglieder xn liegen also in der Nahe von a. Indem man alle schlechten\ xn (die nicht
"
in der Nahe von a liegen) verwirft und nur die guten ins Topfchen\ legt, mute man eine
"
Folge erhalten, die wirklich gegen a konvergiert.
Dieses Vorhaben bedarf der Prazisierung.
Die guten xn ins Topfchen zu legen \ bedeutet, gewisse Folgenindices auszuwahlen, und
"
zwar insgesamt unendlich viele. Dies lat sich mittels einer Auswahlfolge bewerkstelligen. Darunter verstehen wir eine streng monoton wachsende Folge von naturlichen Zahlen,
also eine Abbildung k : N ! N, i 7! ni 2 N mit ni > ni 8 i 2 N.
Beispielsweise wahlt die Auswahlfolge fni gi2N , die durch ni = 2i deniert wird, aus der
alternierenden Folge xn = ( 1)n die Glieder mit dem Wert (+1) aus.
+1
49
+1
.
1
n1
n2
n3
Indem wir also die Auswahlfolge ni = 2i und die alternierende Folge xn = ( 1)n hintereinanderschalten, erhalten wir die konstante Folge fxni gi2N mit xni = 1 8 i 2 N.
Wenn wir dieses Vorgehen verallgemeinern, gelangen wir zum Begri der Teilfolge:
Durch Hintereinanderschaltung einer Auswahlfolge k (bzw. in Folgenschreibweise: fni gi2N )
und einer (reellen) Folge f (in Folgenschreibweise: fxn gn2N ) erhalten wir eine Teilfolge
der Folge fxn g:
f k : i 7! xni 2 R
Im obigen Beispiel ist das ursprungliche Vorhaben in der Tat gelungen: Aus der divergenten Folge fxn g mit dem Haufungspunkt 1 haben wir eine Teilfolge fxni g konstruiert, die
gegen 1 konvergiert.
Dass dies allgemein moglich ist, besagt der folgende
Satz: Ist a ein Haufungspunkt der Folge fxn g, so gibt es eine Teilfolge fxni g
mit lim xni = a. Die Umkehrung gilt ebenfalls.
i!1
Wir wollen nun aus dem Satz von der monotonen Konvergenz auch fur nicht-monotone
Folgen Kapital schlagen. Das Werkzeug hierzu liefert uns der folgende
Satz: Jede reelle Folge fxn g enthalt eine monotone Teilfolge.
Folglich enthalt jede beschrankte reelle Folge eine beschrankte monotone Teilfolge. Diese
Teilfolge besitzt aufgrund des Satzes von der monotonen Konvergenz einen Grenzwert in
R. Zusammenfassend ergibt sich der sogenannte
50