measureintegral - Measure and Integral 1 Algebras...

Info iconThis preview shows pages 1–4. Sign up to view the full content.

View Full Document Right Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: Measure and Integral 1 Algebras Definition 1.1. An algebra on the set Ω is a collection F of subsets of Ω with the properties: (i) Ω ∈ F (ii) C ∈ F ⇒ C c = Ω- C ∈ F (iii) A,B ∈ F ⇒ A ∪ B ∈ F . Note that if F is an algebra on Ω then ∅ = Ω c ∈ F and if A,B ∈ F then A ∩ B = ( A c ∪ B c ) c ∈ F . Note also that an algebra on Ω is a true algebra over the two-element field, with intersection as product and symmetric difference as sum. Example 1.1. Each set Ω has two extreme algebras: {∅ , Ω } and the power set P (Ω) comprising all subsets of Ω . Example 1.2. The intersection of any (nonempty) collection of algebras on Ω is an algebra on Ω . Theorem 1.1. If C is any class of subsets of Ω then there exists on Ω a unique smallest algebra containing C . Proof. The intersection of all algebras on Ω containing C does what is re- quired. Definition 1.2. A σ-algebra on the set Ω is an algebra F on Ω with the property that S n ∈ N C n ∈ F whenever C n ∈ F for each n ∈ N . Note that a σ-algebra F is also closed under countable intersections, for if { C n : n ∈ N } ⊂ F then \ n ∈ N C n = ( [ n ∈ N C c n ) c . 1 Example 1.3. Each set Ω has two extreme σ-algebras: {∅ , Ω } and the power set P (Ω) . Example 1.4. The intersection of any (nonempty) collection of σ-algebras on Ω is a σ-algebra on Ω . Theorem 1.2. If C is any class of subsets of Ω then there exists on Ω a unique smallest σ-algebra containing C . Proof. The intersection of all σ-algebras on Ω containing C does the trick. We call the smallest σ-algebra on Ω containing C the σ-algebra σ ( C ) generated by C . As a special case, if Ω is a topological space then its Borel σ-algebra B (Ω) is the σ-algebra generated by its class of open (equivalently, closed) subsets. Definition 1.3. A measurable space is a pair (Ω , F ) with Ω a set in which F is a σ-algebra of subsets. When (Ω , F ) is a measurable space, we may refer to elements of F as measurable subsets of Ω. 2 Measures Definition 2.1. Let C be a class of subsets of the set Ω . The function μ : C → [0 , ∞ ] is said to be: additive iff μ ( ∅ ) = 0 and μ ( A ∪ B ) = μ ( A ) + μ ( B ) whenever A and B are disjoint elements of C with union in C ; σ-additive (or countably additive) iff μ ( ∅ ) = 0 and μ ( [ n ∈ N C n ) = X n ∈ N μ ( C n ) whenever { C n : n ∈ N } is a countable family of pairwise-disjoint elements of C with union in C . 2 Note that these definitions simplify when the class C is a ( σ-)algebra, for then its closure under (countable) unions is automatic. Note also that the definitions simplify when μ takes at least one finite value: the hypothesis μ ( ∅ ) = 0 is then redundant, for if C ∈ C and μ ( C ) < ∞ then μ ( ∅ ) = 0 follows from μ ( C ) = μ ( C ∪ ∅ ) = μ ( C ) + μ ( ∅ )....
View Full Document

{[ snackBarMessage ]}

Page1 / 39

measureintegral - Measure and Integral 1 Algebras...

This preview shows document pages 1 - 4. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online