The inverse image of a measurable set under a measurable function is measurable?
Clash Royale CLAN TAG#URR8PPP
up vote
5
down vote
favorite
I have a confusion with measurable functions.
I just saw that the statement "The inverse image of a measurable set under a measurable function is measurable" is false with counter-example the function on Cantor set but I know the definition of f measurable is:
Let $f:(X,O_X)to (Y,O_Y)$ with $O_X$ $sigma$-algebra of $X$ and $O_Y$ $sigma$-algebra of $Y$.
$f$ said $(O_X-O_Y)$-measurable function if for all $Bin O_Y f^-1(B)in O_X$.
But, What is the difference with
"The inverse image of a measurable set under a measurable function is measurable? "
measure-theory cantor-set measurable-functions
add a comment |Â
up vote
5
down vote
favorite
I have a confusion with measurable functions.
I just saw that the statement "The inverse image of a measurable set under a measurable function is measurable" is false with counter-example the function on Cantor set but I know the definition of f measurable is:
Let $f:(X,O_X)to (Y,O_Y)$ with $O_X$ $sigma$-algebra of $X$ and $O_Y$ $sigma$-algebra of $Y$.
$f$ said $(O_X-O_Y)$-measurable function if for all $Bin O_Y f^-1(B)in O_X$.
But, What is the difference with
"The inverse image of a measurable set under a measurable function is measurable? "
measure-theory cantor-set measurable-functions
3
Measurable functions from R to R use the borel sigma algebra in the codomain and the lebesgue sigma algebra in the domain.
â rubikscube09
2 hours ago
@rubikscube09: no, that is the definition of Lebesgue measurable functions, not measurable functions.
â user10354138
1 hour ago
add a comment |Â
up vote
5
down vote
favorite
up vote
5
down vote
favorite
I have a confusion with measurable functions.
I just saw that the statement "The inverse image of a measurable set under a measurable function is measurable" is false with counter-example the function on Cantor set but I know the definition of f measurable is:
Let $f:(X,O_X)to (Y,O_Y)$ with $O_X$ $sigma$-algebra of $X$ and $O_Y$ $sigma$-algebra of $Y$.
$f$ said $(O_X-O_Y)$-measurable function if for all $Bin O_Y f^-1(B)in O_X$.
But, What is the difference with
"The inverse image of a measurable set under a measurable function is measurable? "
measure-theory cantor-set measurable-functions
I have a confusion with measurable functions.
I just saw that the statement "The inverse image of a measurable set under a measurable function is measurable" is false with counter-example the function on Cantor set but I know the definition of f measurable is:
Let $f:(X,O_X)to (Y,O_Y)$ with $O_X$ $sigma$-algebra of $X$ and $O_Y$ $sigma$-algebra of $Y$.
$f$ said $(O_X-O_Y)$-measurable function if for all $Bin O_Y f^-1(B)in O_X$.
But, What is the difference with
"The inverse image of a measurable set under a measurable function is measurable? "
measure-theory cantor-set measurable-functions
measure-theory cantor-set measurable-functions
asked 2 hours ago
eraldcoil
16318
16318
3
Measurable functions from R to R use the borel sigma algebra in the codomain and the lebesgue sigma algebra in the domain.
â rubikscube09
2 hours ago
@rubikscube09: no, that is the definition of Lebesgue measurable functions, not measurable functions.
â user10354138
1 hour ago
add a comment |Â
3
Measurable functions from R to R use the borel sigma algebra in the codomain and the lebesgue sigma algebra in the domain.
â rubikscube09
2 hours ago
@rubikscube09: no, that is the definition of Lebesgue measurable functions, not measurable functions.
â user10354138
1 hour ago
3
3
Measurable functions from R to R use the borel sigma algebra in the codomain and the lebesgue sigma algebra in the domain.
â rubikscube09
2 hours ago
Measurable functions from R to R use the borel sigma algebra in the codomain and the lebesgue sigma algebra in the domain.
â rubikscube09
2 hours ago
@rubikscube09: no, that is the definition of Lebesgue measurable functions, not measurable functions.
â user10354138
1 hour ago
@rubikscube09: no, that is the definition of Lebesgue measurable functions, not measurable functions.
â user10354138
1 hour ago
add a comment |Â
1 Answer
1
active
oldest
votes
up vote
5
down vote
It depends what $sigma$ algebra you are considering on the target space.
When everyone talks about measureable functions on $mathbb R$, they mean that $mathcal O_Y$ is the the $sigma$-algebra of Borel sets (generated by open intervals). This means that the preimage of an open interval like $(a,b)$ is measurable, but the preimage of a Lebesgue measurable set may not be measurable.
add a comment |Â
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
5
down vote
It depends what $sigma$ algebra you are considering on the target space.
When everyone talks about measureable functions on $mathbb R$, they mean that $mathcal O_Y$ is the the $sigma$-algebra of Borel sets (generated by open intervals). This means that the preimage of an open interval like $(a,b)$ is measurable, but the preimage of a Lebesgue measurable set may not be measurable.
add a comment |Â
up vote
5
down vote
It depends what $sigma$ algebra you are considering on the target space.
When everyone talks about measureable functions on $mathbb R$, they mean that $mathcal O_Y$ is the the $sigma$-algebra of Borel sets (generated by open intervals). This means that the preimage of an open interval like $(a,b)$ is measurable, but the preimage of a Lebesgue measurable set may not be measurable.
add a comment |Â
up vote
5
down vote
up vote
5
down vote
It depends what $sigma$ algebra you are considering on the target space.
When everyone talks about measureable functions on $mathbb R$, they mean that $mathcal O_Y$ is the the $sigma$-algebra of Borel sets (generated by open intervals). This means that the preimage of an open interval like $(a,b)$ is measurable, but the preimage of a Lebesgue measurable set may not be measurable.
It depends what $sigma$ algebra you are considering on the target space.
When everyone talks about measureable functions on $mathbb R$, they mean that $mathcal O_Y$ is the the $sigma$-algebra of Borel sets (generated by open intervals). This means that the preimage of an open interval like $(a,b)$ is measurable, but the preimage of a Lebesgue measurable set may not be measurable.
answered 2 hours ago
D_S
13.2k51551
13.2k51551
add a comment |Â
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%2f2986658%2fthe-inverse-image-of-a-measurable-set-under-a-measurable-function-is-measurable%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
3
Measurable functions from R to R use the borel sigma algebra in the codomain and the lebesgue sigma algebra in the domain.
â rubikscube09
2 hours ago
@rubikscube09: no, that is the definition of Lebesgue measurable functions, not measurable functions.
â user10354138
1 hour ago