$E(X)= int_x in mathbbRx cdot f_X(x) dx$ implies $Eg(X)= int_x in mathbbRg(x) cdot f_X(x) dx$ on continuous 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












Let $X$ be a random variable with values in $mathbbR$ and let $g: mathbbR to mathbbR$ a measurable function such that $ E g(X) $ exist.



If we define the expected value as $E(X)= int_x in mathbbRx cdot f_X(x) dx$, how can I deduce that $E(g(X))= int_x in mathbbRg(x) cdot f_X(x) dx$?



I know that this was asked before ( discrete case). Here Discrete case



My problem is that I cannot use the same technique here.







share|cite|improve this question






















  • First try indicator functions... and so on. More complexity, till every possible function
    – Rumpelstiltskin
    Aug 17 at 23:15











  • Besides, you define $E(X)$ for continuous $X$, what if $g(X)$ isn't continuous?
    – Rumpelstiltskin
    Aug 17 at 23:33














up vote
0
down vote

favorite












Let $X$ be a random variable with values in $mathbbR$ and let $g: mathbbR to mathbbR$ a measurable function such that $ E g(X) $ exist.



If we define the expected value as $E(X)= int_x in mathbbRx cdot f_X(x) dx$, how can I deduce that $E(g(X))= int_x in mathbbRg(x) cdot f_X(x) dx$?



I know that this was asked before ( discrete case). Here Discrete case



My problem is that I cannot use the same technique here.







share|cite|improve this question






















  • First try indicator functions... and so on. More complexity, till every possible function
    – Rumpelstiltskin
    Aug 17 at 23:15











  • Besides, you define $E(X)$ for continuous $X$, what if $g(X)$ isn't continuous?
    – Rumpelstiltskin
    Aug 17 at 23:33












up vote
0
down vote

favorite









up vote
0
down vote

favorite











Let $X$ be a random variable with values in $mathbbR$ and let $g: mathbbR to mathbbR$ a measurable function such that $ E g(X) $ exist.



If we define the expected value as $E(X)= int_x in mathbbRx cdot f_X(x) dx$, how can I deduce that $E(g(X))= int_x in mathbbRg(x) cdot f_X(x) dx$?



I know that this was asked before ( discrete case). Here Discrete case



My problem is that I cannot use the same technique here.







share|cite|improve this question














Let $X$ be a random variable with values in $mathbbR$ and let $g: mathbbR to mathbbR$ a measurable function such that $ E g(X) $ exist.



If we define the expected value as $E(X)= int_x in mathbbRx cdot f_X(x) dx$, how can I deduce that $E(g(X))= int_x in mathbbRg(x) cdot f_X(x) dx$?



I know that this was asked before ( discrete case). Here Discrete case



My problem is that I cannot use the same technique here.









share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Aug 17 at 23:08









James

2,188619




2,188619










asked Aug 17 at 22:55









Carval

184




184











  • First try indicator functions... and so on. More complexity, till every possible function
    – Rumpelstiltskin
    Aug 17 at 23:15











  • Besides, you define $E(X)$ for continuous $X$, what if $g(X)$ isn't continuous?
    – Rumpelstiltskin
    Aug 17 at 23:33
















  • First try indicator functions... and so on. More complexity, till every possible function
    – Rumpelstiltskin
    Aug 17 at 23:15











  • Besides, you define $E(X)$ for continuous $X$, what if $g(X)$ isn't continuous?
    – Rumpelstiltskin
    Aug 17 at 23:33















First try indicator functions... and so on. More complexity, till every possible function
– Rumpelstiltskin
Aug 17 at 23:15





First try indicator functions... and so on. More complexity, till every possible function
– Rumpelstiltskin
Aug 17 at 23:15













Besides, you define $E(X)$ for continuous $X$, what if $g(X)$ isn't continuous?
– Rumpelstiltskin
Aug 17 at 23:33




Besides, you define $E(X)$ for continuous $X$, what if $g(X)$ isn't continuous?
– Rumpelstiltskin
Aug 17 at 23:33










1 Answer
1






active

oldest

votes

















up vote
0
down vote



accepted










A fundamental theorem in measure theory is the key. Let $(Omega, F, P)$ be a probability space.
By definition we have $mathbbE g(X) = int_Omega g(X) dP$. We are aware that $g(X) = g circ X$. If $X: Omega to mathbbR$ is a random variable measurable-$F$ and if $p_X$ is the probability measure induced by $X$, then a fundamental theorem in measure theory (see, say the chapter on probability in Folland's real analysis) shows that
$$
int_Omega gcirc X dP = int_mathbbR g(x) dp_X(x).
$$
If $p_X$ is absolutely continuous with respect to the Lebesgue measure on $mathbbR$, then by the Radon-Nykodym theorem the probability density $f_X$ of $X$ exists, and a basic property of Lebesgue-Stieltjes integration asserts that
$$
int_mathbbR g(x)dp_X(x) = int_mathbbR g(x)f(x) dx.
$$






share|cite|improve this answer






















  • Oh it is just definition as stated!
    – Gary Moore
    Aug 18 at 0:50










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%2f2886264%2fex-int-x-in-mathbbrx-cdot-f-xx-dx-implies-egx-int-x-in%23new-answer', 'question_page');

);

Post as a guest






























1 Answer
1






active

oldest

votes








1 Answer
1






active

oldest

votes









active

oldest

votes






active

oldest

votes








up vote
0
down vote



accepted










A fundamental theorem in measure theory is the key. Let $(Omega, F, P)$ be a probability space.
By definition we have $mathbbE g(X) = int_Omega g(X) dP$. We are aware that $g(X) = g circ X$. If $X: Omega to mathbbR$ is a random variable measurable-$F$ and if $p_X$ is the probability measure induced by $X$, then a fundamental theorem in measure theory (see, say the chapter on probability in Folland's real analysis) shows that
$$
int_Omega gcirc X dP = int_mathbbR g(x) dp_X(x).
$$
If $p_X$ is absolutely continuous with respect to the Lebesgue measure on $mathbbR$, then by the Radon-Nykodym theorem the probability density $f_X$ of $X$ exists, and a basic property of Lebesgue-Stieltjes integration asserts that
$$
int_mathbbR g(x)dp_X(x) = int_mathbbR g(x)f(x) dx.
$$






share|cite|improve this answer






















  • Oh it is just definition as stated!
    – Gary Moore
    Aug 18 at 0:50














up vote
0
down vote



accepted










A fundamental theorem in measure theory is the key. Let $(Omega, F, P)$ be a probability space.
By definition we have $mathbbE g(X) = int_Omega g(X) dP$. We are aware that $g(X) = g circ X$. If $X: Omega to mathbbR$ is a random variable measurable-$F$ and if $p_X$ is the probability measure induced by $X$, then a fundamental theorem in measure theory (see, say the chapter on probability in Folland's real analysis) shows that
$$
int_Omega gcirc X dP = int_mathbbR g(x) dp_X(x).
$$
If $p_X$ is absolutely continuous with respect to the Lebesgue measure on $mathbbR$, then by the Radon-Nykodym theorem the probability density $f_X$ of $X$ exists, and a basic property of Lebesgue-Stieltjes integration asserts that
$$
int_mathbbR g(x)dp_X(x) = int_mathbbR g(x)f(x) dx.
$$






share|cite|improve this answer






















  • Oh it is just definition as stated!
    – Gary Moore
    Aug 18 at 0:50












up vote
0
down vote



accepted







up vote
0
down vote



accepted






A fundamental theorem in measure theory is the key. Let $(Omega, F, P)$ be a probability space.
By definition we have $mathbbE g(X) = int_Omega g(X) dP$. We are aware that $g(X) = g circ X$. If $X: Omega to mathbbR$ is a random variable measurable-$F$ and if $p_X$ is the probability measure induced by $X$, then a fundamental theorem in measure theory (see, say the chapter on probability in Folland's real analysis) shows that
$$
int_Omega gcirc X dP = int_mathbbR g(x) dp_X(x).
$$
If $p_X$ is absolutely continuous with respect to the Lebesgue measure on $mathbbR$, then by the Radon-Nykodym theorem the probability density $f_X$ of $X$ exists, and a basic property of Lebesgue-Stieltjes integration asserts that
$$
int_mathbbR g(x)dp_X(x) = int_mathbbR g(x)f(x) dx.
$$






share|cite|improve this answer














A fundamental theorem in measure theory is the key. Let $(Omega, F, P)$ be a probability space.
By definition we have $mathbbE g(X) = int_Omega g(X) dP$. We are aware that $g(X) = g circ X$. If $X: Omega to mathbbR$ is a random variable measurable-$F$ and if $p_X$ is the probability measure induced by $X$, then a fundamental theorem in measure theory (see, say the chapter on probability in Folland's real analysis) shows that
$$
int_Omega gcirc X dP = int_mathbbR g(x) dp_X(x).
$$
If $p_X$ is absolutely continuous with respect to the Lebesgue measure on $mathbbR$, then by the Radon-Nykodym theorem the probability density $f_X$ of $X$ exists, and a basic property of Lebesgue-Stieltjes integration asserts that
$$
int_mathbbR g(x)dp_X(x) = int_mathbbR g(x)f(x) dx.
$$







share|cite|improve this answer














share|cite|improve this answer



share|cite|improve this answer








edited Aug 18 at 0:20

























answered Aug 17 at 23:25









Gary Moore

17.1k21545




17.1k21545











  • Oh it is just definition as stated!
    – Gary Moore
    Aug 18 at 0:50
















  • Oh it is just definition as stated!
    – Gary Moore
    Aug 18 at 0:50















Oh it is just definition as stated!
– Gary Moore
Aug 18 at 0:50




Oh it is just definition as stated!
– Gary Moore
Aug 18 at 0:50












 

draft saved


draft discarded


























 


draft saved


draft discarded














StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2886264%2fex-int-x-in-mathbbrx-cdot-f-xx-dx-implies-egx-int-x-in%23new-answer', 'question_page');

);

Post as a guest













































































這個網誌中的熱門文章

tkz-euclide: tkzDrawCircle[R] not working

How to combine Bézier curves to a surface?

1st Magritte Awards