Benutzer:Dirk Hünniger/mnfana
Was ist Analysis?
[Bearbeiten]Was ist eigentlich Analysis?
[Bearbeiten]Ein Mathematikstudium beginnt normalerweise mit den beiden Grundvorlesungen Analysis und Lineare Algebra, wobei die lineare Algebra ein Teilgebiet der Algebra ist. Analysis und Algebra bilden die beiden Grundpfeiler der modernen Mathematik, die ihrerseits auf der Mengenlehre fußen. Wir werden uns also eine ganze Weile mit diesen beiden Bereichen beschäftigen. Soweit, so gut – doch worum geht es in beiden Vorlesungen überhaupt? Was tut ein Algebraiker und was ein Analytiker? Mit welchen Fragen beschäftigen sie sich? Es ist sinnvoll, zu Beginn einen kleinen Vorgeschmack zu geben, was uns in welchem Bereich erwartet, um den „roten Faden“ einer jeden Vorlesung besser sehen zu können.
Die Algebra, oder viel mehr eine Algebra, ist, ähnlich wie die rationalen oder die reellen Zahlen, eine Art „Zahlenraum“: In einer Algebra kann man addieren und multiplizieren. So beschäftigt sich die Algebra zu einem großen Teil mit Umformungen, die durch Addition oder Multiplikation entstehen, wobei auch das Wurzelziehen dazu gehört. In der Algebra möchte man unter anderem die Frage beantworten, wie man eine Gleichung umformen muss, um sie zu „lösen“ und ob eine bestimmte Gleichung überhaupt lösbar ist. Generell beschäftigt sich die Algebra häufig mit Gleichungen und eher selten mit Ungleichungen.
In der linearen Algebra treten alle beteiligten Größen einer Gleichung nur in erster Potenz (also in linearer Ordnung) auf. Eine klassische Fragestellung aus der linearen Algebra ist die, wann sich ein Gleichungssystem der folgenden Form lösen lässt:
Beachte, dass alle hier nur in erster Potenz, d. h. „hoch eins“ auftauchen, die wegen im obigen Gleichungssystem weggelassen wurde.
Die Analysis auf der anderen Seite beschäftigt sich mit der Stetigkeit von Funktionen, mit Grenzwerten, mit der Differential- und der Integralrechnung. Wenn wir eine Funktion wie zum Beispiel
betrachten, so ist die Suche nach ihren Nullstellen algebraischer Natur. Wenn wir uns aber für ihr Verhalten in der Nähe ihrer Polstellen oder ihr Verhalten für interessieren, so ist das eine analytische Fragestellung. Ebenso ist die Untersuchung ihrer Steigung und ihrer Krümmung ein analytisches Vorhaben.
Eine weitere Frage der Analysis ist die, ob es Funktionen gibt, die unstetig sind, aber nirgends einen „Sprung“ machen – die Antwort hierauf lautet „ja“. Ferner können wir uns fragen, ob eine Funktion, die differenzierbar ist, eine unstetige Ableitung haben kann – auch hier ist die Antwort „ja“ – oder ob ihre Ableitung einen der eben erwähnten Sprünge aufweisen kann – diesmal lautet die Antwort „nein“. Wir folgern somit, dass eine Funktion mit Sprung niemals die Ableitung einer anderen Funktion sein kann. Sie kann aber trotzdem integrierbar sein. Die Berechnung ihres Integrals ist ebenfalls Aufgabe des Analytikers.
Die Analysis gibt uns Konzepte an die Hand, mit denen wir die aktuelle Änderung einer Funktion beschreiben können. Diese Konzepte werden in den Naturwissenschaften verwendet, um Naturgesetze oder Formeln für bestimmte Modelle aufzustellen. Dies ist auch der Grund, warum die Analysis eine so wichtige Rolle für die Naturwissenschaften spielt. Der Analytiker untersucht, wie die Veränderung eines Systems vorhergesagt werden kann, und wie exakt solche Vorhersagen sind.
Wir haben damit bereits einen kleinen Einblick in die Welt der Mathematik gewonnen und wissen zumindest grob, was uns auf welcher Seite (Algebra und Analysis) erwartet. Oft bevorzugt ein Mathematiker eine der beiden Seiten, ist also eher Algebraiker oder eher Analytiker. In Wirklichkeit kommt jedes der beiden Gebiete nicht ohne das jeweils andere aus. Es muss also nicht beim entweder – oder bleiben, denn beide Felder können gleichermaßen interessant und bereichernd sein. Zumindest in diesem Projekt werden wir uns der Analysis widmen…
Wozu Analysis studieren?
[Bearbeiten]Wieso sollte ich Analysis studieren? Dies ist eine berechtigte Frage, auf die zu Beginn jeder Vorlesung und jedes Lehrbuchs zur Analysis eingegangen werden sollte. Ich möchte dir in diesem Kapitel einige der Gründe darlegen.
Analysis als Grundlage der Mathematik
[Bearbeiten]Die Analysis ist eine der grundlegenden Vorlesungen der Mathematik. Viele Theorien wie die Funktionentheorie, Funktionalanalysis und die Theorie der gewöhnlichen Differentialgleichungen bauen direkt auf ihr auf. Außerdem werden zahlreiche Konzepte der Analysis in abgewandelter Form in anderen Bereichen der Mathematik verwendet.
Um Mathematik studieren zu können, ist es daher unumgänglich, sich auch mit Analysis zu befassen. Diese Theorie wird ein Schlüssel sein, um andere mathematische Teilbereiche zu verstehen. Egal für welche Gebiete in der Mathematik du dich interessierst, du wirst dafür sehr wahrscheinlich Hintergrundwissen aus der Analysis benötigen.
Das Gleiche gilt, wenn du Mathematik vor allem als Werkzeug für dein Studium oder deine Forschung verwendest. Was auch immer du aus der Mathematik brauchst, Kenntnisse in der Analysis werden dir mit hoher Wahrscheinlichkeit helfen, deine mathematischen Werkzeuge und Hilfsmittel zu verstehen.
Analysis als Sprache der Natur
[Bearbeiten]Die meisten naturwissenschaftlichen Problemstellungen werden mit Hilfe von Konzepten modelliert, die du in der Analysis kennen lernen wirst: Wie lassen sich Ort und Geschwindigkeit eines sich bewegenden Objekts bestimmen und vorhersagen? Wie lässt sich das elektrische Feld eines Systems geladener Körper berechnen?
Der Anwendungsbereich der Analysis reicht von einfachen Problemen bis hin zu modernen Forschungsgebieten wie axiomatische Quantenfeldtheorien oder die quantitative Modellierung biologischer Prozesse. Eine sehr gute Kenntnis dieser Konzepte wird dir demnach helfen, die Gesetze der Natur zu verstehen und zu formulieren. Wenn du also Student einer Naturwissenschaft sein solltest oder dich generell für eine Naturwissenschaft interessierst, wird dir ein Studium der Analysis äußerst hilfreich sein.
Analysis in der Schule
[Bearbeiten]Die Analysis ist eine der wenigen Vorlesungen im Mathematikstudium, die bereits in der Schule gelehrt werden. Wenn du also Mathematik auf Lehramt studierst, wirst du Kenntnisse dieser Vorlesung direkt für deinen späteren Lehrberuf verwenden können. Ein tiefgründiges Verständnis der Analysis wird dir helfen, deinen Schülern die Mathematik besser zu erklären.
Analysis als exakte mathematische Theorie
[Bearbeiten]Anders als du die Analysis in der Schule kennen gelernt hast, werden wir in diesem Buch die Theorie mathematisch exakt formulieren. Das heißt, dass wir jeden Satz rigoros beweisen und jeden Begriff exakt definieren werden. Am Ende wirst du beispielsweise wissen, wieso die Ableitung von gleich ist und was eine „Ableitung“ überhaupt ist. Wir werden dabei jeden Begriff motivieren, damit du auch weißt, warum wir gewisse Konzepte in der Analysis einführen. Dadurch wirst du nicht nur dein Schulwissen über die Analysis vertiefen, dieses Wissen kann dir auch helfen, komplizierte Probleme der Analysis zu lösen.
Analysis als Übung für mathematisches Denken
[Bearbeiten]Dass die Analysis bereits in der Schule gelehrt wurde, hat auch einen weiteren Vorteil: Der Stoff ist bereits mehr oder weniger bekannt, was uns die Chance gibt, uns mehr auf die mathematische Arbeitsweise zu konzentrieren. Das exakte und saubere mathematische Arbeiten ist nämlich ungewohnt und muss am Anfang eines Studiums erst geübt werden. Die Analysis bietet sich hierfür hervorragend an.
Auch wenn du später keine Analysis mehr brauchen solltest, ist eine erlernte mathematische Denk- und Arbeitsweise sehr nützlich für dich. Studenten der Mathematik (und auch naturwissenschaftlicher Fächer) sind gerade aufgrund dieser Fähigkeit bei Arbeitgebern beliebt. Ich bin mir sicher, dass dir die mathematische Denk- und Arbeitsweise bei deinen Projekten und Aufgaben sehr helfen wird.
Was sind reelle Zahlen?
[Bearbeiten]Reelle Zahlen bilden die Grundlage für dieses Lehrbuch. Schließlich wollen wir uns mit Folgen reeller Zahlen oder mit reellwertigen Funktionen beschäftigen. Bevor wir mit dem Studium der Analysis beginnen, sollten wir uns zunächst fragen: Was sind reelle Zahlen?
Das ist gar keine einfache Frage. Schauen wir uns zunächst auf der Meta-Ebene die Möglichkeiten an, diese zu definieren.
Die Beschreibungsmöglichkeiten reeller Zahlen
[Bearbeiten]Jeder von uns hat bereits eine intuitive Vorstellung, was reelle Zahlen sind, auch wenn nicht alle diese Idee in Worte fassen können. Beispielsweise kann man sich die reellen Zahlen als Punkte auf der Zahlengeraden vorstellen:
Unsere Aufgabe besteht darin, diese intuitive Idee in die exakte Sprache der Mathematik zu übersetzen. Dazu haben wir zwei Möglichkeiten: die axiomatische und die konstruktive Beschreibung.
Die axiomatische Beschreibung
[Bearbeiten]Bei der axiomatischen Beschreibung wird nicht direkt gesagt, was reelle Zahlen sind, es wird vielmehr nur erklärt, welche Eigenschaften sie haben. Bei dieser Herangehensweise sagen wir: „Die reellen Zahlen sind eine Menge von Objekten, die folgende charakteristische Eigenschaften besitzen: <Aufzählung der Eigenschaften reeller Zahlen>“. Die grundlegenden Eigenschaften werden dabei über Axiome festgelegt. Zur Erinnerung: Ein Axiom ist eine Aussage, die ohne Beweis als wahr angenommen wird. Jedes mathematische Modell, das alle genannten Eigenschaften/Axiome erfüllt, wird als Modell der reellen Zahlen angesehen. Aussagen, die auf Grundlage der Axiome bewiesen werden, werden Theoreme genannt.
Bei der Wahl der Axiome müssen wir darauf achten, dass sie widerspruchsfrei sind. Es muss also mindestens ein Modell geben, das alle Axiome erfüllt. Beispielsweise können wir nicht sagen, dass gleichzeitig als auch gelten soll. Eine solche Struktur kann es nämlich nicht geben. Außerdem sollten die Axiome nachvollziehbar sein, also wirklich Eigenschaften bezeichnen, die wir auch intuitiv den reellen Zahlen zuschreiben.
Des Weiteren müssen ausreichend viele Axiome zur Charakterisierung der reellen Zahlen definiert sein. Bei zu wenigen Axiomen könnten auch Strukturen diese erfüllen, die wir intuitiv nicht als Modell reeller Zahlen ansehen. So ist es beispielsweise nicht ausreichend zu sagen, dass es für die reellen Zahlen eine Addition mit für alle und gibt. Allein dieses Axiom ist zu wenig, denn die natürlichen Zahlen erfüllen diese Eigenschaft auch. Sie sind für uns aber kein Modell reeller Zahlen.
Außerdem soll eine gewisse Sparsamkeit beachtet werden: Es sollten keine Axiome unnötig definiert werden. Dies bedeutet, dass keine Eigenschaften als Axiome benannt werden, die sich bereits aus anderen Axiomen herleiten lassen. Wenn also aus den Axiomen und bereits folgt, dass auch die Eigenschaft erfüllt sein muss, dann wird nicht extra als Axiom definiert.
Die konstruktive Beschreibung
[Bearbeiten]Bei der konstruktiven Beschreibung werden die reellen Zahlen aus den rationalen Zahlen konstruiert. Das bedeutet, dass durch ein gewisses Verfahren aus rationalen Zahlen neue Objekte geschaffen werden, welche man danach als reelle Zahlen definiert.
Anders als bei der axiomatischen Beschreibung, welche die reellen Zahlen nur durch ihre Eigenschaften beschreibt, kann man beim konstruktiven Verfahren genau sagen, was die reellen Zahlen sind. Es sind genau die Objekte, die durch das Konstruktionsverfahren entstanden sind. Die Eigenschaften der reellen Zahlen müssen bei dieser Beschreibung auch nicht durch Axiome definiert werden, sondern ergeben sich aus den Eigenschaften der konstruierten Objekte.
Es gibt mehrere Konstruktionsverfahren der reellen Zahlen[1]. Die dabei entstandenen Strukturen sind jedoch äquivalent in dem Sinne, dass sie dieselben Eigenschaften haben (man nennt solche Strukturen „isomorph“).
Der Zusammenhang beider Beschreibungen
[Bearbeiten]Beide Vorgehensweisen liefern am Ende dieselben Ergebnisse. Wenn man für ein konstruiertes Modell alle diejenigen Eigenschaften nachweisen kann, die man als Axiome in der axiomatischen Beschreibung definiert hat, dann besitzt das Modell auch die Eigenschaften, die man aus den Axiomen hergeleitet hat. Wenn man umgekehrt in der konstruierten Beschreibung nur diejenigen Eigenschaften des Modells für spätere Argumentationen heranzieht, die man in der axiomatischen Beschreibung als Axiome definieren würde, dann kann man auch alle mit dem Modell bewiesenen Sätze in der axiomatischen Beschreibung beweisen.
Es ist also egal, welchen Weg wir wählen. Zu Beginn gehen wir den Weg der axiomatischen Beschreibung, weil er leichter zu verstehen ist (für die konstruktive Beschreibung brauchen wir Konzepte, die Studienanfänger in der Regel noch nicht oder nicht ausreichend kennen).
Zusammenfassung: Weg zur axiomatischen Beschreibung reeller Zahlen
[Bearbeiten]Um die Axiome der reellen Zahlen zu finden, kann man folgendermaßen vorgehen:
- Intuitive Idee entwickeln: Zunächst brauchen wir eine intuitive Idee der reellen Zahlen. Hierzu können wir beispielsweise auf die intuitive Idee zurückgreifen, dass reelle Zahlen Punkte auf der Zahlengeraden sind.
- Axiome definieren: Nun müssen alle Axiome definiert werden. Dazu müssen wir folgende Punkte beachten:
- Nachvollziehbarkeit: Die Axiome sollten sinnvoll sein. Das bedeutet, dass jedes Axiom intuitiv nachvollziehbar ist.
- Widerspruchsfreiheit: Die Axiome müssen in sich widerspruchsfrei sein. Das kann implizit dadurch gezeigt werden, dass ein konkretes Modell der reellen Zahlen konstruiert werden kann. Damit es ein Modell der reellen Zahlen geben kann, müssen die Axiome nämlich in sich widerspruchsfrei sein.
- Vollständigkeit: Sobald ein Modell alle Axiome erfüllt, sollte es unserer intuitiven Vorstellung von reellen Zahlen entsprechen. Alle Theoreme über reelle Zahlen müssen wir aus den Axiomen herleiten können.
- Sparsamkeit: Kein Axiom kann aus den anderen hergeleitet werden.
- Begriffe definieren und Theoreme beweisen: Aufbauend auf den Axiomen werden wir Grundbegriffe der Analysis einführen und die Theoreme der Analysis beweisen.
In der Analysis werden alle Theoreme mit Hilfe der Axiome reeller Zahlen bewiesen. Dabei wird es zwangsweise vorkommen, dass wir Konzepte einführen oder Sätze beweisen, die schon aus der Schule bekannt sind – wie die Gleichung . Bei diesen Beweisen ist es wichtig, dass wir nur solche Eigenschaften reeller Zahlen heranziehen, die entweder in den Axiomen definiert wurden oder die wir bereits bewiesen haben. Bekannte Tatsachen aus der Schule dürfen nicht ohne weiteres verwendet werden!
Die Axiome der reellen Zahlen können in drei Gruppen aufgeteilt werden: Die Körperaxiome, die Anordnungsaxiome und das Vollständigkeitsaxiom.
Die Körperaxiome
[Bearbeiten]Mit den Körperaxiomen wird die Addition und Multiplikation, also die arithmetische Struktur der reellen Zahlen, definiert. Die reellen Zahlen sind Objekte, die addiert und multipliziert werden können, wobei die grundlegenden Eigenschaften der Additionen und Multiplikationen genannt werden. Die Subtraktion und die Division werden auf die Addition beziehungsweise die Multiplikation zurückgeführt. Diese Axiomengruppe beschreibt, wie man mit reellen Zahlen rechnen kann.
Definition (Körperaxiome)
Auf der Menge der reellen Zahlen sind zwei Operationen und definiert. Diese erfüllen folgende Eigenschaften:
- Eigenschaften der Addition:
- Assoziativgesetz der Addition: Für alle reellen Zahlen gilt .
- Kommutativgesetz der Addition: Für alle reellen Zahlen und gilt .
- Existenz der Null: Es gibt mindestens eine reelle Zahl , für die für alle reellen Zahlen gilt.
- Existenz des Negativen: Für jede reelle Zahl gibt es mindestens eine reelle Zahl mit .
- Eigenschaften der Multiplikation:
- Assoziativgesetz der Multiplikation: Für alle reellen Zahlen gilt .
- Kommutativgesetz der Multiplikation: Für alle reellen Zahlen und gilt .
- Existenz der Eins: Es gibt mindestens eine reelle Zahl mit , für die für alle reellen Zahlen gilt.
- Existenz des Inversen: Für jede reelle Zahl gibt es mindestens eine reelle Zahl mit .
- Distributivgesetz: Für alle reellen Zahlen gilt .
Die Anordnungsaxiome
[Bearbeiten]Die Anordnungsaxiome beschreiben die lineare Ordnung der reellen Zahlen. Die reellen Zahlen sind also Objekte, die man miteinander vergleichen kann, wobei für zwei verschiedene reelle Zahlen entweder die eine Zahl größer ist als die andere oder umgekehrt. Dadurch ergibt sich ein wesentlicher Zusammenhang der Struktur der reellen Zahlen mit der einer Geraden, da auch die Punkte einer Geraden in natürlicher Art und Weise geordnet sind. Diese Axiomengruppe ist also wesentlich für die Vorstellung der reellen Zahlen als Punkte auf einer Zahlengeraden. In dieser Axiomengruppe wird auch definiert, wie die Operationen der Addition und Multiplikation mit der Ordnungsstruktur in Verbindung stehen.
Die Ordnung der reellen Zahlen kann dadurch beschrieben werden, dass wir alle positiven Zahlen kennen. Wenn eine positive Zahl ist, schreiben wir . Die Positivität der reellen Zahlen wird dabei über die Anordnungsaxiome definiert:
Definition (Anordnungsaxiome)
Die Anordnungsaxiome lauten
-
Trichotomie der Positivität: Für alle reellen Zahlen gilt entweder oder oder .
Mit den Abkürzungen "" für "für alle" und "" für "entweder oder" können wir dies schreiben als
-
Abgeschlossenheit bezüglich Addition: Für alle reellen Zahlen und gilt: Wenn und ist, dann ist auch . In Zeichen:
-
Abgeschlossenheit bezüglich Multiplikation: Für alle reellen Zahlen und gilt: Wenn und ist, dann ist auch . In Zeichen:
Mit Hilfe der Positivitätseigenschaft können wir die Kleiner-Relation definieren:
Definition (Kleiner-Relation)
Die Kleiner-Relation ist durch folgende Äquivalenz definiert:
Es ist also genau dann kleiner als , wenn die Differenz positiv ist. Über die Kleiner-Relation können wir alle weiteren Ordnungsrelationen definieren:
Definition (Weitere Ordnungsrelationen auf Grundlage der Kleiner-Relation)
Für die reellen Zahlen sind außerdem die Relationen , und über folgende Äquivalenzen definiert:
Das Vollständigkeitsaxiom
[Bearbeiten]Das Vollständigkeitsaxiom beschreibt den Übergang beziehungsweise den markanten Unterschied zwischen den rationalen und den reellen Zahlen. Während die obigen beiden Axiomengruppen noch durch die Menge der rationalen Zahlen erfüllt werden, gilt dies nicht mehr für das Vollständigkeitsaxiom. Der Grund dafür ist, dass es im Zahlenbereich der rationalen Zahlen „Lücken“ wie gibt. Diese Lücken können zwar beliebig durch rationale Zahlen approximiert werden, sind aber selbst keine rationalen Zahlen mehr. Bei den reellen Zahlen gibt es solche Lücken nicht, weil das Vollständigkeitsaxiom die Existenz von Lücken ausschließt. Wenn man irgendetwas beliebig durch reelle Zahlen annähern kann, so existiert dieses „irgendetwas“ und ist wieder eine reelle Zahl.
Eine Approximation einer Zahl kann durch eine Intervallschachtelung realisiert werden. Diese ist eine Folge von Intervallen, die ineinander liegen und deren Länge gegen Null streben:
Eine Intervallschachtelung dient als Approximation einer reellen Zahl. Jedes Intervall schränkt den Bereich ein, in dem die zu approximierende Zahl liegt und im Laufe der Intervallschachtelung wird dieser Bereich immer kleiner. Das Intervallschachtelungsprinzip garantiert, dass durch jede Intervallschachtelung mindestens eine Zahl approximiert wird:
Definition (Allgemeines Intervallschachtelungsprinzip)
Zu jeder allgemeinen Intervallschachtelung , , ... existiert eine reelle Zahl, die in allen Intervallen liegt und damit von allen Intervallen approximiert wird.
Dieses Vollständigkeitsaxiom beschreibt, dass die Menge der reellen Zahlen keine „Lücken“ besitzt. Um zu beschreiben, dass die reellen Zahlen die kleinstmögliche Erweiterung sind, um die Lücken der rationalen Zahlen zu füllen, müssen wir das Intervallschachtelungsprinzip um ein weiteres Axiom ergänzen. Hierzu müssen wir ausschließen, dass es unendlich kleine bzw. unendlich großen Zahlen gibt. Eine positive Zahl wäre im Vergleich zu einer positiven Zahl unendlich groß, wenn größer als alle Vielfachen von wäre, wenn also keine der Vielfachen jemals über hinauswächst. Für alle natürlichen Zahlen wäre also . Dies wollen wir nun ausschließen. Für je zwei positive Zahlen und soll es also mindestens eine natürliche Zahl mit geben. Genau diese Eigenschaft beschreibt das archimedische Axiom:
Definition (Das Archimedische Axiom)
Für alle reellen Zahlen gibt es eine natürliche Zahl , so dass ist. Mit den Abkürzungen "" für "für alle" und "" für "es gibt" liest sich dies als
Mit Hilfe des Vollständigkeitsaxioms kann man zeigen, dass reelle Zahlen beliebig durch rationale Zahlen angenähert werden können. Diese Eigenschaft ist wesentlich, denn sie ermöglicht das Rechnen mit rationalen Zahlen anstelle von reellen Zahlen. Beispielsweise werden Computerberechnungen in der Regel nur mit rationalen Zahlen durchgeführt[2]. Solche Rechnungen sind zwar fehleranfällig, ihre Fehler können aber in der Regel beliebig klein gemacht werden.
Die Zahlengerade
[Bearbeiten]Im vorherigen Abschnitt zu den reellen Zahlen habe ich dir erklärt, dass wir im Folgenden die reellen Zahlen axiomatisch einführen wollen. Um die gewählten Axiome auch nachvollziehen zu können, ist es sehr hilfreich, eine intuitive Idee der reellen Zahlen zu haben. Damit wir auch dieselbe intuitive Idee besitzen, möchte ich an dieser Stelle die Vorstellung der reellen Zahlen als Punkte auf einer Zahlengeraden kurz wiederholen.
Reelle Zahlen als Punkte auf der Zahlengeraden
[Bearbeiten]Zunächst starten wir mit einer Geraden:
Auf dieser Geraden legen wir zwei Punkte für die Zahlen „0“ und „1“ fest, wobei die Eins rechts neben der Null liegen soll:
Sobald wir diese zwei Zahlen 0 und 1 auf der Zahlengeraden eingezeichnet haben, ergeben sich automatisch auch die Positionen aller anderen Zahlen. Die negativen reellen Zahlen werden dabei links und die positiven reellen Zahlen rechts von der Null eingezeichnet. Der Abstand von jeder einzelnen Zahl zur Null soll gleich dem Betrag dieser Zahl sein. Der Abstand der bereits eingetragenen Zahlen 0 und 1 ist dabei die Einheitslänge, womit wir alle weiteren Abstände auf der Zahlengeraden bestimmen können. Am Ende haben wir folgendes Bild:
Ordnung der reellen Zahlen
[Bearbeiten]Durch die Identifizierung der reellen Zahlen mit Punkten auf der Zahlengeraden ergibt sich auf natürliche Art und Weise auch eine Ordnung. Für zwei reelle Zahlen und definiert man bzw. , wenn rechts von auf der Zahlengeraden liegt:
Anhand dieser Vorstellung der Ordnung reeller Zahlen sind viele Eigenschaften der Ordnungsrelation direkt nachvollziehbar. So kann man sich klar machen, dass wenn und ist, automatisch auch ist. Wenn also links von liegt und selbst wieder links von liegt, dann liegt auch links von .
Rechnen auf der Zahlengeraden
[Bearbeiten]Um unsere intuitive Idee der Zahlengeraden zu vervollständigen, müssen wir noch klären, wie man mit reellen Zahlen auf der Zahlengeraden rechnen kann. Wir müssen also definieren, wie man Zahlen auf der Zahlengeraden addiert, subtrahiert, multipliziert und dividiert.
Die Addition
[Bearbeiten]Die Addition reeller Zahlen als Vektoraddition
[Bearbeiten]Um Zahlen auf der Zahlengeraden zu addieren, identifiziert man jede einzelne Zahl mit einem Vektor, der in der Null beginnt und bei der jeweiligen Zahl endet. Ein Vektor ist dabei nichts anderes als ein Pfeil, also eine gerichtete Strecke, mit klar definiertem Anfangs- und Endpunkt. Für das Beispiel der Zahlen -2 und 3 sehen die entsprechenden Vektoren so aus:
Um nun 3 plus -2 zu rechnen, nimmt man den Anfangspunkt des Vektors -2 (welcher vorher bei 0 lag) und legt ihn auf den Endpunkt des Vektors 3. Der so verschobene Endpunkt des Vektors -2 zeigt dann auf das Ergebnis der Addition , also 1:
Analog erhält man 3 als die Summe von 1 und 2:
Beachte, dass wir dabei das Modell der reellen Zahlen gewechselt haben: Die einzelnen Vektoren, die wir als Zwischenschritt benutzt haben, sind nämlich keine Punkte auf der Zahlengeraden mehr, sondern Pfeile, die in der Null beginnen und irgendwo auf der Zahlengeraden enden (also ganz andere Objekte). Da es aber zu jedem Punkt auf der Zahlengeraden genau einen Vektor gibt, der von der 0 zu diesem Punkt verläuft, und weil jeder Vektor eindeutig durch seinen Endpunkt beschrieben wird, gibt es eine 1-zu-1-Zurordnung zwischen Punkten auf der Zahlengeraden und ihren jeweiligen Vektoren. Somit können wir jederzeit zwischen den beiden Modellen hin- und herwechseln. Das zweite Modell entspricht im Übrigen der Vorstellung der reellen Zahlen als eindimensionaler Vektorraum, den du vielleicht schon aus der linearen Algebra kennst.
Die Addition reeller Zahlen als Translation
[Bearbeiten]In der obigen Methode haben wir beide Summanden als Vektoren aufgefasst. Es ist jedoch auch möglich, sich weiterhin einen Summanden als Punkt auf der Zahlengeraden vorzustellen und nur einen Summanden als Vektor aufzufassen. Hierzu nimmt man für die Summe den Vektor und trägt diesen beginnend beim Punkt auf der Zahlengeraden ab. Der Endpunkt von zeigt dann auf das Ergebnis von :
Hier entspricht die Addition einer Verschiebung des Punktes auf der Zahlengeraden um den Vektor und ist damit eine Translation. Translation ist dabei der mathematische Begriff für eine (Parallell-)Verschiebung.
Die Subtraktion
[Bearbeiten]Die Subtraktion funktioniert wie die Addition, nur dass man die Richtung des Vektors ändern muss, den wir subtrahieren wollen. Wenn wir beispielsweise rechnen wollen, so kehren wir die Richtung des Vektors 2 um und erhalten so den Vektor -2. Am Ende wird dann mit der obigen Methode berechnet. Diese Art und Weise der Subtraktion werden wir später auch bei der axiomatischen Einführung der reellen Zahlen nutzen.
Die Multiplikation
[Bearbeiten]Um zu klären, was die Multiplikation ist, könnten wir definieren, dass gleich dem Flächeninhalt eines Rechtecks mit den Seitenlängen und ist. Diese Vorgehensweise hat jedoch folgende Nachteile:
- Für uns sind Zahlen Punkte auf der Zahlengeraden. Jedoch ist ein Flächeninhalt kein solcher Punkt und wir müssten zunächst klären, wie wir einem Flächeninhalt eines Rechtecks einen Punkt auf der Zahlengeraden zuordnen. Anders als bei den Vektoren im Abschnitt zur Addition ist dies nicht trivial.
- Da auch negativ sein kann, müssten wir zusätzlich noch definieren, welche Flächen als negativ anzusehen sind. Hier stellt sich im Gegensatz zur Zahlengeraden die Frage: „Was ist eine negative Fläche?“, was wiederum nicht aus dem Stegreif zu beantworten ist. Für Punkte auf der Zahlengeraden gibt es demgegenüber eine einfache geometrische Bedeutung der Negativität: Ein Punkt ist genau dann negativ, wenn er links von der Null liegt.
Deswegen folgen wir dem Vorschlag von René Descartes, der 1637 in seinem Werk „Géométrie“ die Multiplikation zum ersten Mal so einführte, dass das Ergebnis eines Produktes wieder eine Strecke ist[3]. Hierzu will ich eine etwas abgewandelte Methode benutzen, und zwar folgende Vorstellung einer Multiplikation durch eine Streckung:
Stell dir vor, wir wollen das Produkt berechnen. Hierzu zeichnest du zunächst zwei parallele Zahlengeraden. Auf der einen Zahlengeraden zeichnest du den Faktor 2 und auf der anderen den Faktor ein. Die beiden Zahlengeraden verbindest du durch eine vertikale Gerade, welche durch die Null geht:
Nun zeichnest du eine Gerade ein, welche durch den eingezeichneten Punkt 2 auf der einen Zahlengeraden und dem Punkt 1 auf der anderen Zahlengeraden geht:
Die so eingezeichnete Gerade schneidet irgendwo die vertikale Gerade. Diesen Punkt verbindet man mit dem zweiten Faktor zu einer zweiten Hilfsgeraden. Der Punkt, in dem diese Hilfsgerade die andere Zahlengerade schneidet, entspricht dem Ergebnis des Produkts . In diesem Beispiel ist das Ergebnis 3:
Das Ganze funktioniert genauso, wenn einer oder beide Faktoren negativ sind:
Eine Besonderheit gibt es aber: Wenn der erste Faktor 1 ist, ist nämlich die erste Hilfsgerade parallel zur vertikalen Geraden durch die Nullpunkte und schneidet dementsprechend diese Gerade nie. In diesem Fall muss auch die zweite Hilfsgerade parallel zur vertikalen Geraden eingezeichnet werden. Der zweite Faktor ändert sich dann durch die Multiplikation nicht:
Obige Methode entspricht tatsächlich der Vorstellung der Multiplikation durch eine Streckung. Wenn man nämlich die 1 auf streckt, dann entspricht der Streckung von um denselben Streckungsfaktor. Dass am Ende die obige Methode auch das richtige Ergebnis liefert, lässt sich durch den Strahlensatz nachvollziehen.
Die Division
[Bearbeiten]Die Division kann ähnlich zur Multiplikation durchgeführt werden. Anders als bei der Multiplikation werden hier beide Zahlen, also sowohl Dividend als auch Divisor, auf derselben Zahlengeraden eingetragen. Für das Beispiel sieht die Zahlengeraden so aus:
Nun verbindet man den Divisor, hier also 2, mit der Zahl 1 der anderen Zahlengeraden zu einer Hilfsgeraden:
Die eben eingezeichnete Hilfsgerade schneidet die vertikale Gerade in einem Punkt, welchen man mit dem Dividenden, hier 3, zu einer zweiten Hilfsgeraden verbindet:
Der Schnittpunkt der zweiten Hilfsgeraden mit der zweiten Zahlengeraden ist dann das Ergebnis der Division. Wir erhalten so das Ergebnis . Auch diese Methode lässt sich mit dem Strahlensatz nachvollziehen.
Dem Quotienten entspricht also die Strecke, die man erhält, wenn man um denselben Streckungsfaktor streckt, der notwendig ist, um auf zu strecken. Hier sieht man auch, dass eine Division mit 0 nicht möglich ist, weil man 0 nicht auf 1 strecken kann (jede Streckung von 0 bleibt nämlich 0).
Vollständigkeit der Zahlengeraden
[Bearbeiten]Die Zahlengerade ist vollständig in dem Sinn, dass sie keine Lücken enthält. So muss es auf der Zahlengeraden einen Punkt für geben, weil man durch folgende Konstruktion finden kann:
Diese Eigenschaft der Zahlengeraden ist noch recht schwammig. Wie lässt sich beispielsweise mathematisch definieren, was „Lücken“ sind und dass sie nicht auf der Zahlengeraden existieren? Da wir in diesem Kapitel aber nur eine intuitive Idee der reellen Zahlen entwickeln wollen, ist es kein Problem, wenn wir hierzu intuitiv verständliche Eigenschaften heranziehen. Später im Abschnitt zur Vollständigkeit reeller Zahlen werden wir klären, wie man diese intuitive Idee der Lückenfreiheit in die strikte Sprache der Mathematik übersetzt.
Körperaxiome
[Bearbeiten]Was würdest du auf folgende Frage antworten: „Was sind die reellen Zahlen?“ Manche meinen: „Reelle Zahlen sind das, mit dem man rechnen kann“. Diese Antwort kommt der tatsächlichen Definition reeller Zahlen durchaus nah. Sie muss aber noch konkretisiert werden. Was bedeutet es, dass man „mit Zahlen rechnen kann“? In diesem Kapitel erfährst du die Antwort darauf...
Einleitung
[Bearbeiten]Wir beginnen die Definition der reellen Zahlen mit den sogenannten Körperaxiomen. Diese bilden neben den Anordnungsaxiomen und dem Vollständigkeitsaxiom die Basis, um die reellen Zahlen zu charakterisieren. Zur Wiederholung: Axiome sind Aussagen, die ohne Beweis als wahr angenommen werden. Die Körperaxiome beschreiben damit Eigenschaften der reellen Zahlen, die wir nicht hinterfragen. Es sind Eigenschaften, die wir als charakteristisch für die reellen Zahlen ansehen. Die Körperaxiome (und die anderen Axiome der reellen Zahlen) entsprechen damit folgender Aussagenstruktur
Reelle Zahlen sind Objekte, die folgende Eigenschaften besitzen: …
Dabei definieren die Körperaxiome die vier Grundrechenarten der reellen Zahlen: Addition, Subtraktion, Multiplikation und Division. In den Körperaxiomen selbst wird die Addition und die Multiplikation charakterisiert. Die Subtraktion und die Division werden anschließend, wie du noch sehen wirst, über gesonderte Definitionen eingeführt.
Die Körperaxiome
[Bearbeiten]Die Körperaxiome lauten: Auf der Menge der reellen Zahlen sind zwei (zweistellige) Verknüpfungen definiert:
- eine Verknüpfung der Addition:
- eine Verknüpfung der Multiplikation:
Die Schreibweise bezeichnet eine zweistellige Operation. Das bedeutet beispielsweise in der Schreibweise , dass die Addition zwei reelle Zahlen als Argumente annimmt und ihnen eine reelle Zahl als Ergebnis zuordnet. Analog macht auch die Multiplikation aus zwei reellen Zahlen als Argumente eine reelle Zahl als Ergebnis. Weiterhin fordern die Körperaxiome, dass diese Verknüpfungen folgende Eigenschaften besitzen sollen:
Definition (Körperaxiome)
Auf der Menge der reellen Zahlen sind zwei Operationen und definiert. Diese erfüllen folgende Eigenschaften:
- Eigenschaften der Addition:
- Assoziativgesetz der Addition: Für alle reellen Zahlen gilt .
- Kommutativgesetz der Addition: Für alle reellen Zahlen und gilt .
- Existenz der Null: Es gibt mindestens eine reelle Zahl , für die für alle reellen Zahlen gilt.
- Existenz des Negativen: Für jede reelle Zahl gibt es mindestens eine reelle Zahl mit .
- Eigenschaften der Multiplikation:
- Assoziativgesetz der Multiplikation: Für alle reellen Zahlen gilt .
- Kommutativgesetz der Multiplikation: Für alle reellen Zahlen und gilt .
- Existenz der Eins: Es gibt mindestens eine reelle Zahl mit , für die für alle reellen Zahlen gilt.
- Existenz des Inversen: Für jede reelle Zahl gibt es mindestens eine reelle Zahl mit .
- Distributivgesetz: Für alle reellen Zahlen gilt .
Definitionen im Zusammenhang mit den Körperaxiomen
[Bearbeiten]Die Körperaxiome nehmen noch keinen Bezug auf die Subtraktion und Division. Diese müssen erst auf Grundlage der Körperaxiome definiert werden:
Definition (Subtraktion und Division)
Die Subtraktion wird auf eine Addition und die Division auf eine Multiplikation zurückgeführt:
Die Subtraktion ist damit die Addition des Negativen einer Zahl und die Division die Multiplikation mit dem Inversen einer Zahl.
So entpuppt sich nach unserer Definition die Subtraktion als eine Addition und die Division als eine Multiplikation. Die Eigenschaften der Division und der Subtraktion werden damit auch durch die Körperaxiome beschrieben. In der Mathematik sagt man dementsprechend zu Differenzen oft Summen und zu Quotienten oft Produkte.
Definition weiterer Begriffe
[Bearbeiten]Im Folgenden verwenden wir die aus der Schule bekannten Bezeichnungen:
Weiterhin nennen wir eine Struktur, die alle Körperaxiome erfüllt, einen Körper:
Definition (Körper)
Eine Menge, die eine Addition und eine Multiplikation mit den obigen Eigenschaften besitzt, nennt man einen „Körper“.
Somit ist mit der Addition und Multiplikation ein Körper. Es gibt aber auch andere Körper wie beispielsweise die Menge der rationalen Zahlen . Für das Studium der reellen Analysis ist der Körperbegriff nur insofern wichtig, als dass du wissen musst, dass die reellen Zahlen alle Körperaxiome erfüllen und demnach ein Körper ist. Der Körperbegriff als solcher wird in der Algebra näher untersucht.
Verständnisfrage: Kann es für die einelementige Menge eine geeignete Addition und Multiplikation geben, so dass diese Menge ein Körper ist?
Nein, denn laut Körperaxiom "Existenz der Eins" muss sein. Jeder Körper muss also mindestens zwei Elemente, nämlich und , besitzen. Somit kann als einelementige Menge kein Körper sein.
Anmerkungen zu den Körperaxiomen
[Bearbeiten]- Assoziativgesetz der Addition und Multiplikation ( bzw. ): Dank des Assoziativgesetzes ist die Reihenfolge der Ausführung einer endlichen Addition/Multiplikation egal. Dementsprechend können Klammern in endlichen Summen/Produkten weggelassen werden. (Dies gilt nicht für unendliche Summen/Produkte!)
- Kommutativgesetz der Addition und Multiplikation ( bzw. ): Dank dieses Axioms ist die Reihenfolge der Terme in endlichen Summen/Produkten egal. (Dies gilt nicht für unendliche Summen/Produkte!)
- Existenz des neutralen Elements der Addition und Multiplikation ( und ): Hier wird explizit nur die Existenz, nicht die Eindeutigkeit, der Null beziehungsweise Eins definiert. Die Eindeutigkeit lässt sich aus den Körperaxiomen herleiten und damit ist es unnötig, diese Eigenschaft zu fordern. Da laut der Axiome die Zahl Eins ungleich Null ist, muss ein Körper mindestens zwei Elemente besitzen (in der Algebra wirst du lernen, dass es einen Körper mit genau zwei Elementen gibt).
- Existenz des Negativen und Inversen ( und ): Auch hier wird erst einmal nur die Existenz des Negativen und Inversen gefordert. Wir werden aber später die Eindeutigkeit des Negativen und Inversen beweisen.
- Distributivgesetz (): Dieses Axiom stellt eine Verbindung zwischen Addition und Multiplikation her und ist deshalb ziemlich hilfreich. Es ist auch das einzige Axiom, das einen solchen Zusammenhang herstellt. Beachte, dass nicht definiert wurde und deswegen noch bewiesen werden muss.
Nachvollziehbarkeit der Körperaxiome
[Bearbeiten]Eines der Ziele, die ich im vorherigen Kapitel für die Axiome der reellen Zahlen formuliert habe, ist ihre Nachvollziehbarkeit. Deswegen sollten wir jetzt schauen, ob die gewählten Axiome auch wirklich unserer intuitiven Idee der reellen Zahlen entsprechen.
Man erkennt, dass die gewählten Körperaxiome aus der Schule oder aus dem Alltag bekannt sind. Einige der Axiome können wir auch mit dem Modell der reellen Zahlen als Punkte auf der Zahlengeraden verstehen. So trifft es beispielsweise zu, dass die Addition mit Null auf der Zahlengeraden den zweiten Summanden nicht ändert. Auch die Assoziativität der Addition lässt sich mit dem Zahlengeradenmodell einfach verstehen (die grünen Vektoren werden hierbei zuerst miteinander addiert):
Leider können wir nicht alle Körperaxiome mit der Zahlengeraden erklären. So ist beispielsweise die Assoziativität der Multiplikation schwierig darzustellen. Jedoch entsprechen alle Körperaxiome unserer Erfahrung im Umgang mit reellen Zahlen.
Folgerungen der Körperaxiome
[Bearbeiten]Mathe für Nicht-Freaks: Folgerungen der Körperaxiome
Potenzen reeller Zahlen
[Bearbeiten]Aus der Schule kennst du Potenzen wie als Abkürzungen für Produkte mit immer demselben Faktor. So ist die abkürzende Schreibweise für . Um die Theorie der Analysis sauber aufzubauen, dürfen wir keine bekannten Sachverhalte der Schule übernehmen und müssen so auch den Begriff der Potenz neu (und sauber) einführen. Hier werden wir das Hilfsmittel der Rekursion kennen lernen, welches dir noch oft im Studium der Mathematik begegnen wird.
Intuitive Definition der Potenz
[Bearbeiten]Intuitiv können wir die Potenz mit natürlichem Exponenten folgendermaßen definieren:
Definition (intuitive Definition der Potenz)
Die Potenz ist definiert über
Dies entspricht der Vorstellung der Potenz, welche wir aus der Schule haben. Doch diese Definition birgt folgende Nachteile:
- Wir wissen nicht, was sein soll. Generell überträgt sich obige Gleichung nicht auf solche , für die keine natürliche Zahl ist. So sind die Ausdrücke oder nicht sinnvoll.
- Der Ausdruck ist zwar intuitiv verständlich, er ist aber nicht mathematisch definiert. Wenn man also die Theorie der Analysis exakt aufbauen möchte, dann kann man die obige Definition nicht verwenden.
Formale Definition der Potenz mit natürlichem Exponenten
[Bearbeiten]Mathematisch exakt wird die Potenz rekursiv definiert:
Definition (rekursive Definition der Potenz mit natürlichem Koeffizienten)
Die Potenz ist rekursiv über die folgenden beiden Formeln für alle und definiert:
Insbesondere definieren wir .
Hier werden zwei Eigenschaften der Potenz angegeben, die zusammen bereits den Wert jeder Potenz eindeutig festlegen. Die Formel
wird Rekursionsschritt genannt. Durch sie lässt sich jede Potenz auf eine Potenz mit einem um eins verringerten Exponenten zurückführen. So ist nach dem Rekursionsschritt
Wenn wir ausgerechnet haben, können wir nach obiger Gleichung ausrechnen. selbst kann durch weitere Anwendung des Rekursionsschritts aus berechnet werden und so weiter. Irgendwann landet man so bei der Potenz , die man wegen der Formel
gleich eins setzen kann. Die Formel wird Rekursionsanfang genannt und beendet die Rekursion. Insgesamt erhält man so
Man sieht hier exemplarisch, wie durch Angabe von zwei Eigenschaften der Wert jeder Potenz eindeutig festgelegt ist. Diese Vorgehensweise hat folgende Vorteile:
- Wir wissen, was ist.
- Wir haben sowohl in der Angabe des Rekursionsschritts als auch bei der Angabe des Rekursionsanfangs keine Ausdrücke verwendet, die wir nicht vorher schon definiert haben.
- Die beiden Eigenschaften der Rekursion sind auch dann gültig, wenn keine natürliche Zahl ist. Diese Eigenschaften sind also insofern charakteristisch für die Potenz, als dass sie auch für den verallgemeinerten Potenzbegriff mit beliebigen Exponenten gelten.
- Die rekursive Definition zeigt einen Weg, wie Sätze über Potenzen mit Hilfe von vollständiger Induktion bewiesen werden können.
Warum ist definiert?
[Bearbeiten]Diese Frage ist berechtigt. Schließlich hätten wir ja auch als Rekursionsanfang definieren können. Zwar wäre dann undefiniert gewesen, aber die Gleichung lässt sich mit der Intuition der Potenz als k-fache Multiplikation leicht erklären. Auch die Potenz könnten wir ohne Probleme mit dem Rekursionsanfang berechnen.
Der Grund liegt darin, dass für die allgemeine Potenz die Gleichung
erfüllt sein soll. Obige Gleichung soll für alle und insbesondere auch für erfüllt sein. Es soll also gelten:
Gleichzeitig ist und deswegen
Damit diese Gleichung für alle und gelten kann, muss sein. Die Tatsache folgt also aus der Gleichung
welche man als die charakteristische Gleichung der Potenz ansehen kann. Auch der Rekursionsschritt folgt aus obiger Gleichung. Damit hat die rekursive Definition den Vorteil, dass sie auf der charakteristischen Gleichung der allgemeinen Potenz beruht und mit ihr begründet werden kann.
Hinweis
Es gibt in der Literatur keine eindeutige Definition für . In Analysis-Lehrbüchern wird normalerweise (wie bei uns) gesetzt. Dadurch bleiben so wichtige Ergebnisse wie der binomische Lehrsatz und die Geometrische Summenformel für den jeweiligen Spezialfall gültig. Manche Autoren setzen hingegen , da für alle ist. Manchmal wird dieser Ausdruck in der Literatur auch je nach Kontext anders definiert, und gelegentlich bleibt auch undefiniert. Genauere Erklärungen findet man im Wikipedia-Artikel „Null hoch null“.
Das Prinzip der Rekursion
[Bearbeiten]Im obigen Abschnitt hast du das Definitionsschema der Rekursion kennen gelernt. Hierfür ist die Angabe des Rekursionsanfangs und des Rekursionsschritts notwendig:
- Rekursionsschritt: Durch den Rekursionsschritt kann ein Ausdruck auf einen Ausdruck „mit geringerer Ordnung“ reduziert werden. Dieser Schritt wird so lange angewandt, bis man den Rekursionsanfang verwenden kann.
- Rekursionsanfang: Beendet die Rekursion, indem definiert wird, was der Ausdruck mit der „geringsten Ordnung“ sein soll.
Durch diese beiden Angaben wird eine Art Algorithmus definiert, wie Ausdrücke ausgerechnet werden können (siehe obiges Beispiel mit der Potenz). Solltest du programmieren können, wirst du dieses Prinzip vielleicht schon von deinen Programmiertätigkeiten her kennen.
Verständnisfrage: Definiere das Produkt mit und rekursiv.
Folgende zwei Formeln definieren das Produkt rekursiv:
Rechenregeln für Potenzen
[Bearbeiten]Übersicht
[Bearbeiten]Um uns zu überlegen, warum unsere formale Definition der Potenz Sinn ergibt, haben wir auf folgende Rechenregel für und zurückgegriffen:
Diese war aber nur eine Motivation für uns, wie wir die Potenz definieren wollen. Dass unsere formale Definition einer Potenz tatsächlich diese Rechenregel erfüllt, müssen wir erst noch beweisen. Dies werden wir im Folgenden nachholen. Auch werden wir folgende Rechenregeln beweisen, die aus der Schule bekannt sind:
- für alle und
- für alle und
Produkt von Potenzen mit gleicher Basis
[Bearbeiten]Satz (Produkt von Potenzen mit gleicher Basis)
Sei und seien . Dann gilt
Wir betrachten das Produkt zweier Potenzen und zur selben Basis mit irgendwelchen Exponenten . Anschaulich ist
und
Also ist
Wir multiplizieren das Produkt von vielen mit dem Produkt von vielen . Das können wir zusammenfassen zu einem Produkt von insgesamt vielen :
Das Produkt von vielen ist genau die Potenz :
So haben wir einen anschauliche Argumentation dafür gefunden, dass folgende zu zeigende Rechenregel gilt.
Jedoch haben wir die unsaubere Notation mit verwendet. Es ist auch nicht klar, was in diesem „Beweis“ passiert, wenn oder ist. Wie können wir diese Regel sauber mithilfe unserer rekursiven Definition der Potenz beweisen?
Zusammenfassung des Beweises (Produkt von Potenzen mit gleicher Basis)
Um die rekursive Definition der Potenz verwenden zu können, bietet sich ein Beweis mittels Vollständiger Induktion an. Allerdings kommen in der zu zeigenden Aussage zwei Variablen vor, über die eine vollständige Induktion gemacht werden kann. Wir suchen uns einfach eine davon aus, sagen wir , und lassen die andere Variable, also , fest.
Beweis (Produkt von Potenzen mit gleicher Basis)
Sei fest. Wir beweisen die Aussage mittels vollständiger Induktion über :
Aussageform, deren Allgemeingültigkeit für bewiesen werden soll:
1. Induktionsanfang:
2. Induktionsschritt:
2a. Induktionsvoraussetzung:
2b. Induktionsbehauptung:
2c. Beweis des Induktionsschritts:
Zusammenfassen von mehrmaligem Potenzieren
[Bearbeiten]Satz (Zusammenfassen von mehrmaligem Potenzieren)
Sei und seien . Dann gilt
Beweis (Zusammenfassen von mehrmaligem Potenzieren)
Sei fest. Wir beweisen die Aussage mittels vollständiger Induktion über :
Aussageform, deren Allgemeingültigkeit für bewiesen werden soll:
1. Induktionsanfang:
2. Induktionsschritt:
2a. Induktionsvoraussetzung:
2b. Induktionsbehauptung:
2c. Beweis des Induktionsschritts:
Produkt von Potenzen mit gleichem Exponenten
[Bearbeiten]Satz (Produkt von Potenzen mit gleichem Exponenten)
Seien und sei . Dann gilt
Beweis (Produkt von Potenzen mit gleichem Exponenten)
Wir beweisen die Aussage mittels vollständiger Induktion über :
Aussageform, deren Allgemeingültigkeit für bewiesen werden soll:
1. Induktionsanfang:
2. Induktionsschritt:
2a. Induktionsvoraussetzung:
2b. Induktionsbehauptung:
2c. Beweis des Induktionsschritts:
Potenzen mit negativen Exponenten
[Bearbeiten]Für eine reelle Zahl wollen wir die Definition der Potenz auf ganzzahlige Exponenten erweitern. Die Potenz soll also auch für negative Exponenten definiert werden. Dies wird sich nämlich als praktisch erweisen.
Auf den ersten Blick macht es nicht so viel Sinn. Nach unserer intuitiven Vorstellung wäre zum Beispiel das Produkt von „ vielen“ en. Was soll das bitteschön sein? Vielleicht ? Wenn wir so tun, als ob alle Rechenregeln für Potenzen weiterhin gelten, wäre aber . Es macht also keinen Sinn, zu definieren. Wir sollten uns erst einmal überlegen, wie eine sinnvolle Definition aussehen könnte. Im Wesentlichen gibt es zwei Anforderungen:
- Die Definition sollte anschaulich erklärbar sein.
- Alle bisherigen Rechenregeln für Potenzen sollten weiterhin gelten.
Um diesen Anforderungen gerecht zu werden betrachten wir ein einfaches Beispiel: Wir wissen, dass für jede reelle Zahl gilt und dass für . Zur Verallgemeinerung auf betrachten wir zunächst , und . Wir erhalten . Da wir fordern können wir die Gleichung umstellen zu . Intuitiv ist klar, dass wir um zu erhalten durch teilen müssen. Den gleichen Trick können wir auch für ein allgemeines anwenden. Mit der Forderung ergibt sich aus die folgende sinnvolle Definition:
Definition (Potenz mit ganzzahligem Exponenten)
Sei und . Für ist bereits definiert. Für legen wir fest:
Beachte, dass in dieser Definition bereits definiert ist, da für gilt. Und wegen ist auch . Wir teilen also nicht durch .
Hinweis
Man könnte sich fragen, ob eine sinnvolle Definition für "" möglich ist. Da wir in der Herleitung obiger Definition sowohl durch teilen als auch fordern, ist dieser Weg ausgeschlossen. Außerdem ist dieser Fall von geringem praktischen Interesse, da wir ja über für alle verfügen. Somit kann "" in getrost undefiniert bleiben. Im erweiterten Zahlenraum wäre für alle sinnvoll.
Übertragung der Rechenregeln auf den ganzen Zahlen
[Bearbeiten]Produkt von Potenzen mit gleicher Basis
[Bearbeiten]Satz (Produkt von Potenzen mit gleicher Basis)
Sei und seien . Dann gilt
Beweis (Produkt von Potenzen mit gleicher Basis)
Unsere Definition von , und hängt davon ab, ob die Exponenten , und negativ sind oder nicht. Wir führen also eine Fallunterscheidung durch. In den einzelnen Fällen führen wir die Rechenregel jeweils auf die bereits bewiesene Regel für nichtnegative Exponenten zurück.
Fall 1: und
Für wurde die Rechenregel bereits bewiesen, sodass in diesem Fall nichts mehr zu tun ist.
Fall 2: , und
Sei und mit . Somit ist . Nach Definition ist . Für haben wir bereits gezeigt, dass
gilt. Es folgt
Multiplizieren wir beide Seiten der Gleichung mit , so erhalten wir die Behauptung.
Fall 3: , und
Sei und mit . Somit ist . Nach Definition ist und . Für haben wir bereits gezeigt, dass
gilt. Es folgt
Multiplizieren wir beide Seiten der Gleichung mit , so erhalten wir die Behauptung.
Fall 4: , und
Da Addition in und Multiplikation in kommutativ sind, gilt sowie . Indem wir die Variablen und vertauschen, lässt sich dieser Fall also auf Fall 2 zurückführen.
Fall 5: , und
Da Addition in und Multiplikation in kommutativ sind, gilt sowie . Indem wir die Variablen und vertauschen, lässt sich dieser Fall also auf Fall 3 zurückführen.
Fall 6: und
Sei und mit . Somit ist . Nach Definition ist , und . Für haben wir bereits gezeigt, dass
gilt. Es folgt
Multiplizieren wir beide Seiten der Gleichung mit , so erhalten wir die Behauptung.
Zusammenfassen von mehrmaligem Potenzieren
[Bearbeiten]Satz (Zusammenfassen von mehrmaligem Potenzieren)
Sei und seien . Dann gilt
Beweis (Zusammenfassen von mehrmaligem Potenzieren)
Wir führen eine Fallunterscheidung durch, ob und jeweils negativ sind oder nicht. In den einzelnen Fällen führen wir die Rechenregel jeweils auf die bereits bewiesene Regel für nichtnegative Exponenten zurück.
Fall 1: und
Für wurde die Rechenregel bereits bewiesen, sodass in diesem Fall nichts mehr zu tun ist.
Fall 2: und
Sei mit . Nach Definition ist und . Wir wissen bereits, dass gilt. Somit folgt
Also gilt wie gewünscht .
Fall 3: und
Sei mit . Nach Definition ist und . Wir wissen bereits, dass gilt. Somit folgt wie gewünscht
Fall 4: und
Seien und mit . Nach Definition ist und . Wir wissen bereits, dass gilt. Somit folgt
Also gilt wie gewünscht .
Produkt von Potenzen mit gleichem Exponenten
[Bearbeiten]Satz (Produkt von Potenzen mit gleichem Exponenten)
Seien und sei . Dann gilt
Beweis (Produkt von Potenzen mit gleichem Exponenten)
Unsere Definition der -ten Potenz hängt davon ab, ob negativ ist oder nicht. Für wurde der Beweis der Gleichung bereits durchgeführt. Damit fehlt nur noch der Beweis für .
Sei also mit . Nach Definition ist sowie und . Für haben wir bereits gezeigt, dass gilt:
Es folgt
Multiplizieren wir beide Seiten der Gleichung mit , so erhalten wir die Behauptung.
Anordnungsaxiome
[Bearbeiten]Die Anordnungsaxiome beschreiben die lineare Ordnung der reellen Zahlen und den Zusammenhang dieser Ordnung mit den arithmetischen Operationen, welche durch die Körperaxiome eingeführt wurden.
Herleitung der Anordnungsaxiome
[Bearbeiten]Anders als andere Mathematik-Lehrbücher möchten wir an dieser Stelle nicht einfach die Anordnungsaxiome nennen, wir möchten vielmehr dieses Kapitel mit der Skizze eines Gedankenweges beginnen, über den man auf die Formulierung der Anordnungsaxiome kommen kann.
Charakteristische Eigenschaften der Kleiner-Relation
[Bearbeiten]Aus unserer intuitiven Idee der Zahlengerade wissen wir, dass die reellen Zahlen eine Ordnung haben. Diese wollen wir nun durch die Anordungsaxiome beschreiben. Dazu müssen wir angeben, wie die Relationen , , und für die reellen Zahlen definiert sind.
Dabei reicht es aus, nur eine der vier Relationen anzugeben (siehe Ordnungsrelation aus dem Buch „Grundlagen der Mathematik“). Die restlichen drei Ordnungsrelationen ergeben sich dann automatisch aus der bereits angegebenen Relation.
Wir wählen hierzu die Kleiner-Relation . Aus dem Kapitel zur Ordnungsrelation wissen wir bereits, dass für diese Relation die folgenden beiden Eigenschaften charakteristisch sind:
- (Trichotomie der Kleiner-Relation)
- (Transitivität der Kleiner-Relation)
Das Zeichen steht dabei für die Kontravalenz, die Entweder-Oder-Verknüpfung zwischen Aussagen.
Nun müssen wir noch klären, wie die Kleiner-Relation mit den arithmetischen Operationen der Addition, Subtraktion, Multiplikation und Division im Zusammenhang steht. Im Kapitel zu den Körperaxiomen wurde erklärt, dass die Subtraktion als Addition und die Division als Multiplikation angesehen werden können. Insofern reicht es, nur die Zusammenhänge mit der Addition und der Multiplikation zu untersuchen.
Zusammenhang mit der Addition
[Bearbeiten]Aus dem Modell der reellen Zahlen als Zahlengerade wissen wir, dass wenn wir beide Seiten der Ungleichung mit einer reellen Zahl addieren, die Ordnung erhalten bleibt:
Es gilt also:
Aus der obigen Zeichnung lässt sich aber auch die umgekehrte Implikationsrichtung herleiten. Es gilt also auch
Es ist also genau dann , wenn ist. Dementsprechend erhalten wir insgesamt die Äquivalenz:
Zusammenhang mit der Multiplikation
[Bearbeiten]Bei der Multiplikation müssen wir unterscheiden, ob mit einer negativen oder mit einer positiven Zahl multipliziert wird. Werden beide Seiten der Ungleichung mit einer positiven Zahl multipliziert, so bleibt die Ungleichung erhalten:
Ähnlich wie bei der Addition gilt für positive Zahlen :
Bei der Multiplikation mit negativen Zahlen dreht sich die Ordnung um:
Es gilt für negative Zahlen :
Die Multiplikation beider Seiten der Ungleichung mit 0 ergibt immer die falsche Aussage und muss deswegen nicht betrachtet werden.
Zusammenfassung bisheriger Ergebnisse
[Bearbeiten]Bisher haben wir Folgendes herausgefunden: Es muss nur die Kleiner-Relation definiert werden. Diese hat die charakteristischen Eigenschaften:
- Für positives :
- Für negatives :
Reduzierung auf die notwendigen Axiome
[Bearbeiten]Eigentlich könnten wir bereits obige Aussagen als Anordnungsaxiome definieren. Jedoch haben wir im Einführungskapitel zu den reellen Zahlen das Ziel formuliert, dass möglichst wenige und nur die wirklich notwendigen Aussagen als Axiome definiert werden. Insofern müssen wir noch schauen, ob die obigen Aussagen in ihrer Aussagekraft oder in ihrer Anzahl reduziert werden können.
Beginnen wir mit der Ungleichung
Wegen können wir beide Seiten mit addieren. Wir erhalten
Es ist also genau dann , wenn ist. Um die Kleiner-Relation definieren zu können, reicht es also aus zu wissen, welche Zahlen positiv sind. Eine Zahl ist nämlich genau dann kleiner als , wenn die bereits in den Körperaxiomen definierte Differenz positiv ist. Eine zweistellige Relation können wir also auf die Eigenschaft der Positivität und damit auf eine einstellige Relation reduzieren (Im Abschnitt zu den Relationen haben wir geklärt, dass Eigenschaften von Objekten als einstellige Relationen definiert werden).
Aus der Äquivalenz ist erkennbar, dass es auf die Differenz ankommt. Wenn wir die obigen Aussagen geschickt umformen, dann erhalten wir:
- Für positives :
- Für negatives :
In der Aussage
können wir setzen und erhalten
Die Aussage
ist trivialerweise immer wahr, weil ist. Sie muss deswegen nicht extra als Axiom aufgenommen werden. Bei der Transitivitätsaussage
kann man erkennen, dass ist. Diese Aussage könnte man also beweisen, wenn gilt
Obige Aussage können wir vereinfachen, indem wir und setzen. Wir erhalten dann
Diese Aussage, welche auch unserer intuitiven Idee der reellen Zahlen entspricht, nehmen wir nun in die Anordnungsaxiome auf, um später die Transitivität der Kleiner-Relation zu beweisen. Weiterhin setzen wir bei der Aussage
Für positives :
für ein und erhalten analog zur gerade gefundenen Aussage mit der Addition positiver Zahlen:
Wie wir später sehen werden, kann die Regel mit der Multiplikation mit einer negativen Zahl aus den bereits genannten Axiomen hergeleitet werden. Insofern müssen wir auch diese Aussage nicht als Axiom definieren. Insgesamt erhalten wir folgende Aussagen als Axiome für die Anordnung reeller Zahlen:
Fassen wir nun unsere Erkenntnisse in Definitionen zusammen.
Definitionen zu den Anordnungsaxiomen
[Bearbeiten]Die Ordnung der reellen Zahlen kann dadurch beschrieben werden, dass wir alle positiven Zahlen kennen. Wenn eine positive Zahl ist, schreiben wir . Die Positivität der reellen Zahlen wird dabei über die Anordnungsaxiome definiert:
Definition (Anordnungsaxiome)
Die Anordnungsaxiome lauten
-
Trichotomie der Positivität: Für alle reellen Zahlen gilt entweder oder oder .
Mit den Abkürzungen "" für "für alle" und "" für "entweder oder" können wir dies schreiben als
-
Abgeschlossenheit bezüglich Addition: Für alle reellen Zahlen und gilt: Wenn und ist, dann ist auch . In Zeichen:
-
Abgeschlossenheit bezüglich Multiplikation: Für alle reellen Zahlen und gilt: Wenn und ist, dann ist auch . In Zeichen:
Mit Hilfe der Positivitätseigenschaft können wir die Kleiner-Relation definieren:
Definition (Kleiner-Relation)
Die Kleiner-Relation ist durch folgende Äquivalenz definiert:
Es ist also genau dann kleiner als , wenn die Differenz positiv ist. Über die Kleiner-Relation können wir alle weiteren Ordnungsrelationen definieren:
Definition (Weitere Ordnungsrelationen auf Grundlage der Kleiner-Relation)
Für die reellen Zahlen sind außerdem die Relationen , und über folgende Äquivalenzen definiert:
Eine Struktur wie die der reellen Zahlen, die die Körper- und Anordnungsaxiome erfüllt, wird im Übrigen angeordneter Körper genannt:
Definition (angeordneter Körper)
Ein angeordneter Körper ist ein Körper, der die Anordnungsaxiome erfüllt.
Alternative Beschreibung der Anordnungsaxiome
[Bearbeiten]Die Eigenschaft für eine Zahl, positiv zu sein, ist eine einstellige Relation. Im Kapitel zu den Relationen aus dem Buch „Grundlagen der Mathematik“ haben wir gelernt, dass einstellige Relationen über Mengen modelliert werden können. Hierzu definieren wir uns eine Menge , die alle Zahlen enthält, für die gilt und die damit positiv sind. Wenn man eine solche Menge hat, kann man anstelle von auch schreiben. Dementsprechend können die Anordnungsaxiome auch umgeschrieben werden:
Definition (Alternative Definition der Anordnungsaxiome)
Es gibt eine Menge mit folgenden Eigenschaften:
-
Trichotomie:
-
Abgeschlossenheit bezüglich Addition:
-
Abgeschlossenheit bezüglich Multiplikation:
Eine Zahl wird positiv genannt, wenn sie Element von ist. Es gilt also
Alle weiteren Definitionen sind nun identisch zum obigen Abschnitt. Das Zeichen ist im Übrigen die disjunkte Vereinigung.
Zur Erklärung der alternativen Anordnungsaxiome: Die Axiome zur Abgeschlossenheit wurden direkt übernommen, wobei durch ersetzt wurde.
Zum Axiom der Trichotomie: Weil gleich ist, ist jede reelle Zahl Element der Menge . Nun ist aber die Vereinigung von disjunkt und damit jede reelle Zahl Element von genau einer der drei Mengen
Im ersten Fall ist . Für ist und für ist . Die Gleichung
ist also äquivalent zur oben eingeführten Version der Trichotomie.
Folgerungen der Anordnungsaxiome
[Bearbeiten]Ähnlich wie bei den Körperaxiomen beweisen wir nun erste kleinere Sätze, die direkt auf den Anordnungsaxiomen aufbauen. Insbesondere werden wir die charakteristischen Eigenschaften der Kleiner-Relation beweisen, die wir bereits im Abschnitt „Herleitung der Anordnungsaxiome“ erwähnt haben.
Übersicht zu den Folgen der Anordnungsaxiome
[Bearbeiten]In diesem Kapitel werden wir zeigen, dass folgende Aussageformen allgemeingültig in sind:
- Eigenschaften der Kleiner-Relation:
- Trichotomie:
- Transitivität:
- Translationsinvarianz:
- Addition / Negatives und Kleiner-Relation:
- Multiplikation und Kleiner-Relation:
- Inverses und Kleiner-Relation:
- Bernoulli-Ungleichung:
Die Bernoulli-Ungleichung werden wir im Kapitel zur „Bernoulli-Ungleichung“ beweisen.
Eigenschaften der Kleiner-Relation
[Bearbeiten]Trichotomie
[Bearbeiten]Satz (Trichotomie der Kleiner-Relation)
Für alle reellen Zahlen und ist entweder , oder . Es gilt also:
Beweis (Trichotomie der Kleiner-Relation)
Mit Hilfe der Äquivalenz können wir die zu beweisende Aussage
umformen zu
Für gegebene und müssen wir also beweisen, dass . Durch das Setzen von erhalten wir die zu beweisende Aussage
Dies ist aber gerade die Trichotomie der Positivität, welche wir in den Anordnungsaxiomen gegeben haben und damit wahr ist. Insgesamt haben wir so den Satz bewiesen.
Transitivität
[Bearbeiten]Satz (Transitivität der Kleiner-Relation)
Für alle , und gilt
Die Transitivitätseigenschaft der Kleiner-Relation rechtfertigt es, Ungleichungsketten wie
zu schreiben. Wegen der Transitivität folgt dann nämlich auch .
Beweis (Transitivität der Kleiner-Relation)
Sei und . Nach Definition der Kleiner-Relation gilt damit und . Wegen der Abgeschlossenheit der Positivität bezüglich der Addition ist damit auch
Damit ist aber auch nach Definition der Kleiner Relation.
Translationsinvarianz
[Bearbeiten]Satz (Translationsinvarianz der Kleiner-Relation)
Für alle reellen Zahlen , und ist
Beweis (Translationsinvarianz der Kleiner-Relation)
Es ist
Addition / Negatives und Kleiner-Relation
[Bearbeiten]Monotonie der Addition
[Bearbeiten]Satz (Monotonie der Addition)
Aus und folgt .
Beweis (Monotonie der Addition)
Aus folgt wegen der Translationsinvarianz der Kleiner-Relation . Aus folgt analog . Es ist also . Aus der Transitivität folgt nun .
Alternativer Beweis (Monotonie der Addition)
Aus und folgt aus der Definition der Kleiner-Relation und . Nun sind nach den Anordnungsaxiomen die positiven Zahlen abgeschlossen bezüglich der Addition. Aus und folgt damit . Nun wenden wir nochmals (allerdings in umgekehrter Richtung) die Definition der Kleiner-Relation an, so dass aus die Ungleichung folgt. Damit ist der Satz bewiesen.
Spiegelung bei Bildung des Negativen
[Bearbeiten]Satz (Spiegelung bei Bildung des Negativen)
Es ist genau dann , wenn ist.
Beweis (Spiegelung bei Bildung des Negativen)
Alternativer Beweis (Spiegelung bei Bildung des Negativen)
Sei . Es ist
Multiplikation und Kleiner-Relation
[Bearbeiten]Multiplikation mit positiver Zahl
[Bearbeiten]Satz (Multiplikation mit positiver Zahl)
Ist und , dann ist auch .
Die Multiplikation mit einer positiven Zahl erhält also die Ungleichungsrelation.
Beweis (Multiplikation mit positiver Zahl)
Aus der Definition der Kleiner-Relation folgt aus die Ungleichung . Weil die Mulitplikation bezüglich der Positivität abgeschlossen und ist, ist auch . Also . Daraus folgt nach der Definition der Kleiner-Relation .
Monotonie der Multiplikation mit nicht-negativen Zahlen
[Bearbeiten]Satz (Monotonie der Multiplikation mit nicht-negativen Zahlen)
Aus und folgt .
Beweis (Monotonie der Multiplikation mit nicht-negativen Zahlen)
Fall 1: oder
In diesem Fall ist . Es muss also bewiesen werden, dass ist. Jedoch ist nach Voraussetzung und . folgt nun aus der Abgeschlossenheit der Positivität bezüglich der Multiplikation, welche in den Anordnungsaxiomen definiert wurde.
Fall 2: und
Wegen und ist nach dem vergangenem Satz . Gleichzeitig folgt aus und analog . Ingesamt haben wir und damit insgesamt .
Multiplikation mit negativer Zahl
[Bearbeiten]Satz (Multiplikation mit negativer Zahl)
Aus und folgt .
Beweis (Multiplikation mit negativer Zahl)
Nach dem Satz über die Spiegelung folgt aus , dass ist. Nach dem Satz zur Multiplikation mit positiven Zahlen ist dann . Nun können wir wieder den Satz zur Spiegelung anwenden und erhalten und damit , weil ist.
Produkte mit negativen Faktoren sind positiv
[Bearbeiten]Satz (Produkte mit negativen Faktoren sind positiv)
Aus und folgt .
Beweis (Produkte mit negativen Faktoren sind positiv)
Nach dem Satz „Multiplikation mit negativer Zahl“ folgt aus und , dass ist. Es ist also .
Quadrate von Zahlen ungleich 0 sind positiv
[Bearbeiten]Satz (Quadrate von Zahlen ungleich 0 sind positiv)
Alle Quadrate für Zahlen sind positiv.
Zusammen mit folgt aus dem obigen Satz direkt, dass Quadratzahlen nicht negativ sind. Da wir im Kapitel „Folgerungen aus den Körperaxiomen“ bewiesen haben, dass ein Produkt von reellen Zahlen genau dann gleich Null ist, wenn mindestens einer der Faktoren Null ist, gilt zusätzlich die Äquivalenz . Damit und aus dem obigen Satz folgt die Äquivalenz .
Außerdem kann mit diesem Satz bewiesen werden, dass eine positive Zahl ist. Es ist nämlich und damit ist eine Quadratzahl. Nach den Körperaxiomen ist und damit folgt aus obigem Satz, dass eine positive Zahl sein muss.
Beweis (Quadrate von Zahlen ungleich 0 sind positiv)
Fall 1:
Aus dem Satz zur Multiplikation mit positiven Zahlen folgt aus , dass , also ist.
Fall 2:
Mit folgt aus dem Satz zur Multiplikation mit negativen Zahlen, dass ist und damit .
Inverses und Kleiner-Relation
[Bearbeiten]Inverse haben gleiches Vorzeichen
[Bearbeiten]Satz (Inverse positiver Zahlen sind positiv)
Es ist genau dann , wenn .
Beweis (Inverse positiver Zahlen sind positiv)
Fall 1:
Wegen ist und damit positiv, weil wir bereits gezeigt haben, dass Quadrate von Zahlen ungleich 0 positiv sind. Es folgt damit nach dem Satz zur Multiplikation mit positiver Zahlen, dass ist. Nun ist und und damit .
Fall 2:
Aus dem ersten Fall folgt aus , dass ist. Wegen ist somit .
Satz (Inverse negativer Zahlen sind negativ)
Es ist genau dann , wenn ist.
Beweis (Inverse negativer Zahlen sind negativ)
Sei eine negative Zahl, also . Aus der eben bewiesenen Äquivalenz wissen wir, dass nicht positiv sein kann (sonst müsste ja auch positiv sein). ist aber auch nicht 0, weil sonst wäre. Also muss negativ sein aufgrund der Trichotomie der Kleiner-Relation. Analog kann man von der Negativität von auf die Negativität von schließen.
Kleiner-Relation und Inversenbildung
[Bearbeiten]Satz (Kleiner-Relation und Inversenbildung)
Für alle gilt:
- .
- .
- .
Beweis (Kleiner-Relation und Inversenbildung)
Beweisschritt 1:
Wegen gilt sowohl als auch (Transitivität der Kleiner-Relation). Da sowohl als auch positiv sind, ist auch ihr Produkt positiv (Abgeschlossenheit der Positivität bezüglich Multiplikation). Es gilt also: . Somit gilt aber auch: (Inverse haben gleiches Vorzeichen). Aus dem Satz zur Multiplikation mit einer positiven Zahl folgt nun: . Wegen und ist deshalb . Da außerdem Inverse stets dieselben Vorzeichen haben (Siehe Beweis zum Satz ), ist .
Beweisschritt 2:
Sei . Nach dem ersten Beweisschritt ist damit . Da und ist, ist damit .
Beweisschritt 3:
Sei . Aus der Transitivität der Kleiner-Relation folgt, dass sowohl als auch ist. Aus dem Satz „Produkte mit negativen Faktoren sind positiv“ folgt, dass ihr Produkt positiv ist. Es gilt also: . Somit ist auch: (Inverse haben gleiches Vorzeichen).
Aus dem Satz zur Multiplikation mit einer positiven Zahl folgt nun aus und , dass . Wegen und ist deshalb . Da und negativ sind (Inverse haben gleiches Vorzeichen), ist damit .
Beweisschritt 4:
Sei . Aus dem dritten Beweisschritt folgt . Mit und folgt .
Beweisschritt 5:
In diesem Fall findet hingegen keine Umkehrung der Kleiner-Relation. Der Grund dafür ist, dass und ungleiches Vorzeichen haben. wird nämlich als negativ vorausgesetzt und als positiv. Da Inverse, wie bereits bewiesen, ihr Vorzeichen beibehalten, gilt und . Aus der Transitivität der Kleiner-Relation folgt somit, dass ist. Insgesamt folgt also:
Beweisschritt 6:
Dies folgt aus dem fünften Beweisschritt. Nach diesem gilt . Mit und folgt die zu zeigende Aussage.
Betragsfunktion, Maximum und Minimum
[Bearbeiten]Nachdem wir in den vergangenen Kapiteln die Anordnungsaxiome eingeführt haben, führen wir nun die ersten Begriffe ein, die direkt auf der Ordnung der reellen Zahlen aufbauen.
Maximum und Minimum
[Bearbeiten]Definition
[Bearbeiten]Das Maximum zweier Zahlen gibt die größere der beiden Zahlen zurück, während das Minimum die kleinere Zahl zurückgibt. Beide Funktionen sind folgendermaßen definiert:
Definition (Maximum)
Definition (Minimum)
Es ist genauso möglich, das Maximum und Minimum von endlich vielen Zahlen anzugeben. Hierzu definieren wir
und
Beachte, dass es nur möglich ist, das Maximum und Minimum von endlichen Mengen auszurechnen. Für eine Verallgemeinerung des Maximums und Minimums auf unendliche Mengen werden wir später die Begriffe vom „Supremum“ und vom „Infimum“ einführen.
Charakteristische Eigenschaften von Minimum und Maximum
[Bearbeiten]Das Maximum und das Minimum erfüllen folgende Eigenschaften für beliebige reelle Zahlen , und , welche für diese Funktionen charakteristisch sind:
Satz (Maximum und Minimum sind genauso groß, wie die größte, bzw. kleinste Zahl die sie enthalten.)
Jede reelle Zahl, die größer ist als das Maximum zweier beliebiger reellen Zahlen und , ist auch größer als beide Zahlen. Umgekehrt gilt auch: Jede reelle Zahl, die kleiner ist als das Minimum zweier beliebiger reellen Zahlen und ist auch kleiner als beide Zahlen.
Beweis (Maximum und Minimum sind genauso groß, wie die größte, bzw. kleinste Zahl die sie enthalten.)
Beweisschritt:
Nach der Definition des Maximums gilt . Hier müssen wir also zwei Fälle untersuchen: und den umkehrten Fall. Durch die Trichotomie muss hier gelten , da und bereits im ersten Fall betrachtet werden.
Fall 1:
Da nun nach Definition des Maximums gilt können wir einsetzen und erhalten damit die immer wahre Aussage . Daher wissen wir nun durch die Trichotomie und können über die Transitivität folgern. (Beachte, das nach Definition und äquivalent sind.)
Fall 2: ("sonst")
Im zweiten Fall können wir setzen und wir wissen bereits, dass sein muss. Also können wir schreiben . Die Transitivität sagt uns, dass wir diesen Ausdruck auch als schreiben können. Der Ausdruck ist aber nach der Definition von immer Wahr.
Beweisschritt:
Analog zur obigen Fallunterscheidung sollten wir auch hier untersuchen, wie sich welcher Fall auswirkt. Setzt man die jeweilige Bedingung für das Maximum ein, ergibt sich eine wahre Aussage für beide Fälle:
Fall 1:
Fall 2: ("sonst")
Beweisschritt:
Betrachten wir zunächst wieder die Definition des Minimums so fällt auf, dass wir wieder zwei Fälle beachten müssen: und das "sonst". Im Sinne der Trichotomie muss hier gelten da und durch den ersten Fall ausgeschlossen werden.
Fall 1:
Nach Definition des Minimums können wir in diesem Fall einsetzen. Da wir außerdem noch wissen, dass gelten muss, erhalten wir und durch die Transitivität .
Fall 2: ("sonst")
Ähnlich dem ersten Fall können wir und das Minimum gleichsetzen (), was nach der Definition des Minimums gelten muss. Daher muss gelten. Durch die Transitivität der Relation können wir das zu auseinander ziehen. Auch der Ausdruck ist immer wahr, da immer dann wahr ist, wenn auch wahr ist (Siehe Definition von ).
Beweisschritt:
Setzt man die jeweilige Bedingung für in den zu zeigenden Ausdruck ein, so erhalten wir für die beiden möglichen Fälle immer eine wahre Aussage.
Fall 1:
Fall 2: ("sonst")
Diese Eigenschaften werden in der Analysis genutzt, um obere bzw. untere Schranken auszurechnen. Wenn beispielsweise eine Variable gleichzeitig größer oder gleich und größer oder gleich sein soll, so definieren wir . Dann ist nämlich garantiert, dass und .
Abschnitt muss ausgebaut werden:
- Frage muss beantwortet werden: Warum sind die obigen Äquivalenzen charakteristisch für das Maximum und das Minimum?
Betrag
[Bearbeiten]Definition
[Bearbeiten]Der Betrag (auch Betragsfunktion oder Absolutbetrag genannt) gibt den Abstand einer Zahl zur Null zurück. Er ist definiert über:
Definition (Betrag)
Der Betrag einer reellen Zahl ist definiert durch
In der Analysis werden wir den Betrag vor allem in der Form kennen lernen. Dieser Term gibt den Abstand der Zahlen und und damit eine Art „Fehler“ zwischen und wieder. In der Analysis werden wir diesen Abstand verwenden, um das Konzept des Grenzwertes zu beschreiben.
Verständnisfrage: Warum ist ?
Wegen Trichotomie ist entweder , oder .
Fall 1:
Aus folgt , also und damit . Es ist dann
Fall 2:
Ist , dann ist auch , weil Null ihr eigenes Negative ist. Entsprechend ist
Fall 3:
Aus folgt , also und damit . Es ist dann
Charakteristische Eigenschaft
[Bearbeiten]Für das Maximum und Minimum haben wir folgende charakteristische Eigenschaft kennen gelernt:
Aus dieser können wir eine für Beweise nützliche Eigenschaft für Beträge ableiten. Ersetzt man nämlich durch , ergibt sich:
Daraus folgt:
Es ist also genau dann , wenn und ist. Analog ist genau dann , wenn und .
Eigenschaften (Übersicht)
[Bearbeiten]Es folgt eine Zusammenfassung aller wichtigen Eigenschaften des Betrags. Dabei habe ich auch die Form aufgeführt, die dir in den Beweisen der Analysis oft begegnen wird:
Eigenschaft des Betrags | Eigenschaft für den Abstand |
---|---|
Beweise der Betragseigenschaften
[Bearbeiten]Die Null ist die einzige Zahl mit Betrag null
[Bearbeiten]Satz (Die Null ist die einzige Zahl mit Betrag null)
Es ist genau dann der Betrag einer Zahl 0, wenn die Zahl selbst 0 ist. Es gilt also
Beweis (Die Null ist die einzige Zahl mit Betrag null)
Beweisschritt:
Für ist .
Beweisschritt:
Nach der Definition des Betrags folgt aus , dass ist. Nun impliziert die beiden Ungleichungen und . Damit folgen aus die beiden Ungleichungen und . Nach Multiplikation von der Ungleichung mit erhalten wir . Damit haben wir die beiden Bedingungen und . Mit der Antisymmetrie der Kleiner-Gleich-Relation („Aus und folgt “) erhalten wir .
Alternativer Beweis (Die Null ist die einzige Zahl mit Betrag null)
Beweisschritt:
Für ist .
Beweisschritt:
Gegeben sei . Nach der Definition des Betrags ist . Somit ist oder . Für bzw. gibt es nichts mehr zu beweisen. Andererseits folgt aus bzw. , dass ist (Spiegelung bei Bildung des Negativen). Da aber das Negative der Null die Null selbst ist, folgt aus , dass ist. In beiden Fällen oder folgt also , womit dieser Beweisschritt gezeigt ist.
Multiplizität
[Bearbeiten]Satz (Multiplizität)
Es ist .
Beweis (Multiplizität)
Fall 1: und beliebig
Es ist .
Fall 2: beliebig und
Es ist .
Fall 3: und
Es folgt und damit .
Fall 4: und
Es folgt und damit . Wegen ist . Somit haben wir .
Fall 5: und
Es folgt und damit . Wegen ist . Somit haben wir .
Fall 6: und
Es folgt und damit .
Dreiecksungleichung
[Bearbeiten]Satz (Dreiecksungleichung)
Für alle reellen Zahlen und ist .
Beweis (Dreiecksungleichung)
Aus und folgt („Monotonie der Addition“). Analog folgt aus und , dass , also ist (wiederum „Monotonie der Addition“). Da entweder oder ist, ist auch .
Die Dreiecksungleichung werden wir vor allem nutzen, um Abstände nach oben abzuschätzen. In die Differenz kann nämlich ein Term eingeschoben werden, also
Der Abstand kann also über die Abstände und nach oben abgeschätzt werden. Der obige Trick wird in der Analysis häufig verwendet.
Abschätzung des Abstands nach unten
[Bearbeiten]Satz (Abschätzung des Abstands nach unten)
Es ist .
Beweis (Abschätzung des Abstands nach unten)
Es ist
und damit nach Umformung der Ungleichung
Analog folgt aus
die Ungleichung
Insgesamt ist also sowohl als auch kleiner als . Damit ist
Betrag des Quotienten
[Bearbeiten]Satz (Betrag des Quotienten)
Für Quotienten ist
Beweis (Betrag des Quotienten)
Es ist wegen der Multiplizität des Betrags:
Durch Multiplikation von auf beiden Seiten der Gleichung erhalten wir die zu beweisende Gleichung.
Alternativer Beweis (Betrag des Quotienten)
Gegeben sei . Wegen der Multiplizität des Betrags gilt: . Wir haben somit: . Durch Multiplikation von auf beiden Seiten der Gleichung erhalten wir die zu beweisende Gleichung.
Beweise der Abstandseigenschaften
[Bearbeiten]Abstand mit Betrag Null
[Bearbeiten]Satz (Abstand mit Betrag null)
Der Abstand zwischen und ist genau dann null, wenn und identisch sind. Es gilt also
Beweis (Abstand mit Betrag null)
Gegeben sei . Sei nun , so dass ist. Da die Null die einzige Zahl mit dem Betrag null ist, gilt:
Durch Rücksubstitution ergibt sich:
bzw.
Multiplizität des Abstands
[Bearbeiten]Satz (Multiplizität des Abstands)
Es ist .
Beweis (Multiplizität des Abstands)
Gegeben sei . Sei nun , so dass . Daraus folgt (Multiplizität des Betrags und Rücksubstitution):
Dreiecksungleichung für den Abstand
[Bearbeiten]Satz (Dreiecksungleichung für den Abstand)
Für alle reellen Zahlen und ist .
Beweis (Dreiecksungleichung für den Abstand)
Gegeben seien und . Sei nun und , so dass . Wegen der Dreiecksungleichung gilt nun: . Durch Rücksubstitution erhalten wir: bzw. .
Abschätzung des Abstands nach unten
[Bearbeiten]Satz (Abschätzung des Abstands nach unten)
Es ist .
Beweis (Abschätzung des Abstands nach unten)
Es ist
und damit nach Umformung der Ungleichung
Analog folgt aus
die Ungleichung
Insgesamt ist also sowohl als auch kleiner als . Damit ist
Betrag des Quotienten
[Bearbeiten]Satz (Betrag des Quotienten)
Für Quotienten ist
Beweis (Betrag des Quotienten)
Gegeben sei . Sei , so dass . Nun aber gilt (Betrag des Quotienten): . Daraus folgt (durch Rücksubstitution), dass .
Intervalle
[Bearbeiten]Nachdem wir in den vergangenen Kapiteln die Anordnungsaxiome eingeführt haben, können wir jetzt auch den Begriff des Intervalls definieren.
Überblick zu den Intervallen
[Bearbeiten]Eine runde Klammer beziehungsweise eine nach außen stehende eckige Klammer zeigt an, dass dieser Randpunkt nicht Element des Intervalls ist. Bei einer nach innen zeigenden eckigen Klammer ist der Randpunkt Teil des Intervalls:
Beispiel (Intervalle)
Dir ist dabei freigestellt, welche der beiden Schreibweisen du benutzt. Die Schreibweise hat den Nachteil, dass das Intervall mit dem geordneten Paar verwechselt werden kann, ist aber weiter verbreitet und die traditionelle Schreibweise des offenen Intervalls (vor allem im englischsprachigen Kulturraum wird diese Schreibweise eingesetzt).
Demgegenüber besteht bei der Notation keine Verwechslungsgefahr mit dem geordneten Paar. Diese Notation wurde im Übrigen von Nicolas Bourbaki eingeführt[4], einem französischen Autorenkollektiv, das Anfang des 20. Jahrhunderts in vier Lehrbüchern das bestehende mathematische Wissen stringent zusammenfasste.
Zur Unterscheidung zwischen offenen und abgeschlossenen Intervallen
[Bearbeiten]Ein offenes Intervall und ein abgeschlossenes Intervall unterscheiden sich dahingehend, dass bei dem offenen Intervall die Randpunkte und keine Elemente des Intervalls sind, während dies beim abgeschlossenen Intervall schon der Fall ist. Dies ist auch der wesentliche Unterschied zwischen beiden Intervalltypen, der alle weiteren Unterschiede erklärt.
Dieser Unterschied begründet auch die Benennung der einzelnen Intervalle. In der Topologie heißt nämlich eine Menge genau dann offen, wenn keiner ihrer Randpunkte ein Element von der Menge ist. Weiterhin ist eine Menge abgeschlossen, wenn sie alle ihre Randpunkte enthält. Offene und abgeschlossene Mengen werden in der Topologie genauer studiert.
Uneigentliche Intervalle
[Bearbeiten]Es ist auch möglich, dass ein Intervall nur zu einer Seite hin begrenzt ist. Ein solches Intervall wird dann uneigentliches Intervall genannt:
Schreibweise | Definition | Bild |
---|---|---|
oder | ||
oder | ||
oder | ||
oder |
Hinweis
Beachte bitte, dass hier das Zeichen in einem ganz genau definierten Kontext steht (keine untere bzw. obere Grenze für ). Man kann mit diesem Zeichen nicht wie mit normalen reellen Zahlen rechnen!
Intervallschachtelung mit rationaler Genauigkeit
[Bearbeiten]Nach den Körper- und Anordungsaxiomen möchte ich nun die Vollständigkeit der reellen Zahlen beschreiben.
Wieso brauchen wir ein Vollständigkeitsaxiom?
[Bearbeiten]Den Grund finden wir, indem wir uns zunächst eine andere Frage stellen: Können wir mit den bisher vorgestellten Axiomen bereits die Existenz von beweisen? Die Antwortet lautet: „Nein“. Wenn wir nämlich die Existenz von beweisen könnten, so würde jedes Modell der bisherigen Axiome auch die Zahl enthalten. Nun sind aber die rationalen Zahlen ein solches Modell, weil sie alle Körper- und Anordnungsaxiome erfüllen. Jedoch ist bekanntlich keine rationale Zahl (siehe Wikipedia-Artikel „Beweis der Irrationalität der Wurzel aus 2 bei Euklid“). Es folgt, dass die Existenz von mit den Körper- und Anordnungsaxiomen unbeweisbar ist, weil wir sonst einen Widerspruch hätten. Analog ist auch die Existenz der Kreiszahl oder der eulerschen Zahl nicht beweisbar, da auch sie irrational sind. Wir brauchen also zusätzliche Axiome, um diese Lücken zu schließen.
Ist die Existenz rationaler Zahlen gesichert?
[Bearbeiten]Wie sieht es nun mit der Existenz rationaler Zahlen aus? Können wir wenigstens diese beweisen, wenn wir schon nicht die Existenz irrationaler Zahlen annehmen können? Hier lautet die Antwort: „Ja“.
Die Körperaxiome sichern uns die Existenz der Zahlen und . Hier wurde nämlich direkt in den Axiomen definiert, dass und existieren. Da existiert, existiert auch jede Summe . Im Abschnitt zu den Anordnungsaxiomen haben wir bereits bewiesen, dass ist. Damit folgt
Jede Summe von Einsern ist also positiv und paarweise unterschiedlich. Damit können wir die natürlichen Zahlen über
einführen. Weil nun auch jede reelle Zahl ein Negatives hat, muss es zu jeder natürlichen Zahl auch ihr Negatives geben. Damit ist die Existenz ganzer Zahlen gewährleistet. Weil wir nach den Körperaxiomen auch beliebig dividieren können, folgt die Existenz von Brüchen mit ganzen Zahlen und , wobei ist. Insgesamt folgt so aus den Anordnungs- und Körperaxiomen die Existenz rationaler Zahlen.
Hinweis
Der obige Abschnitt ist kein Beweis im strengen mathematischen Sinn, sondern vielmehr eine Skizze, wie die rationalen Zahlen in jedem angeordneten Körper gefunden werden können. Damit dieses Kapitel nicht zu lang wird, möchte ich aber an dieser Stelle auf einen ausführlichen Beweis verzichten.
Die Körper- und Anordnungsaxiome garantieren uns also die Existenz rationaler Zahlen. Was fehlt, ist, durch zusätzliche Axiome die Lücken zwischen den rationalen Zahlen zu schließen.
Wie kann die Lückenfreiheit reeller Zahlen beschrieben werden?
[Bearbeiten]Sackgasse: Weg über den Begriff „Lücke“
[Bearbeiten]Wie können wir die Lücken schließen? Eine Möglichkeit wäre es zu sagen, dass die reellen Zahlen lückenfrei sein sollen. Hier haben wir aber das Problem, dass wir den Begriff „Lücke“ bisher noch nicht definiert haben. Diesen Begriff haben wir nur intuitiv verwendet. Eine Definition des Konzepts „Lücke“ ist aber schwierig, denn dieses Konzept beschreibt etwas, das selbst nicht existiert. Ich möchte deswegen diesen Weg vermeiden[5].
Sackgasse: Weg über den Konstruktionsbegriff
[Bearbeiten]Eine weitere Möglichkeit wäre es zu sagen, dass alles, was irgendwie konstruiert werden kann, auch existiert. Beispielsweise ist gleich der Länge der Diagonalen eines Quadrates mit der Seitenlänge Eins und kann so mit Lineal und Zirkel auf der Zahlengeraden eingezeichnet werden:
Hier haben wir aber das Problem, den Begriff der Konstruktion richtig zu definieren. Dieser Begriff müsste nämlich mächtig genug sein, um alle reellen Zahlen konstruieren zu können (in der Algebra wirst du sehen, dass es reelle Zahlen wie gibt, die nicht mit Zirkel und Lineal auf der Zahlengeraden eingetragen werden können). Gleichzeitig müsste der Konstruktionsbegriff auch einfach in seiner Handhabung sein. Dieser Weg scheint zu schwierig zu sein.
Lösung: Weg über Approximationen
[Bearbeiten]Wir können aber auch die Tatsache verwenden, dass die bereits formulierten Axiome uns die Existenz der rationalen Zahlen garantieren. Jede reelle Zahl kann nämlich beliebig durch rationale Zahlen angenähert werden. Nimm zum Beispiel die Zahl . Aus der Schule weißt du, dass es für diese Zahl eine Darstellung als unendlichen Dezimalbruch gibt:
Dabei musst du dir anstatt der Pünktchen die fehlende unendliche Folge von Ziffern vorstellen. Wenn du nun von dieser unendlichen Dezimalbruchdarstellung einen endlichen Dezimalbruch nimmst, erhältst du eine rationale Zahl, die den unendlichen Dezimalbruch approximiert. So ist eine rationale Zahl, deren Abstand zu kleiner gleich ist. Je mehr Nachkommastellen du in den endlichen Dezimalbruch aufnimmst, um so genauer ist deine Approximation. Wenn du allgemein von einem unendlichen Dezimalbruch den endlichen Dezimalbruch mit Nachkommastellen wählst, erhältst du eine rationale Zahl, deren Abstand vom unendlichen Dezimalbruch kleiner gleich ist. Damit ist jeder unendliche Dezimalbruch durch rationale Zahlen approximierbar. Weil nun jede reelle Zahl eine unendliche Dezimalbruchdarstellung besitzt, ist auch jede reelle Zahl durch rationale Zahlen annäherbar.
Gleichzeitig ist jede Zahl, die durch rationale Zahlen angenähert wurde, selbst wieder reell. Dies kannst du dir aus der intuitiven Idee der Zahlengeraden erklären. Alle rationalen Zahlen liegen nämlich auf der Zahlengeraden, und wenn etwas mit Punkten auf der Zahlengeraden approximiert wird, dann liegt dieser approximierte Punkt wieder auf der Zahlengeraden (und ist damit eine reelle Zahl). Damit könnte das Vollständigkeitsaxiom vom Schema her folgendermaßen aussehen:
„Alles, was mit rationalen Zahlen approximiert werden kann, muss existieren.“
Mit diesem Axiom wäre die Existenz jeder reellen Zahl gewährleistet. Wir müssen nun noch eine mathematische Definition für das intuitive Konzept der Approximation finden.
Intervallschachtelungen mit rationaler Genauigkeit
[Bearbeiten]Definition
[Bearbeiten]Um das Konzept der Approximation mathematisch zu definieren, wähle ich den Weg über Intervallschachtelungen. Eine Intervallschachtelung ist eine spezielle Folge von Intervallen , , usw. Jedes dieser Intervalle ist eine konkrete Approximation. Die Angabe des Intervalls bedeutet dabei, dass die zu approximierende Zahl im Intervall liegt, dass also ist. Die zu einem Intervall gehörenden Zahlen und stellen also jeweils eine untere beziehungsweise eine obere Schranke für die zu approximierende Zahl dar. Die Angabe dieser beiden Zahlen hat folgenden Vorteil: Der Fehler der Approximation ist direkt ersichtlich. Wenn man nämlich in jedem Schritt nur eine Zahl als Approximation angeben würde, wüsste man nicht, wie gut diese Approximation ist. Dieses Problem hat man bei Intervallen nicht. Die Breite eines Intervalls ist ein gutes Maß für die Qualität der Approximation.
Nun soll die Approximation mit jedem angegebenen Intervall immer genauer werden. Wenn wir bereits wissen, dass die approximierte Zahl im Intervall liegt, dann wollen wir dieses Wissen auch in den folgenden Schritten nutzen. Wir fordern deshalb
Es soll also gelten
Auch müssen wir garantieren, dass die Approximation beliebig genau wird. Deswegen soll auch folgende Anforderung erfüllt sein:
„Für alle positiven rationalen Zahlen gibt es mindestens ein Intervall mit der Breite kleiner gleich .“
Wir wollen nämlich durch eine Approximation genau eine reelle Zahl beschreiben. Deswegen müssen wir verhindern, dass alle Intervalle eine Mindestbreite haben, weil es sonst mehrere reelle Zahlen geben würde, die in allen Intervallen liegen. Damit würden mehrere Zahlen durch die Intervallfolge gleichermaßen approximiert, was wir nicht wollen.
In den meisten Beispielen für Intervallschachtelungen können wir nur garantieren, dass die Intervalle kleiner als jede positive rationale Zahl werden. Deswegen haben wir in der obigen Eigenschaft auch nur rationale Zahlen und nicht beliebige reelle Zahlen gewählt. Wie wir im nächsten Kapitel sehen werden, werden so auch infinitesimale, also unendlich kleine Zahlen ausgeschlossen. So sparen wir uns im Vergleich zu anderen Lehrbüchern ein Axiom.
Eine Folge von Intervallen mit den obigen Eigenschaften nennt man Intervallschachtelung mit rationaler Genauigkeit:
Definition (Intervallschachtelung mit rationaler Genauigkeit)
Eine Intervallschachtelung mit rationaler Genauigkeit ist eine Folge von abgeschlossenen Intervallen , , ... mit folgenden Eigenschaften
-
Alle Intervalle sind Teilmengen ihres Vorgängers:
-
Für jede rationale Zahl gibt es ein Intervall mit der Breite kleiner :
Hinweis
In vielen anderen Lehrbüchern wirst du einen anderen Begriff der Intervallschachtelung finden. Dort werden die Intervalle kleiner als jede positive reelle Zahl und nicht nur kleiner als jede positive rationale Zahl. Diese Art der Intervallschachtelung werde ich in einem späteren Kapitel erläutern. Zur besseren Unterscheidung werde ich für diese Intervallschachtelung immer den Begriff „Intervallschachtelung mit rationaler Genauigkeit“ verwenden (es sei denn, die gemeinte Art der Intervallschachtelung erschließt sich aus dem Kontext). Die andere Art der Intervallschachtelung werde ich „Allgemeine Intervallschachtelung“ nennen.
Beachte, dass die Grenzen der Intervalle, also die Zahlen und , durchaus irrational sein können. Wir haben nämlich in der obigen Definition keine Einschränkungen für die Zahlen und getroffen. Zwar wissen wir aktuell noch nicht, ob es irrationale Zahlen wie oder gibt, wenn wir aber durch geeignete Approximationen deren Existenz bewiesen haben, dann können wir diese Zahlen nutzen, um weitere reelle Zahlen zu approximieren. Diese Entscheidung wurde auch getroffen, um Beweise im späteren Kapitel zur „allgemeinen Intervallschachtelung“ zu vereinfachen.
Verständnisfrage: Warum folgt aus der obigen Definition, dass wenn ein Intervall eine Breite kleiner hat, auch alle nachfolgenden Intervalle eine Breite kleiner haben?
Weil alle nachfolgenden Intervalle Teilmengen von sind und damit eine Breite kleiner gleich haben.
Verständnisaufgabe: Sei eine beliebige rationale Zahl. Finde eine Intervallschachtelung mit rationaler Genauigkeit für .
Eine einfache Möglichkeit ist die Folge , wo jedes Intervall gleich dem einelementigen Intervall ist. Beachte, dass diese Intervallschachtelung nur deswegen möglich ist, weil wir in der Definition abgeschlossene und keine offenen Intervalle gefordert haben. Deswegen ist es auch die Wahl von abgeschlossenen Intervallen in der Definition sinnvoll.
Eine andere Möglichkeit ist die Intervallschachtelung . Dies zeigt, dass es für eine Zahl mehrere mögliche Intervallschachtelungen rationaler Genauigkeit geben kann.
Intervallschachtelung aus unendlichem Dezimalbruch
[Bearbeiten]Im obigen Abschnitt habe ich bereits dargelegt, dass aus jedem unendlichen Dezimalbruch eine Approximierbarkeit der durch den Dezimalbruch dargestellten Zahl folgt. Nimm beispielsweise wieder die Zahl . Diese besitzt die Dezimalbruchdarstellung
Ich habe bereits erwähnt, dass wenn man einen endlichen Dezimalbruch mit Nachkommastellen wählt, dieser endliche Dezimalbruch mit einem Fehler von maximal approximiert. Genauer: Wenn der endliche Dezimalbruch mit Nachkommastellen ist, dann liegt zwischen und . Es gilt
Damit ist
eine Folge von Intervallen, die approximieren. Jedes Intervall ist dabei Teilmenge des Vorgängers, und da beim -ten Intervall die Breite des Intervalls gleich ist, werden die Breiten der Intervalle kleiner als jede positive rationale Zahl. Damit ist obige Folge von Intervallen eine Intervallschachtelung mit rationaler Genauigkeit. Analog kann man aus jedem unendlichen Dezimalbruch eine Intervallschachtelung mit rationaler Genauigkeit für die durch den Dezimalbruch dargestellte Zahl gewinnen.
Alternative Intervallschachtelung für Wurzel 2
[Bearbeiten]Alternativ kann auch eine Intervallschachtelung über eine Art Algorithmus gewonnen werden. Ich möchte dir an dieser Stelle einen solchen Algorithmus vorstellen, weil dir diese Methode in der Analysis häufiger begegnen wird. Stelle dir also vor, dass wir wieder approximieren wollen. Zunächst wissen wir, dass ist, denn es ist
Damit muss im Intervall liegen. Nun nehmen wir die Mitte des Intervalls und schauen, ob sie kleiner oder größer als sein muss. Dies tun wir, indem wir quadrieren und schauen, ob das größer oder kleiner 2 ist. Da größer als 2 ist, muss auch größer als sein. Es gilt also und somit erhalten wir als zweites Intervall der Intervallschachtelung.
Dieses Verfahren können wir nun beliebig wiederholen. Jedes Mal teilen wir das aktuelle Intervall in zwei Hälften und schauen, in welcher der beiden Hälften sich die Zahl befinden muss. Diese Intervallhälfte wählen wir als neues Intervall der Intervallschachtelung.
Jedes Intervall ist Teilmenge des Vorgängerintervalls, und weil in jedem Schritt die Breite des Intervalls halbiert wird, wird die Intervallbreite kleiner als jede positive rationale Zahl. Damit gewinnen wir durch den Algorithmus eine Intervallschachtelung mit rationaler Genauigkeit für .
Intervallschachtelungsprinzip mit rationaler Genauigkeit
[Bearbeiten]Nun sind wir soweit, die Vollständigkeit von als Axiom zu definieren. In unserer Vorstellung soll jede Intervallschachtelung mit rationaler Genauigkeit genau eine reelle Zahl approximieren. Deswegen fordern wir, dass genau eine reelle Zahl durch alle Intervalle der Intervallschachtelung approximiert wird, dass also genau eine reelle Zahl in allen Intervallen liegt. Diese Forderung nennen wir „Intervallschachtelungsprinzip mit rationaler Genauigkeit“:
Definition (Intervallschachtelungsprinzip mit rationaler Genauigkeit)
Für jede Intervallschachtelung mit rationaler Genauigkeit gibt es genau eine reelle Zahl, die in allen Intervallen liegt.
Dieses Axiom beschreibt die minimale Vervollständigung der rationalen zu den reellen Zahlen. Um das zu sehen, können wir den Satzteil „es existiert genau eine reelle Zahl“ aufsplitten in „es existiert mindestens eine reelle Zahl“ und „es existiert höchstens eine reelle Zahl“. Der erste Aspekt beschreibt die Vollständigkeit der reellen Zahlen und der zweite Aspekt die Minimalität dieser Vervollständigung:
- Die reellen Zahlen sind vollständig: „Zu jeder Intervallschachtelung mit rationaler Genauigkeit existiert mindestens eine reelle Zahl, die in allen Intervallen liegt.“
- Die Vervollständigung ist minimal: „Zu jeder Intervallschachtelung mit rationaler Genauigkeit existiert höchstens eine reelle Zahl, die in allen Intervallen liegt.“
Insgesamt beschreibt also das Intervallschachtelungsprinzip mit rationaler Genauigkeit die minimale Vervollständigung der rationalen zu den reellen Zahlen.
Alternative Beschreibung der Vollständigkeit
[Bearbeiten]In vielen Lehrbüchern wirst du zwei Axiome anstatt eines zur Beschreibung der Vollständigkeit finden. Die Vollständigkeit selbst wird dabei meistens durch das allgemeine Intervallschachtelungsprinzip (nicht zu verwechseln mit dem hier vorgestellten Axiom!) oder über das so genannte Konvergenzkriterium von Cauchy beschrieben. Die Minimalität der Vervollständigung wird über das archimedische Axiom definiert. Diese Axiome werde ich in den kommenden Kapiteln behandeln.
Beachte aber, dass für uns diese Axiome Theoreme sein werden, da wir bereits ein Axiom zur Vollständigkeit haben. Darauf solltest du vor allem beim archimedischen Axiom achten, weil bereits in dessen Namen das Wort „Axiom“ vorkommt.
Das archimedische Axiom
[Bearbeiten]Das archimedische Axiom
[Bearbeiten]Beginnen wir das Kapitel mit dem archimedischen Axiom:
Satz (Das Archimedische Axiom)
Zu jedem und zu jedem gibt es eine natürliche Zahl , so dass ist. In Quantorenschreibweise:
Beachte, dass für uns das archimedische Axiom kein Axiom ist, sondern ein Theorem. Denn im letzten Kapitel zur Vollständigkeit der reellen Zahlen haben wir bereits ein Axiom definiert, aus dem das archimedische Axiom folgt. Da aber die meisten Lehrbücher den obigen Satz als eines der Axiome für reelle Zahlen benutzen und es somit als „archimedisches Axiom“ bezeichnen, werde ich dies auch in diesem Lehrbuch machen.
Bedeutung des archimedischen Axioms
[Bearbeiten]Die Bedeutung des archimedischen Axioms wird klar, wenn wir seine Aussage negieren. Aus
wird durch Negation
Es gibt also positive Zahlen und , so dass jedes Vielfache von kleiner als ist. Damit wäre eine in Relation zu unendlich große Zahl. Wir können also sagen
Das archimedische Axiom lautet: „Es gibt keine zwei Zahlen und , so dass in Relation zu unendlich groß ist.”
Wenn bezüglich unendlich groß ist, dann ist eine unendlich große Zahl, also eine Zahl, welche größer als jede natürliche Zahl ist. Analog ist eine unendlich kleine Zahl, welche kleiner als jede positive rationale Zahl ist. Da es aber nach dem archimedischen Axiom keine solche Zahlen und geben kann, schließt es auch die Existenz unendlich kleiner oder unendlich großer Zahlen aus. Man kann also auch sagen:
Das archimedische Axiom lautet: „Es gibt keine positiven unendlich kleinen oder unendlich großen reellen Zahlen.“
Alternative Formulierung des archimedischen Axioms
[Bearbeiten]Das Inverse einer unendlich kleinen Zahl ist unendlich groß und umgekehrt. Damit bedingen sich unendlich kleine und unendlich große Zahlen gegenseitig. Es reicht also aus, nur die Existenz der unendlich kleinen oder die Existenz der unendlich großen Zahlen auszuschließen, um eine Aussage äquivalent zum archimedischen Axiom zu erhalten.
Eine unendlich große Zahl ist eine Zahl , die größer als jede natürliche Zahl ist. Die Existenz einer unendlich großen Zahl wird also durch folgende Aussage beschrieben:
Die Negation dieser Aussage schließt damit die Existenz unendlich großer Zahlen aus. Sie lautet:
Analog kann auch die Existenz unendlich kleiner Zahlen ausgeschlossen werden. Eine unendlich kleine Zahl ist eine Zahl, die kleiner als jeder Quotient mit einer natürlichen Zahl ist. Wenn es also unendlich kleine Zahlen geben würde, würde gelten:
Die Aussage, die die Existenz unendlich kleiner Zahlen ausschließt, lautet damit:
Damit haben wir zwei Alternativformulierungen für das archimedische Axiom gefunden. Dass die beiden Aussagen auch wirklich alternative Formulierungen des archimedischen Axioms sind, können wir dadurch zeigen, dass sie äquivalent zum archimedischen Axiom sind:
Satz (Alternative Formulierungen des archimedischen Axioms)
Folgende Aussagen sind äquivalent zum archimedischen Axiom:
Beweis (Alternative Formulierungen des archimedischen Axioms)
Obigen Satz können wir beweisen, indem wir folgende Implikationskette zeigen
Beweisschritt:
Diese Implikation kann direkt gezeigt werden. Hierzu setzt man im archimedischen Axiom
für und für ein. Man erhält dann die Aussage
Beweisschritt:
Sei beliebig. Wir müssen nun zeigen, dass es eine natürliche Zahl gibt, so dass ist. Nun ist aber auch größer 0 und damit gibt es eine natürliche Zahl mit . Daraus folgt aber , was zu beweisen war.
Beweisschritt:
Seien und beliebige positive reelle Zahlen. Nun ist auch und es gibt damit eine natürliche Zahl mit . Wenn wir diese Ungleichung umstellen, kommen wir auf , was zu zeigen war. Somit ist der Beweis der Implikationskette abgeschlossen.
Beweis des archimedischen Axioms
[Bearbeiten]Wie oben bereits erwähnt, ist für uns das archimedische Axiom kein Axiom, sondern ein Satz, den wir dementsprechend auch beweisen müssen. Dies wollen wir nun tun:
Wie kommt man auf den Beweis? (Das archimedische Axiom)
Es ist egal, welche der drei vorgestellten Varianten des archimedischen Axioms wir beweisen, da sie alle äquivalent zueinander sind. Ich wähle zum Beweis die Aussage
welche die Nicht-Existenz unendlich kleiner positiver Zahlen beschreibt. Um eine Idee für einen Beweis zu bekommen, gehen wir einmal vom Gegenteil aus und nehmen an, dass es eine unendlich kleine Zahl gibt. Dies bedeutet aber, dass wir nicht von durch jede Intervallschachtelung mit rationaler Genauigkeit unterscheiden können, da der Abstand zwischen und kleiner als jede rationale Zahl ist. Jedoch haben wir im Intervallschachtelungsprinzip mit rationaler Genauigkeit definiert, dass jede solche Intervallschachtelung maximal eine Zahl approximiert.
Wir müssen also eine Intervallschachtelung mit rationaler Genauigkeit so geschickt wählen, dass wir bei der Existenz einer unendlich kleinen Zahl einen Widerspruch erhalten. Mit etwas Nachdenken kommt man hier auf die Intervallschachtelung .
Beweis (Das archimedische Axiom)
Wir beweisen die Aussage
Sei also beliebig. Betrachte nun die Intervallfolge , also die Folge
Diese Folge ist eine Intervallschachtelung mit rationaler Genauigkeit und damit existiert maximal eine reelle Zahl, die in allen Intervallen liegt. Nun liegt bereits in allen Intervallen, womit nicht in allen Intervallen liegen kann. Es gibt also ein mit . Wegen muss sein. Es gilt also , was zu beweisen war.
Bernoullische Ungleichung
[Bearbeiten]Die Bernoulli-Ungleichung ist eine wichtige Ungleichung der Analysis. Mit ihr können nämlich Ungleichungen mit Potenzen gelöst werden, für die man normalerweise den Logarithmus verwendet, welcher aber am Anfang einer Analysis-Vorlesung noch nicht zur Verfügung steht. Zunächst werde ich dir die Bernoulli-Ungleichung vorstellen. Später werde ich dir dann zeigen, wie man mit ihr Ungleichungen mit Potenzen beweist, ohne dass man dazu den Logarithmus zur Hilfe nehmen muss.
Die Bernoulli-Ungleichung
[Bearbeiten]Formulierung
[Bearbeiten]Satz (Bernoullische Ungleichung)
Für alle reellen Zahlen und alle natürlichen Zahlen gilt:
Die Bernoulli-Ungleichung geht dabei auf den Schweizer Mathematiker Jacob Bernoulli zurück, der sie 1689 in seiner Arbeit „Positiones Arithmeticae de Seriebus Infinitis“ veröffentlichte und dort auch häufig anwendete[6].
Veranschaulichung
[Bearbeiten]Folgendes Diagramm veranschaulicht die Bernoulli-Ungleichung. Hier sind die beiden Funktionen (roter Graph) und (blauer Graph) für den konkreten Wert eingetragen:
Du siehst, dass für alle der rote Graph niemals unter dem blauen Graph liegt. Dies zeigt, dass im betrachteten Bereich ist (beachte, dass im obigen Graph der konkrete Wert genutzt wurde).
Die Bernoulli-Ungleichung ist für große außerdem eine sehr starke Abschätzung nach unten – für große ist um ein Vielfaches größer als . Dies kannst du nachvollziehen, indem du dir die Fortsetzung des obigen Diagramms für große vorstellst. Für viele Anwendungen der Bernoulli-Ungleichungen ist es aber egal, dass die Abschätzung nach unten sehr stark ist.
Beweis
[Bearbeiten]Wie kommt man auf den Beweis?
Die Ungleichung zeigen wir durch vollständige Induktion nach . Der Induktionsanfang lässt sich durch direktes Nachrechnen zeigen. Im Induktionsschritt müssen wir zeigen, dass
ist. Als Induktionsvoraussetzung haben wir gegeben. Um diese verwenden zu können, teilen wir zunächst die Potenz geschickt auf:
Für können wir die Induktionsvoraussetzung benutzen. Außerdem wissen wir, dass und somit ist. Damit erhalten wir:
Nun können wir das rechtsstehende Produkt ausmultiplizieren:
Wir haben also fast den rechten Term der Zielungleichung, nur der Summand ist noch zuviel. Da aber und ist, ist auch und wir können diesen Term für die Abschätzung nach unten weglassen:
Wir haben damit einen Beweis für die bernoullische Ungleichung gefunden, der nun nur noch schön aufgeschrieben werden muss.
Beweis
Wir führen den Beweis über vollständige Induktion:
Aussageform, deren Allgemeingültigkeit für bewiesen werden soll:
1. Induktionsanfang:
2. Induktionsschritt:
2a. Induktionsvoraussetzung:
2b. Induktionsbehauptung:
2c. Beweis des Induktionsschritts:
Was kann man mit der Bernoulli-Ungleichung machen?
[Bearbeiten]Potenzen nach unten abschätzen
[Bearbeiten]Ich möchte dir nun an einem Beispiel kurz erläutern, wie man Ungleichungen mit Potenzen mit der Bernoulli-Ungleichung lösen kann. Stelle dir hierzu vor, dass wir ein finden müssen, so dass ist, wobei irgendeine vorgegebene reelle (positive) Zahl ist. Normalerweise würden wir hier den Logarithmus verwenden, um die Gleichung nach umzustellen:
muss also irgendeine natürliche Zahl größer gleich sein. Wir haben an dieser Stelle nur ein Problem: Wir können den Logarithmus nicht verwenden, weil wir ihn noch nicht mathematisch exakt eingeführt haben. Es ist auch nicht trivial, den Logarithmus mathematisch exakt einzuführen, weil wir hierzu Konzepte der Analysis benötigen, die wir erst später kennenlernen werden. Jetzt kommt uns die Bernoulli-Ungleichung gelegen. Wir können nämlich zu umschreiben und erhalten damit:
Wir wissen also dank der Bernoulli-Ungleichung, dass stets ist. Wenn also ist, dann muss automatisch auch sein. Somit können wir alternativ ein finden, so dass ist. Die letzte Ungleichung lässt sich einfach umformen:
Für jede natürliche Zahl größer gleich ist somit . Durch die Bernoulli-Ungleichung können wir die Zweierpotenzen so nach unten abschätzen, dass sich die Zielungleichung leicht ergibt. Eine solche Argumentation wird dir noch öfters in der Analysis-Vorlesung begegnen.
Potenzen nach oben abschätzen
[Bearbeiten]Beachte, dass du die Bernoulli-Ungleichung nur bei solchen Ausdrücken verwenden kannst, die nach unten abgeschätzt werden sollen. Wenn dem nicht so ist, dann musst du deine Zielungleichung so geschickt durch Äquivalenzumformungen umbauen, dass du die Bernoulli-Ungleichung verwenden kannst.
Stelle dir hierzu vor, wir wollen ein finden, so dass für irgendeine positive Zahl ist. Hier bringt uns die Bernoulli-Ungleichung nichts, denn durch sie können wir die Potenz nur nach unten und nicht wie gefordert nach oben abschätzen. Doch wir können unsere Zielungleichung geschickt umformen:
Anstelle der Ungleichung können wir auch beweisen. Die zweite Ungleichung kann nun so ähnlich mit der bernoullischen Ungleichung bewiesen werden, wie wir es bereits im obigen Abschnitt gesehen haben.
Beachte, dass wir nur Äquivalenzumformungen verwendet haben, um die neue Zielgleichung zu gewinnen. Durch die Äquivalenzumformungen ist nämlich gewährleistet, dass bei Erfüllung von die eigentliche Zielungleichung erfüllt sein muss.
Unbeschränktheit von Potenzfunktionen zeigen
[Bearbeiten]Mit Hilfe der Bernoulli-Ungleichung kann auch gezeigt werden, dass die Potenzfunktion der Form für nach oben unbeschränkt ist, ohne dafür die Wurzel verwenden zu müssen. Hierfür müssen wir zeigen, dass es für alle ein mit gibt.
Normalerweise würden wir finden, indem wir auf beide Seiten der Ungleichung die Wurzel ziehen. Hier müssten wir jedoch auch unterscheiden, ob gerade oder ungerade ist. Bei geradem lautet unsere Rechnung:
Bei ungeradem müssen wir beachten, dass es für negative keine -te Wurzel gibt. Dies ist aber kein Problem, da wir uns auf beschränken können. Wenn nämlich größer als jede positive Zahl wird, dann wird es auch größer als jede negative Zahl. Auch ist bei geradem nicht , sondern . Deswegen haben wir bei geradem (unter der Einschränkung, dass ist):
Nun wollen wir aber die Unbeschränktheit nach oben nicht mit Hilfe der Wurzel beweisen (weil wir beispielsweise die Wurzel noch nicht definiert haben und diese nicht extra einführen möchten). Hier können wir zunächst wie oben vorgehen: Zunächst schreiben wir in um. Wir definieren also und erhalten:
Die letzte Ungleichung gilt, solange ist. Wenn wir also ein finden, so dass ist, dann muss auch sein. Die Ungleichung besitzt keine nervigen Potenzen mehr, weswegen wir direkt umstellen können:
Wenn also und ist, dann muss nach der Bernoulli-Ungleichung sein. Wir wählen also und damit
Dieses erfüllt die Eigenschaft, dass . Man beachte, dass wir finden können, ohne die Wurzel zu verwenden und ohne eine Fallunterscheidung in gerade und ungerade machen zu müssen. Zwar ist unsere Wahl von nicht optimal im Sinne, dass es das kleinste mit ist. Das ist aber egal, um zu zeigen, dass Potenzfunktionen nach oben unbeschränkt sind.
Folgerungen aus der Bernoulli-Ungleichung
[Bearbeiten]Aus der Bernoulli-Ungleichung kann zusammen mit dem archimedischen Axiom Abschätzungen für Potenzen hergeleitet werden, die für die Grenzwertberechnung wichtig sind.
Beliebig wachsende Potenzen
[Bearbeiten]Satz (Beliebig wachsende Potenzen)
Für jede Zahl und jede Zahl gibt es ein , so dass ist.
Wie kommt man auf den Beweis? (Beliebig wachsende Potenzen)
Obigen Satz können wir über die Bernoulli-Ungleichung herleiten. Diese lautet
für alle . Nun haben wir zu beweisen und dementsprechend setzen wir , also . Auf der rechten Seite des Ausdrucks steht das Produkt , welches wir bereits vom archimedischen Axiom kennen.
Insgesamt wollen wir beweisen. Wegen reicht es also, zu beweisen. Nun können wir wegen des archimedischen Axioms beliebig groß werden lassen – unter anderem so groß, dass es größer ist, was unsere Ungleichung beweist.
Um aber das archimedische Axiom hier anwenden zu können, muss sein. Wegen folgt dies aber aus .
Beweis (Beliebig wachsende Potenzen)
Sei und beliebig. Setze . Wegen ist und damit gibt es nach dem archimedischen Axiom ein mit . Nun gilt nach der Bernoulli-Ungleichung
Beliebig fallende Potenzen
[Bearbeiten]Satz (Beliebig fallende Potenzen)
Zu jedem und zu jedem gibt es ein mit .
Wie kommt man auf den Beweis? (Beliebig fallende Potenzen)
Zunächst ist der Satz für trivial, weil dann immer ist. Wir können uns im Folgenden also auf den Fall beschränken. Wir haben zu zeigen:
Nun können wir anders als im obigen Satz die Bernoulli-Ungleichung nicht direkt anwenden. Der Grund dafür ist, dass wir hier eine Abschätzung nach oben für die Potenz brauchen, wir aber mit der Bernoulli-Ungleichung nur eine Abschätzung nach unten bekommen. Wir können aber die Zielgleichung durch geschickte Äquivalenzumformungen so umschreiben, dass der obige Satz anwendbar ist:
Weil nun und ist, kann die letzte Ungleichung mit obigem Satz bewiesen werden.
Beweis (Beliebig fallende Potenzen)
Sei und beliebig.
Fall 1:
Ist , dann ist stets .
Fall 2:
Sei . Es ist dann und . Nach obigen Satz gibt es ein mit
Damit gilt aber nach Umstellung dieser Ungleichung:
Allgemeine Intervallschachtelungen
[Bearbeiten]Allgemeine Intervallschachtelung
[Bearbeiten]In diesem Kapitel werde ich die Art der Intervallschachtelung beschreiben, welche du in den meisten Lehrbüchern findest. Hier wird die Breite der Intervalle kleiner als jede positive reelle Zahl und nicht nur kleiner als jede positive rationale Zahl. Für diese Art der Intervallschachtelung werde ich den Begriff „allgemeine Intervallschachtelung“ verwenden. Die Definition lautet:
Definition (Allgemeine Intervallschachtelung)
Eine allgemeine Intervallschachtelung ist eine Folge von abgeschlossenen Intervallen , , ... mit den Eigenschaften
-
Alle Intervalle sind Teilmengen ihres Vorgängers:
-
Für jede reelle Zahl gibt es ein Intervall mit der Breite kleiner :
Wenn du noch nicht den Abschnitt mit der Definition zur Intervallschachtelung mit rationaler Genauigkeit gelesen haben solltest, dann empfehle ich dir, dies nun nachzuholen. Du wirst dann auch obige Definition besser verstehen.
Allgemeines Intervallschachtelungsprinzip
[Bearbeiten]Definition
[Bearbeiten]Auch zur obigen Art der Intervallschachtelung gibt es ein Intervallschachtelungsprinzip. Dieses lautet:
Satz (Allgemeines Intervallschachtelungsprinzip)
Zu jeder allgemeinen Intervallschachtelung , , ... existiert eine reelle Zahl, die in allen Intervallen liegt und damit von allen Intervallen approximiert wird.
Wie auch beim archimedischen Axiom ist dieses Intervallschachtelungsprinzip für uns ein zu beweisender Satz, während es in anderen Lehrbücher als Axiom eingeführt wird. Wir werden obigen Satz später aus dem Intervallschachtelungsprinzip mit rationaler Genauigkeit beweisen.
Eindeutigkeit der Approximation
[Bearbeiten]Du wirst vielleicht schon festgestellt haben, dass im Gegensatz zum Intervallschachtelungsprinzip mit rationaler Genauigkeit im obigen Satz nur die Existenz, aber nicht die Eindeutigkeit einer reellen Zahl gefordert wird, die von allen Intervallen approximiert wird. Der Grund ist, dass bereits aus der Definition der allgemeinen Intervallschachtelung folgt, dass es maximal eine reelle Zahl geben kann, die in allen Intervallen liegt.
Satz (Eindeutigkeit der Approximation)
Es gibt maximal eine reelle Zahl, die in allen Intervallen einer allgemeinen Intervallschachtelung liegt.
Wie kommt man auf den Beweis? (Eindeutigkeit der Approximation)
Ein Satz zur Eindeutigkeit eines Objektes mit bestimmten Eigenschaften wird oft dadurch bewiesen, dass die Annahme von zwei verschiedenen solchen Objekten zum Widerspruch geführt wird. Nehmen wir also an, es gäbe zwei Objekte und , die in allen Intervallen , usw. einer allgemeinen Intervallschachtelung liegen. Nun müssen wir daraus einen Widerspruch ableiten.
Frage: Wie kann ein Widerspruch hergeleitet werden?
Nehmen wir den Abstand zwischen und . Da ungleich ist, ist . Nun wird aber die Breite der Intervalle kleiner als jede positive reelle Zahl, also auch kleiner als . Ein Intervall mit der Breite kleiner kann aber nicht beide Zahlen und enthalten, womit wir den gewünschten Widerspruch haben.
Beweis (Eindeutigkeit der Approximation)
Sei , usw. eine allgemeine Intervallschachtelung. Seien außerdem und reelle Zahlen, die in allen Intervallen , usw. liegen.
Da und verschieden sind, ist und damit gibt es ein Intervall mit einer Breite kleiner als . Damit können aber nicht gleichzeitig und in liegen. Widerspruch ↯.
Mit dieser Erkenntnis können wir obiges Intervallschachtelungsprinzip verbessern:
Satz (Verbesserte Variante des allgemeinen Intervallschachtelungsprinzips)
Zu jeder allgemeinen Intervallschachtelung , , ... existiert genau eine reelle Zahl, die in allen Intervallen liegt und damit von allen Intervallen approximiert wird.
Unterschiede zwischen den Intervallschachtelungen
[Bearbeiten]Mit der allgemeinen Intervallschachtelung und der Intervallschachtelung mit rationaler Genauigkeit haben wir zwei verschiedene Arten der Intervallschachtelung kennen gelernt. Im obigen Abschnitt haben wir gesehen, dass die allgemeine Intervallschachtelung bereits aus ihrer Definition heraus impliziert, dass jede durch sie approximierte reelle Zahl eindeutig ist. Dies ist bei Intervallschachtelungen mit rationaler Genauigkeit nicht der Fall. Bei diesen Intervallschachtelungen wissen wir nämlich nur, dass die Breite der Intervalle kleiner als jede positive rationale Zahl wird, aber nicht, ob sie kleiner als jede positive reelle Zahl wird. Wenn es nun zwei Zahlen mit unendlich kleinem Abstand zueinander gäbe, dann gäbe es auch eine Intervallschachtelung mit rationaler Genauigkeit, die beide Zahlen gleichermaßen approximieren.
Deswegen mussten wir per Axiom festlegen, dass auch Intervallschachtelungen mit rationaler Genauigkeit maximal eine Zahl approximieren. Der Vorteil hier ist aber, dass wir dadurch das archimedische Axiom geschenkt bekommen und es nicht mehr extra als Axiom formulieren müssen. Aus dem allgemeinen Intervallschachtelungsprinzip ist demgegenüber das archimedische Axiom nicht ableitbar. Denn es ist nicht ohne Weiteres klar, ob die Folge der Intervalle , , usw. wirklich eine allgemeine Intervallschachtelung ist oder nicht. Hierzu benötigen wir nämlich das archimedische Axiom als extra formuliertes Axiom.
Beweis des allgemeinen Intervallschachtelungsprinzip
[Bearbeiten]Wir müssen nun das allgemeine Intervallschachtelungsprinzip beweisen:
Beweis (Allgemeines Intervallschachtelungsprinzip)
Jede allgemeine Intervallschachtelung ist auch eine Intervallschachtelung mit rationaler Genauigkeit, denn wenn die Breite der Intervalle kleiner als jede positive reelle Zahl wird, wird sie insbesondere auch kleiner als jede positive rationale Zahl. Aus dem Intervallschachtelungsprinzip mit rationaler Genauigkeit folgt damit, dass auch jede allgemeine Intervallschachtelung mindestens eine reelle Zahl approximiert. Damit ist das allgemeine Intervallschachtelungsprinzip bewiesen.
Alternative Formulierung der Vollständigkeit
[Bearbeiten]Viele andere Lehrbücher gehen einen anderen Weg, die Vollständigkeit der reellen Zahlen zu beschreiben. Einige dieser Lehrbücher nutzen dazu das allgemeine Intervallschachtelungsprinzip in Kombination mit dem archimedischen Axiom. Ich habe bereits gezeigt, dass aus dem Intervallschachtelungsprinzip mit rationaler Genauigkeit das archimedische Axiom und die allgemeine Intervallschachtelung folgen. Jetzt muss nur noch bewiesen werden, dass das archimedische Axiom zusammen mit der allgemeinen Intervallschachtelung auch das Intervallschachtelungsprinzip mit rationaler Genauigkeit impliziert. Damit zeigen wir nämlich, dass beide Beschreibungsmöglichkeiten für die Vollständigkeit der reellen Zahlen äquivalent sind. Es ist also egal, welche Beschreibungsmöglichkeit man wählt. Weitere Möglichkeiten, die Vollständigkeit zu charakterisieren, werden wir dir in späteren Kapiteln vorstellen. Jetzt aber zeigen wir:
Satz (Alternative Formulierung der Vollständigkeit)
Aus dem archimedischen Axiom und dem allgemeinen Intervallschachtelungsprinzip folgt das Intervallschachtelungsprinzip mit rationaler Genauigkeit.
Wie kommt man auf den Beweis? (Alternative Formulierung der Vollständigkeit)
Um das Intervallschachtelungsprinzip mit rationaler Genauigkeit zu beweisen, müssen wir zeigen, dass jede Intervallschachtelung mit rationaler Genauigkeit genau eine reelle Zahl approximiert, dass es also genau eine reelle Zahl gibt, die in allen Intervallen der Intervallschachtelung liegt. Einen solchen Existenz- und Eindeutigkeitssatz beweisen wir am besten, indem wir die Beweise für die Existenz und die Eindeutigkeit getrennt behandeln.
Sei im folgenden , , usw. eine Intervallschachtelung mit rationaler Genauigkeit.
Beweisschritt: Es gibt eine reelle Zahl , die in allen Intervallen , usw. liegt.
Es liegt nahe, das allgemeine Intervallschachtelungsprinzip zu benutzen, um die Existenz von zu beweisen. Hierzu müsste aber die gegebene Intervallschachtelung , usw. eine allgemeine Intervallschachtelung sein, weil dann das allgemeine Intervallschachtelungsprinzip direkt die Existenz der gewünschten Zahl vorhersagt. Die Breite der Intervalle müsste also kleiner als jede gegebene positive reelle Zahl werden. Jedoch wissen wir nur, dass die Breite der Intervalle kleiner als jede vorgegebene positive rationale Zahl wird.
Frage: Wie kann man zeigen, dass die Breite der Intervalle kleiner wird als jede reelle Zahl?
Den Beweis können wir mit dem archimedischen Axiom führen. Denn dieses garantiert uns, dass es für jede reelle Zahl eine rationale Zahl gibt mit .
Wenn also ein beliebiges vorgegeben ist, so finden wir ein mit und weiter ein Intervall mit Breite kleiner . Wegen hat dieses Intervall eine Breite kleiner . So haben wir wie gewünscht bewiesen, dass es für jedes ein Intervall mit einer Breite kleiner gibt.
Beweisschritt: Es kann keine zwei reelle Zahlen und geben, die in allen Intervallen , usw. liegen.
Hier können wir analog zum Beweis vorgehen, wo wir die Eindeutigkeit der Approximation einer allgemeinen Intervallschachtelung bewiesen haben. Damals haben wir gezeigt, dass es ein Intervall mit Breite kleiner gibt. Dann können nämlich nicht und gleichzeitig in diesem Intervall liegen und wir haben einen Widerspruch. Hierzu können wir ausnutzen, dass die Breite der Intervalle kleiner als jede positive rationale Zahl wird. Jedoch wissen wir nur, dass ist.
Frage: Wie kann man zeigen, dass es ein Intervall mit einer Breite kleiner gibt?
Auch dies können wir mit dem archimedischen Axiom beweisen. Aus diesem wissen wir, dass es eine natürliche Zahl mit gibt. Da rational ist, gibt es damit auch ein Intervall mit einer Breite kleiner , also mit einer Breite kleiner .
Beweis (Alternative Formulierung der Vollständigkeit)
Sei , usw. eine Intervallschachtelung mit rationaler Genauigkeit.
Beweisschritt: , usw. ist eine allgemeine Intervallschachtelung.
Wir müssen nur noch zeigen, dass die Breite der Intervalle kleiner als jede positive reelle Zahl wird. Sei also vorgegeben. Nach dem archimedischen Axiom gibt es eine natürliche Zahl mit . Da eine rationale Zahl ist, gibt es ein Intervall mit einer Breite kleiner . Wegen ist auch die Breite von kleiner als . , usw. ist damit eine allgemeine Intervallschachtelung.
Beweisschritt: Es gibt eine reelle Zahl , die in allen Intervallen , usw. liegt.
Da, wie gerade bewiesen, , usw. eine allgemeine Intervallschachtelung ist, folgt aus dem allgemeinen Intervallschachtelungsprinzip, dass es eine reelle Zahl gibt, die in allen Intervallen der Intervallschachtelung liegt.
Beweisschritt: Es kann keine zwei reelle Zahlen und geben, die in allen Intervallen , usw. liegen.
Seien und zwei verschiedene Zahlen, die in allen Intervallen , usw. liegen. Wegen ist und damit gibt es nach dem archimedischen Axiom ein mit . Weil eine rationale Zahl ist, gibt es ein Intervall mit einer Breite kleiner . Nun ist und damit ist die Breite von auch kleiner als der Abstand zwischen und . Dann können aber und nicht gleichzeitig in liegen. Widerspruch ↯.
Supremum und Infimum
[Bearbeiten]Einleitung
[Bearbeiten]Supremum (aus dem Lateinischen von „supremum“ = „das Höchste/das Oberste“) klingt, als ob es „das Maximum“ (also das größte Element der Menge) wäre. Im Laufe dieses Artikels werden wir allerdings sehen, dass das Supremum das Maximum verallgemeinert. Merken wir uns zu Beginn:
Jedes Maximum ist ein Supremum, aber nicht jedes Supremum ist ein Maximum.
Während nämlich das Maximum ein Element der betrachteten Menge sein muss, muss das nicht für das Supremum gelten. Deshalb sollten wir „Supremum“ treffender mit „die unmittelbar nach oben beschränkende Zahl“ übersetzen. Es ist „nach oben beschränkend“, weil es wie das Maximum größer oder gleich jeder Zahl der Menge ist. Und es ist „unmittelbar“, weil es die kleinste aller „nach oben beschränkenden“ Zahlen ist.
Analog ist das Infimum eine Verallgemeinerung des Minimums. Es ist die „unmittelbar nach unten beschränkende Zahl“, also die größte aller „nach unten beschränkenden“ Zahlen einer Menge. Konkrete Beispiele werden wir in den kommenden Abschnitten kennenlernen.
Für uns ist der Begriff des Supremums wichtig, weil mit ihm die Vollständigkeit der reellen Zahlen alternativ beschrieben werden kann. Außerdem ist das Supremum ein nützliches Hilfsmittel in Beweisen oder zur Definition neuer Begriffe.
Erklärung des Supremums
[Bearbeiten]Um das Supremum zu erklären, werden wir untersuchen, wie man zu dessen genauer Definition kommt. Hierzu werden wir feststellen, wie das Supremum aus dem Maximum verallgemeinert werden kann. Zur Erinnerung: Das Maximum einer Menge ist ihr größtes Element. Das Maximum einer Menge hat also folgende Eigenschaften:
- ist Element von .
- Für jedes ist .
In der zweiten Eigenschaft steht deshalb ein Kleiner-Gleich- und kein Kleiner-Zeichen, weil in der Aussage auch gleich sein könnte. Bei endlichen Mengen ist das Maximum stets definiert, jedoch ist dies bei unendlichen Mengen nicht unbedingt der Fall.
Zunächst können wir auf das Problem stoßen, dass die betrachtete Menge nach oben unbeschränkt ist. Nimm zum Beispiel die Menge . Diese Menge kann kein Maximum oder ähnliches besitzen, da es für jede reelle Zahl eine größere Zahl aus gibt. Diese Menge kann also kein größtes Element besitzen. Es gibt auch kein Element, das „unmittelbar das größte“ Element sein könnte. Demnach ist eine Frage danach bei dieser Menge schlicht nicht sinnvoll.
Für die Übertragung des Maximumbegriffs auf unendliche Mengen muss also die Menge nach oben beschränkt sein. Es muss also eine Zahl geben, welche größer gleich jedem Element der Menge ist. Dabei muss nicht zwangsläufig Element der Menge sein.
Doch auch dann kann es zu Problemen kommen. Nehmen wir zum Beispiel die Menge . Diese Menge ist nach oben beschränkt, weil man für jede Zahl größer gleich wählen kann.
Hat die Menge ein Maximum? Leider nein. Für jedes ist eine weitere Zahl aus mit der Eigenschaft (die Zahl liegt in der Mitte zwischen und ). So kann aber kein maximales Element besitzen, weil es zu jeder Zahl aus mindestens eine größere Zahl aus gibt.
Bei der Betrachtung unendlicher Mengen büßt das Maximum also eine Eigenschaft ein. Nämlich, dass es Element der Menge ist[7]:
m ist Element von M.- Für jedes ist .
Es bleibt also erst einmal nur die Eigenschaft, dass die gesuchte Zahl größer als jedes Element der Menge ist. Eine solche Zahl wird „obere Schranke“ der Menge genannt:
Definition (obere Schranke)
Sei eine Teilmenge von . Dann nennt man eine Zahl , die größer gleich jedem Element von ist, eine obere Schranke. Es ist also für alle .
Analog ist eine untere Schranke eine Zahl, die eine Menge nach unten beschränkt:
Definition (untere Schranke)
Sei eine Teilmenge von . Dann nennt man eine Zahl , die kleiner gleich jedem Element von ist, eine untere Schranke. Es ist also für alle .
Wenn wir unsere neue Definition betrachten, stellen wir zwei Dinge fest. Erstens: Obere und untere Schranken müssen keine Elemente der betrachteten Menge sein, weil dies nicht von der Definition gefordert wird. Und zweitens: Die Definition sagt nichts über eine etwaige Eindeutigkeit der Schranken aus.
Betrachten wir zum Beispiel die Menge . Hier fällt uns sicherlich zuerst als obere Schranke ein. Jedoch ist ebenfalls eine obere Schranke und erfüllt die Forderungen der Definition. Abgesehen davon, dass weit oberhalb unserer Beispielmenge liegt, sind beide Zahlen keine Elemente der Menge. Dieses Beispiel zeigt, dass es mehr als eine obere Schranke geben kann. Es wird aber noch beunruhigender: Eine beschränkte Teilmenge der reellen Zahlen hat immer unendlich viele obere Schranken. Wenn eine obere Schranke von ist, so ist auch jede größere Zahl, also für alle , eine obere Schranke.
Bei genauerer Betrachtung sind die Begriffe von oberer bzw. unterer Schranke nicht sehr treffend. Sie leisten viel weniger als ein Maximumbegriff. Das Maximum ist nämlich immer eindeutig: Es kann höchstens eins davon geben. Mit der oberen Schranke verhält es sich nicht so. Deshalb wollen wir versuchen, den Begriff zu verbessern.
Betrachten wir als Beispiel wieder die Menge . Welche Zahl könnte man als Verallgemeinerung des Maximums für wählen? Intuitiv fällt uns die Zahl ein. Doch warum sollte man diese Zahl wählen?
Wir wollen einen allgemein gültigen Begriff, der auch dann funktioniert, wenn die Menge nicht mehr so anschaulich ist. Deswegen kommen zunächst alle oberen Schranken von , also alle Zahlen größer gleich , in Frage. Nun sollte unsere Zahl optimal in dem Sinne sein, dass sie möglichst klein ist. So kommen wir auf die Zahl . Sie ist nicht nur eine obere Schranke, sie ist auch die kleinste obere Schranke von . Wir haben ja bereits gesehen, dass es für jedes eine andere Zahl mit gibt (nämlich ). Damit kann keine Zahl kleiner eine obere Schranke von sein. ist also das, was wir als „unmittelbar darüberliegende“ Zahl von ansehen.
Frage: Wie könnte eine Menge aussehen, bei der nicht intuitiv „klar“ ist, welche Zahl das Supremum sein könnte?
Betrachten wir kurz eine sehr schöne Zahlenmenge: Die Mandelbrotmenge. Man erhält sie, wenn man alle Punkte in einem zweidimensionalen Koordinatensystem in eine bestimmte Funktion steckt. Sie nimmt einen Koordinatenpunkt und macht daraus einen anderen Koordinatenpunkt . Dieses Ergebnis steckt man wieder in diese Funktion und dann wieder und wieder und wieder… Die Koordinaten, die man bei jedem Schritt erhält, werden für manche Startpunkte sehr schnell riesig groß, für andere bleiben sie klein. Wenn sich die Koordinaten erst einmal weit genug von ihrem Anfangspunkt entfernt haben (eine Grenze überschritten haben), kommen sie nie wieder zurück und „hauen ab“. Bleibt ein Punkt für den Startwert für immer unterhalb von , so gehört der Punkt zur Menge und wird schwarz eingefärbt. Überschreitet er , so erhält er eine bestimmte Farbe, je nachdem, wann er überschritten hat. Was wir rechts sehen, ist das dabei entstehende Bild.
Die Mandelbrotmenge liegt nun in der Ebene, ihre Punkte haben - und -Koordinaten, darum ist sie für unseren Supremumsbegriff zunächst nicht geeignet. Wir können aber einfach „die Menge aller -Koordinaten der Mandelbrotmenge“ betrachten und versuchen, ihr Supremum zu finden. Anschaulicher gesagt: Wir wüssten gern, wie weit nach oben die schwarzen Punkte in dem Bild reichen und suchen dafür die kleinste obere Schranke. Welchen Wert diese aber genau hat, ist beim ersten (und auch beim zweiten) Hinsehen völlig unklar[8].
Die kleinste obere Schranke wird durch folgende zwei Eigenschaften charakterisiert:
- ist obere Schranke von : Für jedes ist .
- Jede obere Schranke von ist mindestens so groß wie : Gilt für alle , so gilt auch . Anders formuliert: Für jedes gibt es mindestens eine Zahl mit .
Das können wir als Definition des Supremums verwenden, da es offenbar die kleinste obere Schranke charakterisiert. Das Infimum wird analog als die größte untere Schranke definiert.
Definition des Supremums und Infimums
[Bearbeiten]Die Definition des Supremums und des Infimums lautet:
Definition (Supremum)
Sei eine Teilmenge von . Das Supremum einer Menge ist die kleinste obere Schranke von . Das Supremum wird charakterisiert über die beiden Eigenschaften:
- Für jedes ist .
- Keine Zahl kleiner als ist obere Schranke von : Für alle gibt es mindestens eine Zahl mit .
Definition (Infimum)
Sei eine Teilmenge von . Das Infimum einer Menge ist die größte untere Schranke von . Das Infimum wird charakterisiert über die beiden Eigenschaften:
- Für jedes ist .
- Keine Zahl größer als ist untere Schranke von : Für alle gibt es mindestens eine Zahl mit .
Die Epsilon-Definition
[Bearbeiten]In der zweiten Eigenschaft der Definition des Supremums als Teil einer Menge steht:
„Jede Zahl kleiner als ist keine obere Schranke von : Für alle gibt es mindestens eine Zahl mit .“
Hier ist es in einigen Lehrbüchern auch üblich, mit zu setzen. Dadurch erhält man folgende Aussage, die man auch als zweite Eigenschaft des Supremums nutzen kann:
„Für alle gibt es ein mit .“
Bei Beweisen dürfen wir frei entscheiden, welche der beiden Aussagen wir heranziehen wollen. Da beide Aussagen zueinander äquivalent sind, ist es egal, welche davon bewiesen wird.
Frage: Wie lautet die Epsilon-Definition des Infimums?
ist ein Infimum von , wenn eine untere Schranke von ist und wenn es für alle ein gibt, so dass ist.
Maximum und Minimum
[Bearbeiten]Für das Maximum und Minimum haben wir bekanntlich folgende Definitionen:
Definition (Maximum)
Das Maximum einer Menge ist eine Zahl mit den folgenden zwei Eigenschaften:
- .
- Für alle ist .
Definition (Minimum)
Das Minimum einer Menge ist eine Zahl mit den folgenden zwei Eigenschaften:
- .
- Für alle ist .
Das Maximum ist stets Supremum der Menge. Sei nämlich Maximum einer Menge . Zum einen ist per Definition obere Schranke von . Zum anderen gibt es für alle mit ein mit , nämlich . Umgekehrt ist nicht jedes Supremum Maximum, wie wir oben an der Menge gesehen haben. Die Zahl ist zwar Supremum dieser Menge, aber kein Maximum. Analoges gilt für Minimum und Infimum.
Schreibweisen
[Bearbeiten]Schreibweise | Bedeutung |
---|---|
Supremum von | |
Supremum von | |
Infimum von | |
Infimum von | |
Maximum von | |
Minimum von |
Das Dualitätsprinzip
[Bearbeiten]Wir haben bereits in den Definitionen und in der obigen Erklärung gesehen, dass die Begriffe des Supremums und des Infimums analog zueinander betrachtet werden können. Der Grund liegt darin, dass bei Umkehrung der Ordnung auf den reellen Zahlen das Supremum zum Infimum wird und umgekehrt. Wir können nämlich eine neue Ordnung dadurch einführen, dass genau dann ist, wenn ist (wir spiegeln hier die reelle Zahlengerade an der Null). Bei dieser neuen Ordnung verhält sich das ursprüngliche Supremum wie ein Infimum und umgekehrt. Beide Ordnungen und haben dieselben ordnungstheoretischen Eigenschaften. Sie sind daher isomorph zueinander. Deshalb müssen auch die Eigenschaften von Supremum und Infimum bei umgekehrter Ordnung dieselben sein. Alles was wir in Zukunft für Suprema sagen, gilt in ähnlicher Weise auch für Infima und umgekehrt. Das Gleiche gilt folglich auch für Maximum und Minimum.
Beispiel (Dualitätsprinzip)
Für alle ist . Analog ist für alle die Ungleichung erfüllt.
Existenz und Eindeutigkeit
[Bearbeiten]Wir haben bisher ganz selbstverständlich von dem Supremum gesprochen. Das klingt so, als ob es immer eines gäbe und als ob es immer eindeutig wäre. Der Verdacht liegt auch nahe: Wozu sollten wir uns die Mühe machen, den Begriff „Supremum“ überhaupt zu definieren, wenn er das Grundproblem des Maximums (nämlich oftmals gar nicht zu existieren) gar nicht lösen könnte? Was wäre der Vorteil des Supremums gegenüber dem Begriff der „oberen Schranke“, wenn auch das Supremum nicht eindeutig wäre? Intuitiv ist irgendwie klar, dass es unter allen oberen Schranken genau eine kleinste geben muss, aber bis jetzt haben wir das noch nicht streng mathematisch bewiesen.
Im folgenden Satz werden wir die Eindeutigkeit des Infimums und Supremums beweisen, also dass eine Menge höchstens ein Supremum und Infimum besitzen kann:
Satz (Eindeutigkeit des Supremums und Infimums)
Eine Menge kann höchstens ein Supremum und höchstens ein Infimum besitzen.
Beweis (Eindeutigkeit des Supremums und Infimums)
Wir können die Standardbeweismethode für Eindeutigkeit nutzen: Zunächst nehmen wir eine Menge an, die zwei Suprema und besitzt, und zeigen dann, dass ist. Die beiden Suprema haben folgende Eigenschaften:
- und sind obere Schranken von .
- Keine Zahl kleiner als und ist eine obere Schranke von .
Keine Zahl kleiner als ist obere Schranke von . Da eine obere Schranke von ist, kann nicht kleiner als sein und muss damit größer gleich sein. Analog ist . Aus und folgt . Der Beweis für die Eindeutigkeit des Infimums ist analog.
Mit dem Vollständigkeitsaxiom kann auch die Existenz des Supremums einer nach oben beschränkten nicht-leeren Teilmenge der reellen Zahlen bewiesen werden. Dies werden wir in diesem Kapitel jedoch nicht behandeln. Analog besitzt eine nach unten beschränkte nicht-leere Teilmenge der reellen Zahlen stets ein Infimum. Somit ist es tatsächlich so, dass Supremum und Infimum einer nach oben beschränkten und nicht-leeren Teilmenge der reellen Zahlen immer existieren und immer eindeutig sind. Deswegen dürfen wir beruhigt von dem Supremum sprechen.
Ausblick: Suprema und Infima in Halbordnungen
[Bearbeiten]Obige Definition für Suprema und Infima haben wir speziell für Mengen von reellen Zahlen eingeführt. Für eine „Analysis 1“-Vorlesung reicht diese Definition aus, weil wir hier nur Teilmengen von betrachten. Für spätere Vorlesungen, in denen wir uns auch mit echten Halbordnungen befassen werden, ist unsere bisherige Definition allerdings nicht ausreichend. Zur Erinnerung: Halbordnungen sind Ordnungsstrukturen, bei denen wir nicht zwangsweise zwei Paare von Objekten miteinander vergleichen können. In solchen Halbordnungen wird obige Definition von Supremum und Infimum nicht verwendet, weil mit ihr Suprema nicht eindeutig sind. Um weiterhin einen eindeutigen Supremumbegriff zu haben, wird für Halbordnungen definiert:
Definition (Supremum in Halbordnungen)
In halbgeordneten Mengen ist ein Element Supremum einer Menge , wenn gilt:
- ist obere Schranke von : Für jedes ist .
- Für jede andere obere Schranke von gilt:
Um zu zeigen, dass diese Definition eine sinnvolle Verallgemeinerung des Supremums auf Halbordnungen ist, müssen wir zeigen, dass beide Definitionen auf Teilmengen der reellen Zahlen übereinstimmen:
Satz (Äquivalente Definition des Supremums)
Sei beliebig. Unsere Definition des Supremums lautet:
- Für jedes ist .
- Jede Zahl kleiner als ist keine obere Schranke von : Für alle gibt es mindestens eine Zahl mit .
Diese Definition ist äquivalent zur Definition des Supremums in Halbordnungen:
- ist obere Schranke von : Für jedes ist .
- Für jede andere obere Schranke von gilt:
Beweis (Äquivalente Definition des Supremums)
Sei beliebig. Da die jeweils ersten beiden Eigenschaften identisch sind, muss nur noch die Äquivalenz der folgenden beiden Aussagen bewiesen werden:
- Jede Zahl kleiner als ist keine obere Schranke von : Für alle gibt es mindestens eine Zahl mit .
- Für jede andere obere Schranke von gilt .
Beide Aussagen formalisiert lauten:
Die Äquivalenz beider Aussagen können wir folgendermaßen zeigen:
Uneigentliches Supremum und Infimum
[Bearbeiten]Damit eine Menge ein Supremum besitzen kann, muss sie nach oben beschränkt sein. In diesem Kapitel untersuchen wir den Fall unbeschränkter Mengen bzw. den Fall der leeren Menge.
Uneigentliche Suprema und Infima für unbeschränkte Mengen
[Bearbeiten]Eine Menge ist nach oben unbeschränkt, wenn keine obere Schranke besitzt. Für alle gibt es also ein mit . Dies ist dann auch die Definition der Unbeschränktheit nach oben:
Definition (nach oben unbeschränkte Menge)
Eine Menge ist nach oben unbeschränkt, wenn sie keine obere Schranke besitzt, wenn also
Wenn nach oben unbeschränkt ist, schreiben wir nun
Intuitiv lässt sich die Schreibweise gut erklären: „unendlich“ ist größer als jedes Element aus und gleichzeitig kann es keine obere Schranke kleiner „unendlich“ geben, weil nach oben unbeschränkt ist. Also ist es sinnvoll, „unendlich“ als Supremum einer nach oben unbeschränkten Menge anzusehen.
Aber Vorsicht! Das Symbol ist keine reelle Zahl und damit bedeutet auch nicht, dass Supremum von wäre, weil Suprema per Definition immer reell sein müssen. Es gibt auch kein Objekt in unserer Theorie, weil die von uns in den ersten Kapiteln formulierten Axiome kein Objekt zulassen. Deshalb müsste eine Schreibweise wie von uns abgelehnt werden.
Um diese Widersprüche aufzulösen, sehen wir nur als Kurzschreibweise für den Fakt an, dass nach oben unbeschränkt ist, und nennen das uneigentliche Supremum von :
Definition (uneigentliches Supremum)
Ist eine Menge nach oben unbeschränkt, so nennen wir das uneigentliche Supremum von und schreiben
Warnung
Das Adjektiv „uneigentlich“ ist hier sehr wichtig. Achte darauf, dass du es immer verwendest. ist nämlich keine reelle Zahl und kann deswegen kein Supremum sein. Es verhält sich nur in mancher Hinsicht wie ein Supremum. Kurz: Auch wenn man schreibt, dann besitzt trotzdem kein Supremum!
Analog gilt für nach unten unbeschränkte Mengen:
Definition (uneigentliches Infimum)
Eine Menge ist nach unten unbeschränkt, wenn es für alle ein mit gibt. In diesem Fall schreibt man
Uneigentliches Supremum und Infimum der leeren Menge
[Bearbeiten]Ein weiterer Sonderfall ist die leere Menge. Hier ist nämlich nicht das Problem, dass es keine oberen beziehungsweise unteren Schranken gibt, sondern zu viele obere und untere Schranken existieren. In den Lehrbüchern findest du dafür folgende Definitionen:
Definition (Uneigentliches Supremum und Infimum der leeren Menge)
Für die leere Menge gilt
Auch hier handelt es sich um uneigentliche und damit um keine echten Suprema und Infima. Doch wieso ergibt obige Festlegung Sinn?
Gehen wir schrittweise vor: Per Definition ist das Supremum die kleinste obere Schranke einer Menge. Was sind also die oberen Schranken der leeren Menge? Eine Zahl ist per Definition eine obere Schranke von , wenn
Frage: Was sind die oberen Schranken von ?
Allaussagen über die leere Menge wie die obige sind immer wahr (es gibt nämlich kein in , für welches man die Bedingung überprüfen müsste). Damit ist jede reelle Zahl eine obere Schranke der leeren Menge. Als Bezeichnung für die kleinste all dieser oberen Schranken von kann man also verwenden. Jedoch ist keine reelle Zahl und daher auch kein Supremum im eigentlichen Sinne.
Verständnisfrage: Wieso ergibt Sinn?
Eine Zahl ist untere Schranke der leeren Menge, wenn . Diese Allaussage ist stets wahr und damit ist jede reelle Zahl eine untere Schranke von . Als Bezeichnung für die größte all dieser unteren Schranken von kann man also verwenden. Jedoch ist keine reelle Zahl und daher auch kein Infimum im eigentlichen Sinne.
Supremum und Infimum bestimmen und beweisen
[Bearbeiten]Allgemeine Vorgehensweise
[Bearbeiten]Um das Supremum oder Infimum einer Menge zu finden, kannst du folgendermaßen vorgehen:
- Menge veranschaulichen: Überlege dir, wie die Menge aussieht. Hierzu kannst du Skizzen anfertigen oder ggf. auch Computerprogramme verwenden.
- Hypothese über Supremum und Infimum anstellen: Ist die Menge nach oben beschränkt? Wenn ja, dann überlege dir, welche Zahl das Supremum sein kann. Wenn nein, dann besitzt die Menge kein Supremum. Analog schaue, ob die Menge nach unten beschränkt ist oder nicht, und überlege dir gegebenenfalls, welche Zahl das Infimum sein könnte.
- Beweise für Supremum und Infimum finden: Überlege dir auf einem Schmierblatt den Beweis dafür, dass die gefundene Zahl ein Supremum oder ein Infimum ist. Die notwendige Beweisstruktur findest du im nächsten Abschnitt.
- Beweis ins Reine schreiben: Zum Schluss musst du den Beweis aufschreiben. Dabei kannst du dich an der im nächsten Abschnitt folgenden Beweisstruktur für Supremum und Infimum orientieren.
Allgemeine Beweisstrukturen
[Bearbeiten]Die hier aufgelisteten Beweisstrukturen sollten dir helfen, deine Beweise richtig und sauber aufzuschreiben. Sie zeigen dir aber auch, worauf du in der Beweisfindung achten musst.
Supremum: Beweisstruktur
[Bearbeiten]Um zu zeigen, dass eine Zahl Supremum einer Menge ist, kannst du folgendermaßen vorgehen:
- Beweise, dass eine obere Schranke von ist: Zeige hierzu, dass für alle ist.
- Beweise, dass keine Zahl obere Schranke von ist: Nimm hierzu ein beliebiges und zeige, dass es ein gibt mit .
Infimum: Beweisstruktur
[Bearbeiten]Beweise, dass Infimum einer Menge ist, können so aussehen:
- Beweise, dass eine untere Schranke von ist: Zeige hierzu, dass für alle ist.
- Beweise, dass keine Zahl untere Schranke von ist: Nimm hierzu ein beliebiges und zeige, dass es ein gibt mit .
Maximum: Beweisstruktur
[Bearbeiten]Hier kann man direkt der Definition des Maximums folgen:
- Beweise, dass eine obere Schranke von ist: Zeige hierzu, dass für alle ist.
- Zeige, dass ist.
Minimum: Beweisstruktur
[Bearbeiten]Um zu zeigen, dass Minimum der Menge ist, kann man analog zum Maximum vorgehen:
- Beweise, dass eine untere Schranke von ist: Zeige hierzu, dass für alle ist.
- Zeige, dass ist.
Beispielaufgaben für Supremum und Infimum
[Bearbeiten]Endliche Mengen
[Bearbeiten]Bei endlichen Mengen reeller Zahlen ist die Bestimmung des Infimums und Supremums einfach. Diese Mengen müssen nämlich immer ein Maximum und ein Minimum besitzen. Das Maximum der Menge ist automatisch Supremum und das Minimum ist automatisch Infimum der Menge.
Beispiel (Supremum und Infimum einer endlichen Menge)
Gegeben sei die Menge . Das Maximum der Menge ist und das Minimum ist . Es ist nämlich Teil der Menge und gleichzeitig ist größer gleich jedem anderen Element der Menge (Analoges gilt für das Minimum ).
Damit ist Supremum der Menge (weil es dessen Maximum ist). Analog ist Infimum der Menge.
Verständnisaufgabe: Bestimme das Supremum und das Infimum der folgenden Mengen:
Lösung:
- Das Supremum von ist und das Infimum dieser Menge ist .
- Es ist . Damit ist das Supremum dieser Menge gleich und das Infimum ist .
- Es ist . Also ist das Supremum und das Infimum von gleich .
Intervalle
[Bearbeiten]Die Bestimmung des Infimums und Supremums bei Intervallen ist recht einfach, da der untere Randpunkt stets das Infimum und der obere Randpunkt stets das Supremum ist:
Satz (Supremum und Infimum von Intervallen)
Sei ein Intervall. Es gibt also mit , so dass eine der folgenden Formen besitzt:
Es ist dann das Infimum und das Supremum des Intervalls.
Wie kommt man auf den Beweis? (Supremum und Infimum von Intervallen)
Die obigen Intervalle unterscheiden sich darin, ob die Endpunkte , enthalten sind oder nicht. In jedem Fall wissen wir, dass für jedes gilt: . Wir wissen also, dass eine untere Schranke ist und eine obere. Damit ist , und wir müssen noch zeigen, dass die größte untere Schranke und die kleinste obere Schranke ist.
Dazu nehmen wir also an, es gäbe ein , so dass auch eine untere Schranke ist, und führen dies zu einem Widerspruch.
Um zu zeigen, dass keine untere Schranke sein kann, finden wir ein , so dass . Um so ein zu konstruieren, bilden wir den Mittelwert zwischen und , der nach Definition größer als ist. Es könnte passieren, dass so groß ist, dass der Mittelwert größer als wird. Hier bietet sich eine Fallunterscheidung an. Wenn so groß ist, dann liegt das komplette Intervall zwischen und und wir können einen beliebigen Punkt des Intervalls für nutzen. So können wir den Mittelwert von und für wählen. Analog verfährt man dann mit der oberen Schranke .
Beweis (Supremum und Infimum von Intervallen)
Sei ein Intervall. Wir legen uns nicht fest, ob die Randpunkte in enthalten sind. Damit decken wir alle Intervalltypen auf einmal ab. Für jedes solche Intervall gilt: . Also ist eine untere Schranke. Wir zeigen nun durch Widerspruch, dass die größte untere Schranke ist.
Sei also . Angenommen wäre eine untere Schranke von . Dann existiert kein , so dass . Wir machen nun eine Fallunterscheidung:
Fall 1:
Sei . Mit unseren Voraussetzungen können wir abschätzen
Folglich gilt und damit . Aus folgt
Das ist aber ein Widerspruch zu unserer Annahme, dass eine untere Schranke von ist.
Fall 2:
Wir betrachten . Aus unseren Annahmen folgt
Also gilt . Daraus folgt .
Weil gilt, folgt . Das ist aber wieder ein Widerspruch zu ist eine untere Schranke von .
Skizze, um die Lage von x im Intervall zu veranschaulichen, für die beiden Fälle.
In beiden Fällen haben wir ein Widerspruch dazu, dass eine untere Schranke von ist. Also ist das Infimum des Intervalls .
Um zu zeigen, dass das Supremum ist, kann man analog vorgehen. Ist eine kleinere obere Schranke von , betrachtet man für den Fall und für den Fall .
Alternativ kann man auch mit den Rechenregeln für Supremum und Infiumum folgenden Trick benutzen: Benutzen wir , können wir den obigen Beweis auf das Intervall anwenden.
Verständnisaufgabe: Bestimmen Sie das Supremum und das Infimum der folgenden Mengen:
- Das Supremum ist und das Infimum ist .
- Wegen entspricht dem Intervall . Damit ist das Infimum gleich 1 und das Supremum gleich 4.
- entspricht der Menge aller deren Abstand zu kleiner als ist. Damit entspricht diese Menge dem offenen Intervall . Das Infimum ist also und das Supremum ist .
- ist die Menge aller reellen Zahlen, die durch die Sinus-Funktion getroffen werden. Damit ist gleich . Das Infimum von ist damit und das Supremum ist .
Intervalle in den ganzen Zahlen
[Bearbeiten]Verständnisaufgabe: Obiger Satz ist eine Besonderheit der reellen Zahlen. Es sei mit . Unter welchen Bedingungen existieren Suprema beziehungsweise Infima folgender Intervalle? Welchen Wert haben sie?
Es handelt sich in allen Fällen um endliche Mengen. Es ist nämlich:
In den ersten 3 Fällen ist wegen die Menge nicht leer, und damit ist
- und
- und
- und
Im vierten Fall kann es passieren, dass leer ist. Das ist genau dann der Fall, wenn . In diesem Fall existiert weder ein Supremum noch ein Infimum der Menge. Die leere Menge hat zwar das uneigentliche Supremum und das uneigentliche Infimum . Diese sind aber keine reellen Zahlen und damit keine Suprem / Infimum nach der Definition. Ist aber , dann ist im vierten Fall das Supremum gleich und das Infimum gleich .
Menge von Folgengliedern
[Bearbeiten]Wir werden nun folgende Aufgabe beweisen:
Aufgabe (Menge von Folgengliedern)
Bestimme das Supremum und das Infimum der Menge . Handelt es sich bei dem Supremum um ein Maximum und beim Infimum um ein Minimum? Beweise deine Behauptungen!
Wie kommt man auf den Beweis? (Menge von Folgengliedern)
Wir gehen nun schrittweise nach dem obigen Beweisverfahren vor:
Beweisschritt: Veranschauliche die Menge .
Die ersten Elemente der Menge lauten:
- ⋮
Die Menge hat also die Gestalt , wobei sich die fehlenden Elemente immer mehr der annähern.
Beweisschritt: Stelle eine Hypothese an, welche Zahlen Supremum bzw. Infimum der Menge sind.
Wir sehen, dass die Menge nach oben durch beschränkt ist. Gleichzeitig ist ein Element der Menge, womit Maximum der Menge sein muss. Außerdem ist die Menge nach unten durch beschränkt. Da sich die Elemente der Menge immer mehr der annähern, kann es keine untere Schranke größer als geben. Es folgt, dass wahrscheinlich das Infimum der Menge ist. Beachte, dass wir hier nur Vermutungen anstellen, weil wir intuitiv argumentieren. Es fehlt noch der handfeste Beweis.
Beweisschritt: Finde einen Beweis für das Supremum / Maximum.
Wir haben bereits festgestellt, dass wahrscheinlich das Maximum der Menge ist. Wir müssen also zwei Dinge zeigen:
- für alle
Wir haben bereits im ersten Schritt gesehen, dass Element von ist, denn für ist . Um zu zeigen, dass eine obere Schranke von ist, müssen wir zeigen, dass . Stellen wir diese Ungleichung schrittweise um:
Nun ist eine für natürliche Zahlen offensichtliche Aussage. Im Beweis müssen wir aber den umgekehrten Weg gehen: Da wir die Ungleichung zeigen wollen, müssen wir bei anfangen und diese Ungleichung schrittweise in umformen. Dies können wir machen, weil wir oben nur Äquivalenzumformungen verwendet haben.
Im letzten Kapitel haben wir gesehen, dass jedes Maximum einer Menge automatisch auch das Supremum der Menge ist (nur umgekehrt ist es nicht immer der Fall). Daraus folgt, dass Supremum von ist.
Beweisschritt: Finde einen Beweis für das Infimum / Minimum.
Um zu zeigen, dass Infimum ist, müssen wir zeigen:
- für alle
- Für alle gibt es ein mit
Um auch zu zeigen, dass kein Minimum ist, haben wir außerdem zu beweisen, dass . Zunächst muss ein Beweis für für alle gefunden werden:
Nun ist eine offensichtlich wahre Aussage, da positiv ist. Im späteren Beweis können wir also aus die Ungleichung beweisen, indem wir obige Umformung rückwärts durchführen (also zu beiden Seiten addieren).
Sei nun weiterhin beliebig. Wir müssen nun ein mit mit finden, so dass ist. Wir wählen hier die Variable und nicht , weil wir ein konkretes Element der Menge finden wollen (in der Mathematik wird oft verwendet, wenn man ein konkretes sucht). Formen wir diese Ungleichung nach um, um so ein passendes zu finden:
Wegen ist , also auch . Das archimedische Axiom garantiert uns nun, dass wir ein passendes finden, da nach dem archimedischen Axiom der Bruch kleiner wird als jede positive reelle Zahl.
Als Letztes fehlt noch die Beweisidee dafür, dass ist. Hier müssen wir zeigen, dass für alle gilt. Doch wegen ist und somit .
Beweis (Menge von Folgengliedern)
Es ist Maximum (und damit Supremum) der Menge und ist Infimum, aber kein Minimum der Menge .
Beweisschritt: ist Maximum der Menge
Beweisschritt: ist Element der Menge
Für ist . Damit ist .
Beweisschritt: ist eine obere Schranke der Menge
Für alle gilt
Damit ist größer gleich jedem Element von .
Beweisschritt: ist Infimum der Menge
Beweisschritt: ist untere Schranke der Menge
Für alle gilt
Damit ist kleiner gleich jedem Element von .
Beweisschritt: Keine Zahl größer ist untere Schranke der Menge
Sei beliebig. Es ist damit und somit gibt es nach dem archimedischen Axiom ein mit . Es ist
Weil ist, gibt es damit ein Element aus , welches kleiner als ist. Somit ist keine untere Schranke von .
Beweisschritt: ist kein Minimum von
Es ist und damit . Somit ist kein Element und damit auch kein Minimum von .
Menge von Funktionswerten
[Bearbeiten]Aufgabe
Bestimmen Sie Supremum und Infimum der Menge
Wie kommt man auf den Beweis?
Sei im Folgenden . Gehen wir nun schrittweise vor:
Schritt 1: Veranschauliche die Menge .
Die Funktion hat den Graphen:
Die Menge ist nun die Menge aller tatsächlich durch getroffenen Werte, also das Bild der Funktion .
Schritt 2: Stelle eine Hypothese an, welche Zahlen Supremum bzw. Infimum der Menge sind.
Wir können vermuten, dass das Supremum von ist. Weil ist, wird auch durch die Funktion getroffen. Damit liegt diese Zahl in und müsste demnach Maximum dieser Menge sein.
Außerdem liegt die Vermutung nahe, dass das Infimum von ist. Die Funktion scheint immer positiv, also größer gleich null zu sein. Je größer bzw. je kleiner , desto näher gehen die Funktionswerte gegen null (so sieht es zumindest auf den ersten Blick aus). Es sollte also insgesamt Infimum der Menge sein, wobei es nicht direkt in liegt und somit kein Minimum sein sollte.
Schritt 3: Finde einen Beweis für das Supremum / Maximum.
Wir vermuten, dass das Maximum der Menge ist. Weil ist, können wir beweisen, dass sein muss. Es fehlt jetzt nur noch der Beweis, dass eine obere Schranke der Menge ist. Hierzu müssen wir beweisen, dass für alle reellen Zahlen wir folgende Ungleichung haben:
Formen wir diese Ungleichung durch Äquivalenzumformungen um:
Wir wissen bereits, dass die letzte Ungleichung für alle erfüllt ist. Da wir nur Äquivalenzumformungen verwendet haben, können wir aus dieser später die Ungleichung wieder herleiten.
Schritt 4: Finde einen Beweis für das Infimum / Minimum.
Hier müssen wir zunächst zeigen, dass alle Elemente aus größer gleich null sind. Jedoch ist der Quotient von zwei positiven Zahlen, welches damit wieder positiv ist. Alle Elemente aus sind somit positiv und damit insbesondere größer gleich .
Fehlt noch der Beweis, dass auch die größte untere Schranke von ist. Sei hierzu beliebig. Wir müssen nun ein Element aus finden, welches kleiner als ist. Es muss also ein geben, so dass
ist. Formen wir diese Ungleichung durch Äquivalenzumformungen um:
Um die Wurzel ziehen zu können, muss also sein. Für die weitere Beweisfindung ist es aber kein Problem anzunehmen, denn für ist die letzte Ungleichung immer erfüllt. Die Quadratzahl ist dann nämlich immer größer als die negative Zahl .
Sei also . Wir erhalten weiter:
Für müssen wir also nur ein mit wählen. Dieses erfüllt dann automatisch
was zeigt, dass keine untere Schranke von ist.
Beweis
ist Maximum (und damit Supremum) der Menge und ist Infimum, aber kein Minimum der Menge .
Beweisschritt: ist Maximum der Menge
Beweisschritt: ist Element der Menge
Für ist . Damit ist .
Beweisschritt: ist eine obere Schranke der Menge
Es ist
Damit ist eine obere Schranke von .
Beweisschritt: ist Infimum der Menge
Beweisschritt: ist untere Schranke der Menge
Es ist für alle :
Damit ist null eine untere Schranke von .
Beweisschritt: Keine Zahl größer ist untere Schranke der Menge
Sei beliebig. Für ist
für jedes reelle , weil dann negativ ist. Für wähle so, dass ist. Dann ist nämlich auch obige Ungleichung erfüllt.
Für jedes gibt es also mindestens eine reelle Zahl mit . Für diese reelle Zahlen haben wir
Damit kann aber keine untere Schranke von sein, was beweist, dass die größte untere Schranke von ist.
Eigenschaften Supremum und Infimum
[Bearbeiten]Da das Supremum auf Mengen angewandt wird, ist eine sehr naheliegende Frage: Was passiert mit dem Supremum, wenn wir die Menge verändern? Wenn wir sie mit einer anderen Menge beispielsweise schneiden oder vereinigen, wenn wir sie größer oder kleiner machen? Hier werden wir einige Regeln kennen lernen, die dir helfen werden, mit dem Supremum zu arbeiten.
Übersicht der Regeln zum Supremum und Infimum
[Bearbeiten]Wir definieren zuerst einige Kurzschreibweisen.
Definition
Für alle Mengen und alle definieren wir:
Für das Supremum und Infimum gelten folgende Regeln. Dabei ist und sowie . Im Folgenden wird immer angenommen, dass das Supremum beziehungsweise das Infimum existiert.
Regeln für das Supremum
[Bearbeiten]- , falls ist.
- für
- , falls und nur nichtnegative Elemente enthalten.
- Es gibt eine Folge aus mit .
Frage: Warum gilt nicht ? Finde ein Gegenbeispiel!
Ein Gegenbeispiel hierfür ist .
Frage: Warum gilt nicht ? Finde ein Gegenbeispiel!
Sei und . Dann gilt und also , aber und , also .
Frage: Warum gilt nicht ? Finde ein Gegenbeispiel!
Wir setzen . Als Funktionen wählen wir und . Also ist . Es gilt
Regeln für das Infimum
[Bearbeiten]- für
- , falls und nur nichtnegative Elemente enthalten.
- Es gibt eine Folge aus mit .
Beweis der Regeln
[Bearbeiten]In den folgenden Abschnitten werde ich die obigen Eigenschaften nur für das Supremum beweisen.
Supremum ist größer gleich dem Infimum
[Bearbeiten]Satz
Sei eine nicht leere, beschränkte Menge. Es ist dann .
Wie kommt man auf den Beweis?
Die Aussage bedeutet anschaulich gesprochen, dass die kleinste obere Schranke einer Menge größer oder gleich als die größte untere Schranke ist. Dies ist sinnvoll, da eine obere Schranke einer Menge immer größer oder gleich als eine untere Schranke sein sollte. Die einzige Schwierigkeit besteht nun darin, dies formal zu beweisen. Hier hilft die Anschauung, dass eine nichtleere Menge mindestens ein Element hat, welches dann zwischen Supremum und Infimum "eingequetscht" ist. Auf dem Zahlenstrahl ist die Reihenfolge auch klar, nämlich drückt das Infimum von unten, während das Supremum oben aufsitzt. Wir nehmen also das garantierte Element und "quetschen" es in eine Ungleichungskette, starten links beim Infimum und enden rechts beim Supremum. Dann haben wir aber Supremum und Infimum so getrennt, wie es der Satz will.
Beweis
Als nicht leere Menge besitzt mindestens ein Element . Da eine obere Schranke ist, ist . Analog gilt . Insgesamt ist und damit auch .
Abschätzung des Supremums bei Teilmengen
[Bearbeiten]Satz
Ist , dann ist .
Beweis
Nach der ersten Supremumsbedingung ist eine obere Schranke von , also wegen insbesondere auch von , d.h. für alle gilt . Das Supremum von ist aber gerade charakterisiert als die kleinste obere Schranke von , es muss also insbesondere kleiner oder gleich sein.
Supremum bei der Vereinigung
[Bearbeiten]Satz
Es ist
Beweis
Ist , so ist oder . Nach der ersten Supremumsbedingung gilt somit oder . Also insbesondere . Damit ist eine obere Schranke von .
Den zweiten Teil erhalten wir wie folgt: Es gilt immer oder . Gehen wir vom ersten Fall aus (falls wir nicht im ersten Fall sind, benennen wir unsere Mengen einfach um): Dann gilt für alle wegen der ersten Supremumsbedingung , aber wegen auch und ist eine obere Schranke von und nach Definition auch von , also von . Dass es auch die kleinste obere Schranke ist, folgt aus der zweiten Supremumsbedingung: Jede kleinere Zahl ist keine obere Schranke mehr von , also auch nicht von .
Supremum beim Schnitt
[Bearbeiten]Satz
Es ist
Beweis
Dieser Teil folgt direkt aus 1. und der Tatsache, dass und gilt: und , also . Theoretisch sind wir damit mit dem Beweis fertig, aber es ist sicherlich illustrativ, so zu überlegen, warum hier im Allgemeinen eine Ungleichheit steht.
Supremum und Multiplikation mit
[Bearbeiten]Satz
Es ist
Beweis
Für alle gilt . Multiplikation der Ungleichung mit ergibt gerade . Da aber alle Elemente von von dieser Form sind, ist eine obere Schranke für . Da jedoch das Supremum von die kleinste aller oberen Schranken ist, folgt .
Sei nun gegeben. Nach der Definition des Infimums ist dann keine untere Schranke von . Das bedeutet, dass ein existiert, sodass . Multipliziert man diese Ungleichung mit so erhält man . Es ist aber ein Element in , also kann keine obere Schranke von sein. Da unser beliebig gewählt war, folgt die gewünschte Gleichheit .
Hinweis
Aus dieser Regel erhalten wir zwischen Supremum und Infimum die Zusammenhänge und .
Supremum und Multiplikation mit einem nicht negativen Skalar
[Bearbeiten]Satz
Für gilt
Beweis
Ist , so gibt es nicht viel zu zeigen, denn und .
Wir können also im Weiteren voraussetzen. Für alle gilt . Multiplikation der Ungleichung mit ergibt gerade . Da aber alle Elemente von von dieser Form sind, ist eine obere Schranke für . Da jedoch das Supremum von die kleinste aller oberen Schranken ist, folgt .
Sei nun gegeben und wir definieren . Dies ist erlaubt, da wir voraussetzen. Nach der Definition des Supremums ist dann keine obere Schranke von . Das bedeutet, dass ein existiert, sodass . Multipliziert man diese Ungleichung mit so erhält man
Es ist aber ein Element in , also kann keine obere Schranke von sein. Da unser beliebig gewählt war, folgt die gewünschte Gleichheit .
Supremum und Summen
[Bearbeiten]Satz
Es ist
Beweis
Jedes Element besitzt die Form für ein und ein . Nach der Definition des Supremums gilt und . Addition der beiden Ungleichungen ergibt . Also ist eine obere Schranke für . Da jedoch das Supremum von die kleinste aller oberen Schranken ist, folgt .
Sei nun gegeben und wir definieren . Nach der Definition des Supremums ist dann keine obere Schranke von und keine obere Schranke von . Das bedeutet, dass ein und ein existieren, sodass und . Durch Addition beider Ungleichungen erhält man
Es ist aber ein Element in , also kann keine obere Schranke von sein. Da unser beliebig gewählt war, folgt die gewünschte Gleichheit .
Supremum und Produkte
[Bearbeiten]Satz
Falls und nur nicht negative Elemente enthalten, ist
Beweis
Jedes Element besitzt die Form für ein und ein . Nach der Definition des Supremums gilt und . Multiplikation der beiden Ungleichungen ergibt . Also ist eine obere Schranke für . Da jedoch das Supremum von die kleinste aller oberen Schranken ist, folgt .
Ist oder , so folgt oder , denn es wurden alle Elemente aus und als nicht negativ also größer oder gleich Null vorausgesetzt. Damit folgt sofort .
Im Folgenden kann man also und voraussetzen. Sei nun gegeben. Dann können wir nach dem vorangehenden Satz ohne Probleme und definieren.
Nach der Definition des Supremums ist dann keine obere Schranke von und keine obere Schranke von . Das bedeutet, dass ein und ein existieren, sodass und . Durch Produktbildung beider Ungleichungen erhält man
Man beachte das -Zeichen im letzten Schritt. Hierbei wurde verwendet. Nun ist ein Element in , also kann keine obere Schranke von sein. Da unser beliebig gewählt war, folgt die gewünschte Gleichheit .
Supremum der Summe zweier Funktionen kleiner gleich der Summe der Suprema dieser Funktionen
[Bearbeiten]Satz
Es gilt
Beweis
Es gilt
Existenz einer Folge in mit
[Bearbeiten]Satz
Wenn existiert, dann gibt es eine Folge in mit .
Beweis
Wir erinnern und an den zweiten Teil der Definition des Supremums, die Epsilon-Definition: Für alle gibt es ein mit .
Folglich gibt es für alle ein mit . Da alle aus sind, gilt auch . Damit ergibt sich für alle :
Nach dem Sandwichtheorem gilt also .
Wurzel reeller Zahlen
[Bearbeiten]Mathe für Nicht-Freaks: Wurzel
Lösungen von Potenzgleichungen
[Bearbeiten]Mathe für Nicht-Freaks: Potenzgleichungen
Rechenregeln der Wurzel
[Bearbeiten]Mathe für Nicht-Freaks: Rechenregeln der Wurzel
Verallgemeinerte Potenzen
[Bearbeiten]Mathe für Nicht-Freaks: Potenzen mit rationalem Exponenten
Aufgaben zu Wurzeln
[Bearbeiten]Mathe für Nicht-Freaks: Aufgaben zu Wurzeln
Definition der Folgen
[Bearbeiten]Explizite und rekursive Bildungsgesetze der Folgen
[Bearbeiten]Mathe für Nicht-Freaks: Explizite und rekursive Bildungsgesetze für Folgen
Beispiele und Eigenschaften für und von Folgen
[Bearbeiten]Mathe für Nicht-Freaks: Beispiele und Eigenschaften von Folgen
Aufgaben zu Folgen
[Bearbeiten]Mathe für Nicht-Freaks: Aufgaben zu Folgen
Konvergenz und Divergenz
[Bearbeiten]Definition Grenzwert
[Bearbeiten]Mathe für Nicht-Freaks: Grenzwert: Konvergenz und Divergenz
Konvergenz und Divergenz beweisen
[Bearbeiten]Mathe für Nicht-Freaks: Konvergenz und Divergenz beweisen
Beispiele für Grenzwerte
[Bearbeiten]Mathe für Nicht-Freaks: Grenzwert: Beispiele
Unbeschränkte Folgen divergieren
[Bearbeiten]Mathe für Nicht-Freaks: Unbeschränkte Folgen divergieren
Grenzwertsätze
[Bearbeiten]Mathe für Nicht-Freaks: Grenzwertsätze: Grenzwert von Folgen berechnen
Der Sandwichsatz
[Bearbeiten]Mathe für Nicht-Freaks: Sandwichsatz
Monotoniekriterium
[Bearbeiten]Mathe für Nicht-Freaks: Monotoniekriterium für Folgen
Konvergenzbeweise rekursiver Folgen
[Bearbeiten]Mathe für Nicht-Freaks: Konvergenz rekursiver Folgen beweisen
Aufgaben zur Konvergenz und Divergenz
[Bearbeiten]Mathe für Nicht-Freaks: Aufgaben zur Konvergenz und Divergenz
Teilfolgen
[Bearbeiten]Mathe für Nicht-Freaks: Teilfolge
Häufungspunkte von Folgen
[Bearbeiten]Mathe für Nicht-Freaks: Häufungspunkt einer Folge
Häufungs- und Berührpunkte von Mengen
[Bearbeiten]Mathe für Nicht-Freaks: Häufungspunkt und Berührpunkt einer Menge
Satz von Bolzano-Weierstraß
[Bearbeiten]Mathe für Nicht-Freaks: Satz von Bolzano-Weierstraß
Bestimmte Divergenz
[Bearbeiten]Mathe für Nicht-Freaks: Bestimmte Divergenz, uneigentliche Konvergenz
Bestimmte Divergenz: Regeln
[Bearbeiten]Mathe für Nicht-Freaks: Rechenregeln der bestimmten Divergenz
Lim sup und Lim inf
[Bearbeiten]Mathe für Nicht-Freaks: Lim sup und Lim inf
Cauchy-Folgen
[Bearbeiten]Mathe für Nicht-Freaks: Cauchy-Folgen und das Cauchy-Kriterium
Aufgaben zu Teilfolgen, Häufungspunkte und Cauchy-Folgen
[Bearbeiten]Mathe für Nicht-Freaks: Aufgaben zu Teilfolgen, Häufungspunkte und Cauchy-Folgen
Begriff der Reihe
[Bearbeiten]Rechenregeln für Reihen
[Bearbeiten]Mathe für Nicht-Freaks: Rechenregeln für Reihen
Teleskopsumme und Teleskopreihe
[Bearbeiten]Mathe für Nicht-Freaks: Teleskopsumme und Teleskopreihe
Geometrische Reihe
[Bearbeiten]Mathe für Nicht-Freaks: Geometrische Reihe
Harmonische Reihe
[Bearbeiten]Mathe für Nicht-Freaks: Harmonische Reihe
e-Reihe
[Bearbeiten]Mathe für Nicht-Freaks: e-Reihe
Absolute Konvergenz einer Reihe
[Bearbeiten]Mathe für Nicht-Freaks: Absolute Konvergenz einer Reihe
Umordnungssatz für Reihen
[Bearbeiten]Mathe für Nicht-Freaks: Umordnungssatz für Reihen
Aufgaben zu Reihen
[Bearbeiten]Mathe für Nicht-Freaks: Aufgaben zu Reihen
Konvergenzkriterien für Reihen
[Bearbeiten]Übersicht Konvergenzkriterien für Reihen
[Bearbeiten]Mathe für Nicht-Freaks: Konvergenz und Divergenz einer Reihe beweisen: Konvergenzkriterien
Cauchy-Kriterium
[Bearbeiten]Mathe für Nicht-Freaks: Cauchy-Kriterium für Reihen
Trivialkriterium
[Bearbeiten]Mathe für Nicht-Freaks: Trivialkriterium, Nullfolgenkriterium, Divergenzkriterium
Beschränkte Reihen und Konvergenz
[Bearbeiten]Mathe für Nicht-Freaks: Beschränkte Reihen und Konvergenz
Majoranten- und Minorantenkriterium
[Bearbeiten]Mathe für Nicht-Freaks: Majorantenkriterium und Minorantenkriterium
Wurzelkriterium
[Bearbeiten]Mathe für Nicht-Freaks: Wurzelkriterium
Quotientenkriterium
[Bearbeiten]Mathe für Nicht-Freaks: Quotientenkriterium
Leibniz-Kriterium
[Bearbeiten]Mathe für Nicht-Freaks: Leibniz-Kriterium
Verdichtungskriterium
[Bearbeiten]Mathe für Nicht-Freaks: Cauchysches Verdichtungskriterium
Anwendung der Konvergenzkriterien
[Bearbeiten]Mathe für Nicht-Freaks: Anwendung der Konvergenzkriterien bei Reihen
Aufgaben zu Konvergenzkriterien für Reihe
[Bearbeiten]Mathe für Nicht-Freaks: Aufgaben zu Konvergenzkriterien für Reihen
Exponential- und Logarithmusfunktion
[Bearbeiten]Herleitung und Definition der Exponentialfunktion
[Bearbeiten]Mathe für Nicht-Freaks: Herleitung und Definition der Exponentialfunktion
Stetigkeit von Funktionen
[Bearbeiten]Mathe für Nicht-Freaks: Stetigkeit von Funktionen
Folgenkriterium der Stetigkeit
[Bearbeiten]Mathe für Nicht-Freaks: Folgenkriterium der Stetigkeit
Epsilon-Delta-Definition der Stetigkeit
[Bearbeiten]Mathe für Nicht-Freaks: Epsilon-Delta-Definition der Stetigkeit
Grenzwert von Funktionen
[Bearbeiten]Mathe für Nicht-Freaks: Grenzwert von Funktionen
Stetigkeit beweisen
[Bearbeiten]Mathe für Nicht-Freaks: Stetigkeit beweisen
Komposition stetiger Funktionen
[Bearbeiten]Mathe für Nicht-Freaks: Komposition stetiger Funktionen
Zwischenwertsatz
[Bearbeiten]Mathe für Nicht-Freaks: Zwischenwertsatz
Satz vom Minimum und Maximum
[Bearbeiten]Mathe für Nicht-Freaks: Satz vom Minimum und Maximum
Stetigkeit der Umkehrfunktion
[Bearbeiten]Mathe für Nicht-Freaks: Stetigkeit der Umkehrfunktion
Gleichmäßige Stetigkeit
[Bearbeiten]Mathe für Nicht-Freaks: Gleichmäßige Stetigkeit
Lipschitz-Stetigkeit
[Bearbeiten]Mathe für Nicht-Freaks: Lipschitz-Stetigkeit
Aufgaben zur Stetigkeit
[Bearbeiten]Mathe für Nicht-Freaks: Aufgaben zur Stetigkeit]
Ableitung und Differenzierbarkeit
[Bearbeiten]Mathe für Nicht-Freaks: Ableitung und Differenzierbarkeit
Rechengesetze für die Ableitung
[Bearbeiten]Mathe für Nicht-Freaks: Rechengesetze für die Ableitung
Ableitung der Umkehrfunktion
[Bearbeiten]Mathe für Nicht-Freaks: Ableitung der Umkehrfunktion
Beispiele für Ableitungen
[Bearbeiten]Mathe für Nicht-Freaks: Beispiele für Ableitungen
Ableitung höherer Ordnung
[Bearbeiten]Mathe für Nicht-Freaks: Ableitung höherer Ordnung
Satz von Rolle
[Bearbeiten]Mathe für Nicht-Freaks: Satz von Rolle
Mittelwertsatz
[Bearbeiten]Mathe für Nicht-Freaks: Mittelwertsatz
Kriterium für Konstanz und Monotoniekriterium
[Bearbeiten]Mathe für Nicht-Freaks: Kriterium für Konstanz und Monotoniekriterium
Ableitung und lokale Extrema
[Bearbeiten]Mathe für Nicht-Freaks: Ableitung und lokale Extrema
Regel von L'Hospital
[Bearbeiten]Mathe für Nicht-Freaks: Regel von L'Hospita
Aufgaben zur Ableitung 1
[Bearbeiten]Mathe für Nicht-Freaks: Aufgaben zur Ableitung 1
Aufgaben zur Ableitung 2
[Bearbeiten]Mathe für Nicht-Freaks: Aufgaben zur Ableitung 2
Aufgaben zur Ableitung 3
[Bearbeiten]Mathe für Nicht-Freaks: Aufgaben zur Ableitung 3
Aufgaben zur Ableitung 4
[Bearbeiten]Mathe für Nicht-Freaks: Aufgaben zur Ableitung 4
Das Integral
[Bearbeiten]Mathe für Nicht-Freaks: Integral einer Funktion
Riemann-Integral
[Bearbeiten]Mathe für Nicht-Freaks: Riemann-Integral
Eigenschaften des Riemann-Integrals
[Bearbeiten]Mathe für Nicht-Freaks: Eigenschaften des Riemann-Integrals
Regelintegral
[Bearbeiten]Mathe für Nicht-Freaks: Regelintegral
Hauptsatz der Differential- und Integralrechnung
[Bearbeiten]Mathe für Nicht-Freaks: Hauptsatz der Differential- und Integralrechnung
Substitutionsregel
[Bearbeiten]Mathe für Nicht-Freaks: Substitutionsregel für Integrale
Partielle Integration
[Bearbeiten]Mathe für Nicht-Freaks: Partielle Integration
- ↑ Beispielsweise gibt es die Methode der Fundamentalfolgen und die Methode der Dedekindschen Schnitte.
- ↑ Siehe den Wikipedia-Artikel zu den Gleitkommazahlen, welche stets rationale Zahlen sind.
- ↑ Ebbinghaus et al. „Zahlen“, Seite 28, 3. Auflage, ISBN 3-540-55654-0
- ↑ Siehe http://hsm.stackexchange.com/a/193
- ↑ Oliver Deiser stellt diesen Weg in seinem Lehrbuch „Reelle Zahlen“ vor. Siehe sein Kapitel „Vollständigkeit und Lücken“ im Abschnitt „I.3 Charakterisierung und Konstruktionen“ (Seite 93 folgend). ISBN 978-3-540-79375-5.
- ↑ Siehe http://hsm.stackexchange.com/a/1891
- ↑ Die Eigenschaft, dass das Maximum größer gleich jedem Element der Menge ist, ist für den Begriff des Supremums zu charakteristisch, als dass man es streichen könnte.
- ↑ Siehe auch http://math.stackexchange.com/questions/936462/supremum-of-all-y-coordinates-of-the-mandelbrot-set
- ↑ siehe w:Augustin-Louis Cauchy#Professor an der École polytechnique
- ↑ siehe http://web.archive.org/web/20130302094052/http://matheguru.com/analysis/24-grenzwerte.html
- ↑ Forster, Otto. Analysis. F. Vieweg, 1978. 6. Auflage. Seite 35
- ↑ Siehe zum Beispiel diesen Spiegel-Artikel.
- ↑ Siehe den englischen Wikipedia-Artikel „Euler–Mascheroni constant“
- ↑ Siehe die Antwort auf die Frage „Origin of Cauchy convergence test“ der Q&A Webseite „History of Science and Mathematics“
- ↑ Beispiel übernommen vom Wikipedia Artikel „Cauchy-Kriterium“
- ↑ Beispiel übernommen vom Wikipedia Artikel „Cauchy-Kriterium“
- ↑ Siehe die Antwort auf die Frage „Where is the root test first proved“ der Q&A Webseite „History of Science and Mathematics“
- ↑ Vorlage:Literatur
- ↑ Siehe den Thread „Are there written (19th century) sources expressing the belief that the intermediate value property is equivalent to continuity?“ von der Q&A Seite hsm.stackexchange.com
- ↑ Vorlage:Literatur