If $m^*(E)=0$, prove that $m^*(E_n)=0$ for each $n$
  
 
     
     
             
                 
 
 
         
         0 
         
 
         
             
         
 
 
 
 
             
 
             
 
     
 
 Define $displaystyle m^*(E)=infleft{sum_{n=1}^inftyell(I_n):Esubsetbigcup   _{n=1}^infty I_nright}$ .   Let $E=bigcup_{n=1}^infty E_n$ . Suppose $m^*(E)=0$ . Prove that $m^*(E_n)=0$  for every $n$ .   My attempt:   Since $m^*(E)=0$ , $E$  is a countable set. This means each of the $E_n$  is also countable and so $m^*(E_n)=0$  for all $n$ .   QED    Is this correct?      
 
         
             
                 real-analysis proof-verification 
             
         
 
     
         
             
  share | cite | improve this question  
             
 
             
 
     
         asked Dec 3 '18 at 0:04 
     
     
         
     
     
         Thomas 
         
             713 4 16 
         
     
 
 
             
         
     
 
 
                 
     
 	    
              
         
            ...