Kurs:Analysis (Osnabrück 2021-2023)/Teil I/Vorlesung 17/kontrolle
- Logarithmen
Satz
Beweis
Die Stetigkeit folgt aus Korollar 16.10. Nach Korollar 15.8 (4) liegt das Bild in und ist nach dem Zwischenwertsatz ein Intervall. Die Unbeschränktheit des Bildes folgt aus Korollar 15.8 (3), woraus wegen Korollar 15.8 (2), folgt, dass auch beliebig kleine positive reelle Zahlen zum Bild gehören. Daher ist das Bild gleich . Die Injektivität ergibt sich aus Korollar 15.8 (6).
Satz Referenznummer erstellen
ist eine stetige, streng wachsende Funktion, die eine Bijektion zwischen und stiftet. Dabei gilt
für alle .
Beweis
Dies folgt aus Satz 17.1, Satz 13.6, Satz 15.7 und Korollar 15.8.
Definition Referenznummer erstellen
Zu einer positiven reellen Zahl definiert man die Exponentialfunktion zur Basis von als
Aufgabe 17.1 zeigt, dass für reelle Argumente diese Definition mit der aus der 14.ten Vorlesung übereinstimmt.
Satz Referenznummer erstellen
Für die Exponentialfunktionen
zur Basis gelten die folgenden Rechenregeln (dabei seien und , bei (4) sei zusätzlich ).
- Es ist .
- Es ist .
- Es ist .
- Es ist .
Beweis
Definition Referenznummer erstellen
Zu einer positiven reellen Zahl , , wird der Logarithmus zur Basis von durch
definiert.
Satz Referenznummer erstellen
Die Logarithmen zur Basis erfüllen die folgenden Rechenregeln.
- Es ist und , das heißt der Logarithmus zur Basis ist die Umkehrfunktion zur Exponentialfunktion zur Basis .
- Es gilt .
- Es gilt für .
- Es gilt
Beweis
- Summierbarkeit
Bei einer Reihe sind die aufzusummierenden Glieder durch die natürlichen Zahlen geordnet. Häufig kommt es vor, dass diese Ordnung verändert wird. Dabei kann sich sowohl die Summe als auch die Eigenschaft, ob eine konvergente Reihe vorliegt, ändern, allerdings nicht, wenn die Reihe absolut konvergent ist, siehe Aufgabe 9.16 und Aufgabe 9.29. Wenn man sich für die Summe der Kehrwerte aller Primzahlen interessiert, so ist es natürlicher, dies direkt als die Summe aufzufassen, anstatt die Primzahlen durchzunummerieren, um eine durch die natürlichen Zahlen indizierte Reihe zu haben. Wenn man zwei absolut konvergente Reihen und multiplizieren möchte, so geht es nach der Regel, jeden Summanden mit jedem Summanden zu multiplizieren, um die Summe aller Einzelprodukte , , wobei eben die natürliche Indexmenge ist, für die es keine naheliegende Ordung gibt. In der Definition von Cauchy-Produkt werden die Produkte mit konstanter Indexsumme zusammengefasst, um eine Summationsreihenfolge festzulegen, es gibt aber auch noch viele andere Möglichkeiten. Vor diesem Hintergrund ist es sinnvoll, einen Summationsbegriff zu besitzen, der unabhängig von jeder Ordnung der Indexmenge ist. Wir werden diese Theorie nicht systematisch entwickeln, sondern nur den großen Umordnungssatz beweisen, den wir sogleich für das Entwickeln einer Potenzreihen in einem neuen Entwicklungspunkt benötigen. Die Familie sei als , , gegeben. Für jede endliche Teilmenge kann man die zugehörigen Glieder aufsummieren, und wir setzen
Eine sinnvolle Aufsummierung der gesamten Familie muss auf diese endlichen Teilsummen Bezug nehmen.
Definition Referenznummer erstellen
Es sei eine Indexmenge und , , eine Familie von komplexen Zahlen. Diese Familie heißt summierbar, wenn es ein mit folgender Eigenschaft gibt: Zu jedem gibt es eine endliche Teilmenge derart, dass für alle endlichen Teilmengen mit die Beziehung
gilt. Dabei ist . Im summierbaren Fall heißt die Summe der Familie.
Definition Referenznummer erstellen
Es sei eine Indexmenge und , , eine Familie von komplexen Zahlen. Diese Familie heißt eine Cauchy-Familie, wenn es zu jedem eine endliche Teilmenge derart gibt, dass für jede endliche Teilmenge mit die Beziehung
gilt. Dabei ist .
Lemma Referenznummer erstellen
Es sei eine Indexmenge und , , eine Familie von komplexen Zahlen.
Dann ist die Familie genau dann summierbar, wenn sie eine Cauchy-Familie ist.
Beweis
Es sei zunächst die Familie summierbar mit der Summe , und sei vorgegeben. Zu gibt es eine endliche Teilmenge derart, dass für alle endlichen Mengen mit die Abschätzung gilt. Für jede zu disjunkte endliche Teilmenge gilt dann
so dass die Cauchy-Bedingung erfüllt ist.
Es sei nun
, ,
eine
Cauchy-Familie.
Wir brauchen zunächst einen Kandidaten für die Summe. Für jedes
gibt es eine endliche Teilmenge
derart, dass für jede endliche Teilmenge
mit
die Abschätzung
gilt. Wir können annehmen, dass
für alle gilt. Wir setzen
Für gilt
da die Menge disjunkt zu ist. Daher ist eine
Cauchy-Folge
und somit wegen der
Vollständigkeit
von
konvergent
gegen ein
.
Wir behaupten, dass die Familie summierbar ist mit der Summe . Es sei dazu ein
vorgegeben. Es gibt
mit
.
Dann ist wegen der Folgenkonvergenz und der Abschätzung von eben
.
Für jedes endliche
schreiben wir
mit .
Damit gelten die Abschätzungen
Korollar Lemma 17.10 ändern
Es sei , , eine summierbare Familie komplexer Zahlen und eine Teilmenge.
Dann ist auch , , summierbar.
Beweis
- Der große Umordnungssatz
Satz Satz 17.12 ändern
Es sei , , eine summierbare Familie von komplexen Zahlen mit der Summe . Es sei eine weitere Indexmenge und zu jedem sei eine Teilmenge gegeben mit und für .[1]
Dann sind die Teilfamilien , , summierbar und für ihre Summen gilt, dass die Familie , , summierbar ist mit
Beweis
Die Summierbarkeit der Teilfamilien folgt aus Lemma 17.10. Es sei vorgegeben. Da die Ausgangsfamilie summierbar ist, gibt es eine endliche Teilmenge mit
für alle endlichen Teilmengen mit . Es gibt eine endliche Teilmenge derart, dass
ist. Wir behaupten, dass dieses für die Familie , , die Summationseigenschaft für erfüllt. Es sei dazu mit endlich und . Da die Familien , , summierbar mit den Summen sind, gibt es für jedes ein endliches mit
für alle endlichen mit . Wir wählen nun für jedes ein solches so, dass zusätzlich gilt. Dann ist und daher . Somit haben wir insgesamt die Abschätzungen
- Der Entwicklungssatz für Potenzreihen
Satz Referenznummer erstellen
Es sei
eine konvergente Potenzreihe mit dem Konvergenzradius und sei .
Dann gibt es eine konvergente Potenzreihe
mit Entwicklungspunkt und mit einem Konvergenzradius derart, dass die durch diese beiden Potenzreihen dargestellten Funktionen auf übereinstimmen.
Die Koeffizienten von sind
und insbesondere ist
Beweis
Zur Notationsvereinfachung sei , und . Wir betrachten die Familie
summierbar ist. Dies folgt aus der Abschätzung (unter Verwendung von Aufgabe 17.14)
und daraus, dass wegen
gemäß
Lemma 16.7
die rechte Seite für beliebiges beschränkt ist.
Wegen der Summierbarkeit gelten aufgrund des
großen Umordnungssatzes
die Gleichungen
- Fußnoten
- ↑ D.h. die bilden eine disjunkte Vereinigung von .