the emants of real analysis, second edition (1976)

Das ist das Buch, das den Analysis aus einem Sack voller Tricks in ein Fach mit Begründungen verwandelt. Jeder Satz, den du aus dem Analysis-Grundkurs nur halb im Kopf hast—der Zwischenwertsatz, der Mittelwertsatz, der Hauptsatz der Differential- und Integralrechnung—bekommt hier einen echten Beweis, gebaut auf der Vollständigkeit. Lies es, wenn du Mathematikstudent bist und in die Analysis gehst, wenn du Lehrer bist und wissen willst, warum die Regeln gelten, oder wenn du Autodidakt bist und dich mit einem 'es lässt sich zeigen' nicht abspeisen lässt.

1. 1Kapitel 1

   Elf Axiome und eines, das mehr zählt als alle anderen

   Du schlägst das Buch auf und triffst auf das System der reellen Zahlen R als einen Körper, dessen Addition und Multiplikation 11 Axiome erfüllen. Dann fügt Bartle das eine Axiom hinzu, das alles verändert—die Vollständigkeit, die Garantie, dass jede nichtleere, nach oben beschränkte Menge eine kleinste obere Schranke (Supremum) besitzt. Daraus beweist er die archimedische Eigenschaft: wenn x > 0 und y eine beliebige reelle Zahl ist, dann existiert eine natürliche Zahl n mit nx > y. Wie klein x auch sei, genug Kopien davon überholen jedes y. Diesen Gewinn löst er sofort in ein zweites Resultat ein: zwischen zwei beliebigen reellen Zahlen existiert eine rationale Zahl, wobei er die archimedische Eigenschaft benutzt, um einen Nenner n mit 1/n < b - a zu finden.

   Die Idee

   Die Vollständigkeit ist die tragende Wand der Analysis. Die elf Körper- und Ordnungsaxiome beschreiben Rechnen und Größe, aber sie gelten genauso für die rationalen Zahlen, wo Folgen wie die Dezimalentwicklung von √2 keinen Grenzwert haben. Das Supremumsaxiom ist es, das überhaupt erst die Existenz von Grenzwerten ermöglicht, und die archimedische Eigenschaft ist ihre erste Dividende: sie übersetzt 'beliebig klein' in einen konkreten Nenner, den du aufspüren kannst. Wenn du später beweist, dass Grenzwerte eindeutig sind oder dass Integrale existieren, lehnst du dich still auf dieses Kapitel.

   Probier es aus: Wähle zwei reelle Zahlen, etwa a = 1.4142 und b = 1.4143, und finde tatsächlich eine rationale Zahl zwischen ihnen mit dem archimedischen Trick: wähle n mit 1/n < b - a, dann bestimme eine ganze Zahl m mit a < m/n < b.

2. 2Kapitel 2

   Monoton, beschränkt, fertig: dein erster Konvergenzsatz

   Kapitel 2 schenkt dir den billigsten Konvergenztest des Buches. Eine monoton wachsende Folge, die nach oben beschränkt ist, konvergiert gegen ihr Supremum (und eine beschränkte fallende Folge konvergiert gegen ihr Infimum). Dann steigt der Einsatz. Das Kapitel führt Teilfolgen ein und beweist den Satz von Bolzano-Weierstrass über die Intervallschachtelungseigenschaft: jede beschränkte Folge in R, so chaotisch sie auch sein mag, birgt in sich eine konvergente Teilfolge. Schließlich kommt das Cauchy-Kriterium für Konvergenz: eine Folge ist genau dann konvergent, wenn sie eine Cauchy-Folge ist, unter Verwendung der Vollständigkeit der reellen Zahlen.

   Die Idee

   Diese drei Resultate bilden einen Werkzeugkasten, den du für den Rest des Buches benutzen wirst. Der Satz von der monotonen Konvergenz erlaubt dir, Konvergenz zu beweisen, ohne den Grenzwert zu kennen—beschränke einfach die Folge und lass das Supremum die Arbeit tun. Bolzano-Weierstrass ist das Extraktionsprinzip: aus jedem beschränkten Durcheinander ziehst du einen wohlgeordneten Faden. Das Cauchy-Kriterium zählt am meisten, wenn der Grenzwert unbekannt ist oder in einem Raum lebt, den du nicht direkt sehen kannst; es prüft Konvergenz allein anhand der Glieder selbst. Alle drei sind Vollständigkeit in verschiedener Kleidung.

   Probier es aus: Nimm die Folge a₁ = 1, a_{n+1} = 1 + 1/aₙ. Zeige, dass sie nach dem ersten oder zweiten Glied monoton ist, beschränke sie oben durch 2 und schließe, dass sie konvergiert—ohne jemals ihren Grenzwert zu berechnen.

3. 3Kapitel 3

   ε-δ: die Definition, die dem Rätselraten ein Ende setzt

   Bartle legt die ε-δ-Definition des Grenzwerts auf den Tisch: f hat den Grenzwert L in c, wenn es zu jedem ε > 0 ein δ > 0 gibt, sodass x nahe bei c f(x) nahe bei L erzwingt. Das Beispiel f(x) = (x^2 - 1)/(x - 1) für x ≠ 1 hat den Grenzwert 2, wenn x gegen 1 geht, obwohl es bei 1 nicht definiert ist.

   Die Idee

   Die ε-δ-Definition kehrt das Kräfteverhältnis eines Analysis-Kurses um. Statt 'nähert sich an', was bedeutet, was der Leser will, verlangt sie ein quantifiziertes Herausforderungsspiel: dein Gegner wählt ε, du antwortest mit δ. Wenn du immer antworten kannst, existiert der Grenzwert. Deshalb blockieren hebbare Unstetigkeiten und Lücken keine Grenzwerte, und deshalb definiert dieselbe Maschinerie später Stetigkeit, indem sie einfach verlangt, dass der Grenzwert gleich f(c) ist.

   Probier es aus: Beweise lim_{x→2} (3x + 1) = 7 mit der Definition: gegeben ε, zeige δ = ε/3 und verifiziere die Implikation |x - 2| < δ ⟹ |f(x) - 7| < ε.

4. 4Kapitel 4

   Stetigkeit, zusammengesetzt aus Grenzwerten

   Die Stetigkeit erhält ihre präzise Form: f ist stetig in c, wenn es zu jedem ε > 0 ein δ > 0 gibt, sodass aus |x - c| < δ folgt, dass |f(x) - f(c)| < ε. Es wird bewiesen, dass Summen, Produkte und Quotienten (bei nicht verschwindendem Nenner) stetiger Funktionen stetig sind. Der Lohn kommt in drei Sätzen. Der Zwischenwertsatz wird formuliert: Ist f stetig auf [a,b] und k liegt zwischen f(a) und f(b), dann existiert ein c in [a,b] mit f(c) = k, bewiesen mit dem Supremum der Menge {x : f(x) ≤ k}. Der Satz über die Beschränktheit wird bewiesen: Eine auf einem abgeschlossenen beschränkten Intervall [a,b] stetige Funktion ist auf diesem Intervall beschränkt. Der Satz über das Maximum-Minimum (Extremwertsatz) wird bewiesen: Eine stetige Funktion auf einem abgeschlossenen beschränkten Intervall nimmt ihre Maximum- und Minimumwerte an, unter Verwendung des Satzes von Bolzano-Weierstrass.

   Die Idee

   Abgeschlossen und beschränkt ist die Zauberformel dieses Kapitels. Die Beweise zeigen, warum sich die Vollständigkeit bezahlt macht – der Zwischenwertsatz beschwört den Punkt c aus einem Supremum herauf, und der Extremwertsatz erntet eine konvergente Teilfolge aus Bolzano-Weierstrass. Stetigkeit allein ist eine lokale Bedingung; erst die Kompaktheit von [a,b] macht daraus eine globale Kontrolle.

   Probier es aus: Zeige, dass f(x) = 1/x auf (0, 1] stetig, aber unbeschränkt ist, und erkläre dann genau, welche Voraussetzung des Beschränktheitssatzes verletzt ist.

5. 5Kapitel 5

   Die Ableitung, ehrlich definiert

   Die Ableitung einer Funktion f an einer Stelle c ist definiert als f'(c) = lim_{h->0} (f(c+h) - f(c))/h, falls der Grenzwert existiert, und es wird bewiesen, dass Differenzierbarkeit Stetigkeit impliziert. Dann das Herzstück des Kapitels. Der Satz von Rolle wird bewiesen: Ist f stetig auf [a,b], differenzierbar auf (a,b) und gilt f(a)=f(b), dann existiert ein c in (a,b) mit f'(c)=0. Darauf folgt der Mittelwertsatz: Ist f stetig auf [a,b] und differenzierbar auf (a,b), dann existiert ein c in (a,b) mit f'(c) = (f(b)-f(a))/(b-a), bewiesen mit dem Satz von Rolle. Die Regel von L'Hospital (für den unbestimmten Ausdruck 0/0) wird formuliert und mit dem Cauchyschen Mittelwertsatz bewiesen, mit dem Beispiel lim_{x→0} (sin x)/x = 1, wobei der Beweis die Ableitung von sin an der Stelle 0 benutzt.

   Die Idee

   Der Mittelwertsatz ist die Brücke zwischen Lokalem und Globalem: Er verwandelt Information über eine Ableitung an einem unbekannten Punkt in eine Aussage über die mittlere Änderung über ein ganzes Intervall. Fast jede Ableitungsregel, die du benutzt – Monotonietests, Fehlerabschätzungen für Approximationen – ist der Mittelwertsatz in Verkleidung. Die Regel von L'Hospital ist keine Definition, sondern ein Satz mit Voraussetzungen, und ihr Beweis über den Cauchyschen Mittelwertsatz zeigt, warum die Regel Differenzierbarkeit in der Umgebung des Punktes braucht, nicht nur im Punkt selbst.

   Probier es aus: Beweise mit dem Mittelwertsatz, dass |sin a - sin b| ≤ |a - b| für alle reellen a, b gilt, und bestimme das c, dessen Existenz der Satz garantiert.

6. 6Kapitel 6

   Das Riemann-Integral, von den Zerlegungen aufwärts

   Kapitel 6 baut das Integral aus nackten Bestandteilen auf. Eine Zerlegung P von [a,b] ist eine endliche Menge von Punkten {x_0, x_1, ..., x_n} mit a = x_0 < x_1 < ... < x_n = b; ihre Feinheit ist ||P|| = max{x_i - x_{i-1}}; eine Riemann-Summe ist S(f;P) = Σ f(t_i)(x_i - x_{i-1}) für Marken t_i in [x_{i-1}, x_i]; und f ist Riemann-integrierbar, wenn es ein L gibt, sodass es zu jedem ε > 0 ein δ > 0 gibt, sodass für jede Zerlegung P mit ||P|| < δ und beliebige Marken gilt: |S(f;P) - L| < ε. Es wird bewiesen, dass eine stetige Funktion auf [a,b] Riemann-integrierbar ist. Dann wird der Hauptsatz der Differential- und Integralrechnung in beiden Teilen bewiesen: Ist F differenzierbar auf [a,b] und F' = f auf [a,b] integrierbar, dann gilt ∫_a^b f = F(b) - F(a); und ist f stetig auf [a,b], dann ist F(x) = ∫_a^x f differenzierbar auf [a,b] und F'(x) = f(x).

   Die Idee

   Die markenbasierte Definition ist robuster als die, die du in der Analysis-Vorlesung gesehen hast: Sie verlangt, dass ALLE Riemann-Summen mit feinen genug Zerlegungen nahe bei L landen, egal wo die Marken liegen. Deshalb ist der Satz 'stetig impliziert integrierbar' echter Gehalt – die Marken könnten sich verschwören, um die schlechtesten Punkte zu sampeln, und genau das verhindert die Stetigkeit. Die beiden Teile des Hauptsatzes zeigen in entgegengesetzte Richtungen: Der eine berechnet Integrale über Stammfunktionen, der andere erzeugt Ableitungen aus Integralen. Zusammen sagen sie, dass Differenzieren und Integrieren inverse Operationen sind – unter Voraussetzungen, die es zu prüfen lohnt.

   Probier es aus: Berechne eine Riemann-Summe für f(x) = x² auf [0,1] mit der Zerlegung {0, 1/4, 1/2, 1} und Marken an den linken Endpunkten, und vergleiche sie mit dem exakten Wert 1/3.

7. 7Kapitel 7

   Wenn Grenzwerte von Funktionen dich verraten

   Hier zeigt das Buch dir ein Versagen. Das Beispiel f_n(x) = x^n auf [0,1] wird angeführt, das für x < 1 punktweise gegen 0 und an x = 1 gegen 1 konvergiert, aber nicht gleichmäßig. Die Reparatur ist die gleichmäßige Konvergenz, definiert als: (f_n) konvergiert gleichmäßig gegen f auf A, wenn es zu jedem ε > 0 ein N gibt, sodass für alle n ≥ N und alle x in A gilt: |f_n(x) - f(x)| < ε. Es wird bewiesen, dass der gleichmäßige Limes einer Folge stetiger Funktionen stetig ist und dass gleichmäßige Konvergenz die Vertauschung von Limes und Integral erlaubt. Für Reihen wird das Weierstraß-M-Kriterium für die gleichmäßige Konvergenz von Reihen angegeben: wenn |f_n(x)| ≤ M_n für alle x in A und Σ M_n konvergiert, dann konvergiert Σ f_n gleichmäßig auf A. Das Beispiel der Reihe Σ x^n/n^2 auf [0,1] wird angeführt, die nach dem M-Kriterium mit M_n = 1/n^2 gleichmäßig konvergiert, da Σ 1/n^2 konvergiert.

   Die Idee

   Punktweise Konvergenz lässt jeden Punkt nach seinem eigenen Zeitplan konvergieren; gleichmäßige Konvergenz erzwingt einen einzigen Zeitplan für alle. Dieser gemeinsame Zeitplan ist es, der dir die Vertauschung von Grenzwerten mit Stetigkeit und Integration erlaubt — das ε, das an einem Punkt funktioniert, funktioniert überall. Das M-Kriterium ist das Arbeitstier, weil es eine Frage über Funktionen auf eine Frage über Zahlen reduziert, eine Reihe, die du mit dem Vergleichskriterium prüfen kannst. Behalte das xⁿ-Beispiel im Kopf: Es ist die kanonische Erinnerung daran, dass ein Limes schöner Objekte nicht schön sein muss.

   Probier es aus: Für f_n(x) = xⁿ auf [0, 1/2]: Finde ein explizites N(ε), das für alle x gleichzeitig funktioniert, und bestätige, dass die Konvergenz dort gleichmäßig ist, obwohl sie auf [0,1] scheitert.

8. 8Kapitel 8

   Potenzreihen und ihr Radius des Vertrauens

   Das letzte Kapitel behandelt unendliche Polynome. Der Konvergenzradius R wird mit der Cauchy-Hadamard-Formel definiert: 1/R = lim sup |a_n|^{1/n}. Es wird bewiesen, dass eine Potenzreihe innerhalb ihres Konvergenzintervalls gliedweise differenziert werden kann und dass der Konvergenzradius der Ableitung derselbe ist.

   Die Idee

   Die gliedweise Differentiation ist das Resultat, das rechtfertigt, Potenzreihen wie Polynome zu behandeln, und es ist alles andere als offensichtlich: allgemeine Funktionenreihen lassen sich ohne zusätzliche Voraussetzungen nicht gliedweise differenzieren. Die Cauchy-Hadamard-Formel verdient eine Pause, weil sie lim sup verwendet, das Werkzeug aus Kapitel 2 — wenn gewöhnliche Grenzwerte von |a_n|^{1/n} nicht existieren mögen, legt der lim sup R dennoch exakt fest. Die gleichen Radien einer Reihe und ihrer Ableitung erklären auch, warum Funktionen wie e^x Reihen haben, die überall konvergieren: Differentiation verkleinert nie den Vertrauensbereich.

   Probier es aus: Wende die Cauchy-Hadamard-Formel auf Σ xⁿ/n! an, indem du lim sup (1/n!)^{1/n} = 0 berechnest, und schließe auf R = ∞; differenziere dann die Reihe gliedweise, um dieselbe Reihe zurückzugewinnen.

Mathematikstudenten, die zum ersten Mal auf strenge Analysis treffen, und Autodidakten, die die Sätze der Analysis bewiesen statt bloß behauptet haben wollen. Dozenten, die eine Einführung in die Analysis unterrichten, werden die ε-δ-Gerüst ebenfalls als ungewöhnlich sauber empfinden.