Outer measure question (disjoint set st $lambda^*(A cup B) < lambda^*(A) + lambda^*(B)$)

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!

One Answer

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

Add your own answers!

Related Questions

How are those vectors linearly independent?

1  Asked on October 5, 2020 by user378298


KF Riley problem 13.7

0  Asked on October 4, 2020 by user215736


Monoid, where $2+2 = 2$

0  Asked on October 3, 2020 by hekto


Is there a symbol or notation for collinearity?

2  Asked on October 2, 2020 by kantura


Cross Product of Image of Self-Adjoint Operator

1  Asked on September 30, 2020 by jos-victor-gomes


how to solve rational problem solving question

1  Asked on September 29, 2020 by ranveer-masuta


3 category car insurance probability

1  Asked on September 29, 2020 by mizerex


a subset of $l_2$.

1  Asked on September 24, 2020 by luiza-silva


Ask a Question

Get help from others!

© 2022 All rights reserved. Sites we Love: PCI Database, MenuIva, UKBizDB, Menu Kuliner, Sharing RPP, SolveDir