Satz von Fubini - LinkFang.de





Satz von Fubini


Der Satz von Fubini ist ein wichtiger Satz in der Integralrechnung. Er gibt an, unter welchen Bedingungen und wie man mehrdimensionale Integrale mit Hilfe von eindimensionalen Integralen ausrechnen kann. Erstmals wurde dieser Satz von Guido Fubini bewiesen.

Beschreibung

Mit Hilfe des Riemann-Integrals oder des Lebesgue-Integrals kann man die Integration von Funktionen über mehrdimensionale Gebiete definieren. Das Problem hierbei ist, dass diese Integrale über einen Grenzwert mit Hilfe einer Zerlegung des Gebiets in kleine Teile definiert sind. Diese ergibt allerdings keine nützliche, konstruktive Methode, um solche Integrale zu berechnen. Bei eindimensionalen Integralen kann man diese Grenzwertbildung vermeiden, wenn sich zu der zu integrierenden Funktion eine Stammfunktion finden lässt (Hauptsatz der Differential- und Integralrechnung).

Mit Hilfe des Satzes von Fubini können nun mehrdimensionale Integrale auf eindimensionale zurückgeführt werden, welche wiederum mit Hilfe einer Stammfunktion (sofern bekannt) berechnet werden können. Der Satz sagt zudem aus, dass die Reihenfolge der eindimensionalen Integrationen keine Rolle spielt. Dieser Trick ist in naiver Weise (vor einer exakten Definition der Integrationsrechnung) schon im 16. Jahrhundert verwendet worden und ist im Spezialfall von Volumenberechnungen unter dem Prinzip von Cavalieri bekannt.

Satz von Fubini für das Riemann-Integral

Sei [math] f\colon [a,b] \times [c,d] \to \R[/math] stetig.

Dann ist [math]F\colon [c,d] \to \R[/math] mit [math]F(y) := \int_a^b f(x,y)\, \mathrm dx [/math] stetig und es gilt

[math]\int_c^d F(y) \, \mathrm dy = \int_c^d \int_a^b f(x,y)\, \mathrm dx \, \mathrm dy = \int_a^b\int_c^d f(x,y) \, \mathrm dy \, \mathrm dx = \int\limits_{[a,b] \times [c,d]} f(x,y) \, \mathrm d(x,y) [/math].

Satz von Fubini für das Lebesgue-Integral

Seien [math](\Omega_1, \mathcal{A}_1, \mu_1)[/math] und [math](\Omega_2, \mathcal{A}_2, \mu_2)[/math] zwei [math]\sigma[/math]-endliche Maßräume und [math]f \colon \Omega_1 \times \Omega_2 \to \R[/math] eine messbare Funktion, die bezüglich des Produktmaßes [math]\mathrm \mu_1 \otimes \mu_2[/math] integrierbar ist, d. h. es gelte

[math] \int\limits_{\Omega_1 \times \Omega_2} |f| \, \mathrm d(\mu_1 \otimes \mu_2) \lt \infty \ [/math]

oder es gelte [math]f \geq 0[/math] fast überall.

Dann ist für fast alle [math]y[/math] die Funktion

[math] x \mapsto f(x,y)[/math]

und für fast alle [math]x[/math] die Funktion

[math]y \mapsto f(x,y)[/math]

integrierbar bzw. nichtnegativ. Man kann deshalb die durch Integration nach [math]y[/math] beziehungsweise [math]x[/math] definierten Funktionen

[math] x \mapsto \int\limits_{\Omega_2} f(x,y) ~ \mathrm d\mu_2(y) [/math]
[math] y \mapsto \int\limits_{\Omega_1} f(x,y) ~ \mathrm d\mu_1(x) [/math]

betrachten. Diese sind auch integrierbar bzw. nichtnegativ und es gilt

[math]\int\limits_{\Omega_1 \times \Omega_2} f ~ \mathrm d(\mu_1 \otimes \mu_2) = \int\limits_{\Omega_2}^\int\limits_{\Omega_1}^f(x,y)~ \mathrm d\mu_1(x)~ \mathrm d\mu_2(y) = \int\limits_{\Omega_1}^\int\limits_{\Omega_2}^f(x,y)~\mathrm d\mu_2(y)~ \mathrm d\mu_1(x).[/math]

Satz von Tonelli (auch Satz von Fubini-Tonelli)

Eine nützliche Variante dieses letzten Satzes ist der Satz von Tonelli. Hier wird die Integrierbarkeit bezüglich des Produktmaßes als Voraussetzung nicht benötigt. Es reicht, dass für [math]|f|[/math] die iterierten Integrale existieren:

Sei [math] f(x,y) [/math] eine reelle messbare Funktion wie oben. Falls eines der beiden iterierten Integrale

[math] \int\limits_{\Omega_2}^\int\limits_{\Omega_1}^|f(x,y)|~\mathrm d\mu_1(x)~ \mathrm d\mu_2(y)[/math],
[math] \int\limits_{\Omega_1}^\int\limits_{\Omega_2}^|f(x,y)|~ \mathrm d\mu_2(y)~ \mathrm d\mu_1(x)[/math]

existiert, dann existiert auch das andere, [math] f(x,y) [/math] ist bezüglich des Produktmaßes integrierbar und es gilt:

[math]\int\limits_{\Omega_1 \times \Omega_2} f ~ \mathrm d(\mu_1 \otimes \mu_2) = \int\limits_{\Omega_2}^ \int\limits_{\Omega_1}^ f(x,y)~\mathrm d\mu_1(x)~ \mathrm d\mu_2(y) = \int\limits_{\Omega_1}^\int\limits_{\Omega_2}^ f(x,y)~ \mathrm d\mu_2(y)~ \mathrm d\mu_1(x).[/math]

Folgerungen

Durch komponentenweise Betrachtung ergibt sich sofort, dass der Satz von Fubini nicht nur für reellwertige Funktionen, sondern entsprechend auch für Funktionen mit Werten in endlichdimensionalen reellen Vektorräumen gilt. Da der Körper [math]\C[/math] der komplexen Zahlen ein zweidimensionaler [math]\R[/math]-Vektorraum ist, gilt der Satz von Fubini ebenso für komplexwertige Funktionen oder Funktionen mit Werten in endlichdimensionalen [math]\C[/math]-Vektorräumen.

Mithilfe des Satzes von Fubini kann man folgende Identitäten beweisen, die zum Beispiel Anwendung in der Stochastik finden.

  • Sei [math]f:\ [a,b] \times [a,b] \longrightarrow \R[/math] Lebesgue-integrierbar, dann gilt:
[math]\int\limits_{a}^{b} \Biggl( \int\limits_{a}^{y}f(x,y)~ \mathrm dx~ \Biggr) \mathrm dy = \int\limits_{a}^{b} \Biggl( \int\limits_{x}^{b}f(x,y)~\mathrm dy~ \Biggr) \mathrm dx.[/math]
  • Sei [math]f:\ \R \longrightarrow \R[/math] Lebesgue-integrierbar, dann folgt induktiv:
[math]\int\limits_{0}^{x} \Biggl( \int\limits_{0}^{x_1} \dots \int\limits_{0}^{x_{n-2}} \Biggl( \int\limits_{0}^{x_{n-1}} f(x_n) \mathrm dx_n \Biggr) \mathrm dx_{n-1} \dots \mathrm dx_2 \Biggr) \mathrm dx_1 = \frac{1}{(n-1)!} \int\limits_{0}^{x} (x-t)^{n-1} f(t) \mathrm dt.[/math]

Literatur

  • Jürgen Elstrodt: Maß- und Integrationstheorie. 7. Auflage. Springer, Berlin/Heidelberg 2011, ISBN 978-3-642-17904-4, Kapitel V.
  • Achim Klenke: Wahrscheinlichkeitstheorie. Springer-Verlag, Berlin Heidelberg 2008, ISBN 978-3-540-76317-8, S. 279.
  • Konrad Königsberger: Analysis 2. 5. Auflage, Springer, Berlin 2004.

Kategorien: Satz (Mathematik)

Quelle: Wikipedia - http://de.wikipedia.org/wiki/Satz von Fubini (Vollständige Liste der Autoren des Textes [Versionsgeschichte])    Lizenz: CC-by-sa-3.0

Änderungen: Alle Bilder mit den meisten Bildunterschriften wurden entfernt. Ebenso alle zu nicht-existierenden Artikeln/Kategorien gehenden internen Wikipedia-Links (Bsp. Portal-Links, Redlinks, Bearbeiten-Links). Entfernung von Navigationsframes, Geo & Normdaten, Mediadateien, gesprochene Versionen, z.T. ID&Class-Namen, Style von Div-Containern, Metadaten, Vorlagen, wie lesenwerte Artikel. Ansonsten sind keine Inhaltsänderungen vorgenommen worden. Weiterhin kann es durch die maschinelle Bearbeitung des Inhalts zu Fehlern gerade in der Darstellung kommen. Darum würden wir jeden Besucher unserer Seite darum bitten uns diese Fehler über den Support mittels einer Nachricht mit Link zu melden. Vielen Dank!

Stand der Informationen: August 201& - Wichtiger Hinweis: Da die Inhalte maschinell von Wikipedia übernommen wurden, ist eine manuelle Überprüfung nicht möglich. Somit garantiert LinkFang.de nicht die Richtigkeit und Aktualität der übernommenen Inhalte. Sollten die Informationen mittlerweile fehlerhaft sein, bitten wir Sie darum uns per Support oder E-Mail zu kontaktieren. Wir werden uns dann innerhalb von spätestens 10 Tagen um Ihr Anliegen kümmern. Auch ohne Anliegen erfolgt mindestens alle drei Monate ein Update der gesamten Inhalte.