Skip to main content

All Questions

143 votes
6 answers
22k views

Intuition behind Conditional Expectation

I'm struggling with the concept of conditional expectation. First of all, if you have a link to any explanation that goes beyond showing that it is a generalization of elementary intuitive concepts, ...
Stefan's user avatar
  • 6,545
44 votes
8 answers
52k views

Intuitive explanation of the tower property of conditional expectation

I understand how to define conditional expectation and how to prove that it exists. Further, I think I understand what conditional expectation means intuitively. I can also prove the tower property, ...
JT_NL's user avatar
  • 14.7k
38 votes
4 answers
12k views

If $E[X|Y]=Y$ almost surely and $E[Y|X]=X$ almost surely then $X=Y$ almost surely

Assume that $X$ and $Y$ are two random variables such that $Y=E[X|Y]$ almost surely and $X= E[Y|X]$ almost surely. Prove that $X=Y$ almost surely. The hint I was given is to evaluate: $$E[X-Y;X>a,...
Peter's user avatar
  • 1,975
24 votes
1 answer
627 views

Upper and Lower Bounds on $Var(Var(X\mid Y))$

Are there any particular properties that \begin{align*} Var(Var(X\mid Y)) \end{align*} satisfies so that we can derive any upper and lower bounds on it. For example, if we replace $Var$ with ...
Boby's user avatar
  • 6,015
22 votes
1 answer
6k views

Fubini's theorem for conditional expectations

I need to prove that if $E \int_a^b |X_u|\,du = \int_a^b E|X_u|\,du$ is finite then: $$E\left[\left.\int_a^b X_u\,du \;\right|\; \mathcal{G}\right] = \int_a^b E[X_u \mid \mathcal{G}]\,du.$$ I just ...
luka5z's user avatar
  • 6,419
17 votes
2 answers
5k views

Conditional expectation equals random variable almost sure

Let $X$ be in $\mathfrak{L}^1(\Omega,\mathfrak{F},P)$ and $\mathfrak{G}\subset \mathfrak{F}$. Prove that if $X$ and $E(X|\mathfrak{G})$ have same distribution, then they are equal almost surely. I ...
Marc's user avatar
  • 2,094
14 votes
4 answers
6k views

Conditional expectation given an event is equivalent to conditional expectation given the sigma algebra generated by the event

This problem is motivated by my self study of Cinlar's "Probability and Stochastics", it is Exercise 1.26 in chapter 4 (on conditioning). The exercise goes as follows: Let H be an event and let $\...
Olorun's user avatar
  • 1,561
14 votes
1 answer
12k views

Independence and conditional expectation

So, it's pretty clear that for independent $X,Y\in L_1(P)$ (with $E(X|Y)=E(X|\sigma(Y))$), we have $E(X|Y)=E(X)$. It is also quite easy to construct an example (for instance, $X=Y=1$) which shows that ...
user73048's user avatar
  • 299
14 votes
1 answer
8k views

Conditional expectation of product of conditionally independent random variables

I would like to show the following statement using the general definition of conditional expectation. I believe it is true as it was also pointed out in other posts. Let $X,Y$ be conditionally ...
user401479's user avatar
13 votes
2 answers
966 views

What is the intuition behind conditional expectation in a measure-theoretic treatment of probability?

What is the intuition behind conditional expectation in a measure-theoretic sense, as opposed to a non-measure-theoretic treatment? You may assume I know: what a probability space $(\Omega, \mathcal{...
Clarinetist's user avatar
  • 19.6k
12 votes
1 answer
830 views

Conditional expectation $\mathbb E\left(\exp\left(\int_0^tX_sdB_s\right) \mid \mathcal F_t^X\right)$

I have found a theorem (see below) in two papers an I try to figure how it could be proved. The result seems to be intuitive, but I'm not able to prove it in a rigorous way. Assumptions: Consider a ...
Mots du Jour's user avatar
11 votes
2 answers
9k views

What is $E(X\mid X>c)$ in terms of $P(X>c)$?

What is $E(X\mid X>c)$ in terms of $P(X>c)$? I've seen conditional probability/expectation before with respect to another random variable but not to the variable itself. How would I go about ...
DumbQuestion's user avatar
11 votes
1 answer
540 views

Given $\mathbb{E}[X|Y] = Y$ a.s. and $\mathbb{E}[Y|X] = X$ a.s. show $X = Y$ a.s.

Given $X,Y \in L^2(\Omega,\mathscr{F},\Bbb{P})$ such that $\mathbb{E}[X|Y] = Y$ a.s. $\mathbb{E}[Y|X] = X$ a.s. show that $\Bbb{P}(X = Y ) = 1.$ $Attempt: $ I can see that $\mathbb{E}[X|Y] = Y$ ...
Latimer Leviosa's user avatar
11 votes
1 answer
1k views

Does almost sure convergence and $L^1$-convergence imply almost sure convergence of the conditional expectation?

Question. Let $ X_{n}, X $ be random variables on some probability space $ ( \Omega, \mathcal{F},\mathbb{P} ) $ and let $ \mathcal{G} \subset \mathcal{F} $ be a sub-$\sigma$-algebra. Moreover ...
Pass Stoneke's user avatar
11 votes
1 answer
2k views

Proof of uniqueness of conditional expectation

I have a question on the proof Durrett (p. $190$) gives for the uniqueness of the conditional expectation function. If I understand his proof correctly, here is what I think it is saying: Suppose $Y,...
layman's user avatar
  • 20.4k
10 votes
4 answers
5k views

Conditional expectation for a sum of iid random variables: $E(\xi\mid\xi+\eta)=E(\eta\mid\xi+\eta)=\frac{\xi+\eta}{2}$

I don't really know how to start proving this question. Let $\xi$ and $\eta$ be independent, identically distributed random variables with $E(|\xi|)$ finite. Show that $E(\xi\mid\xi+\eta)=E(\eta\mid\...
kkk's user avatar
  • 171
10 votes
2 answers
51k views

Prove that $EX=E(E(X|Y))$

Prove that $EX=E(E(X|Y))$ I know that I should prove it from definition of conditional distribution and conditional expected value, but I don't know how. I have also looked at theorem("Total ...
Muffy's user avatar
  • 353
10 votes
2 answers
29k views

Proof of the tower property for conditional expectations

Let $Z$ be a $\mathfrak{F}$-measurable random variable with $\mathbb E(|Z|)<\infty$ and let $\mathfrak{H}\subset \mathfrak{G}\subset \mathfrak{F}$. Show that then $\mathbb E(\mathbb E(Z|\mathfrak{...
Epsilondelta's user avatar
10 votes
2 answers
3k views

Conditional expectation with respect to a $\sigma$-algebra

Could someone explain what it is that we are intuitively trying to achieve with the definition? Having read the definition I could do the problems in the section of my book, but I still have no ...
JT1's user avatar
  • 653
10 votes
2 answers
5k views

Conditional expectation as a Radon-Nikodym derivative.

I found the following very nice post yesterday which presented the conditional expectation in a way which I found intuitive; Conditional expectation with respect to a $\sigma$-algebra. I wonder if ...
user avatar
10 votes
1 answer
4k views

Conditional expectation with the condition being a range

I can basically understand condition expectation with the condition being an event or a random variable($E(X|Y=y)$). However, I have a hard time understanding the condition being a range, especially ...
Ding Li's user avatar
  • 213
10 votes
1 answer
392 views

What am I writing when I write $\mathbf X \mid \mathbf Y$?

Suppose $\mathbf X$ is a random variable and $A$ is an event in the same probability space $(\Omega, \mathcal F, \Pr)$. (Formally, $\mathbf X$ is a function on $\Omega$, say $\Omega \to \mathbb R$; $A$...
Misha Lavrov's user avatar
10 votes
2 answers
360 views

Rigorous definitions of probabilistic statements in Machine Learning

In a supervised machine learning setup, one usually considers an underlying measurable space $(\Omega, \mathcal{F}, \Bbb P)$ and random vectors/variables $X:\Omega \rightarrow \Bbb R^n, Y: \Omega \...
John D's user avatar
  • 1,900
10 votes
1 answer
234 views

Exploiting the Markov property

I've encountered the following problem when dealing with short-rate models in finance and applying the Feynman-Kac theorem to relate conditional expectations to PDEs. Let $(\Omega,\mathcal{F},\{\...
JohnSmith's user avatar
  • 1,524
10 votes
0 answers
802 views

Conditional expectation continuous in the conditioning argument?

Let $X$ and $Y$ be random vectors defined on a common probability space. $X$ takes values in a finite-dimensional space $\mathcal{X} \subset \mathbb{R}^p$, while $Y$ takes values in $\mathbb{R}$. The ...
EconometricsPerson's user avatar
9 votes
2 answers
8k views

Conditional expectation of random variable given a sum

Let $(X_i)_{i\geq1}$ i.i.d in $\mathcal{L}^1(\Omega,\mathcal{F},p)$ Is it true that $E(X_j|\sum_{i=1}^nX_i)=\frac{1}{n}\sum_{i=1}^nX_i$ For each $j$ where $1\leq j \leq n$. I think it is true, ...
Daniel Ordoñez's user avatar
9 votes
3 answers
768 views

Expectation of X increases when conditioning on X being greater than another independent random variable Y?

I'm doing research and for a proof I need the smaller result that for X, Y random, independent (but not identical) variables we have $$\mathbb{E}\left[X|X>Y\right] \geq \mathbb{E} \left[X\right]$$ ...
bronksi's user avatar
  • 91
9 votes
1 answer
1k views

Intuition for Conditional Expectation

It seems like NNT aka Nero in The Black Swan (2007) is giving the law of iterated expectations that involve filtrations in a heuristic way by matching the everyday usage of the word 'expect' with the ...
BCLC's user avatar
  • 13.7k
9 votes
2 answers
2k views

Existence of regular conditional distribution of random variable given the value of another variable

Let $(\Omega, \mathcal{A}, \mathbf{P})$ be a probability space with a measurable function $Y: (\Omega, \mathcal{A}) \rightarrow (E, \mathcal{E})$ and another measurable function $X: (\Omega, \mathcal{...
Stephan's user avatar
  • 93
9 votes
2 answers
426 views

If $Y\sim\mu$ with probability $p$ and $Y\sim\kappa(X,\;\cdot\;)$ otherwise, what's the conditional distribution of $Y$ given $X$?

Let $(\Omega,\mathcal A,\operatorname P)$ be a probability space $(E,\mathcal E)$ be a measurale space $\mu$ be a probability measure on $(E,\mathcal E)$ $X$ be an $(E,\mathcal E)$-valued random ...
0xbadf00d's user avatar
  • 13.9k

15 30 50 per page
1
2 3 4 5
65