Math212a1411 Lebesgue measure.

1 Outline Lebesgue outer measure . Lebesgue inner measure . Lebesgue s definition of measurability. Caratheodory s definition of measurability. Countable additivity. -fields, measures, and outer measures. The Borel-Cantelli lemmasMath212a1411 Lebesgue SternbergOctober 14, 2014 Shlomo SternbergMath212a1411 Lebesgue Lebesgue outer measure . Lebesgue inner measure . Lebesgue s definition of measurability. Caratheodory s definition of measurability. Countable additivity. -fields, measures, and outer measures.

2 The Borel-Cantelli lemmasReminderNo class this ThursdayShlomo SternbergMath212a1411 Lebesgue Lebesgue outer measure . Lebesgue inner measure . Lebesgue s definition of measurability. Caratheodory s definition of measurability. Countable additivity. -fields, measures, and outer measures. The Borel-Cantelli lemmasToday s lecture will be devoted to Lebesgue measure , a creation ofHenri Lebesgue , in his thesis, one of the most famous theses in thehistory of SternbergMath212a1411 Lebesgue Lebesgue outer measure .

3 Lebesgue inner measure . Lebesgue s definition of measurability. Caratheodory s definition of measurability. Countable additivity. -fields, measures, and outer measures. The Borel-Cantelli lemmasHenri L on LebesgueBorn: 28 June 1875 in Beauvais, Oise, Picardie, FranceDied: 26 July 1941 in Paris, FranceShlomo SternbergMath212a1411 Lebesgue Lebesgue outer measure . Lebesgue inner measure . Lebesgue s definition of measurability. Caratheodory s definition of measurability. Countable additivity.

4 -fields, measures, and outer measures. The Borel-Cantelli lemmasIn today s lecture we will discuss the concept ofmeasurabilityof asubset ofR. We will begin with Lebesgue s (1902) definition ofmeasurability, which is easy to understand and intuitive. We willthen give Caratheodory s (1914) definition of measurabiity which ishighly non-intuitive but has great technical advantage. For subsetsofRthese two definitions are equivalent (as we shall prove). Butthe Caratheodory definition extends to many much more particular, the Caratheodory definition will prove useful for uslater, when we study Hausdorff SternbergMath212a1411 Lebesgue Lebesgue outer measure .

5 Lebesgue inner measure . Lebesgue s definition of measurability. Caratheodory s definition of measurability. Countable additivity. -fields, measures, and outer measures. The Borel-Cantelli lemmasThe argument which will recur several times is: 112n= 1and so 1 2n= .We will call this the /2ntrick and not spell it out every time weuse SternbergMath212a1411 Lebesgue Lebesgue outer measure . Lebesgue inner measure . Lebesgue s definition of measurability. Caratheodory s definition of measurability.

6 Countable additivity. -fields, measures, and outer measures. The Borel-Cantelli lemmas1 Lebesgue outer inner s definition of s definition of -fields, measures, and outer Borel-Cantelli lemmasShlomo SternbergMath212a1411 Lebesgue Lebesgue outer measure . Lebesgue inner measure . Lebesgue s definition of measurability. Caratheodory s definition of measurability. Countable additivity. -fields, measures, and outer measures. The Borel-Cantelli lemmasThe definition of Lebesgue outer any subsetA Rwe define itsLebesgue outer measurebym (A) := inf `(In) :Inare intervals withA In.

7 (1)Here the length`(I) of any intervalI= [a,b] isb awith thesame definition for half open intervals (a,b] or [a,b), or course ifa= andbis finite or + , or ifais finite andb= + , or ifa= andb= the length is SternbergMath212a1411 Lebesgue Lebesgue outer measure . Lebesgue inner measure . Lebesgue s definition of measurability. Caratheodory s definition of measurability. Countable additivity. -fields, measures, and outer measures. The Borel-Cantelli lemmasIt doesn t matter if the intervals are open, half open (A) := inf `(In) :Inare intervals withA In.

8 (1)The infimum in (1) is taken over all covers ofAby intervals. Bythe /2ntrick, by replacing eachIj= [aj,bj] by(aj /2j+1,bj+ /2j+1) we may assume that the infimum istaken over open intervals. (Equally well, we could use half openintervals of the form [a,b), for example.).Shlomo SternbergMath212a1411 Lebesgue Lebesgue outer measure . Lebesgue inner measure . Lebesgue s definition of measurability. Caratheodory s definition of measurability. Countable additivity. -fields, measures, and outer measures.]

9 The Borel-Cantelli lemmasMonotonicity, Bthenm (A) m (B) since any cover ofBby intervals isa cover any two setsAandBwe clearly havem (A B) m (A) +m (B).Shlomo SternbergMath212a1411 Lebesgue Lebesgue outer measure . Lebesgue inner measure . Lebesgue s definition of measurability. Caratheodory s definition of measurability. Countable additivity. -fields, measures, and outer measures. The Borel-Cantelli lemmasSets of measure zero don t setZis said to be of ( Lebesgue ) measure zero it its Lebesgueouter measure is zero, if it can be covered by a countableunion of (open) intervals whose total length can be made as smallas we any set of measure zero, thenm (A Z) =m (A).

10 Shlomo SternbergMath212a1411 Lebesgue Lebesgue outer measure . Lebesgue inner measure . Lebesgue s definition of measurability. Caratheodory s definition of measurability. Countable additivity. -fields, measures, and outer measures. The Borel-Cantelli lemmasThe outer measure of a finite interval is its [a,b] is an interval, then we can cover it by itself, som ([a,b]) b a,and hence the same is true for (a,b],[a,b), or (a,b). If the intervalis infinite, it clearly can not be covered by a set of intervals whosetotal length is finite, since if we lined them up with end pointstouching they could not cover an infinite interval.