Intereting Posts

Prove $P_m X P_n$ is Hamiltonian if and only if at least one of $m,n$ is even
$I^2$ does not retract into comb space
For which $d$ is $\mathbb Z$ a principal ideal domain?
Does anything precede incrementation in the operator “hierarchy?”
Prove that every positive semidefinite matrix has nonnegative eigenvalues
Prove Laurent Series Expansion is Unique
Where is $\log(z+z^{-1} -2)$ analytic?
Intuitive explanation of the difference between waves in odd and even dimensions
compact and countably compact
Are Hilbert primes also Hilbert irreducible ? Furthermore, are Hilbert primes also primes in $\mathbb{ Z}$?
How does a Class group measure the failure of Unique factorization?
Norm of the operator $Tf=\int_{-1}^0f(t)\ dt-\int_{0}^1f(t)\ dt$
Fejér's Theorem (Problem in Rudin)
Do simply-connected open sets admit simply connected compact exhaustions?
Proof that retract of contractible space is contractible

How to show that $m^*(A \cup B) + m^*(A \cap B) \leq m^*(A)+m^*(B)$ for any $A,B \subseteq \mathbb{R}$.

I first thought that I could easily prove it by using the sub-additivity property of the Lebesgue measure. Soon I realized that it was a bit harder than it seemed because for general sets, the best that we have is $m^*(A)-m^*(B) \leq m^*(A-B) $ provided that $B \subseteq A$ and that led me nowhere. So, I have decided to prove it using the definition because the property given in the problem is obviously true for intervals, but I’m still having trouble writing it down because if I want to do it with double-sums I get nonsensical equations:

$$\sum_{i=1}^{\infty}\sum_{j=1}^{\infty}l(A_i \cup B_j) = \sum_{i=1}^{\infty}\sum_{j=1}^{\infty}l(A_i)+ \sum_{i=1}^{\infty}\sum_{j=1}^{\infty}l(B_j) – \sum_{i=1}^{\infty}\sum_{j=1}^{\infty} (A_i \cap B_j)$$

- Where's the error in this $2=1$ fake proof?
- Question about equivalent norms on $W^{2,2}(\Omega) \cap W^{1,2}_0(\Omega)$.
- References on integration: collections of fully worked problems (and explanations) of (1) advanced and (2) unusual techniques
- Fourier transform of $f(x)=\frac{1}{e^x+e^{-x}+2}$
- Contraction Mapping question
- Prove if $|a_{n+1}|/|a_n| \leq |b_{n+1}|/|{b_n}|$ and $\sum |b_n|$ is convergent, then $\sum |a_n|$ is convergent

which is absurd because the first two sums in the R.H.S are infinite while the L.H.S can be finite.

- Why is the graph of a continuous function to a Hausdorff space closed?
- Lebesgue integral of $\chi_{\mathbb{Q}}: \mathbb{R} \rightarrow \mathbb{R}$
- Finding the limit $\lim_{x\rightarrow \infty} \sqrt{x+1}-\sqrt{x}$
- Meaning of “a mapping preserves structures/properties”
- $1/r^2\int_{\mathbb{S}_r}u-u(x)$ converging to $\Delta u(x)$?a
- Orthonormal basis for product $L^2$ space
- complex conjugates of holomorphic functions
- Prob. 23, Chap. 4 in Baby Rudin: Every convex function is continuous and every increasing convex function of a convex function is convex
- How badly can Dini's theorem fail if the p.w. limit isn't continuous?
- Holomorphic function $f$ such that $f'(z_0) \neq 0$

I’m going to post an answer to provide a proof of the above-mentioned problem because it may be handy in the future for other people:

Since $m^*(A)=\inf\{m(O): A \subseteq O\}$, for any $\epsilon>0$ we find $A \subseteq O_1$ and $B\subseteq O_2$ such that:

$$ m(O_1) < m^*(A)+ \epsilon/2 $$

$$ m(O_2) < m^*(B)+ \epsilon/2 $$

$$ m(O_1) + m(O_2) < m^*(A) + m^*(B)+ \epsilon $$

Open sets are measurable and for measurable sets we have the equality: $$m(O_1) + m(O_2) = m(O_1 \cap O_2) + m(O_1 \cup O_2)$$

Therefore, we get:

$$ m(O_1 \cap O_2) + m(O_1 \cup O_2) < m^*(A) + m^*(B)+ \epsilon $$

But by definition of the Lebesgue measure, noting that $A\cap B \subseteq O_1 \cap O_2$ and $A\cup B \subseteq O_1 \cup O_2$, we get:

$$m^*(A \cap B) + m^*(A \cup B) \leq m(O_1 \cap O_2) + m(O_1 \cup O_2)$$

Which gives:

$$m^*(A \cap B) + m^*(A \cup B) < m^*(A) + m^*(B)+ \epsilon$$

Since $\epsilon$ was an arbitrary positive number, we finally obtain:

$$m^*(A \cap B) + m^*(A \cup B) \leq m^*(A) + m^*(B)$$

(Thanks to Daniel Fischer for his key idea)

- Evaluate the eccentricity of the elliptical section of a right circular cone
- Solve $\lim_{x\to +\infty}\frac{x^x}{(\lfloor x \rfloor)^{\lfloor x \rfloor }}$
- Rubik's Cube Not a Group?
- example of a nonempty subset is closed under scalar multiplication but not a subspace
- Rigorous proof that surjectivity implies injectivity for finite sets
- Dirac Delta and Exponential integral
- Riemann rearrangement theorem
- Strictly convex sets
- equality of two operators…
- Question about sets and classes
- A Diophantine equation involving factorial
- How many solutions does $\cos x + \cos (2x) + \cos (3x) +\cos (4x) = -\frac{1}{2}$ have in $$?
- Is using L'Hospital's Rule to prove $\lim \limits_{x \to 0} \sin{x}/x$ circular?
- Finding the circles passing through two points and touching a circle
- Solutions to Binary Equations