Home
Forums
New posts
Search forums
What's new
New posts
Latest activity
Log in
Register
What's new
Search
Search
Search titles only
By:
New posts
Search forums
Menu
Log in
Register
Install the app
Install
Home
Forums
All Topics
Education
Mathematics
Convergence of iterated conditional expectations
JavaScript is disabled. For a better experience, please enable JavaScript in your browser before proceeding.
You are using an out of date browser. It may not display this or other websites correctly.
You should upgrade or use an
alternative browser
.
Reply to thread
Message
<blockquote data-quote="Nate River" data-source="post: 740136"><p><em>Notation: We write $\mathbb E_{\mathcal F} X$ for the conditional expectation $\mathbb E[X|\mathcal F]$ of a random variable $X$ with respect to a $\sigma$-algebra $\mathcal F$.</em></p><p></p><p>Let $X$ be an integrable random variable with associated $\sigma$-algebra $\mathcal X$, and let $\mathcal G, \mathcal H$ be sub $\sigma$-algebras of $\mathcal X$. It is known that the seemingly intuitive identity</p><p></p><p>$$\mathbb E_{\mathcal G} \mathbb E_{\mathcal H} X = \mathbb E_{\mathcal H} \mathbb E_{\mathcal G} X = \mathbb E_{\mathcal G \cap \mathcal H} X$$</p><p></p><p>does <em>not</em> hold in general, see for example <a href="https://math.stackexchange.com/a/2637771">here</a> for an elementary construction where all three of the values above are different.</p><p></p><p>However, I believe the following holds.</p><p></p><p><strong>Question:</strong> Is it true that the sequence</p><p></p><p>$$\mathbb E_{\mathcal H} X, \mathbb E_{\mathcal G} \mathbb E_{\mathcal H} X, \mathbb E_{\mathcal H} \mathbb E_{\mathcal G} \mathbb E_{\mathcal H} X, \mathbb E_{\mathcal G} \mathbb E_{\mathcal H} \mathbb E_{\mathcal G} \mathbb E_{\mathcal H} X, \dots$$</p><p></p><p>converges almost surely to $ \mathbb E_{\mathcal G \cap \mathcal H} X$?</p><p></p><p><strong>Comments:</strong> The desired result seems to be true if $X$ is a random variable taking finitely many values. Indeed, viewing the conditional expectation operator as a projection, the convergence is guaranteed by the following <a href="https://en.wikipedia.org/wiki/Projections_onto_convex_sets">algorithm</a>, popularised by von Neumann.</p></blockquote><p></p>
[QUOTE="Nate River, post: 740136"] [I]Notation: We write $\mathbb E_{\mathcal F} X$ for the conditional expectation $\mathbb E[X|\mathcal F]$ of a random variable $X$ with respect to a $\sigma$-algebra $\mathcal F$.[/I] Let $X$ be an integrable random variable with associated $\sigma$-algebra $\mathcal X$, and let $\mathcal G, \mathcal H$ be sub $\sigma$-algebras of $\mathcal X$. It is known that the seemingly intuitive identity $$\mathbb E_{\mathcal G} \mathbb E_{\mathcal H} X = \mathbb E_{\mathcal H} \mathbb E_{\mathcal G} X = \mathbb E_{\mathcal G \cap \mathcal H} X$$ does [I]not[/I] hold in general, see for example [URL='https://math.stackexchange.com/a/2637771']here[/URL] for an elementary construction where all three of the values above are different. However, I believe the following holds. [B]Question:[/B] Is it true that the sequence $$\mathbb E_{\mathcal H} X, \mathbb E_{\mathcal G} \mathbb E_{\mathcal H} X, \mathbb E_{\mathcal H} \mathbb E_{\mathcal G} \mathbb E_{\mathcal H} X, \mathbb E_{\mathcal G} \mathbb E_{\mathcal H} \mathbb E_{\mathcal G} \mathbb E_{\mathcal H} X, \dots$$ converges almost surely to $ \mathbb E_{\mathcal G \cap \mathcal H} X$? [B]Comments:[/B] The desired result seems to be true if $X$ is a random variable taking finitely many values. Indeed, viewing the conditional expectation operator as a projection, the convergence is guaranteed by the following [URL='https://en.wikipedia.org/wiki/Projections_onto_convex_sets']algorithm[/URL], popularised by von Neumann. [/QUOTE]
Name
Verification
Post reply
Home
Forums
All Topics
Education
Mathematics
Convergence of iterated conditional expectations
This site uses cookies to help personalise content, tailor your experience and to keep you logged in if you register.
By continuing to use this site, you are consenting to our use of cookies.
Accept
Learn more…
Top