6.7 Weitere Lernmaterialien
6.7.1 Verwendung des Kapitels
Dieses Kapitel stellt die Grundlagen für Konvergenzbetrachtungen bereit, wobei wir auch einige elementare Grenzwerte bereits berechnen konnten. Die Berechnung dieser Grenzwerte erforderte mit unserem derzeitigen Wissen noch sehr viel Geschick, was mit Hilfe der Regel von de l’Hôpital später erheblich einfacher werden wird. Das heisst, dass die wichtigsten Resultate dieses Kapitels nicht durch die konkreten Beispiele oder auch die ersten speziellen Berechnungsmethoden gegeben sind, sondern vielmehr durch die folgenden Sätze:
Auch wichtig für spätere Berechnungen wird der Zusammenhang zwischen Folgenkonvergenz und Stetigkeit in Proposition 5.50 des vorherigen Kapitels sein. Wir bemerken noch, dass Limes Superior und Limes Inferior nützliche allgemeine Werkzeuge sind, die mitunter auch im Beweis der Konvergenz einer Folge auftreten können. Denn und können für jede reellwertige Folge betrachtet werden, und das Erfüllen der Gleichung ist nach Korollar 6.14 zur Konvergenz der Folge äquivalent. Dies ist vergleichbar damit, dass (wie zum Beispiel im Beweis von Korollar 3.71 über das Maximum von stetigen Funktionen) das Supremum im Beweis für die Existenz eines Maximums wichtig sein kann.
Wir haben insgesamt Konvergenzen für Funktionen ausführlich definiert, wobei es aber insgesamt Kombinationen (wieso?) für reellwertige Funktionen zu definieren gäbe. Betrachten wir Teilmengen , reellwertige Funktionen und Punkte , so gibt es nochmals drei Möglichkeiten (reelle oder uneigentliche Grenzwerte). Für komplexwertige Funktionen gibt es noch eine weitere Definition für jede der möglichen Bewegungen. Es wäre wohl eher langweilig, all diese Definitionen einzeln auszuformulieren und ihre (jeweils sehr analogen) Eigenschaften aufzulisten. Sie sollten sich aber über die verschiedenen Möglichkeiten und Definitionen bewusst sein, siehe aber folgendes Applet.
Applet 6.54 (40 Definitionen).
Wir fassen alle (und einige weitere) Definitionen für Konvergenz in diesem Applet zusammen. Versuchen Sie die Ähnlichkeiten und Unterschiede der verschiedenen Definitionen zu finden.
Des Weiteren konnten wir die reelle Exponentialfunktion mit einem Grenzwert definieren, welche wir gemeinsam mit der Logarithmusfunktion und allgemeinen Potenzen ab nun mit den gewohnten Eigenschaften verwenden dürfen. Die Definition der Exponentialfunktion hat auch zu der Ungleichung
für alle und (siehe Abschnitt 6.3.2) geführt, welche für einige Grenzwertberechnungen nützlich war.
Auch haben wir gesehen, dass das Riemann-Integral sich als ein Grenzwert der sogenannten Riemann-Summen auffassen lässt, was auch zu einer Definition eines vektorwertigen Riemann-Integrals geführt hat.
6.7.2 Übungen
Übung (Stetige Fortsetzung).
Seien stetige Funktionen mit der Eigenschaft, dass . Zeigen Sie, dass gilt.
Übung (Eine Umkehrung des Zwischenwertsatzes).
Sei ein Intervall zu und sei eine Funktion, die folgende Eigenschaften erfüllt:
- (i)
- Für alle ist das Urbild abgeschlossen.
- (ii)
- erfüllt den Zwischenwertsatz, das heisst, für alle in und für alle zwischen und gibt es ein mit .
Zeigen Sie, dass stetig ist.
Übung.
Zeigen Sie die Ungleichung für alle . In der Tat werden wir später eine explizite Form der Asymptotik von (das Gesetz von Stirling) sehen, welche diese Ungleichung verschärft.
Hinweis.
Verwenden Sie Induktion und die Tatsache, dass die Folge gegeben durch monoton wachsend ist.
Übung (Häufungspunkte).
Sei und . Zeigen Sie, dass folgende drei Aussagen äquivalent sind.
- (i)
- ist ein Häufungspunkt der Menge .
- (ii)
- ist ein Häufungspunkt einer injektiven Folge mit Folgengliedern für alle .
- (iii)
- ist der Grenzwert einer injektiven Folge mit Folgengliedern für alle .
Übung (Abgeschlossene Menge der Häufungspunkte).
Zeigen Sie, dass die Menge der Häufungspunkte einer reellwertigen Folge (oder einer Teilmenge ) eine abgeschlossene Teilmenge von bildet.
Übung (Landau Notation).
Begründen Sie, inwiefern die Gleichungen zu
für Sinn ergeben. Verwenden Sie dies, um die Asymptotik für von
sowie
zu beschreiben.
Übung (Gross- und Klein-Omega).
Seien zwei Funktionen auf einer Teilmenge gegeben und sei ein Häufungspunkt von . Definieren Sie in Analogie zur Definition von Gross-O und Klein-o die Beziehungen
und
welche zum Ausdruck bringen, dass in der Nähe von durch ein positives Vielfaches von beschränkt ist respektive dass gegen Null geht für .
Wir wollen in der nächsten Übung den Zusammenhang zwischen „unseren axiomatisch eingeführten reellen Zahlen“ und den „reellen Zahlen als Steigung von quasi-linearen Abbildungen“ von Abschnitt A.2.5 besprechen.
Übung (Steigungen von quasi-linearen Abbildungen).
- (i)
- Sei eine quasi-lineare Abbildung wie in Abschnitt A.2.5. Zeigen Sie, dass
in existiert.
- (ii)
- Sei nun die additive Gruppe der quasi-linearen Abbildungen. Zeigen Sie, dass die Abbildung
ein Homomorphismus ist und .
- (iii)
- Konstruieren Sie zu jedem eine quasi-lineare Abbildung so dass ist.
- (iv)
- Sei quasi-linear so dass . Zeigen Sie, dass nur endlich viele Werte annimmt.
Zusammen sehen wir also in der Tat, dass als abelsche Gruppe isomorph zu ist. Mit etwas mehr Arbeit lässt sich beweisen, dass in der Tat ein Körperisomorphismus vorliegt.
Übung (Cauchy-Folgen).
Zeigen Sie direkt, dass eine Folge im genau dann eine Cauchy-Folge ist, wenn für jedes die reelle Folge der -ten Komponenten eine Cauchy-Folge ist.
Übung (Bilder von Cauchy-Folgen).
Sei eine Teilmenge und eine gleichmässig stetige Funktion. Zeigen Sie, dass Cauchy-Folgen auf Cauchy-Folgen abbildet (für jede Cauchy-Folge in ist auch eine Cauchy-Folge). Gilt dies auch für Funktionen, die stetig, aber nicht gleichmässig stetig sind?
Unter Verwendung von Folgen und Satz 6.15 lassen sich viele Aussagen aus Kapitel 3 anders beweisen, was wir in den folgenden Übung illustrieren möchten.
Übung (Beschränktheit mit Hilfe von Folgen).
Sei eine stetige Funktion auf einem kompakten Intervall zu . Wir wollen zeigen, dass beschränkt ist.
- (i)
- Gehen Sie per Widerspruch vor und finden Sie eine Folge in mit für alle .
- (ii)
- Wenden Sie nun Satz 6.15 an.
Übung (Gleichmässige Stetigkeit mit Hilfe von Folgen).
Sei eine stetige Funktion auf einem kompakten Intervall zu . Gehen Sie nach einem ähnlichen Prinzip vor wie in obiger Übung, um zu zeigen, dass gleichmässig stetig ist.