Skip to main content

Prove that there is no finite Borel measure $\mu$ such that set of$\mu$ negligibleof $\mu$-negligible sets equalequals the set of meager setsets

Suppose that $([0,1],B([0,1]),\mu)$ is a measure space, here $B([0,1])$ is the set of all Borel sets on [0,1]$[0,1]$, let $N_{\mu}$ be the set of all subset Ssubsets $S$ of $[0,1]$ such that S$S$ is $\mu$-negligible, let $M$ be the set of all meager sets contained in $[0,1]$,. I want to show that there is no finite Borel measure $\mu$ on $[0,1]$ such that $N_{\mu}=M$, how to show this? canCan anyone help me? thankThank you in advance!

Prove that there is no finite Borel measure $\mu$ such that set of$\mu$ negligible sets equal the set of meager set

Suppose that $([0,1],B([0,1]),\mu)$ is a measure space, here $B([0,1])$ is the set of all Borel sets on [0,1], let $N_{\mu}$ be the set of all subset S of $[0,1]$ such that S is $\mu$-negligible, let $M$ be the set of all meager sets contained in $[0,1]$, I want to show that there is no finite Borel measure $\mu$ on $[0,1]$ such that $N_{\mu}=M$, how to show this? can anyone help me? thank you in advance

Prove that there is no finite Borel measure $\mu$ such that set of $\mu$-negligible sets equals the set of meager sets

Suppose that $([0,1],B([0,1]),\mu)$ is a measure space, here $B([0,1])$ is the set of all Borel sets on $[0,1]$, let $N_{\mu}$ be the set of all subsets $S$ of $[0,1]$ such that $S$ is $\mu$-negligible, let $M$ be the set of all meager sets contained in $[0,1]$. I want to show that there is no finite Borel measure $\mu$ on $[0,1]$ such that $N_{\mu}=M$, how to show this? Can anyone help me? Thank you in advance!

edited title
Link
YuerWu
  • 415
  • 2
  • 8

Prove that there is no finite Borel measure $\mu$ such that $\mu$ nullset of$\mu$ negligible sets equal the set of meager set

Source Link
YuerWu
  • 415
  • 2
  • 8

Prove that there is no finite Borel measure $\mu$ such that $\mu$ null sets equal meager set

Suppose that $([0,1],B([0,1]),\mu)$ is a measure space, here $B([0,1])$ is the set of all Borel sets on [0,1], let $N_{\mu}$ be the set of all subset S of $[0,1]$ such that S is $\mu$-negligible, let $M$ be the set of all meager sets contained in $[0,1]$, I want to show that there is no finite Borel measure $\mu$ on $[0,1]$ such that $N_{\mu}=M$, how to show this? can anyone help me? thank you in advance