# 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?

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

## Related Questions

### Finding $d(sin(3x))/dx$ with the definition of derivative.

1  Asked on January 4, 2021

### Why and how are perturbations related to derivative?

0  Asked on January 4, 2021 by karim

### Let $2^x=3x$. Show that the equation has a solution in the range $(0, 1).$

1  Asked on January 3, 2021 by daniel-li

### Recover $f$ if we know that $frac{d}{dx} log f(x)$ and $f(x) to 0$ as $x to infty$

1  Asked on January 3, 2021 by boby

### Constructing $pi_1$ actions on higher homotopy groups.

2  Asked on January 3, 2021 by james-cameron

### Finding $lim_{n to infty} int_1^a frac{n}{1+x^n} , dx$

3  Asked on January 3, 2021 by karlis-olte

### Chromatic graph with disjoints subgraphs

0  Asked on January 3, 2021

### How can I prove that $mathbb S^n$ is deformation retract to $mathbb S^{n+1}setminus {N,S}$?

1  Asked on January 3, 2021 by greekcorpse

### A question on a proof that every sequence has a monotone subsequence

2  Asked on January 3, 2021 by mathman

### To show that Möbius transformation is holomorphic on $Bbb C_{infty}$

1  Asked on January 3, 2021

### Necessary and Sufficient Conditions for the Solution of Neumann Problem

1  Asked on January 3, 2021 by xingying-li

### Is this the Tucker-Gergonne-Nagel cubic ? or some other one

2  Asked on January 3, 2021

### Playing chess until one party wins or ties 5 times

1  Asked on January 2, 2021 by daisy-otaku

### Understanding the hint of a question to show that $G$ is Abelian.

0  Asked on January 2, 2021

### Small confusion regarding singular homology

1  Asked on January 2, 2021 by const

### f(x) + g(x), where they both are non-lineariteis. Gives a linear function. What is g(x) named?

0  Asked on January 2, 2021 by clown

### if $sec(a) =frac{x}{4}$ for $0 < x < frac{pi}{2}$ , find an expression for $ln|sec(a) + tan(a)|$ in terms of $x$.

0  Asked on January 2, 2021 by maybedave

### Probability of a process being zero

1  Asked on January 2, 2021 by tohiko

### Arrows in a presheaf category covariantly induce maps between subfunctors

1  Asked on January 2, 2021 by subobject_classifier