| Revision as of 11:56, 7 February 2002 edit202.141.81.xxx (talk)mNo edit summary← Previous edit | Revision as of 15:43, 25 February 2002 edit undoAxelBoldt (talk | contribs)Administrators44,502 edits +measure +Lebesgue measurable sets +measurable functions +variables italic +what sigma(U) looks likeNext edit → | ||
| Line 1: | Line 1: | ||
| A '''sigma-algebra''' X over a ] E is a family of subsets of E |
A '''sigma-algebra''' ''X'' over a ] ''E'' is a family of ] of ''E'' which is closed under ] set operations; sigma-algebras are mainly used in order to define ] on ''E''. The concept is important in ] and ]. | ||
| Formally, ''X'' is a sigma-algebra if and only if it has the following properties: | |||
| ⚫ | |||
| ⚫ | # The empty set is in ''X'', | ||
| # If ''S'' is in X then so is the complement of ''S''. | |||
| ⚫ | # If ''S''<sub>1</sub>, ''S''<sub>2</sub>, ''S''<sub>3</sub>, ... is a sequence in ''X'' then their countable union is also in ''X''. | ||
| From 1 and 2 it follows that ''E'' is in ''X''; from 2 and 3 it follows that the sigma-algebra is also closed under countable intersections. | |||
| ⚫ | |||
| === Examples === | |||
| Examples: If E is any set, then each of these two families is a sigma-algebra: {0,E} (the trivial sigma-algebra), {S;S is a subset of E} (the power set). | |||
| ⚫ | If {X<sub>a</sub>} is a family of sigma-algebras, then the intersection of all X<sub>a</sub> is also a sigma-algebra. | ||
| If |
If ''E'' is any set, then the family consisting only of the empty set and ''E'' is a sigma-algebra over ''E'', the so-clalled ''trivial sigma-algebra''. Another sigma algebra over ''E'' is given by the ] of ''E''. | ||
| ⚫ | First note that there is a sigma-algebra that contains |
||
| ⚫ | Let |
||
| Then we simply define σ(F) to be the intersection of all sigma-algebras in G. | |||
| ⚫ | If {''X''<sub>a</sub>} is a family of sigma-algebras over ''E'', then the intersection of all ''X''<sub>a</sub> is also a sigma-algebra over ''E''. | ||
| ⚫ | This leads to the most important example: the ] sigma-algebra |
||
| ⚫ | It is important to note that this sigma-algebra is not, in general, the power set. | ||
| If ''U'' is an arbitrary family of subsets of ''E'' then we can form a special sigma-algebra from ''U'', called the ''sigma-algebra generated by U''. We denote it by σ(''U'') and define it as follows. | |||
| ⚫ | First note that there is a sigma-algebra over ''E'' that contains ''U'', namely the power set of ''E''. | ||
| ⚫ | Let Φ be the family of all sigma-algebras over ''E'' that contain ''U'' (that is, a sigma-algebra ''X'' over ''E'' is in Φ if and only if ''U'' is a subset of ''X''.) | ||
| Then we define σ(''U'') to be the intersection of all sigma-algebras in Φ. σ(''U'') is then the smallest sigma-algebra over ''E'' that contains ''U''; its elements are all sets that can be gotten from sets in ''U'' by applying a countable sequence of the set operations union, intersection and complement. | |||
| ⚫ | This leads to the most important example: the ] sigma-algebra over any ] is the sigma-algebra generated by the open sets (or, equivalently, by the closed sets). | ||
| ⚫ | It is important to note that this sigma-algebra is not, in general, the whole power set. | ||
| For a non-trivial example, see the ]. | For a non-trivial example, see the ]. | ||
| On the ] '''R'''<sup>''n''</sup>, another sigma-algebra is of importance: that of all ] sets. This sigma algebra contains more sets than the Borel sigma algebra. | |||
| === Measurable functions === | |||
| If ''X'' is a sigma-algebra over ''E'' and ''Y'' is a sigma algebra over ''F'', then a ] ''f'' : ''E'' <tt>-></tt> ''F'' is called ''measurable'' if the preimage of every set in ''Y'' is in ''X''. A function ''f'' : ''E'' <tt>-></tt> '''R''' is called measurable if it is measurable with respect to the Borel sigma-algebra on '''R'''. | |||
Revision as of 15:43, 25 February 2002
A sigma-algebra X over a set E is a family of subsets of E which is closed under countable set operations; sigma-algebras are mainly used in order to define measures on E. The concept is important in analysis and probability and statistics.
Formally, X is a sigma-algebra if and only if it has the following properties:
- The empty set is in X,
- If S is in X then so is the complement of S.
- If S1, S2, S3, ... is a sequence in X then their countable union is also in X.
From 1 and 2 it follows that E is in X; from 2 and 3 it follows that the sigma-algebra is also closed under countable intersections.
Examples
If E is any set, then the family consisting only of the empty set and E is a sigma-algebra over E, the so-clalled trivial sigma-algebra. Another sigma algebra over E is given by the power set of E.
If {Xa} is a family of sigma-algebras over E, then the intersection of all Xa is also a sigma-algebra over E.
If U is an arbitrary family of subsets of E then we can form a special sigma-algebra from U, called the sigma-algebra generated by U. We denote it by σ(U) and define it as follows. First note that there is a sigma-algebra over E that contains U, namely the power set of E. Let Φ be the family of all sigma-algebras over E that contain U (that is, a sigma-algebra X over E is in Φ if and only if U is a subset of X.) Then we define σ(U) to be the intersection of all sigma-algebras in Φ. σ(U) is then the smallest sigma-algebra over E that contains U; its elements are all sets that can be gotten from sets in U by applying a countable sequence of the set operations union, intersection and complement.
This leads to the most important example: the Borel sigma-algebra over any topological space is the sigma-algebra generated by the open sets (or, equivalently, by the closed sets). It is important to note that this sigma-algebra is not, in general, the whole power set. For a non-trivial example, see the Vitali set.
On the Euclidean space R, another sigma-algebra is of importance: that of all Lebesgue measurable sets. This sigma algebra contains more sets than the Borel sigma algebra.
Measurable functions
If X is a sigma-algebra over E and Y is a sigma algebra over F, then a function f : E -> F is called measurable if the preimage of every set in Y is in X. A function f : E -> R is called measurable if it is measurable with respect to the Borel sigma-algebra on R.