Ist

8

Ist ? Und was ist mit Ich bin durch die Beziehungen verwirrt. Es scheint intuitiv der Fall zu sein. Wenn es richtig ist, wie beweise ich es mathematisch? Ich habe auf dieser Seite und anderswo gesucht ...E [ E ( X | Y = y ) | Z = z ] = E [ X | Y = y , Z = z ]E[E(X|Y)|Z]=E[X|Y,Z]E[E(X|Y=y)|Z=z]=E[X|Y=y,Z=z]

KUZ
quelle
3
Ist das eine Frage aus einem Kurs oder Lehrbuch? Wenn ja, fügen Sie bitte das [self-study]Tag hinzu und lesen Sie das Wiki .
Gung - Reinstate Monica
1
Nein, dies ist nicht aus einem Kurs oder Lehrbuch. Ich versuche nur für mich selbst zu verstehen.
KUZ

Antworten:

10

Diese beiden bedingten Erwartungen unterscheiden sich im Allgemeinen:

E[E(X|Y)|Z]E[X|Y,Z]

Tatsächlich leben sie streng genommen nicht einmal im selben Funktionsraum wie der erste, eine Funktion von , messbarem Wrt , der durch induzierten Algebra , während der zweite ist eine Funktion von , daher messbares Wrt , die durch induzierte Algebra ,σ ( Z ) σ Z ( Y , Z ) σ ( Y , Z ) σ ( Y , Z )Zσ(Z)σZ(Y,Z)σ(Y,Z)σ(Y,Z)

Betrachten Sie als Gegenbeispiel die Einstellung wann

  1. Y.X und sind unabhängigY
  2. Z E [ X | Z ] E [ X ]X und sind abhängig vonZE[X|Z]E[X]

Dann wegen der Unabhängigkeit zwischen und , und deshalbY E ( X | Y ) = E [ X ] E [ E ( X | Y ) | Z ] = E [ X ] E [ X | Y , Z ]XYE(X|Y)=E[X]

E[E(X|Y)|Z]=E[X]E[X|Y,Z]

Eine gültige Gleichheit ist stattdessen , die für alle Abhängigkeitsbeziehungen zwischen den drei Zufallsvariablen gilt.

E[E(X|Y,Z)|Z]=E[X|Z]

Notationen: Der Unterschied zwischen den Notationen und ist dasE [ E ( X | Y = y ) | Z = z ]E[E(X|Y)|Z]E[E(X|Y=y)|Z=z]

  1. Z Y Y Z.E[E(X|Y)|Z] ist eine Zufallsvariable, eine Transformation der Zufallsvariablen (und nicht der Zufallsvariablen da Y auch von abhängig ist );ZYYZ
  2. y z y y E ( X | Y = y ) Z = z E ( X | Y = y ) X Y X y Y.E[E(X|Y=y)|Z=z] ist eine Funktion von anscheinend sowohl als auch , aber tatsächlich nur von (wie unten erläutert), die keine klare Bedeutung von hat ein probabilistischer Gesichtspunkt . In der Tat für einen Wert gegeben , ist eine Konstante , für die eine bedingte Erwartung bedingte auf der Erkenntnis , wobei ist wenig sinnvoll , da es auch kehrt . Zum Beispiel, wenn sowohl von als auch von als Zufallsvariable abhängt, für eine gegebene Realisierung vonyzyyE(X|Y=y)Z=zE(X|Y=y)XYXyYund von z , E ( X | Y = y ) ist eine Konstante, die sich im Allgemeinen von E ( X ) und von E ( X | Y = y , Z = z ) unterscheidet . Aber E [ E ( X | Y = y ) | Z = z ] ist keine Realisierung der Zufallsvariablen E [ E.ZzE(X|Y=y)E(X)E(X|Y=y,Z=z)E[E(X|Y=y)|Z=z] . Die korrekte Realisierung ist E [ E ( X | Y ) | Z = z ]E[E(X|Y)|Z]E[E(X|Y)|Z=z]
Xi'an
quelle
E(X|Y)=E[X]E[E(X|Y)|Z]=E[E(X)|Z]=E[X]
E[X]