Mathematics Asked by Julian Vené on December 7, 2020

Let $lambda^*$ be the outer measure on $mathcal{P}(mathbb{R})$. Is it true that there exist $A,B in mathcal{P}(mathbb{R})$ such that

$$A cap B = emptyset$$ and $$lambda^*(A cup B) < lambda^*(A) + lambda^*(B)?$$

Do you have any idea if such $A$ and $B$ sets exist?

Thanks in advice!

This statement is equivalent to the existence of non-Lebesgue-measurable sets.

According to Caratheodoy's Criterion (see also here), a set $EsubsetBbb R$ is measurable iff $$lambda^*(A)=lambda^*(Acap E)+lambda^*(Acap E^c)$$ for every $AsubsetBbb R$.

If you assume the Axiom of Choice, then you can construct the Vitali Set, wich is the classical example of non-Lebesgue-measurable set on $Bbb R$.

Now, if you denote $Bbb V$ this non-measurable set, by Caratheodory's Criterion, there is some set $A_0subset Bbb R$ such that $$lambda^*(A_0)ne lambda^*(A_0cap Bbb V)+lambda^*(A_0cap Bbb V^c), $$ wich (thanks to subadditivity of $lambda^*$) is equivalent to $$lambda^*(A_0)< lambda^*(A_0cap Bbb V)+lambda^*(A_0cap Bbb V^c).$$

And here are your counterexample: $A:=A_0cap Bbb V$ and $B:=A_0capBbb V^c$.

Answered by Tito Eliatron on December 7, 2020

Get help from others!

Recent Answers

- Peter Machado on Why fry rice before boiling?
- Jon Church on Why fry rice before boiling?
- Joshua Engel on Why fry rice before boiling?
- haakon.io on Why fry rice before boiling?
- Lex on Does Google Analytics track 404 page responses as valid page views?

Recent Questions

- How can I transform graph image into a tikzpicture LaTeX code?
- How Do I Get The Ifruit App Off Of Gta 5 / Grand Theft Auto 5
- Iv’e designed a space elevator using a series of lasers. do you know anybody i could submit the designs too that could manufacture the concept and put it to use
- Need help finding a book. Female OP protagonist, magic
- Why is the WWF pending games (“Your turn”) area replaced w/ a column of “Bonus & Reward”gift boxes?

© 2024 TransWikia.com. All rights reserved. Sites we Love: PCI Database, UKBizDB, Menu Kuliner, Sharing RPP