Springer Studium Mathematik Bachelor

Transkript

1 Springer Studium Mathematik Bachelor Herausgegeben von M. Aigner, Freie Universität Berlin, Berlin, Germany H. Faßbender, Technische Universität Braunschweig, Braunschweig, Germany B. Gentz, Universität Bielefeld, Bielefeld, Germany D. Grieser, Universität Oldenburg, Oldenburg, Germany P. Gritzmann, Technische Universität München, Garching, Germany J. Kramer, Humboldt-Universität zu Berlin, Berlin, Germany V. Mehrmann, Technische Universität Berlin, Berlin, Germany G. Wüstholz, ETH Zürich, Zürich, Switzerland

2 Die Reihe Springer Studium Mathematik richtet sich an Studierende aller mathematischen Studiengänge und an Studierende, die sich mit Mathematik in Verbindung mit einem anderen Studienfach intensiv beschäftigen, wie auch an Personen, die in der Anwendung oder der Vermittlung von Mathematik tätig sind. Sie bietet Studierenden während des gesamten Studiums einen schnellen Zugang zu den wichtigsten mathematischen Teilgebieten entsprechend den gängigen Modulen. Die Reihe vermittelt neben einer soliden Grundausbildung in Mathematik auch fachübergreifende Kompetenzen. Insbesondere im Bachelorstudium möchte die Reihe die Studierenden für die Prinzipien und Arbeitsweisen der Mathematik begeistern. Die Lehr- und Übungsbücher unterstützen bei der Klausurvorbereitung und enthalten neben vielen Beispielen und Übungsaufgaben auch Grundlagen und Hilfen, die beim Übergang von der Schule zur Hochschule am Anfang des Studiums benötigt werden. Weiter begleitet die Reihe die Studierenden im fortgeschrittenen Bachelorstudium und zu Beginn des Masterstudiums bei der Vertiefung und Spezialisierung in einzelnen mathematischen Gebieten mit den passenden Lehrbüchern. Für den Master in Mathematik stellt die Reihe zur fachlichen Expertise Bände zu weiterführenden Themen mit forschungsnahen Einblicken in die moderne Mathematik zur Verfügung. Die Bücher können dem Angebot der Hochschulen entsprechend auch in englischer Sprache abgefasst sein. Weitere Bände dieser Reihe finden sie unter

3 Thorsten Theobald Sadik Iliman Einführung in die computerorientierte Mathematik mit Sage

4 Thorsten Theobald Goethe-Universität Frankfurt Frankfurt am Main, Deutschland Sadik Iliman Frankfurt, Deutschland ISBN DOI / ISBN (ebook) Die Deutsche Nationalbibliothek verzeichnet diese Publikation in der Deutschen Nationalbibliografie; detaillierte bibliografische Daten sind im Internet über abrufbar. Springer Spektrum Springer Fachmedien Wiesbaden 2016 Das Werk einschließlich aller seiner Teile ist urheberrechtlich geschützt. Jede Verwertung, die nicht ausdrücklich vom Urheberrechtsgesetz zugelassen ist, bedarf der vorherigen Zustimmung des Verlags. Das gilt insbesondere für Vervielfältigungen, Bearbeitungen, Übersetzungen, Mikroverfilmungen und die Einspeicherung und Verarbeitung in elektronischen Systemen. Die Wiedergabe von Gebrauchsnamen, Handelsnamen, Warenbezeichnungen usw. in diesem Werk berechtigt auch ohne besondere Kennzeichnung nicht zu der Annahme, dass solche Namen im Sinne der Warenzeichen- und Markenschutz-Gesetzgebung als frei zu betrachten wären und daher von jedermann benutzt werden dürften. Der Verlag, die Autoren und die Herausgeber gehen davon aus, dass die Angaben und Informationen in diesem Werk zum Zeitpunkt der Veröffentlichung vollständig und korrekt sind. Weder der Verlag noch die Autoren oder die Herausgeber übernehmen, ausdrücklich oder implizit, Gewähr für den Inhalt des Werkes, etwaige Fehler oder Äußerungen. Planung: Ulrike Schmickler-Hirzebruch Gedruckt auf säurefreiem und chlorfrei gebleichtem Papier. Springer Fachmedien Wiesbaden GmbH ist Teil der Fachverlagsgruppe Springer Science+Business Media (

5 Vorwort In vielen Bereichen der Mathematik spielen computerorientierte Aspekte eine immer größere Rolle, und für die meisten Mathematikerinnen und Mathematiker ist der Computer mittlerweile zu einem unentbehrlichen Hilfsmittel geworden. Das vor allem an Studienanfänger der Mathematik gerichtete Lehrbuch möchte eine frühzeitige und forschungsorientierte Auseinandersetzung mit computerorientierten Methoden, Denkweisen und Arbeitstechniken im Rahmen des Studiums initiieren. Das Buch bietet eine Einführung in grundlegende mathematische Teilgebiete, die in verschiedener Weise eine enge Beziehung zu computerorientierten Aspekten haben: Graphen, mathematische Algorithmen, Rekursionsgleichungen, computerorientierte lineare Algebra, Zahlen, Polynome und ihre Nullstellen. Anhand des mathematischen Kernstrangs werden Einblicke in die Modellierung, Analyse, algorithmische Aufbereitung und Simulation fundamentaler mathematischer Sachverhalte bereitgestellt. Hierzu ist das Buch mit einer Einführung in das frei verfügbare und sich immer stärker in Forschung und Lehre verbreitende Software-System Sage Mathematical Software System (kurz SageMath, Sage) 1 verflochten. Die computerorientierten Aspekte der späteren Kapitel könnenauf diese Weise anhand von Sage illustriert und geübt werden. Exemplarisch werden einige Fenster zu forschungsorientierten Aspekten geöffnet. DurchdieVerwendungeinesumfassenden Mathematik-Systemswie Sage sollen Studierende frühzeitig dazu ermutigt und befähigt werden, die Möglichkeiten eines solchen Systems auch im Rahmen weiterführender Veranstaltungen des Studiums zu nutzen, etwa bei der Visualisierung, bei der Überprüfung theoretisch erzielter Ergebnisse oder bei aufwendigen Berechnungen. Die Darstellung beruht auf Vorlesungen an der Goethe-Universität Frankfurt am Main. Hier ist die Einführung in die computerorientierte Mathematik im ersten Semester des Bachelor-Studiengangs verankert. 1 Über die freie Verfügbarkeit hinaus ist Sage deshalb besonders attraktiv, weil es auch über eine Internet-Schnittstelle genutzt werden kann und zudem zahlreiche spezialisiertere Mathematik-Pakete über Schnittstellen in die Sage-Plattform eingebunden sind. V

6 VI Vorwort Dank gilt Johann Baumeister, dessen Materialien seiner Vorgängervorlesung die Vorlesungskonzeption wesentlich beeinflusste. Für Anregungen und Hinweise bedanken wir uns besonders bei Mareike Dressler, Thomas Gerstner, Thorsten Jörgens, Michael Joswig, Martina Juhnke-Kubitzke, Kai Kellner, Cordian Riener und Timo de Wolff. Frau Schmickler-Hirzebruch danken wir für die kontinuierliche Unterstützung des Buchprojekts. Frankfurt am Main, im Juni 2015 Sadik Iliman und Thorsten Theobald

7 Inhaltsverzeichnis 1 Einleitung und Überblick Einige Beispiele Mathematische Software Zur Methodik und Verwendung des Buches Grundlegende Begriffe und Techniken Grundbegriffe der mathematischen Logik Beweistechniken Mengen Relationen Abbildungen Zählen Übungsaufgaben Anmerkungen Das Software-System Sage Zugangsmöglichkeiten Ein erster Einblick in Sage Aussagen, Mengen und Relationen Zählen Erste Berührung mit Listen, Schleifen und Verzweigungen Übungsaufgaben zum ersten Einstieg in Sage Anmerkungen Graphen Definitionen und Eigenschaften Planare Graphen Färbbarkeit und der Vier-Farben Satz Übungsaufgaben Anmerkungen VII

8 VIII Inhaltsverzeichnis 5 Einstieg in die Mathematik mit Sage Elementare Analysis Elementare lineare Algebra Visualisierung Einige Programmierelemente Ausgaben Übungsaufgaben Anmerkungen Algorithmen und Rekursion Algorithmen und ihre Komplexität Rekursion Rekursionsgleichungen Ein spezielles Master-Theorem für Rekursionsgleichungen Die Ackermann-Funktion Sortieren Übungsaufgaben Anmerkungen Grundlegende mathematische Algorithmen Wie multipliziert ein Computer? Größte gemeinsame Teiler Bestimmung von Quadratwurzeln Das Newton-Verfahren Approximationen mittels Fixpunktiteration Übungsaufgaben Anmerkungen Rechnen mit komplexen Zahlen Definition und Eigenschaften Die Mandelbrot-Menge Die diskrete Fourier-Transformation (*) Übungsaufgaben Anmerkungen Computerorientierte lineare Algebra Vektoren und Matrizen Lineare Gleichungssysteme Determinanten Eigenwerte und Eigenvektoren Euklidischer Algorithmus und lineare Rekursionen via linearer Algebra Drehungen und Spiegelungen Der PageRank-Algorithmus (*)

9 Inhaltsverzeichnis IX 9.8 Übungsaufgaben Anmerkungen Polynome und ihre Nullstellen Nullstellen von Polynomen und explizite Formeln Die kubische Gleichung Die quartische Gleichung Nullstellen von Polynomen und Eigenwerte von Matrizen Die Resultante Reelle Nullstellen (*) Übungsaufgaben Anmerkungen Computerorientierte Fallstudien natürlicher Zahlen Das Collatz-Problem (*) Darstellbarkeit von Zahlen als Summe zweier Quadrate (*) Die Partitionsfunktion (*) Übungsaufgaben Anmerkungen Anhang A: Analysis Anhang B: Lineare Algebra Anhang C: Notation Verzeichnis der verwendeten Sage-Befehle Sachverzeichnis