Conditional probabilities are measurable functions - when are they continuous? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-25T11:30:18Z http://mathoverflow.net/feeds/question/13292 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/13292/conditional-probabilities-are-measurable-functions-when-are-they-continuous Conditional probabilities are measurable functions - when are they continuous? Tom LaGatta 2010-01-28T22:25:36Z 2010-02-12T23:30:12Z <p>Let $\Omega$ be a Banach space; for the sake of this post, we will take $\Omega = {\mathbb R}^2$, but I am more interested in the infinite dimensional setting. Take $\mathcal F$ to be the Borel $\sigma$-algebra, and let $\mathbb P$ be a probability measure on $(\Omega, \mathcal F)$.</p> <p>Denote by $\vec x = (x,y)$ a point in $\Omega$, and let $\mathcal F_1$ be the $\sigma$-algebra generated by the first coordinate. Fix $y_0 \in \mathbb R$ and $\eta > 0$, and consider $$f(\vec x) = \mathbb P( ~|y - y_0| \le \eta~ |\mathcal F_1).$$ (More generally, one can consider $f(\vec x) = \mathbb E( \varphi(\vec x) | \mathcal F_1)$ for some suitable $\varphi : {\mathbb R}^2 \to \mathbb R$.)</p> <p>The function $f$ is measurable; that comes from the definition of conditional expectations. I would like to find some reasonable sufficient conditions such that $f$ is continuous and positive. </p> <p>I feel like this should be relatively elementary material, but unfortunately I'm having trouble finding any references. How should I approach this?</p> <p><sub>I've included the [fa.functional-analysis] tag because in general I want to consider $\Omega$ to be a space of smooth functions. I'm guessing that to give some additional structure, I'll need to assume that $\mathbb P$ is absolutely continuous with respect to a Gaussian measure, because I don't know any other reasonable measures on function space.</sub></p> http://mathoverflow.net/questions/13292/conditional-probabilities-are-measurable-functions-when-are-they-continuous/13309#13309 Answer by Tom LaGatta for Conditional probabilities are measurable functions - when are they continuous? Tom LaGatta 2010-01-29T00:28:23Z 2010-01-29T00:28:23Z <p>Here's an answer in the case that $X$ and $Y$ are Gaussians. There's such a rigid algebraic structure there that I don't know whether I'm exploiting that, or a more general property of the distribution. I think this answer also generalizes to the case of Gaussian measures on function space, but I'm not sure if it's a sufficiently general answer.</p> <p>Let $X \sim N(0, \sigma_X)$ and $Z \sim N(0,1)$ be independent Gaussians. Let $$Y = \frac{\rho\sigma_Y}{\sigma_X} X + \sqrt{1-\rho^2} \sigma_Y Z,$$ so that $Y \sim N(0,\sigma_Y)$. Clearly, $$\mathbb E(Y|X) = \frac{\rho\sigma_Y}{\sigma_X} X \qquad \mathrm{and} \qquad \mathbb E(Y^2|X) - \frac{\rho^2\sigma_Y^2}{\sigma_X^2} X^2 = (1-\rho^2)\sigma_Y^2.$$</p> <p>Conditioned on $X$, $Y$ again has a Gaussian distribution---this is a special property of Gaussians. Thus $$f(x,y) = \mathbb P( ~|Y - y_0| \le \eta ~| X) = \frac{1}{\sqrt{2\pi(1-\rho^2)} \sigma_Y} \int_{y_0 - \eta}^{y_0 + \eta} \exp \left(-|u-\tfrac{\rho \sigma_Y}{\sigma_X} x|^2 / 2(1-\rho^2)\sigma_Y^2 \right) ~du.$$This does not depend on $y$, as I explained in my comment to Yemon above. Moreover, this is clearly a continuous function on ${\mathbb R}^2$, and $f(x,y) > 0$.</p> http://mathoverflow.net/questions/13292/conditional-probabilities-are-measurable-functions-when-are-they-continuous/13325#13325 Answer by Yemon Choi for Conditional probabilities are measurable functions - when are they continuous? Yemon Choi 2010-01-29T03:03:11Z 2010-01-29T03:03:11Z <p>Even if your probability measure is absolutely continuous with respect to Lebesgue measure on $\Omega={\mathbb R}^2$, I don't think this suffices for the function $f$ you have defined to be continuous (just take $X$ to be independent from $Y$, i.e. your probability measure is just the product of two probability measures, "one on each axis", and choose the one for $X$ to be something in $L^1({\mathbb R}, {\mathcal B}, dx)$ which is discontinuous.</p> <p>On the other hand, if ${\mathbb P}$ is not just absolutely continuous with respect to Lebesgue measure on $\Omega$, but has a continuous density function wrt said measure, then your function $f$ will be continuous -- just because integrating over a ball of radius $\eta$ with centre $\eta$ can only smooth things out, so that continuity of the original density function goes over to continuity of your conditional probability. [This is a fairly straightforward observation using basic properties of usual integration in the plane.]</p> <p>So in your example, the Gaussian structure isn't really relevant as far as I can see. Also, if the original density function is strictly positive on the cylinder ${(x,y) : |y-y_0|&lt;\eta }$, then the conditional probability you've defined will also be strictly positive; this condition is evidently not necessary, but I suspect in the examples you're interested in something like it should hold.</p> <p>In between these two extremes, I'm not sure what else one can say. Perhaps, from your point of view, it's more important to go up to infinite-dimensional $\Omega$ but place restrictions on the kind of probability measure which you wish to consider.</p> http://mathoverflow.net/questions/13292/conditional-probabilities-are-measurable-functions-when-are-they-continuous/13956#13956 Answer by The Bridge for Conditional probabilities are measurable functions - when are they continuous? The Bridge 2010-02-03T10:47:59Z 2010-02-03T10:47:59Z <p>Hi,</p> <p>Here is an idea, I really don't know if there is something to do with it, but this is the best I can think of (if I understood properly your question). </p> <p>If you consider Homogenous Feller Markov processes (over some Banach Space if you like) then you can express the semi-group of transition with respect to the last known value of the process. And moreover the Feller property constrains the semi-group (or conditional probabilities) to be continuous in this last known value if I remember well. From there you might be able to find some conditions in the same spirit to Markov property and Feller conditions to be extended over an other Index that time. </p> <p>So the trick is to "convert" (if possible in your case) the conditioning sigma field into a sigma field gereatad by one random variable, then express this conditionnal probability (or semigroup of transition) as a function of the value in this variable, and impose some continuity condition to get your property (this seems "ad hoc" though). </p> <p>In any case this is only giving some sufficients conditions so the genrality could be questionable.</p> <p>Hope this helps </p> <p>Regards</p> http://mathoverflow.net/questions/13292/conditional-probabilities-are-measurable-functions-when-are-they-continuous/15149#15149 Answer by Tom LaGatta for Conditional probabilities are measurable functions - when are they continuous? Tom LaGatta 2010-02-12T23:30:12Z 2010-02-12T23:30:12Z <p>Since a troll bumped this question to the front page, I might as well answer it. The technology which provides the solution is called <a href="http://en.wikipedia.org/wiki/Regular_conditional_probability" rel="nofollow">regular conditional probability</a> or <a href="http://en.wikipedia.org/wiki/Disintegration_theorem" rel="nofollow">disintegration</a>.</p>