Skriptum Lineare Algebra


E-Book Content

Skriptum Lineare Algebra I Prof. Dr. Ren´e Grothmann Wintersemester 2004/05 2 Inhaltsverzeichnis 1 Grundlagen der Mathematik 9 1.1 Einf¨ uhrung . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 1.2 Mathematische Logik . . . . . . . . . . . . . . . . . . . . . . . . . 10 1.2.1 Modelle . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 1.2.2 Axiome . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 1.2.3 S¨ atze . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12 1.2.4 Logische Aussagen . . . . . . . . . . . . . . . . . . . . . . 13 1.2.5 Definitionen . . . . . . . . . . . . . . . . . . . . . . . . . . 17 1.2.6 Beweise . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18 Mengen und Abbildungen . . . . . . . . . . . . . . . . . . . . . . 22 1.3.1 Mengen . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22 1.3.2 Gleichheit von Mengen . . . . . . . . . . . . . . . . . . . . 24 1.3.3 Potenzmenge . . . . . . . . . . . . . . . . . . . . . . . . . 25 1.3.4 Vereinigung und Schnitt . . . . . . . . . . . . . . . . . . . 25 1.3.5 Relationen und Abbildungen . . . . . . . . . . . . . . . . 29 1.3.6 Bild, Urbild, Umkehrabbildung . . . . . . . . . . . . . . . 31 Die nat¨ urlichen Zahlen . . . . . . . . . . . . . . . . . . . . . . . . 38 1.4.1 Induktion . . . . . . . . . . . . . . . . . . . . . . . . . . . 38 1.4.2 Rekursive Konstruktion . . . . . . . . . . . . . . . . . . .
You might also like

Computationalism: New Directions
Authors: Matthias Scheutz    276    0


Computeralgebra
Authors: Wolfram Koepf    201    0



Effective Computational Geometry For Curves And Surfaces
Authors: Jean-Daniel Boissonnat , Monique Teillaud    172    0




Galois Theory, U Glasgow Course
Authors: John B. Fraleigh    259    0


Set Theory (web Draft, 1998-1999)
Authors: Dixon P.    263    0


Abstract Algebra
Authors: Pierre Antoine Grillet (auth.)    254    0


New Perspectives In Algebraic Combinatorics
Authors: Louis J. Billera , Anders Björner , Curtis Greene , Rodica E. Simion , Richard P. Stanley    183    0