1
$\begingroup$

I am studying measure theory myself. here are two problems I tried but failed to solve.

The first one:

Let $A$ be a measurable set on $[0,1]$. Prove that the set $B = \{x^2 \mid x \in A \}$ is measurable as well and $m(B) \le 2m(A)$.

I was thinking to use a continuous mapping of the two sets, but did not know any useful theorem.

The second one:

Let $A$ and $B$ be two closed bounded sets on the line. Prove that the set $A+B=\{x+y \mid x \in A, y \in B\}$ is closed and bounded as well, and $m(A+B) \ge mA +mB$.

Can anyone give a complete solution to any of these two? I'd appreciate your help.

  • 0
    @GEdgar, could you tell me more about the first one?2011-10-24

1 Answers 1

1

For $A\subset [0,1]$ we denote $A^{(2)}:=\{x^2,x\in A\}$ and we put $\mathcal B:=\{A\subset [0,1], A^{(2)}\mbox{ is Borel measurable}\}$. Since for a subset $A$ we have $([0,1]\setminus A)^{(2)}=\{x^2,x\notin A\}=[0,1]\setminus A^{(2)}$ ($t\mapsto t^2$ is one-to-one) and for a sequence $\{A_n\}$ we have $\left(\bigcup_{n\in\mathbb N}A_n\right)^{(2)}=\bigcup_{n\in\mathbb N}A_n^{(2)}$, $\mathcal B$ is a $\sigma$-algebra. Since for $0\leq a we have $[a,b]^{(2)}=[a^2,b^2]$, $\mathcal B$ contains the Borel $\sigma$-algebra of $[0,1]$ which gives that for all $B\in\mathcal B[0,1]$, $B^{(2)}\in\mathcal B[0,1]$. The inequality $m(A^{(2)})\leq 2m(A)$ is true for each $A$ which is a disjoint union of intervals contains in $[0,1]$, and the set $\mathcal M:=\{A\subset[0,1], m(A^{(2)})\leq 2m(A)\}$ is a monotone class, and we can conclude using monotone class theorem.

For the second problem, we show that $A+B$ is sequentially compact. If $\{a_n\}\subset A$ and $\{b_n\}\subset B$ are two sequences then we can extract a subsequence $\{a_{n_k}\}$ of $\{a_n\}$ which is converging to $a\in A$ and from $\{b_{n_k}\}$ a subsequence $\{b_{\varphi(k)}\}$ which converges to $b$. So the sequence $\{a_{\varphi(k)}+b_{\varphi(k)}\}$ converges to $a+b$ and $A+B$ is compact.

For the inequality $m(A+B)\geq m(A)+m(B)$ we deal with the case both $A$ and $B$ are intervals, then $B$ an arbitrary compact subset of the real line and finally the general case, using the fact that $m(K)=\inf\left\{\sum_{k=0}^{+\infty}m(I_k), I_k \mbox{ open interval and }K\subset\bigcup_{k\in\mathbb N}I_k\right\}.$