Maßtheorie
Die Maßtheorie liefert eine rigorose Vorstellung von Größe, Länge, Fläche, Volumen und Wahrscheinlichkeit für sehr allgemeine Mengenkollektionen und bildet auf dieser Grundlage das Lebesgue-Integral, das die moderne Analysis antreibt.
Definition
Die Maßtheorie ist der Zweig der mathematischen Analysis, der Teilmengen eines Raumes ein konsistentes Maß für ihre Größe zuordnet und dieses zur Definition der Integration verwendet, wodurch Länge, Fläche, Volumen und Wahrscheinlichkeit innerhalb eines einzigen axiomatischen Rahmens verallgemeinert werden.
Scope
Das Gebiet umfasst Sigma-Algebren und Maße, messbare Funktionen, die Konstruktion des Lebesgue-Maßes, das Lebesgue-Integral und seine Konvergenzsätze, die Lp-Räume, signierte und komplexe Maße mit dem Satz von Radon-Nikodym sowie Produktmaße mit dem Satz von Fubini-Tonelli.
Sub-topics
Core questions
- Wie kann ein Größenbegriff einer reichhaltigen Familie von Mengen, einschließlich irregulärer, konsistent zugeordnet werden?
- Wie wird das Lebesgue-Integral definiert, und warum verhält es sich unter Grenzwerten besser als das Riemann-Integral?
- Wann können Grenzwerte mit Integralen vertauscht werden?
- Wie werden zwei Maße verglichen, und wann besitzt eines eine Dichte bezüglich des anderen?
Key theories
- Lebesguescher Satz von der dominierten Konvergenz
- Wenn integrierbare Funktionen punktweise konvergieren und gleichmäßig durch eine feste integrierbare Funktion beschränkt sind, dann ist der Grenzwert ihrer Integrale gleich dem Integral des Grenzwertes, was den Austausch von Grenzwert und Integral ermöglicht, der der Riemannschen Theorie fehlt.
- Satz von Radon-Nikodym
- Wenn ein sigma-endliches Maß absolut stetig bezüglich eines anderen ist, kann es als Integral einer Dichtefunktion bezüglich dieses anderen Maßes geschrieben werden, was den rigorosen Begriff einer Wahrscheinlichkeitsdichte und bedingten Erwartung liefert.
Clinical relevance
Die Maßtheorie ist die unverzichtbare Grundlage der modernen Wahrscheinlichkeitstheorie, wo Maße Wahrscheinlichkeitsverteilungen und das Lebesgue-Integral der Erwartungswert sind; sie begründet auch die Funktionalanalysis durch die Lp- und Hilberträume, die harmonische Analysis, die Ergodentheorie und die rigorose Behandlung stochastischer Prozesse, die in Finanzwesen und Statistik verwendet werden.
History
Die Maßtheorie begann mit Borels Maß auf der Geraden und erhielt ihre entscheidende Form durch Lebesgue in seiner Dissertation von 1902, die das moderne Integral einführte. Carathéodorys Konstruktion des äußeren Maßes, Radons Arbeit über Maße auf allgemeinen Räumen und Kolmogorows Axiomatisierung der Wahrscheinlichkeit von 1933 etablierten die heute verwendete abstrakte Theorie.
Key figures
- Henri Lebesgue
- Emile Borel
- Johann Radon
- Constantin Caratheodory
Related topics
Seminal works
- folland1999
Frequently asked questions
- Warum sollte man das Lebesgue-Integral einführen, wenn das Riemann-Integral bereits existiert?
- Das Lebesgue-Integral kann wesentlich mehr Funktionen integrieren, und seine Konvergenzsätze erlauben den Austausch von Grenzwerten und Integralen unter milden Hypothesen, was für die Analysis, Wahrscheinlichkeitstheorie und die Vollständigkeit von Lp-Räumen unerlässlich ist.
- Was ist eine Sigma-Algebra?
- Eine Sigma-Algebra ist die Sammlung von Teilmengen, auf denen ein Maß definiert ist; sie ist abgeschlossen unter Komplementen und abzählbaren Vereinigungen, den Abschlusseigenschaften, die für die abzählbare Additivität und die Sinnhaftigkeit von Grenzoperationen erforderlich sind.