$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

Clash 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.
probability-theory random-variables
add a comment |Â
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.
probability-theory random-variables
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
add a comment |Â
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.
probability-theory random-variables
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.
probability-theory random-variables
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
add a comment |Â
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
add a comment |Â
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.
$$
Oh it is just definition as stated!
â Gary Moore
Aug 18 at 0:50
add a comment |Â
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.
$$
Oh it is just definition as stated!
â Gary Moore
Aug 18 at 0:50
add a comment |Â
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.
$$
Oh it is just definition as stated!
â Gary Moore
Aug 18 at 0:50
add a comment |Â
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.
$$
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.
$$
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
add a comment |Â
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
add a comment |Â
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
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
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
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