19030b
Proseminar
WiSe 12/13: Proseminar Analysis
Alexander Schmitt
Hinweise für Studierende
Zusätzl. Angaben / Voraussetzungen
Vorbesprechung am 17.10.2012
Kommentar
Inhalt:
Grundlagen der Nichtstandard-Analysis (nach Nelson) In der Analysis wird das Rechnen mit infinitesimalen Groessen durch den Grenzwertbegriff formalisiert. Robinson hat den Koerper der reellen Zahlen so erweitert, dass er infinitesimale Elemente enthaelt, d.h. positive Zahlen, die kleiner als alle positiven reellen Zahlen sind. Nelson hat spaeter beobachtet, dass man die Axiome der Mengenlehre so erweitern kann, dass der "uebliche Koerper" der reellen Zahlen "Standard-" und "Nichtstandard-Elemente" enthaelt. Unter den Nichtstandard-Elementen finden sich dabei wieder solche, die positiv und kleiner als alle positiven Standard-Elemente sind. Im Proseminar wird besprochen, wie mit Hilfe der infinitesimalen Elemente die grundlegenden Aussagen der Analysis neu formuliert und bewiesen werden koennen.
Zielgruppe:
Studierende im Bachelor- oder Lehramtsbachelor mit Interesse an Analysis und Logik
Voraussetzungen:
Analysis I,II, Lineare Algebra I,II Gefestiger Umgang mit dem mathematischen Formalismus, insbesondere der Aussagenlogik
Literatur:
Grundlagen der Nichtstandard-Analysis (nach Nelson) In der Analysis wird das Rechnen mit infinitesimalen Groessen durch den Grenzwertbegriff formalisiert. Robinson hat den Koerper der reellen Zahlen so erweitert, dass er infinitesimale Elemente enthaelt, d.h. positive Zahlen, die kleiner als alle positiven reellen Zahlen sind. Nelson hat spaeter beobachtet, dass man die Axiome der Mengenlehre so erweitern kann, dass der "uebliche Koerper" der reellen Zahlen "Standard-" und "Nichtstandard-Elemente" enthaelt. Unter den Nichtstandard-Elementen finden sich dabei wieder solche, die positiv und kleiner als alle positiven Standard-Elemente sind. Im Proseminar wird besprochen, wie mit Hilfe der infinitesimalen Elemente die grundlegenden Aussagen der Analysis neu formuliert und bewiesen werden koennen.
Zielgruppe:
Studierende im Bachelor- oder Lehramtsbachelor mit Interesse an Analysis und Logik
Voraussetzungen:
Analysis I,II, Lineare Algebra I,II Gefestiger Umgang mit dem mathematischen Formalismus, insbesondere der Aussagenlogik
Literatur:
- Alain M. Robert: Nonstandard analysis. Dover Publications, Inc., Mineola, NY, 2003. xx+156 pp. ISBN: 0-486-43279-3.
- Dieter Landers, Lothar Rogge: Nichtstandard Analysis. Springer-Lehrbuch. Springer-Verlag, Berlin, 1994. x+485 pp. ISBN: 3-540-57115-9. (Dieses Buch enthaelt einen Vergleich der beiden Zugaenge zur Nichtstandard-Analysis.)
- Weitere Literatur wird waehrend des Kurses bekanntgegeben. Schließen
16 Termine
Regelmäßige Termine der Lehrveranstaltung
Mi, 17.10.2012 10:00 - 12:00
Mi, 24.10.2012 10:00 - 12:00
Mi, 31.10.2012 10:00 - 12:00
Mi, 07.11.2012 10:00 - 12:00
Mi, 14.11.2012 10:00 - 12:00
Mi, 21.11.2012 10:00 - 12:00
Mi, 28.11.2012 10:00 - 12:00
Mi, 05.12.2012 10:00 - 12:00
Mi, 12.12.2012 10:00 - 12:00
Mi, 19.12.2012 10:00 - 12:00
Mi, 09.01.2013 10:00 - 12:00
Mi, 16.01.2013 10:00 - 12:00
Mi, 23.01.2013 10:00 - 12:00
Mi, 30.01.2013 10:00 - 12:00
Mi, 06.02.2013 10:00 - 12:00
Mi, 13.02.2013 10:00 - 12:00