  
     
  


 
   
   
  
  
    
   
   
  
  
    
   
   
     
     
    
 
  
  
    
    
   
    
  
     
   
      
    
  
   
   
       
  
   
  
     
  
     
  
   
    
      

 
           -algebra 
   
󰃨
 
󰃶
󰃶󰞃󰢂
     
󰃶󰞃󰢂
󰃶
 

    
 
Remark. 
󰃶
󰃶
󰃶
󰃨
󰃶
󰃨
         
    
󰃨
      
      measurable space    
 measurable sets
 measure         
 
󰃶
󰃶󰞃󰢂
  
󰃶
   
󰃶󰞃󰢂
󰃶
󰃶󰞃󰢂

󰃶
   countable additivity    
Remark.          

󰄃󰞃󰃌
󰄃󰞃󰃌

              
    
          generated by


  
       

󰟗󰟓󰅁󰟗 󰄲
   
      
   ring     
            
    algebra     
󰃨

Remark.      
   
 
   
󰃨

󰃨

󰃨
              
     
󰃶
󰃶

󰃶

           
󰃶
   

󰃶
󰃶
󰃶
󰃶
Proof. 
󰃶
󰃱󰝺󰃶
󰃱

󰃶󰁜󰁓
󰃶
󰃶󰁝󰁓
 set function        
     increasing     
  additive       
 countably additive 
󰃶
󰃶
󰃶

󰃶
  
󰃶

󰃶
󰃶


󰃶
    countably subadditive 
󰃶
󰃶
󰃶

󰃶
 

󰃶
   
Remark.             

          
      
  
󰟓
        
Proof.     outer measure


󰃶󰞃󰢂

󰃶

󰃶
󰃶󰞃󰢂
󰃶
    
󰃶
 
󰃶󰞃󰢂
󰃶
    
 
  




󰃨
    
-measurable sets
Step 1.
           
󰃶
 
󰃶
󰃶
 

󰃶

󰃶
      

󰃶
      
     
󰃶󰅁󰃵
 
󰃶
󰃵
󰃶󰅁󰃵


󰃶
󰃶
󰃵

󰃶󰅁󰃵
 
  
󰃶
󰃶
󰃶
󰃵
󰃶󰅁󰃵
 

󰃶󰅁󰃵
󰃶󰅁󰃵
󰃶󰅁󰃵

󰃶󰅁󰃵
󰃶

󰃶
󰃶
󰃶
󰃶

󰃶
        
Step 2.
      
  

    
     

 
             

󰃶
 
󰃶

󰃶
󰃶

󰃶

󰃶
   
              
 
󰃶

󰃶
󰃶

󰃶
 
󰃶
    


Step 3.      



󰃨


󰃨
    



󰃨
       



󰃨
 

     
󰃶
 
󰃶
󰃶


󰃶

󰃶

󰃶

󰃶
 
󰃨
󰃶

󰃶
󰃨
         
 
󰃶
󰃨
󰃶



󰃨
󰃶

󰃶

󰃶

󰃶
󰃨
󰃶

󰃶

󰃶
󰃨
󰃶

󰃶

  



󰃨
 
Step 4.               
           
󰁓
󰁔
 



󰁓

󰃨
󰁓

󰁓
󰁔

󰁓
󰃨
󰁔

󰃨
󰁓
 
󰁓
󰃨
󰁔

󰁓
󰃨
󰁔
󰃨
󰁓

󰃨
󰁓

󰁓
󰁔
󰃨
󰃨
󰁓



󰁓
󰁔

󰁓
󰁔
󰃨
󰁓

󰁓
󰁔
󰃨
󰃨
󰁓

󰁓
󰁔

󰁓
󰁔
󰃨
    
󰁓
󰁔
  
Step 5.   
          
        
󰃶
󰃶

󰃶

    
󰃶
      

󰃶

󰃶

  



󰃨
         
 

󰃶

󰃶
           
  


󰁓

󰃨
󰁓

󰁓

󰃨
󰁓
󰁔

󰃨
󰁓
󰃨
󰁔

󰁓

󰁔

󰃨
󰁓
󰃨
󰁔

󰁓

󰁔

󰃨
󰁓
󰃨
󰁔
󰁕

󰃨
󰁓
󰃨
󰁔
󰃨
󰁕

󰁓

󰁔

󰁕

󰃨
󰁓
󰃨
󰁔
󰃨
󰁕
󰃶󰝺󰃙

󰃶

󰃨
󰁓
󰃨
󰃙

󰃶󰝺󰃙
󰃶
 
󰃶󰝺󰃙
󰃨
󰃶
󰃨
    

󰞏
󰃶󰁞󰁓

󰃶

󰃨
 



󰃨
              

󰞏
󰃶󰁞󰁓

󰃶

󰃨
󰞏
󰃶󰁞󰁓

󰃶

        
   
       -system   
       -system   
󰁓
󰁔

   
󰁔
󰁓
 
󰃶

󰃶
     
 
󰃶
󰃶
       
Proof.      
           

Proof. 
󰟖
󰈽
 󰃩󰝟󰟖
󰈽
󰟓
󰅄
               
  
󰅄

  
󰅄
     
󰅄
  
󰅄

󰅄

󰁓
󰁔
󰅄
 
󰁓
󰁔
 
󰁔
󰁓

󰁔

󰁓

 
󰃯
     
󰁔
󰁓
󰅄
 
󰃶
  
   
󰃶
󰅄

󰃶
    

󰅄

󰅄
    
󰅄

󰅄
  
󰅄

󰅄
 
󰅅

 
󰅅

󰅄
         
󰅅
 
󰅅
 
    
󰁓
󰁔
     
 
󰁓

󰁔
  
󰁓

󰁔
    
 
󰁓
󰁔
    
Proof. 
󰁓

󰁔

             
          
 
󰃯

󰁓
󰁔
   
󰁓

󰁔
󰁓
󰁓

󰁔
󰁓

󰁓
󰁔

󰁔
󰁔

󰁓
󰁔

󰁔
󰁓
            
 
󰃶
      
󰃶
  
󰃶

             
󰃯

󰃶
 
󰃯
 
󰃯

󰃶
󰃯
 
󰁓
 
󰃶󰞃󰢂
󰁓

󰃶

󰃶󰞃󰢂
󰁔

󰃶
󰁔
          
Remark.             
          
󰃶󰞃󰢂
󰃶
 
󰃶
  
           
     Borel -algebra      
    Borel sets     Borel measure
on Radon measure         
           
  
     
󰃩
 
󰃩
󰃯󰁞󰁓

󰃯
󰃯
󰃩
󰃯󰁞󰁓
󰃯
󰃯
              
    
          
  

Proof.       

󰁓
󰁓

󰃶
󰃶
                 
                 
            
   
󰃶
󰃯󰁞󰁓

󰃯
󰃯
     
󰃱
󰃱
󰃳
󰃳
      
󰃱
󰃳

󰃱
󰃳

󰃳
󰃱

󰃳
󰃱


󰃱
󰃱
󰃱

󰃱
󰃱
󰃱

󰃱
󰃳
󰃱
󰃳

󰃱
󰃳
󰃳
󰃳
            
              
     
󰃶
 
󰃶
    
󰃶

       

󰃶
 
󰃶
 


󰃶


            
󰃶
  

󰃶

󰃶
󰃙
󰇯
󰃯󰁞󰁓

󰃶󰃯
󰃶󰃯
 
󰃶
󰃙
󰇯
󰃯󰁞󰁓

󰃶󰃯
󰁔
󰅖󰇯
󰄥
󰃙
󰇯
󰃶󰃯
  
󰃶
   
󰃶
󰃶
󰁝󰃶

󰃶
   
󰃙
󰃶󰝺󰃙
󰃶

󰃙

󰁓
󰃙
󰃶
󰃶󰝺󰃙
󰃨
󰃶
󰃶󰝺󰃙
󰃙
󰃶
󰃶󰝺󰃙
󰃶
󰃶
  

󰃙

󰁓
󰃙

󰃶󰝺󰃙
󰃶
󰃶
󰃶󰝺󰃙

󰃶
󰃶
󰃶󰝺󰃙
󰁝󰃙
   
󰃙
    
󰁓
󰃙
  
󰁓
󰃙
           
󰃙
󰁓

󰃙
 

󰃙
            

󰃙
  
󰃙
󰃙
󰃙

󰃙
󰃶
   
󰃙
󰃙

    
              
  
󰃶
 
󰃶
  
                
 
󰃶
󰃶
 

󰃶

󰃶󰞃󰢎

󰃶󰞃󰢎
󰃶

󰃶󰞃󰢎
󰃶

     Lebesgue null set  
Remark. 
   
󰃶
󰁓
󰃶
 
󰃶
󰁓
󰃶
 
        
󰃹
              
    translation-invariant    

               
 
󰄃
        
󰄃
              
           

    
            
              
          
    
       
             
        
󰃹󰞃󰃜
  
           

󰃹󰞃󰃜

󰃹󰞃󰃜

󰃹󰞃󰃜

               

           
          
       
 
  
         probability space 
             
   
       


 
 
󰃶
      
󰃶
󰃶
󰃶
󰃶
            
 
󰃯
 independent      
󰃱󰞃󰃕
󰃱
󰃱󰞃󰃕
󰃱

󰃯
    
󰃱
󰃱
   
󰃱


             
 
󰁓
󰁔
     
󰁓
󰁔
󰁓
󰁔


󰁓
󰁓
󰁔
󰁔
   
󰁓

󰁔
 
   
  
 
󰃶
      limit superior 
󰃶

 
󰃶
󰃶
󰃶
󰃵󰝻󰃶
󰃵
󰃶
 

 limit inferior 
󰃶

 
󰃶
󰃶
󰃶
󰃵󰝻󰃶
󰃵
󰃶

    
󰃶
     
󰃶
󰃶

󰃶
 
Proof.    
 
󰃶
󰃶
󰃶
󰃵󰝻󰃶
󰃵
󰃵󰝻󰃶
󰃵
󰃵󰝻󰃶
󰃵
               
     
    
󰃶
    

󰃶
󰃶

󰃶
 
Proof.      
󰁝󰃦
 
󰃙
󰃵󰁞󰃶
󰃨
󰃵
󰃙
󰃵󰁞󰃶
󰃵

󰃙
󰃵󰁞󰃶
󰁝󰢄
󰃌
󰇮
󰁝
󰞍
󰇒
󰇮󰅗󰇯
󰢄
󰃌
󰇮
    
󰃙
󰃵󰁞󰃶
󰃨
󰃵
 
󰞏
󰃵󰁞󰃶
󰃨
󰃵
  
  
󰞏
󰃵󰁞󰃶
󰃨
󰃵
 
󰃶
 
󰃶
󰃵󰝻󰃶
󰃵
󰃶
󰃵󰝻󰃶
󰃨
󰃵
󰃶
󰃵󰝻󰃶
󰃨
󰃵
      
 
 
        --
measurable    
󰁝󰁓

          

            
       
  
󰁝󰁓
          
   
󰁝󰁓

    
󰁝󰁓


           
󰁝󰁓
 
 
󰁝󰁓
         
   
󰁝󰁓
         
   

       
    
󰁝󰁓


 
              
              
      
     󰀫
󰃌
          
  
           
          
            
󰃯

              
󰁝󰁓
󰃯

   
            
      
 󰀫
󰃐
 󰀫
󰃌
 
    
󰃶
       
     
     
Proof. 
󰀫
󰃌
        
          
    󰀫
󰃍󰞁󰃌
󰀫
󰃍
󰀫
󰃌
         
 
󰃶
    󰀫
󰃌
󰇯
   󰀫
󰃌
     
 
            

󰃶
󰃶󰁔
󰇯
󰃱󰁞󰁒
󰃶
󰀫
󰃌
󰇯
󰇪
󰃶
󰇪
󰃱
󰁔
󰇯

󰃱󰁜󰁓
󰁔
󰇯
󰁝󰁓

󰃱
󰁔
󰇯
󰃱󰁜󰁓
󰁔
󰇯

 
󰃶

󰁝󰁓
  
󰃶
   
󰞏
 
󰃶
󰃶
󰁝󰃶

󰃶
󰁝󰃶

    
󰃶
     
              
         

  
         
  image measure
󰁝󰁓
     
󰁝󰁓
 
         

󰄅󰝱󰝴󰞏
     generalised inverse


           
Remark.    
Proof. 
󰄃

 
󰄃
     
    
󰄃

󰅄

󰅄
󰄃
  
 
󰃶
      
󰃶
󰄃
     
󰃶

 
󰃶

󰃶
   
󰄃

󰄃
 
  

󰅄
 
󰄃
󰄃
󰈽
   
󰅄
 
󰃶
    
 
󰄃
󰃶
󰄃
󰇯
 
󰃶

󰃶
         

󰄅󰝱󰝴󰞏
      
󰃬
  
󰃬

           
Proof.              

󰁝󰁓



   
             
󰃬
󰁝󰁓
            
󰃬

󰁝󰁓






  
󰃬
          
              
   
      

 
 

              
           
           
Remark.   
󰃬
  Lebesgue–Stieltjes measures    Stieltjes dis-
tribution
  Dirac measure at 
󰄃
  
󰄃



    󰀫
󰝥󰄃󰅁󰞏󰁠
  
          -
valued random variable      
󰃩

          
 law  distribution
󰃣
        
󰃣
󰁝󰁓
         
󰃣

󰃣

󰁝󰁓


  
󰃣
     
            

󰃣
 

󰃣
 
 
󰄅󰝱󰁝󰞏
󰃣

󰃣

 
󰄅󰝱󰞏
󰃣

󰃣

  
󰃣
         
 

 
󰃣
    
    
󰃯
   
      independent   
󰁝󰁓
󰃯



             
󰁓
󰁓
󰃶
󰃶
󰁓
󰁓
󰃶
󰃶
   
󰁓
󰃶
 
󰃯

    
           
          
 
      
󰃯

󰢂
     
             th Rademacher
function
󰃶

󰃶
          
󰃶
 
    
󰃶󰁝󰁓
         
        
󰃶
󰁓
󰁔
󰃶
  
     
󰁓
󰁔
    
  
󰃯
󰃶
󰃯󰁞󰁓
󰁓
󰁓
󰃶
󰃶
󰁝󰃶
󰁓
󰁓
󰃶
󰃶
 
󰃶
         
    
󰁔
 
󰃶󰃳
󰃵󰁟󰃶󰅁󰃳󰁠
  
     
󰃶
󰃳
󰁝󰃳
󰃶󰃳
    
󰃶󰃳
      
󰃶
     
            
󰃯
󰁔
󰇮
󰃯󰁜󰁓
󰁔
󰇮󰅕󰅌
 
󰃵
 
󰃶
󰃵
󰃵

󰃵
󰃳
󰁝󰃳
󰃶󰃳
󰃶
󰁝󰃵
󰃵
󰃵󰁜󰁓

󰃤
󰇯
󰁟󰁒󰅁󰁓󰁠
            
   
󰃶

󰃶
      
     
󰁝󰁓
󰃶

󰃶
     
󰃶
    
       -almost everywhere  
󰃨
        -almost surely  with probability
one  
 
󰃶
       
󰃶
converges to -
almost everywhere  
󰃶


󰃶
converges to in -measure
   
󰃶

    

󰃶
-almost surely  in -probability 
󰃶
󰃸
 
󰃶

   
󰃶
in distribution 
󰃶
󰃩

󰃶
 
    
 
  
󰃶
󰃸
󰃶
󰃩

 
󰃶
   
   
󰃶
   
󰃶
 
 
󰃶
 
󰃶
󰇬
    
Proof. 

󰃶

󰃵󰝻󰃶
󰃵