Sie sind auf Seite 1von 64

Skriptum zur Vorlesung

Mathematik 1 = lim

n

1

n→∞

ν=1

ν(ν + 1)

Dr. Friedrich Hanser 1

www.umit.at
www.umit.at
ν =1 ν ( ν + 1) Dr. Friedrich Hanser 1 www.umit.at Carl Friedrich Gauß (1777—1855)

Carl Friedrich Gauß (1777—1855)

1 Email: friedrich.hanser@umit.at

Erstellt mit L A T E X2 ε

Bemerkungen zum Gebrauch dieses Skriptums

Dieses Skriptum stellt den Lehrstoff aus Mathematik 1 in einer komprimierten, mathematischen Form dar. Aus diesem Grund ist es zum Selbststudium absolut ungeeignet. Es kann nur in Verbindung mit einer Vorlesung, in der die mathematischen Sachverhalte erkl¨art, diskutiert und mit Beispielen erl¨autert werden, seinen Zweck erfullen.¨

Das vorliegende Skriptum zielt darauf ab, Sie an die zugegebenermaßen gew¨ohnungsbedurftige¨ Sprache der Mathematik heranzufuhren.¨ Idealerweise soll das Skriptum im Anschluss an die Vorlesung zum mathematischen Nachlesen und zur Vertiefung verwendet werden.

Das Skriptum folgt in Notation und Aufbau der Serie Analysis I-III, Eine integrierte Darstellung“ von Kurt Endl und Wolfgang Luh.

Hall i. Tirol, im WS 2007/2008

Friedrich Hanser

Inhaltsverzeichnis

1 Grundlagen

1

1.1 Aussagenlogik .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

1

1.2 Mengen, Mengenoperationen

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

3

1.3 Abbildungen, Funktionen

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

6

1.4 K¨orper und Metrische R¨aume

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

9

1.5 Vollst¨andige Induktion

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

10

1.6 Folgen und Reihen in geordneten K¨orpern

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

11

1.7 Cauchy-Folgen in geordneten K¨orpern

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

15

1.8 Relationen, Klasseneinteilungen

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

16

1.9 Die Konstruktion der reellen Zahlen

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

18

1.10 Der Hauptsatz uber¨

monotone Folgen und die Zahl e

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

20

2 Differentialrechnung

 

23

2.1 Das Tangentenproblem

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

23

2.2 Definition und Eigenschaften der Ableitung

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

24

2.3 Ableitungsregeln, Kettenregel

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

24

2.4 Der Satz von Rolle

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

26

2.5 Der 1. Mittelwertsatz der Differentialrechnung

 

26

2.6 Die Regeln von de l’Hospital

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

28

3 Integralrechnung

29

3.1 Die Idee des Riemannschen Integrals

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

29

3.2 Untere und obere Darboux-Integrale

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

31

3.3 Das Riemannsche Integral

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

32

3.4 Riemannsche Summen

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

33

3.5 Der Hauptsatz der Differential- und Integralrechnung

 

34

3.6 Die Mittelwerts¨atze der Integralrechnung

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

36

3.7 Der Taylorsche Satz

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

37

4 Der K¨orper der komplexen Zahlen C

 

41

4.1 Der K¨orper der komplexen Zahlen

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

41

4.2 Die Einbettung von R in C

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

42

4.3 C als 2-dimensionaler Vektorraum

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

43

4.4 Konjugiert komplexe Zahlen

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

44

4.5 Polarkoordinatendarstellung

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

45

4.6 Potenzen und Wurzeln komplexer Zahlen

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

45

ii

INHALTSVERZEICHNIS

5

Unendliche Reihen

49

5.1 Beispiele unendlicher Reihen

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

49

5.2 Rechenregeln fur¨

unendlicher Reihen

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

50

5.3 Das Cauchysche Kriterium fur¨ Reihen

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

50

5.4 Absolute Konvergenz .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

51

5.5 Vergleichskriterium .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

51

5.6 Reihen mit nichtnegativen Gliedern .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

52

5.7 Das Wurzel- und das Quotientenkriterium

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

54

A Spezielle Folgen und Reihen

 

57

 

A.1 Die Fibonacci Folge

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

57

Grundlagen

1

Zu diesem Zweck werden wir uns

mit grundlegenden Dingen wie Logik, Mengen, Relationen, Funktionen, Abbildungen, sowie Folgen und Reihen etwas eingehender besch¨aftigen.

Dieses Kapitel soll in die Sprache und Denkweise der Mathematik einfuhren.¨

1.1

Aussagenlogik

In diesem Abschnitt werden wir definieren was man unter einer Aussage im logischen Sinne versteht, und wie

Aussagen miteinander verknupft¨

werden k¨onnen.

Definition 1.1.1 [Aussage]: Eine Aussage ist ein Satz einer menschlichen oder kunstlichen¨ einer der beiden Wahrheitswerte wahr (w) oder falsch (f ) zugeordnet werden kann.

Sprache, dem

Beispiel: Der Nil mundet¨

den Tropen“ sind Aussagen, die alle den Wahrheitswert w haben. Wann bist du geboren?“ ist naturlich¨

Nachdem man mit einer Aussage alleine noch nicht viel anfangen kann, definieren wir Operationen, mit deren Hilfe neue Aussagen produziert werden k¨onnen.

in das Mittelmeer“, 20 ist durch 5 teilbar“ und Die Florida Keys geh¨oren nicht zu

keine Aussage.

Definition 1.1.2 [Negation]: Die Negation einer Aussage p, fur¨ die man das Symbol ¬p oder p¯ verwendet, hat den Wahrheitswert falsch, wenn p selbst wahr ist, und umgekehrt.

Verknupft¨

man Aussagen mit “und”, “oder” und “entweder oder,” gelangt man zwangsl¨aufig zu folgender

Definition:

Definition 1.1.3 [Konjunktion, Disjunktion, Exklusiv Oder]:

(1) Die Verknupfung¨

(2) Die Verknupfung¨

(3) Die Verknupfung¨

der Aussagen p und q durch das logische “und” nennt man Konjunktion und man

schreibt p q. Sie ist nur dann wahr, wenn p und q beide wahr sind.

der Aussagen p und q durch das logische “oder” nennt man Disjunktion und man

schreibt p q. Sie ist wahr, wenn entweder p oder q wahr ist, oder wenn beide wahr sind. Sonst ist sie falsch.

oder” ist nur wahr, wenn genau eines der beiden Argumente wahr

ist. Man nennt diesen logischen Operator “exklusives Oder” oder “xor.”

“entweder

Obige Definitionen faßt man ublicherweise¨ kurz und bundig¨ in einer Wahrheitstafel, wie in Tabelle 1.1 darge- stellt, zusammen. Man k¨onnte sich jetzt fragen wie viel verschiedene Verknupfungen¨ von zwei logischen Variablen uberhaupt¨ existieren. Bisher haben wir die drei Verknupfungen¨ Konjunktion, Disjunktion und Exklusiv Oder mit den Wahrheitsverl¨aufen (f, f, f, w), (f, w, w, w) und (f, w, w, f ) kennengelernt. Insgesamt gibt es laut Kom- binatorik 2 4 = 16 (geordnete Stichprobe mit Zurucklegen)¨ verschiedene M¨oglichkeiten fur¨ die Verknupfung¨ von

2

Kapitel 1. Grundlagen

Tabelle 1.1: Wahrheitstafel einiger logischer Verknupfungen¨

¨

wie Konjunktion, Disjunktion, Exklusiv Oder, Impli-

kation und Aquivalenz. Die Variablen p und q sind die unabh¨angigen Aussagenvariablen.

         

¨

       
 

Konj.

Disj.

Excl. O.

Impl.

Aqui.

NAND

NOR

   

p

q

p¯

q¯

p q

p q

p xor q

p q

p q

p | q

p q

q¯ p¯

q p

f

f

w

w

f

f

f

w

w

w

w

w

w

f

w

w

f

f

w

w

w

f

w

f

w

f

w

f

f

w

f

w

w

f

f

w

f

f

w

w

w

f

f

w

w

f

w

w

f

f

w

w

zwei logischen Variablen. Eine solche Verknupfung¨ Variablen.

Ein sehr wichtiges Konstruktionsprinzip der Mathematik besteht darin, ausgehend von wahren Aussagen neue

definiert einen (bin¨aren) Operator zwischen zwei logischen

wahre Aussagen abzuleiten. Diese Schlussfolgerungen werden als Wenn mathematischen Logik entspricht dies dem Wahrheitsverlauf (w, w, f, w).

, dann

.“– S¨atze formuliert. In der

Definition 1.1.4 [Implikation]: Verknupft¨ man zwei Aussagen p und q durch Wenn p, dann q,“ dann nennt man den Ausdruck logische Folgerung oder Implikation. Man bezeichnet p als die Voraussetzung und q als die Behauptung der Implikation und schreibt p q. Die Wahrheitswerte der Implikation sind durch die Wahrheitstafel in Tabelle 1.1 festgelegt. Alternative Ausdrucksweisen fur¨ p q sind Aus p folgt q ,“ p impliziert q ,“ p ist eine hinreichende Bedingung fur¨ q ,“ oder q ist eine notwendige Bedingung fur¨ p.“

Die Wahrheitstafel in Tabelle 1.1 sagt aus, dass die Implikation nur falsch ist, wenn aus einer wahren Voraus- setzung eine falsche Behauptung folgt.

Beispiel:

(1) Die Aussage Wenn morgen Schnee f¨allt, werden wir Ski fahren“ ist nur dann falsch, wenn morgen Schnee f¨allt und wir trotzdem nicht Ski fahren.

(2) Die Implikation 1 < 2 ⇒ −1 < 2 “ ist falsch, da zwar die Voraussetzung, nicht jedoch die Behauptung wahr ist.

(3) 16 ist durch 2 teilbar 16 ist eine gerade Zahl“ ist eine wahre Implikation.

dx d f(x)| x=x 0 = 0 ist eine wahre

dx d f(x)| x=x 0 = 0 so folgt noch lange nicht, dass die Funktion

(4) Die Funktion f (x) hat an der Stelle x = x 0 ein lokales Maximum

Implikation. Die Umkehrung gilt nicht. Ist

an dieser Stelle ein Maximum besitzt. Man kann aber folgendes sagen: das Verschwinden der ersten

Ableitung ist eine notwendige Bedingung fur¨ die Existenz eines Extremums.

Eine weitere wichtige Verknupfung¨

¨

ist die der logischen Aquivalenz und durch folgende Definition gegeben:

¨

Definition 1.1.5 [ Aquivalenz]: Verknupft¨

man zwei Aussagen p und q durch p genau dann, wenn q,

¨

¨

dann nennt man den Ausdruck logische Aquivalenz und schreibt p q. Die Wahrheitswerte der Aqui-

valenz sind durch die Wahrheitstafel in Tabelle 1.1 festgelegt. Alternative Ausdrucksweisen fur¨ sind p dann und nur dann, wenn q“ oder p ist notwendig und hinreichend fur¨ q.

p q

Die n¨achsten beiden Operatoren haben in der Mathematik keine Bedeutung, spielen jedoch beim Schaltungs-

entwurf eine ¨außerst wichtige Rolle. Deshalb, und aus Grunden¨ angefuhrt.¨

einer gewissen Vollst¨andigkeit, seien sie hier

Definition 1.1.6 [NAND, NOR]:

(1) Den logischen Operator mit dem Wahrheitsverlauf (w, w, w, f ) nennt man Sheffer-Operator oder NAND und man schreibt p | q.

(2) Den logischen Operator mit dem Wahrheitsverlauf (w, f, f, f ) nennt man Peirce-Operator oder NOR und man schreibt p q

Logische Ausdrucke,¨ die fur¨ alle Kombinationen der logischen Variablen immer den selben Wahrheitswert liefern, erhalten einen Namen.

1.2.

Mengen, Mengenoperationen

3

Definition 1.1.7 [Tautologie, Widerspruch]: Man nennt einen logischen Ausdruck eine Tautologie (einen Widerspruch), wenn sich fur¨ alle Kombinationen der logischen Variablen immer der Wahrheitswert wahr (falsch) ergibt.

Beispiel:

¨

(1) Die Aquivalenz p q q¯ p¯ ist laut Wahrheitstafel 1.1 eine Tautologie. Auf ihr beruht das Beweisver-

fahren der Kontraposition. Man spricht auch von einem indirektem Beweis.

(2) Der Ausdruck p p¯ ist eine Tautologie.

(3) Der Ausdruck p p¯ ist ein Widerspruch.

Naturlich¨

Struktur widerspiegeln.

gibt es beim Rechnen mit logischen Ausdrucken¨

jede Menge Regeln die eine typische mathematische

Satz 1.1.1: Fur¨ beliebige logische Ausdrucke¨

p, q und r gelten folgende Rechenregeln:

 

Kommutativgesetz:

p q = q p (p q) r = p (q r) p (q r) = (p q) (p r)

p q = q p (p q) r = p (q r) p (q r) = (p q) (p r)

(1)

Assoziativgesetz:

Distributivgesetz:

(2)

p = p

p p = w

p p = f

(3)

f p = f

w p = p

f p = p

w p = w

(4) De Morgan’sche Regeln:

p q = p q

p q = p q

Damit verlassen wir das Gebiet der Logik, um in die wahre Mathematik einzutauchen.

1.2 Mengen, Mengenoperationen

In diesem Abschnitt sollen die Grundbegriffe der Mengentheorie bereitgestellt werden. Dabei benutzen¨ Mengenbegriff, wie er von Georg Cantor gepr¨agt wurde.

wir den

Definition 1.2.1 [Menge]: Eine Menge M ist eine Zusammenfassung von wohlbestimmten und wohlunter- schiedenen Objekten unserer Anschauung oder unseres Denkens, welche die Elemente von M genannt werden, zu einem Ganzen.

Die Mengenlehre basierend auf dieser Definition wird als naive Mengenlehre bezeichent. Sie fuhrt¨ zu Wider- spruchen,¨ insbesondere dann, wenn Mengen eingefuhrt¨ werden, die sich selbst als Element enthalten. Am be- kanntesten ist die Russelsche Antinomie. Der Barbier von Sevillia, der alle M¨anner rasiert, die sich selbst nicht rasieren, ist eine bekannte Formulierung dieses Sachverhaltes. Dennoch werden wir an diesem Mengenbegriff festhalten.

Im weiteren fuhren¨ wir folgende Bezeichnungen und Sprechweisen ein:

Definition 1.2.2:

(1) x M bzw. x / M bedeutet: x ist bzw. ist nicht Element von M.

(2) M = {x 1 , x 2 , x 3 ,

(aufzahlende¨

(3) M = {x : x

.} bedeutet: M ist die Menge, die aus den Elementen x 1 , x 2 , x 3 usw. besteht

E} bedeutet: M ist die Menge aller Elemente x, die die Eigen-

Charakterisierung der Menge M ).

hat die Eigenschaft

schaft E besitzen (beschreibende Charakterisierung der Menge M ).

Die Gleichheit von Mengen wird erwartungsgem¨aß wie folgt definiert:

4

Kapitel 1. Grundlagen

Definition 1.2.4 [Inklusion]: Es seien M 1 und M 2 Mengen.

(1) M 1 heißt enthalten in M 2 oder Teilmenge von M 2 , wenn jedes Element von M 1 auch Element von M 2 ist. Wir schreiben dann M 1 M 2 .

(2) M 1 heißt echte Teilmenge von M 2 , wenn M 1 M 2 , aber M 1 = M 2 .

(3) Ist M 1 keine Teilmenge von M 2 , so schreibt man M 1

M 2 .

Bemerkung: Zur besseren Unterscheidung von Teilmenge und echter Teilmenge bedient man sich auch der Symbole und .

Beziehungen zwischen Mengen untereinander k¨onnen graphisch mit Hilfe sog. Venn-Diagramme veranschaulicht werden wie Abb. 1.1 zeigt. Hierbei werden Mengen als Teilmengen der Zeichenebene dargestellt.

M 1 M 2 M 1 ⊂ M 2
M 1
M 2
M 1 ⊂ M 2
M 2 M 1 M 1 ⊂ M 2
M 2
M 1
M 1
⊂ M 2

Abbildung 1.1: Teilmengenbeziehungen veranschaulicht mit sog. Venn-Diagrammen.

Als elementare Eigenschaften der Inklusion fuhren¨

wir an:

Satz 1.2.1:

(1) Fur¨ jede Menge M gilt M M ( Reflexivit¨at“).

(2) Es seine M 1 , M 2 , M 3 drei Mengen mit M 1 M 2 und M 2 M 3 . Dann gilt M 1 M 3 ( Tansitivit¨at“).

(3) Es seien M 1 und M 2 zwei Mengen. Genau dann ist M 1 = M 2 , wenn gilt M 1 M 2 und M 2 M 1 .

Bemerkung: Obiger Satz gestattet die Gleichheit zweier Mengen zu beweisen, indem man zeigt, dass jede in der anderen enthalten ist.

Die grundlegenden Mengenoperationen sind folgendermaßen definiert:

Definition 1.2.5 [Vereinigung, Durchschnitt]: Es seien M 1 und M 2 beliebige Mengen.

(1) Die Vereinigung von M 1 und M 2 ist

M 1 M 2 = {x : x M 1

oder

x M 2 }.

(2) Der Durchschnitt von M 1 und M 2 ist

M 1 M 2 = {x : x M 1

und

x M 2 } .

Definition 1.2.6 [Differenz, Komplement]: Es seien M 1 und M 2 beliebige Mengen.

(1) Die Differenz von M 1 und M 2 , geschrieben in der Form M 1 \M 2 , ist die Menge derjenigen Elemente, die zu M 1 , aber nicht zu M 2 geh¨oren:

x / M 2 } .

(2) Ist M 2 M 1 , so wird die Menge M 1 \ M 2 auch als Komplement von M 2 bezuglich¨ M 1 bezeichnet.

M 1 \ M 2 = {x : x M 1

und

Man schreibt dann C M 1 (