www.matheraum.de
Das Matheforum.
Das Matheforum des MatheRaum.

Für Schüler, Studenten, Lehrer, Mathematik-Interessierte.
Hallo Gast!einloggen | registrieren ]
Startseite · Forum · Wissen · Kurse · Mitglieder · Team · Impressum
Forenbaum
^ Forenbaum
Status Mathe
  Status Schulmathe
    Status Primarstufe
    Status Mathe Klassen 5-7
    Status Mathe Klassen 8-10
    Status Oberstufenmathe
    Status Mathe-Wettbewerbe
    Status Sonstiges
  Status Hochschulmathe
    Status Uni-Analysis
    Status Uni-Lin. Algebra
    Status Algebra+Zahlentheo.
    Status Diskrete Mathematik
    Status Fachdidaktik
    Status Finanz+Versicherung
    Status Logik+Mengenlehre
    Status Numerik
    Status Uni-Stochastik
    Status Topologie+Geometrie
    Status Uni-Sonstiges
  Status Mathe-Vorkurse
    Status Organisatorisches
    Status Schule
    Status Universität
  Status Mathe-Software
    Status Derive
    Status DynaGeo
    Status FunkyPlot
    Status GeoGebra
    Status LaTeX
    Status Maple
    Status MathCad
    Status Mathematica
    Status Matlab
    Status Maxima
    Status MuPad
    Status Taschenrechner

Gezeigt werden alle Foren bis zur Tiefe 2

Navigation
 Startseite...
 Neuerdings beta neu
 Forum...
 vorwissen...
 vorkurse...
 Werkzeuge...
 Nachhilfevermittlung beta...
 Online-Spiele beta
 Suchen
 Verein...
 Impressum
Das Projekt
Server und Internetanbindung werden durch Spenden finanziert.
Organisiert wird das Projekt von unserem Koordinatorenteam.
Hunderte Mitglieder helfen ehrenamtlich in unseren moderierten Foren.
Anbieter der Seite ist der gemeinnützige Verein "Vorhilfe.de e.V.".
Partnerseiten
Mathe-Seiten:Weitere Fächer:

Open Source FunktionenplotterFunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme
StartseiteMatheForenWahrscheinlichkeitstheorieBedingter Erwartungswert Beisp
Foren für weitere Studienfächer findest Du auf www.vorhilfe.de z.B. Astronomie • Medizin • Elektrotechnik • Maschinenbau • Bauingenieurwesen • Jura • Psychologie • Geowissenschaften
Forum "Wahrscheinlichkeitstheorie" - Bedingter Erwartungswert Beisp
Bedingter Erwartungswert Beisp < Wahrscheinlichkeitstheorie < Stochastik < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Wahrscheinlichkeitstheorie"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Bedingter Erwartungswert Beisp: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 01:39 Mi 19.04.2023
Autor: Jellal

Guten Abend,

zur Motivation des bedingten Erwartungswert gibt das Buch von L.C. Evans "An Introduction to Stochastic Differential Equations" folgendes Beispiel:

Sei [mm] (\Omega, \mathcal{U}, [/mm] P) ein Wkeit-Raum mit einfacher Zufallszahl [mm] Y=\sum_{i=1}^{m} a_i I_{A_i} [/mm] fuer Mengen [mm] A_{i} \subset \Omega [/mm] mit [mm] \Omega=\bigcup_{i=1}^{m} A_{i} [/mm] und [mm] P(A_{i})>0, [/mm] und verschiedenen reellen [mm] a_{i}. [/mm]

Wir haben also [mm] Y(\omega)=a_i [/mm] fuer [mm] \omega \in A_{i}. [/mm]

Sei X eine weitere Zufallszahl auf [mm] \Omega. [/mm]

Auf diesem Beispiel definieren wir den bedingten Erwartungswert von X gegeben Y als Zufallszahl
[mm] E(X|Y)(\omega)=\frac{1}{P(A_{i})} \integral_{A_{i}}^{}{X dP} [/mm] fuer [mm] \omega [/mm] in [mm] A_{i}. [/mm]

Es soll leicht ersichtlich sein, dass fuer alle A [mm] \in \mathcal{U}(Y) [/mm] gilt [mm] (\mathcal{U}(Y) [/mm] ist die von Y generierte Sigma-Algebra):
[mm] \integral_{A}^{}{X dP}=\integral_{A}^{}{E(X|Y) dP} [/mm]

Ich fange an:
Jede Menge [mm] A\subseteq \Omega [/mm] kann geschrieben werden als [mm] \bigcup_{i=1}^{m} [/mm] A [mm] \cap A_{i}, [/mm] sodass
[mm] \integral_{A}^{}{E(X|Y) dP} [/mm] = [mm] \sum_{i=1}^{m} \integral_{A \cap A_{i}}^{}{E(X|Y) dP} [/mm] mit Eigenschaften des Lebesgue-Integrals.
= [mm] \sum_{i=1}^{m}\frac{1}{P(A_{i})} \integral_{A \cap A_{i}}^{}{ ( \integral_{A_{i}}^{}{X dP}) dP}. [/mm]

Hier will ich Fubini-Tonelli benutzen und die Reihenfolge der Integrale vertauschen. Als Zufallszahl ist X per Definition eine messbare Funktion. Auch ist der Wkeit-Raum [mm] \sigma-finit [/mm] (die [mm] A_i [/mm] sind eine Partition von [mm] \Omega [/mm] und haben alle endliche Maße). Also darf ich den Satz verwenden und wir erhalten
[mm] \sum_{i=1}^{m} \frac{1}{P(A_{i})} \integral_{A_{i}}^{}{(\integral_{A \cap A_{i}}^{}{X dP}) dP} [/mm]
Das innere Integral gibt nun einen Wert [mm] c_{i}=\integral_{A \cap A_{i}}^{}{X dP}, [/mm] sodass
[mm] \sum_{i=1}^{m} \frac{1}{P(A_{i})} \integral_{A_{i}}^{}{c_{i} dP} [/mm]
= [mm] \sum_{i=1}^{m} \frac{1}{P(A_{i})} c_{i} P(A_{i}) [/mm]
[mm] =\sum_{i=1}^{m}c_{i} [/mm] = [mm] \sum_{i=1}^{m}\integral_{A \cap A_{i}}^{}{X dP} [/mm]
= [mm] \integral_{A }^{}{X dP}. [/mm]

Ist das so korrekt?
Ich zweifle, weil ich nirgendwo benutzt habe, dass [mm] A\in \mathcal{U}(Y)... [/mm]

vG.
Jellal

        
Bezug
Bedingter Erwartungswert Beisp: Antwort
Status: (Antwort) fertig Status 
Datum: 13:07 Mi 19.04.2023
Autor: Gonozal_IX

Hiho,

> Sei X eine weitere Zufallszahl auf [mm]\Omega.[/mm]

das reicht nicht. Es sollte $X [mm] \in L^1(\Omega)$ [/mm] gelten, sonst ist der bedingte EW nicht wohldefiniert. Mach dir das klar…

> Ich fange an:
>  Jede Menge [mm]A\subseteq \Omega[/mm] kann geschrieben werden als
> [mm]\bigcup_{i=1}^{m}[/mm] A [mm]\cap A_{i},[/mm]

Das bezweifle ich.
Was ist, wenn $A [mm] \subseteq \Omega$ [/mm] nicht meßbar ist?
Welche Mengen $A$ betrachten wir hier überhaupt?

>  [mm]\integral_{A}^{}{E(X|Y) dP}[/mm] = [mm]\sum_{i=1}^{m} \integral_{A \cap A_{i}}^{}{E(X|Y) dP}[/mm]

Die Gleichung gilt nur, wenn die [mm] $A_i$ [/mm] paarweise disjunkt sind. Dies können wir aber oBdA annehmen. Warum?
edit: Mir fällt gerade auf, dass wir die paarweise Disjunktheit bereits bei der Definition benötigen, ansonsten ist bereits dein bedingter Erwartungswert nicht wohldefiniert (warum?).

> Hier will ich Fubini-Tonelli benutzen und die Reihenfolge
> der Integrale vertauschen. Als Zufallszahl ist X per
> Definition eine messbare Funktion.

Das reicht nicht aus. Nach Fubini-Tonelli muss |X| integrierbar sein bezüglich $dP dP$.
Warum gilt das (jetzt)?

> Ist das so korrekt?
>  Ich zweifle, weil ich nirgendwo benutzt habe, dass [mm]A\in \mathcal{U}(Y)...[/mm]

Ja, siehe oben, was für Mengen A betrachten wir hier überhaupt?

Gruß,
Gono

Bezug
                
Bezug
Bedingter Erwartungswert Beisp: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 01:14 Do 20.04.2023
Autor: Jellal

Hallo Gono,

danke dir fuer die Antwort.

> Hiho,
>  
> > Sei X eine weitere Zufallszahl auf [mm]\Omega.[/mm]
>  das reicht nicht. Es sollte [mm]X \in L^1(\Omega)[/mm] gelten,
> sonst ist der bedingte EW nicht wohldefiniert. Mach dir das
> klar…

Das wurde im Buch leider nicht genannt.
Warum brauch ich das denn? In der tatsaechlichen Definition nach dem Beispiel wird es auch nicht vorausgesetzt:
" Let X and Y be random variables defined on the same probability space [mm] (\Omega, \mathcal{U}, [/mm] P). The conditional expectation of X given Y is any [mm] \mathcal{U}(Y) [/mm] measurable random variable Z such that
[mm] \integral_{A}^{}{XdP} [/mm] = [mm] \integral_{A}{}{ZdP} [/mm] for all [mm] A\in \mathcal{U}(Y). [/mm] "

edit: In anderen Definitionen, die ich online gefunden habe, scheint die Inegrierbarkeit oder zumindest die Endlichkeit des Erwartungswerts vorausgesetzt zu werden... wahrscheinlich wurde es im Buch nur vergessen. In dem Kapitel geht es um einen "Crash Kurs", und es wurde gesagt, dass ein paar technische Details unterschlagen werden...

Die Definition definiert Z ja ueber das Integral.
Was waere, wenn [mm] \integral_{A}{}{XdP} [/mm] unendlich waere?

>  >  Jede Menge [mm]A\subseteq \Omega[/mm] kann geschrieben werden
> als
> > [mm]\bigcup_{i=1}^{m}[/mm] A [mm]\cap A_{i},[/mm]
> Das bezweifle ich.
> Was ist, wenn [mm]A \subseteq \Omega[/mm] nicht meßbar ist?
>  Welche Mengen [mm]A[/mm] betrachten wir hier überhaupt?

Stimmt, also A muss zumindest in [mm] \mathcal{U} [/mm] sein (das Maß ist ja eh nur auf [mm] \mathcal{U} [/mm] definiert). Gelten soll die Aussage fuer alle [mm] A\in \mathcal{U}(Y)\subseteq \mathcal{U}, [/mm] wobei mir nicht klar ist, ob es nicht auch fuer alle [mm] A\in \mathcal{U} [/mm] gilt.

> >  [mm]\integral_{A}^{}{E(X|Y) dP}[/mm] = [mm]\sum_{i=1}^{m} \integral_{A \cap A_{i}}^{}{E(X|Y) dP}[/mm]

> Die Gleichung gilt nur, wenn die [mm]A_i[/mm] paarweise disjunkt
> sind. Dies können wir aber oBdA annehmen. Warum?
>  edit: Mir fällt gerade auf, dass wir die paarweise
> Disjunktheit bereits bei der Definition benötigen,
> ansonsten ist bereits dein bedingter Erwartungswert nicht
> wohldefiniert (warum?).

Die paarweise Disjunktheit wurde vorausgesetzt, mein Fehler...

> > Hier will ich Fubini-Tonelli benutzen und die Reihenfolge
> > der Integrale vertauschen. Als Zufallszahl ist X per
> > Definition eine messbare Funktion.
> Das reicht nicht aus. Nach Fubini-Tonelli muss |X|
> integrierbar sein bezüglich [mm]dP dP[/mm].
>  Warum gilt das
> (jetzt)?

Wenn man, wie du sagst, eh voraussetzen muss, dass X [mm] \in L^{1}(\Omega) [/mm] ist, dann folgt das doch sicher daraus... irgendwie.
Gibt es einen Satz, der besagt, dass wenn X integrierbar auf [mm] (\Omega, \mathcal{U}, [/mm] P) ist, dann ist es auch integrierbar auf [mm] (\Omega \times \Omega, \mathcal{U}\times \mathcal{U}, [/mm] P [mm] \times [/mm] P)?

Gruß


Bezug
                        
Bezug
Bedingter Erwartungswert Beisp: Frage (überfällig)
Status: (Frage) überfällig Status 
Datum: 01:51 Fr 21.04.2023
Autor: Jellal

Frage oben immer noch offen

Bezug
                                
Bezug
Bedingter Erwartungswert Beisp: Fälligkeit abgelaufen
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 02:20 Mo 24.04.2023
Autor: matux

$MATUXTEXT(ueberfaellige_frage)
Bezug
                        
Bezug
Bedingter Erwartungswert Beisp: Antwort
Status: (Antwort) fertig Status 
Datum: 09:04 Sa 06.05.2023
Autor: Gonozal_IX

Hiho,

>  Was waere, wenn [mm]\integral_{A}{}{XdP}[/mm] unendlich waere?

In dem Fall passiert erst mal gar nichts.
Man kann die bedingte Erwartung für $X [mm] \in L^1$ [/mm] oder für [mm] $X\ge [/mm] 0$ problemlos definieren (genau genommen sogar für die Fälle, wo [mm] $X^{-}$, [/mm] also der Negativteil von X, endlich integrierbar bleibt).

Problematisch wird es nur dann, wenn keiner der Fälle vorliegt, d.h. der Fall wo sowohl $E[X^+] = [mm] +\infty$ [/mm] als auch $E[X^-] = [mm] +\infty$ [/mm] gilt.

Dann gibt es (disjunkte) Mengen [mm] A_1 [/mm] und [mm] A_2 [/mm] mit [mm] $\int_{A_1} [/mm] X dP = [mm] +\infty, \int_{A_2} [/mm] X dP = [mm] -\infty$ [/mm]
Wie soll dann Z auf [mm] $A_1 \cup A_2$ [/mm] aussehen?

> > > Hier will ich Fubini-Tonelli benutzen und die Reihenfolge
> > > der Integrale vertauschen. Als Zufallszahl ist X per
> > > Definition eine messbare Funktion.
> > Das reicht nicht aus. Nach Fubini-Tonelli muss |X|
> > integrierbar sein bezüglich [mm]dP dP[/mm].
>  >  Warum gilt das
> > (jetzt)?
>  
> Wenn man, wie du sagst, eh voraussetzen muss, dass X [mm]\in L^{1}(\Omega)[/mm]
> ist, dann folgt das doch sicher daraus... irgendwie.
>  Gibt es einen Satz, der besagt, dass wenn X integrierbar
> auf [mm](\Omega, \mathcal{U},[/mm] P) ist, dann ist es auch
> integrierbar auf [mm](\Omega \times \Omega, \mathcal{U}\times \mathcal{U},[/mm]
> P [mm]\times[/mm] P)?

Das willst du ja gerade nicht benutzen. Fubini-Tonelli kommt ja gerade ohne die Integrierbarkeit auf dem Produktraum aus…
Mach dir klar, dass die zweifache Integration bezüglich dP nicht unbedingt das gleiche ist wie die Integration bezüglich [mm] $d(P\times [/mm] P)$.
Das gibt dir ja gerade erst Fubini(-Tonelli).

Daher: Was sind die Voraussetzungen für Fubini-Tonelli und wieso sind die hier erfüllt?
Voraussetzungen hinschreiben und nachdenken!

Gruß
Gono


Bezug
Ansicht: [ geschachtelt ] | ^ Forum "Wahrscheinlichkeitstheorie"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien


^ Seitenanfang ^
www.matheforum.net
[ Startseite | Forum | Wissen | Kurse | Mitglieder | Team | Impressum ]