Proving existence of dense subset $D subseteq mathbb R$, so that ${f geq alpha} in mathcal{A}$, $forall alpha...
up vote
0
down vote
favorite
Background to the question is that I have to show the equivalance of the following three statements:
$(X, mathcal{A})$ a measure space and $f: X to overline{mathbb R}$
Show the equivalence of the three following statements:
$i)$ $f$ is $mathcal{A}-mathcal{B}(overline{mathbb R})-$measureable
$ii)$There exists a dense subset $D subseteq mathbb R$, so that ${f geq alpha}in mathcal{A}$, $forall alpha in D$.
$iii)$ $f^{-1}({+infty}) in mathcal{A}$ and $f^{-1}(mathcal{B}(mathbb R)) subseteq mathcal{A}$
I thought I took the "easy route" when I showed $ii) Rightarrow i)$ and then $i) Rightarrow iii)$. Now I am having trouble proving that $iii) Rightarrow ii)$, which leads me to think that it may not be possible directly and so I'll have to redo my other implications. Is there a way to directly solve:
If $f^{-1}({+infty}) in mathcal{A}$ and $f^{-1}(mathcal{B}(mathbb R)) subseteq mathcal{A} Rightarrow$ I can find $D subseteq mathbb R$ such that ${f geq alpha} in mathcal{A}$, $forall alpha in D$.
real-analysis measure-theory borel-sets
add a comment |
up vote
0
down vote
favorite
Background to the question is that I have to show the equivalance of the following three statements:
$(X, mathcal{A})$ a measure space and $f: X to overline{mathbb R}$
Show the equivalence of the three following statements:
$i)$ $f$ is $mathcal{A}-mathcal{B}(overline{mathbb R})-$measureable
$ii)$There exists a dense subset $D subseteq mathbb R$, so that ${f geq alpha}in mathcal{A}$, $forall alpha in D$.
$iii)$ $f^{-1}({+infty}) in mathcal{A}$ and $f^{-1}(mathcal{B}(mathbb R)) subseteq mathcal{A}$
I thought I took the "easy route" when I showed $ii) Rightarrow i)$ and then $i) Rightarrow iii)$. Now I am having trouble proving that $iii) Rightarrow ii)$, which leads me to think that it may not be possible directly and so I'll have to redo my other implications. Is there a way to directly solve:
If $f^{-1}({+infty}) in mathcal{A}$ and $f^{-1}(mathcal{B}(mathbb R)) subseteq mathcal{A} Rightarrow$ I can find $D subseteq mathbb R$ such that ${f geq alpha} in mathcal{A}$, $forall alpha in D$.
real-analysis measure-theory borel-sets
add a comment |
up vote
0
down vote
favorite
up vote
0
down vote
favorite
Background to the question is that I have to show the equivalance of the following three statements:
$(X, mathcal{A})$ a measure space and $f: X to overline{mathbb R}$
Show the equivalence of the three following statements:
$i)$ $f$ is $mathcal{A}-mathcal{B}(overline{mathbb R})-$measureable
$ii)$There exists a dense subset $D subseteq mathbb R$, so that ${f geq alpha}in mathcal{A}$, $forall alpha in D$.
$iii)$ $f^{-1}({+infty}) in mathcal{A}$ and $f^{-1}(mathcal{B}(mathbb R)) subseteq mathcal{A}$
I thought I took the "easy route" when I showed $ii) Rightarrow i)$ and then $i) Rightarrow iii)$. Now I am having trouble proving that $iii) Rightarrow ii)$, which leads me to think that it may not be possible directly and so I'll have to redo my other implications. Is there a way to directly solve:
If $f^{-1}({+infty}) in mathcal{A}$ and $f^{-1}(mathcal{B}(mathbb R)) subseteq mathcal{A} Rightarrow$ I can find $D subseteq mathbb R$ such that ${f geq alpha} in mathcal{A}$, $forall alpha in D$.
real-analysis measure-theory borel-sets
Background to the question is that I have to show the equivalance of the following three statements:
$(X, mathcal{A})$ a measure space and $f: X to overline{mathbb R}$
Show the equivalence of the three following statements:
$i)$ $f$ is $mathcal{A}-mathcal{B}(overline{mathbb R})-$measureable
$ii)$There exists a dense subset $D subseteq mathbb R$, so that ${f geq alpha}in mathcal{A}$, $forall alpha in D$.
$iii)$ $f^{-1}({+infty}) in mathcal{A}$ and $f^{-1}(mathcal{B}(mathbb R)) subseteq mathcal{A}$
I thought I took the "easy route" when I showed $ii) Rightarrow i)$ and then $i) Rightarrow iii)$. Now I am having trouble proving that $iii) Rightarrow ii)$, which leads me to think that it may not be possible directly and so I'll have to redo my other implications. Is there a way to directly solve:
If $f^{-1}({+infty}) in mathcal{A}$ and $f^{-1}(mathcal{B}(mathbb R)) subseteq mathcal{A} Rightarrow$ I can find $D subseteq mathbb R$ such that ${f geq alpha} in mathcal{A}$, $forall alpha in D$.
real-analysis measure-theory borel-sets
real-analysis measure-theory borel-sets
edited Nov 19 at 21:13
asked Nov 18 at 18:55
SABOY
532211
532211
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
up vote
1
down vote
accepted
Hint: $f^{-1}([alpha,infty]) = f^{-1}([alpha,infty))cup f^{-1}({infty}).$
How can I use that to find my dense subset $D$?
– SABOY
Nov 19 at 21:15
1
Your dense subset is all of $mathbb R.$
– zhw.
Nov 19 at 21:20
got it, thanks!
– SABOY
Nov 19 at 21:25
add a comment |
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
1
down vote
accepted
Hint: $f^{-1}([alpha,infty]) = f^{-1}([alpha,infty))cup f^{-1}({infty}).$
How can I use that to find my dense subset $D$?
– SABOY
Nov 19 at 21:15
1
Your dense subset is all of $mathbb R.$
– zhw.
Nov 19 at 21:20
got it, thanks!
– SABOY
Nov 19 at 21:25
add a comment |
up vote
1
down vote
accepted
Hint: $f^{-1}([alpha,infty]) = f^{-1}([alpha,infty))cup f^{-1}({infty}).$
How can I use that to find my dense subset $D$?
– SABOY
Nov 19 at 21:15
1
Your dense subset is all of $mathbb R.$
– zhw.
Nov 19 at 21:20
got it, thanks!
– SABOY
Nov 19 at 21:25
add a comment |
up vote
1
down vote
accepted
up vote
1
down vote
accepted
Hint: $f^{-1}([alpha,infty]) = f^{-1}([alpha,infty))cup f^{-1}({infty}).$
Hint: $f^{-1}([alpha,infty]) = f^{-1}([alpha,infty))cup f^{-1}({infty}).$
answered Nov 19 at 21:08
zhw.
70.4k42975
70.4k42975
How can I use that to find my dense subset $D$?
– SABOY
Nov 19 at 21:15
1
Your dense subset is all of $mathbb R.$
– zhw.
Nov 19 at 21:20
got it, thanks!
– SABOY
Nov 19 at 21:25
add a comment |
How can I use that to find my dense subset $D$?
– SABOY
Nov 19 at 21:15
1
Your dense subset is all of $mathbb R.$
– zhw.
Nov 19 at 21:20
got it, thanks!
– SABOY
Nov 19 at 21:25
How can I use that to find my dense subset $D$?
– SABOY
Nov 19 at 21:15
How can I use that to find my dense subset $D$?
– SABOY
Nov 19 at 21:15
1
1
Your dense subset is all of $mathbb R.$
– zhw.
Nov 19 at 21:20
Your dense subset is all of $mathbb R.$
– zhw.
Nov 19 at 21:20
got it, thanks!
– SABOY
Nov 19 at 21:25
got it, thanks!
– SABOY
Nov 19 at 21:25
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
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3003959%2fproving-existence-of-dense-subset-d-subseteq-mathbb-r-so-that-f-geq-al%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
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
Required, but never shown
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
Required, but never shown
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
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown