Let S be some abstract set, and let &Sigma._0 be a collection of subsets of S.
Then &Sigma._0 is an ~{algebra} if
A collection , &Sigma., of subsets of S is a &sigma.-~{algebra} if.
If S is an abstract set with an algebra &Sigma. defined on it, then the pair, (S, &Sigma.) is called a ~{measurable space}.
S abstract set. @C &subseteq. 2^S (power set of S). We use the notation _ &sigma.(@C) _ to indicate the smallest &sigma.-algebra containing @C.
This always exists as 2^S is a &sigma.-algebra
&sigma.(@C) is called the &sigma.-algebra ~{generated} by @C
If S is a topological space then the ~{Borel} &sigma.-~{algebra} on S, @B(S), is the &sigma.-algebra generated by the collection of all open sets of S
Suppose that S = &reals. and let &pi. (&reals.) = \{ (&minus. &infty., ~x] : ~x &in. &reals. \} _ then _ @B (&reals.) = &sigma. (&pi. (&reals.))
[By convention, write @B for @B (&reals.)]
&Sigma._0 algebra on set S, a function &mu.: &Sigma. &rightarrow. [0, &infty.] is a ~{set function}.
A_1, A_2 &in. &Sigma._0, and A_1 &intersect. A_2 = &empty. _ then &mu. is ~{finitely additivity} if
&mu.(A_1 &union. A_2) _ = _ &mu.(A_1) + &mu.(A_2).
A_{~i} &in. &Sigma._0, {~i} &in. &naturals., and A_{~i} &intersect. A_{~j} = &empty. when ~i &neq. ~j, _ then &mu. is ~{countably additivity} if
&mu. rndb{ union{ A_{~i},{~i = 1},&infty.}} _ = _ sum{ &mu.(A_{~i}),{~i = 1},&infty.}.
If (S, &Sigma.) is a measurable space, &mu.: &Sigma. &rightarrow. [0, &infty.] is a ~{measure} if it is countably additive.
If &mu. is a measure on (S, &Sigma.) the triple (S, &Sigma., &mu.) is called a ~{measure space} .
@I is a &pi.-system if _ I_1, I_2 &in. @I _ &imply. _ I_1 &intersect. I_2 &in. @I.
Let &Sigma. = &sigma.(@I), and let &mu._1 and &mu._2 be measures on (S, &Sigma.) such that
_ &mu._1(S) = &mu._2(S) < &infty. _ and _ &mu._1 = &mu._2 on @I. _ Then _ &mu._1 = &mu._2
Set S, with algebra &Sigma._0 on S, and let &Sigma. = &sigma.(&Sigma._0)
If &mu._0 is a countably additive map, _ &mu._0: &Sigma._0 &rightarrow. [0, &infty.], _ then &exist. a measure &mu. on (S, &Sigma.) such that _ &mu. = &mu._0 _ on &Sigma._0
S = (0, 1], _ F &subseteq. S, _ F &in. &Sigma._0 _ if F can be written as finite union:
F _ = _ ( ~a_1, ~b_1] &union. ... &union. ( ~{a_r}, ~{b_r}] where ~r &in. &naturals., _ and _ 0 &le. ~a_1 &le. ~b_1 &le. ... &le. ~{a_r}&le. ~{b_r} &le. 1
Then &Sigma._0 is an algebra, _ put
&mu._0(F) _ = _ sum{(~{b_i} &minus. ~{a_i}), ~i = 1, ~r} then &mu._0 is well-defined and additive. In fact &mu._0 is countably additive.
Let &Sigma. = &sigma.(&Sigma._0), _ then &Sigma. = @B ( 0, 1] _ #{:}= @B( ( 0, 1] )
So by Caratheodory &exist. unique measure &mu. on ( (0, 1], @B(0, 1] ) _ which extends &mu._0 on &Sigma._0.
&mu. is called the ~{Lebesgue measure} on ( (0, 1], @B(0, 1] ) and is denoted Leb.
Similarly we can construct a Lebegue measure on ( &reals., @B ), which is also denoted Leb.
Let ( S, &Sigma., &mu. ) be a measure space. F_{~n} &in. &Sigma.. We write F_{~n} &uparrow. F _ if _ F_{~n} &subseteq. F_{~n+1} (&forall. ~n &in. &naturals.) _ and _ &union. F_{~n} = F