Convergence results for conditional random random variables

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
0
down vote

favorite












Suppose that $X_n$ is a sequence of random variables such that $X_n rightarrow X$ either almost surely or in $L^p$ or both.



Now consider the sequence of conditional random variables $f(X_n) | X_n in B$ for some measurable set $B$ and some nice function $f$ (we can assume it's Lipschitz to make everything easy). Do I still preserve convergence properties for this conditional random variable, i.e. does $f(X_n) | X_n in B rightarrow f(X) | X in B$ in some sense (a.s. or in $L^p)$?



I'm stuck verifying this by using the definition of almost sure convergence or $L^p$ convergence.



For example, regarding almost sure convergence, I have to check that $P(lim_nrightarrow infty f(X_n)|X_n in B = f(X)|Xin B)$ which looks strange from a notation perspective because of the conditional. Or should I resort to using conditional expectation?







share|cite|improve this question
















  • 2




    You cannot define $f(X_n)|X_n$ as random variables. You use conditioning only for distributions and expectations. So almost sure convergence does not even make sense here.
    – Kavi Rama Murthy
    Aug 17 at 5:38










  • Perhaps you are really trying to show $E[f(X_n)|X_n in B] rightarrow E[f(X)|Xin B]$? Of course this is not always true, take $B= mathbbR$, $X=0$, $f(x)=x$, then the statement is equivalent to showing $E[X_n]rightarrow 0$ whenever $X_nrightarrow 0$ with prob 1, which is not always true.
    – Michael
    Aug 17 at 6:27















up vote
0
down vote

favorite












Suppose that $X_n$ is a sequence of random variables such that $X_n rightarrow X$ either almost surely or in $L^p$ or both.



Now consider the sequence of conditional random variables $f(X_n) | X_n in B$ for some measurable set $B$ and some nice function $f$ (we can assume it's Lipschitz to make everything easy). Do I still preserve convergence properties for this conditional random variable, i.e. does $f(X_n) | X_n in B rightarrow f(X) | X in B$ in some sense (a.s. or in $L^p)$?



I'm stuck verifying this by using the definition of almost sure convergence or $L^p$ convergence.



For example, regarding almost sure convergence, I have to check that $P(lim_nrightarrow infty f(X_n)|X_n in B = f(X)|Xin B)$ which looks strange from a notation perspective because of the conditional. Or should I resort to using conditional expectation?







share|cite|improve this question
















  • 2




    You cannot define $f(X_n)|X_n$ as random variables. You use conditioning only for distributions and expectations. So almost sure convergence does not even make sense here.
    – Kavi Rama Murthy
    Aug 17 at 5:38










  • Perhaps you are really trying to show $E[f(X_n)|X_n in B] rightarrow E[f(X)|Xin B]$? Of course this is not always true, take $B= mathbbR$, $X=0$, $f(x)=x$, then the statement is equivalent to showing $E[X_n]rightarrow 0$ whenever $X_nrightarrow 0$ with prob 1, which is not always true.
    – Michael
    Aug 17 at 6:27













up vote
0
down vote

favorite









up vote
0
down vote

favorite











Suppose that $X_n$ is a sequence of random variables such that $X_n rightarrow X$ either almost surely or in $L^p$ or both.



Now consider the sequence of conditional random variables $f(X_n) | X_n in B$ for some measurable set $B$ and some nice function $f$ (we can assume it's Lipschitz to make everything easy). Do I still preserve convergence properties for this conditional random variable, i.e. does $f(X_n) | X_n in B rightarrow f(X) | X in B$ in some sense (a.s. or in $L^p)$?



I'm stuck verifying this by using the definition of almost sure convergence or $L^p$ convergence.



For example, regarding almost sure convergence, I have to check that $P(lim_nrightarrow infty f(X_n)|X_n in B = f(X)|Xin B)$ which looks strange from a notation perspective because of the conditional. Or should I resort to using conditional expectation?







share|cite|improve this question












Suppose that $X_n$ is a sequence of random variables such that $X_n rightarrow X$ either almost surely or in $L^p$ or both.



Now consider the sequence of conditional random variables $f(X_n) | X_n in B$ for some measurable set $B$ and some nice function $f$ (we can assume it's Lipschitz to make everything easy). Do I still preserve convergence properties for this conditional random variable, i.e. does $f(X_n) | X_n in B rightarrow f(X) | X in B$ in some sense (a.s. or in $L^p)$?



I'm stuck verifying this by using the definition of almost sure convergence or $L^p$ convergence.



For example, regarding almost sure convergence, I have to check that $P(lim_nrightarrow infty f(X_n)|X_n in B = f(X)|Xin B)$ which looks strange from a notation perspective because of the conditional. Or should I resort to using conditional expectation?









share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked Aug 17 at 5:09









Tomas Jorovic

1,56721325




1,56721325







  • 2




    You cannot define $f(X_n)|X_n$ as random variables. You use conditioning only for distributions and expectations. So almost sure convergence does not even make sense here.
    – Kavi Rama Murthy
    Aug 17 at 5:38










  • Perhaps you are really trying to show $E[f(X_n)|X_n in B] rightarrow E[f(X)|Xin B]$? Of course this is not always true, take $B= mathbbR$, $X=0$, $f(x)=x$, then the statement is equivalent to showing $E[X_n]rightarrow 0$ whenever $X_nrightarrow 0$ with prob 1, which is not always true.
    – Michael
    Aug 17 at 6:27













  • 2




    You cannot define $f(X_n)|X_n$ as random variables. You use conditioning only for distributions and expectations. So almost sure convergence does not even make sense here.
    – Kavi Rama Murthy
    Aug 17 at 5:38










  • Perhaps you are really trying to show $E[f(X_n)|X_n in B] rightarrow E[f(X)|Xin B]$? Of course this is not always true, take $B= mathbbR$, $X=0$, $f(x)=x$, then the statement is equivalent to showing $E[X_n]rightarrow 0$ whenever $X_nrightarrow 0$ with prob 1, which is not always true.
    – Michael
    Aug 17 at 6:27








2




2




You cannot define $f(X_n)|X_n$ as random variables. You use conditioning only for distributions and expectations. So almost sure convergence does not even make sense here.
– Kavi Rama Murthy
Aug 17 at 5:38




You cannot define $f(X_n)|X_n$ as random variables. You use conditioning only for distributions and expectations. So almost sure convergence does not even make sense here.
– Kavi Rama Murthy
Aug 17 at 5:38












Perhaps you are really trying to show $E[f(X_n)|X_n in B] rightarrow E[f(X)|Xin B]$? Of course this is not always true, take $B= mathbbR$, $X=0$, $f(x)=x$, then the statement is equivalent to showing $E[X_n]rightarrow 0$ whenever $X_nrightarrow 0$ with prob 1, which is not always true.
– Michael
Aug 17 at 6:27





Perhaps you are really trying to show $E[f(X_n)|X_n in B] rightarrow E[f(X)|Xin B]$? Of course this is not always true, take $B= mathbbR$, $X=0$, $f(x)=x$, then the statement is equivalent to showing $E[X_n]rightarrow 0$ whenever $X_nrightarrow 0$ with prob 1, which is not always true.
– Michael
Aug 17 at 6:27
















active

oldest

votes











Your Answer




StackExchange.ifUsing("editor", function ()
return StackExchange.using("mathjaxEditing", function ()
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix)
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
);
);
, "mathjax-editing");

StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "69"
;
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function()
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled)
StackExchange.using("snippets", function()
createEditor();
);

else
createEditor();

);

function createEditor()
StackExchange.prepareEditor(
heartbeatType: 'answer',
convertImagesToLinks: true,
noModals: false,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);



);








 

draft saved


draft discarded


















StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2885425%2fconvergence-results-for-conditional-random-random-variables%23new-answer', 'question_page');

);

Post as a guest



































active

oldest

votes













active

oldest

votes









active

oldest

votes






active

oldest

votes










 

draft saved


draft discarded


























 


draft saved


draft discarded














StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2885425%2fconvergence-results-for-conditional-random-random-variables%23new-answer', 'question_page');

);

Post as a guest













































































這個網誌中的熱門文章

How to combine Bézier curves to a surface?

Why am i infinitely getting the same tweet with the Twitter Search API?

Carbon dioxide