Difference between revisions of "Caratheodory extension theorem"

From Citizendium
Jump to navigation Jump to search
imported>Hendra I. Nurdin
(Stub for Caratheodory extension theorem)
 
imported>Hendra I. Nurdin
Line 7: Line 7:
#<math>X \in \mathcal{A}</math>
#<math>X \in \mathcal{A}</math>
#If <math>A \in \mathcal{A}</math> then <math>X-A \in \mathcal{A} </math>  
#If <math>A \in \mathcal{A}</math> then <math>X-A \in \mathcal{A} </math>  
#For any positive integer 'n'', if <math>A_1,A_2,\ldots,A_n \in \mathcal{A}</math> then <math>A_1 \cup A_2 \cup \ldots \cup A_n \in \mathcal{A}</math>
#For any positive integer ''n'', if <math>A_1,A_2,\ldots,A_n \in \mathcal{A}</math> then <math>A_1 \cup A_2 \cup \ldots \cup A_n \in \mathcal{A}</math>


The last two properties imply that <math>\mathcal{A}</math> is also closed under the operation of taking finite intersections of elements of <math>\mathcal{A}</math>.  
The last two properties imply that <math>\mathcal{A}</math> is also closed under the operation of taking finite intersections of elements of <math>\mathcal{A}</math>.


==References==
==References==

Revision as of 06:23, 22 September 2007

In the branch of mathematics known as measure theory, the Caratheodory extension theorem states that a countably additive non-negative set function on an algebra of subsets of a set can be extended to be a measure on the sigma algebra generated by that algebra. Measure in this context specifically refers to a non-negative measure.

Statement of the theorem

(Caratheodory extension theorem) Let X be a set and be an algebra of subsets of X. Let be a countably additive non-negative set function on . Then there exists a measure on the -algebra (i.e., the smallest sigma algebra containing ) such that for all . Furthermore, if then the extension is unique.

is also referred to as the sigma algebra generated by . The term "algebra of subsets" in the theorem refers to a collection of subsets of a set X which contains X itself, is closed under the operation of taking complements, finite unions and finite intersections in X. That is, any algebra of subsets of X satisfies the following requirements:

  1. If then
  2. For any positive integer n, if then

The last two properties imply that is also closed under the operation of taking finite intersections of elements of .

References

  1. D. Williams, Probability with Martingales, Cambridge : Cambridge University Press, 1991.