Analysis 0. Ein logischer Einstieg in die Analysis

Was bedeutet eigentlich das Gleichheitszeichen? Was ist ein Beweis? Warum ist ungerade mal ungerade ungerade, aber minus mal minus plus? Auf solche Grundlagen gehen die Lehrveranstaltungen zur Analysis an unseren Hochschulen selten ein. In Wolfgang Helbigs Einfhrung finden sich Antworten auf Fragen wie diese.Anders als in vielen Einfhrungen geht Helbig nicht nur auf die reellen und komplexen, sondern auch auf die natrlichen, ganzen und rationalen Zahlen ein. Sie werden durch Axiome so definiert, da sie lckenlose Beweise nicht nur in der Analysis, sondern auch in der Zahlentheorie oder der Kombinatorik ermglichen. Die Widerspruchsfreiheit dieser Axiome wird durch vollstndig ausgefhrte mengentheoretische Konstruktionen nachgewiesen, wobei einzig die Existenz einer Peano-Struktur vorausgesetzt wird.Die Eigenschaften stetiger Funktionen, konvergenter Folgen und Reihen, zusammenhngender und kompakter Mengen werden aus den Axiomen des metrischen Raums abgeleitet und als weiteres Beispiel der axiomatischen Methode auf Zahlenbereiche und Funktionenrume bertragen, um Potenzen mit reellen und komplexen Exponenten zu studieren.Alle Stze, vom Prinzip der rekursiven Definition bis zum Satz von Heine-Borel, und alle Formeln, von der geometrischen Reihe bis zum Cauchyprodukt, werden allein aus den Axiomen abgeleitet. In Helbigs Analysis 0 gibt es nichts "Triviales", jeder Schlu wird begrndet. Dabei legt Helbig besonderen Wert auf die Leserfreundlichkeit der Beweise.So kann der Leser die Chance wahrnehmen, die Schlssigkeit der Argumentation selbst zu beurteilen. Auch der mathematisch Fortgeschrittene zieht aus der Lektre Gewinn - findet doch auch er die Herleitung zahlreicher vertrauter Stze, die er bislang beweislos und unkritisch benutzt hat, etwa zu Eigenschaften endlicher Mengen oder den Rechengesetzen endlicher Summen.