Can you give me an example of $A,B,C \subset{\mathbb{R}}$ with $A = B\setminus C$ but $\mu(A) \neq \mu(B) - \mu(C)$? [closed]

I'm given the measure of $$ \mu(\{x: f(x) > t\}) $$ for all $t$. And in solving a problem, I said that
$$ \mu(\{x: t_1 < f(x) < t_2\}) = \mu(\{x: f(x) > t_1 \}) - \mu(\{x: f(x) > t_2 \}) $$ But, looking back and thinking about it, I'm unsure if this is even true, despite it being intuitive.


Solution 1:

Let, $(X,{\scr{B}}(X),\mu)$ be a measure space.

$ B $ and $ C$ are measurable sets with $C\subset B$ and $\mu(C) <\infty$ , then your conclusion, $\mu(A) =\mu(B\setminus C) =\mu(B) - \mu(C) $ is true.

Because, \begin{align} \quad \mu(B) &=\mu(B \cap C) + \mu(B \cap C^c) \\ &= \mu(C) + \mu(B \setminus C) \end{align}

And, hence $\mu(B\setminus C) =\mu(B) - \mu(C) $$(\mu(C) <\infty ) $

Consider,$(\mathbb{R},{\scr{L}}(\mathbb{R}), m) $

$ (-\infty, 0) =\mathbb{R} \setminus [0, \infty) $

(all are Borel sets and so Lebesgue measurable)

And applying above property(excluding the possibility of finite measure of $C$)

$m\{(-\infty,0)\} =m\{\mathbb{R}\} - m\{[0,\infty ) \}$

Hence, $\infty=\infty -\infty$(!)

Hence, $A=B\setminus C$ doesn't imply $\mu(A) =\mu(B) -\mu(C) $