This is an old revision of this page, as edited by 202.141.81.xxx (talk) at 11:56, 7 February 2002. The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.
Revision as of 11:56, 7 February 2002 by 202.141.81.xxx (talk)(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)A sigma-algebra X over a set E is a family of subsets of E with the following properties:
1) The empty set is in X,
2) If S is in X then so is the complement of S.
3) If S1, S2, S3, ... is a sequence in X then their countable union must also be in X.
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 {Xa} is a family of sigma-algebras, then the intersection of all Xa is also a sigma-algebra.
If F is an arbitrary family of sets in E then we can form a special sigma-algebra from F, called the sigma-algebra generated by F. We denote it by σ(F) and define it as follows. First note that there is a sigma-algebra that contains F, namely the power set. Let G be the family of sigma-algebras containing F (that is, a sigma-algebra X over E is in G if and only if F is a subset of X.) Then we simply define σ(F) to be the intersection of all sigma-algebras in G.
This leads to the most important example: the Borel sigma-algebra in 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 power set. For a non-trivial example, see the Vitali set.