# GetWiki

*Sigma-algebra*

ARTICLE SUBJECTS

being →

database →

ethics →

fiction →

history →

internet →

language →

linux →

logic →

method →

news →

policy →

purpose →

religion →

science →

software →

truth →

unix →

wiki →

ARTICLE TYPES

essay →

feed →

help →

system →

wiki →

ARTICLE ORIGINS

critical →

forked →

imported →

original →

Sigma-algebra

[ temporary import ]

**please note:**

- the content below is remote from Wikipedia

- it has been imported raw for GetWiki

**Ïƒ-algebra**(also

**Ïƒ-field**) on a set

*X*is a collection Î£ of subsets of

*X*thatincludes

*X*itself, is closed under complement, and is closed under countable unions.The definition implies that it also includes the empty subset and that it is closed under countable intersections.

*X*, Î£) is called a measurable space or Borel space.A Ïƒ-algebra is a type of algebra of sets. An algebra of sets needs only to be closed under the union or intersection of

*finitely*many subsets, which is a weaker condition.WEB, Probability, Mathematical Statistics, Stochastic Processes,weblink Random, University of Alabama in Huntsville, Department of Mathematical Sciences, 30 March 2016, The main use of Ïƒ-algebras is in the definition of measures; specifically, the collection of those subsets for which a given measure is defined is necessarily a Ïƒ-algebra. This concept is important in mathematical analysis as the foundation for Lebesgue integration, and in probability theory, where it is interpreted as the collection of events which can be assigned probabilities. Also, in probability, Ïƒ-algebras are pivotal in the definition of conditional expectation.In statistics, (sub) Ïƒ-algebras are needed for the formal mathematical definition of a sufficient statistic,BOOK, Billingsley, Patrick, Patrick Billingsley, Probability and Measure, 2012, Wiley, 978-1-118-12237-2, Anniversary, particularly when the statistic is a function or a random process and the notion of conditional density is not applicable.If {{math|

*X*{{=}} {

*a*,

*b*,

*c*,

*d*},}} one possible Ïƒ-algebra on

*X*is {{math|Î£ {{=}} {â€‰âˆ…, {

*a*,

*b*}, {

*c*,

*d*}, {

*a*,

*b*,

*c*,

*d*}â€‰},}} where âˆ… is the empty set. In general, a finite algebra is always a Ïƒ-algebra.If {

*A*1,

*A*2,

*A*3, â€¦} is a countable partition of

*X*then the collection of all unions of sets in the partition (including the empty set) is a Ïƒ-algebra.A more useful example is the set of subsets of the real line formed by starting with all open intervals and adding in all countable unions, countable intersections, and relative complements and continuing this process (by transfinite iteration through all countable ordinals) until the relevant closure properties are achieved - the Ïƒ-algebra produced by this process is known as the Borel algebra on the real line, and can also be conceived as the smallest (i.e. "coarsest") Ïƒ-algebra containing all the open sets, or equivalently containing all the closed sets. It is foundational to measure theory, and therefore modern probability theory, and a related construction known as the Borel hierarchy is of relevance to descriptive set theory.

## Motivation

There are at least three key motivators for Ïƒ-algebras: defining measures, manipulating limits of sets, and managing partial information characterized by sets.### Measure

A measure on*X*is a function that assigns a non-negative real number to subsets of

*X*; this can be thought of as making precise a notion of "size" or "volume" for sets. We want the size of the union of disjoint sets to be the sum of their individual sizes, even for an infinite sequence of disjoint sets.One would like to assign a size to

*every*subset of

*X*, but in many natural settings, this is not possible. For example, the axiom of choice implies that, when the size under consideration is the ordinary notion of length for subsets of the real line, then there exist sets for which no size exists, for example, the Vitali sets. For this reason, one considers instead a smaller collection of privileged subsets of

*X*. These subsets will be called the measurable sets. They are closed under operations that one would expect for measurable sets; that is, the complement of a measurable set is a measurable set and the countable union of measurable sets is a measurable set. Non-empty collections of sets with these properties are called Ïƒ-algebras.

### Limits of sets

Many uses of measure, such as the probability concept of almost sure convergence, involve limits of sequences of sets. For this, closure under countable unions and intersections is paramount. Set limits are defined as follows on Ïƒ-algebras.- The limit supremum of a sequence
*A*1,*A*2,*A*3, ..., each of which is a subset of*X*, is

limsup_{ntoinfty}A_n = bigcap_{n=1}^inftybigcup_{m=n}^infty A_m.

- The limit infimum of a sequence
*A*1,*A*2,*A*3, ..., each of which is a subset of*X*, is

liminf_{ntoinfty}A_n = bigcup_{n=1}^inftybigcap_{m=n}^infty A_m.

- If, in fact,

liminf_{ntoinfty}A_n = limsup_{ntoinfty}A_n,

then the lim_{ntoinfty}A_n exists as that common set.
### Sub Ïƒ-algebras

In much of probability, especially when conditional expectation is involved, one is concerned with sets that represent only part of all the possible information that can be observed. This partial information can be characterized with a smaller Ïƒ-algebra which is a subset of the principal Ïƒ-algebra; it consists of the collection of subsets relevant only to and determined only by the partial information. A simple example suffices to illustrate this idea.Imagine you and another person are betting on a game that involves flipping a coin repeatedly and observing whether it comes up Heads (*H*) or Tails (

*T*). Since you and your opponent are each infinitely wealthy, there is no limit to how long the game can last. This means the sample space Î© must consist of all possible infinite sequences of

*H*or

*T*:

Omega = {H, T}^infty = {(x_1, x_2, x_3, dots) : x_i in {H, T}, i ge 1}.

However, after *n*flips of the coin, you may want to determine or revise your betting strategy in advance of the next flip. The observed information at that point can be described in terms of the 2n possibilities for the first

*n*flips. Formally, since you need to use subsets of Î©, this is codified as the Ïƒ-algebra

mathcal{G}_n = {A times {H, T}^infty : A subset {H, T}^n}.

Observe that then
mathcal{G}_1 subset mathcal{G}_2 subset mathcal{G}_3 subset cdots subset mathcal{G}_infty,

where mathcal{G}_infty is the smallest Ïƒ-algebra containing all the others.## Definition and properties

### Definition

Let*X*be some set, and let mathcal{P}(X) represent its power set. Then a subset Sigma subseteq mathcal{P}(X) is called a

**if it satisfies the following three properties:BOOK, Rudin, Walter, Walter Rudin, Real & Complex Analysis, McGraw-Hill, 1987, 978-0-07-054234-1,**

*Ïƒ*-algebra-
*X*is in Î£, and*X*is considered to be the universal set in the following context. - Î£ is
*closed under complementation*: If*A*is in Î£, then so is its complement, {{math|*X**A*}}. - Î£ is
*closed under countable unions*: If*A*1,*A*2,*A*3, ... are in Î£, then so is*A*=*A*1 âˆª*A*2 âˆª*A*3 âˆª â€¦ .

**(1)**

*X*is in Î£ and

**(2)**asserts that its complement, the empty set, is also in Î£. Moreover, since {{math|{

*X*, âˆ…}}} satisfies condition

**(3)**as well, it follows that {{math|{

*X*, âˆ…}}} is the smallest possible Ïƒ-algebra on

*X*. The largest possible Ïƒ-algebra on

*X*is 2

*X*:=mathcal{P}(X).Elements of the

*Ïƒ*-algebra are called measurable sets. An ordered pair {{math|(

*X*, Î£)}}, where

*X*is a set and Î£ is a

*Ïƒ*-algebra over

*X*, is called a

**measurable space**. A function between two measurable spaces is called a measurable function if the preimage of every measurable set is measurable. The collection of measurable spaces forms a category, with the measurable functions as morphisms. Measures are defined as certain types of functions from a

*Ïƒ*-algebra to [0, âˆž].A Ïƒ-algebra is both a Ï€-system and a Dynkin system (Î»-system). The converse is true as well, by Dynkin's theorem (below).

### Dynkin's Ï€-Î» theorem

This theorem (or the related monotone class theorem) is an essential tool for proving many results about properties of specific Ïƒ-algebras. It capitalizes on the nature of two simpler classes of sets, namely the following.
A Ï€-system

Dynkin's Ï€-Î» theorem says, if *P*is a collection of subsets of X that is closed under finitely many intersections, and a Dynkin system (or Î»-system)*D*is a collection of subsets of X that contains X and is closed under complement and under countable unions of*disjoint*subsets.*P*is a Ï€-system and

*D*is a Dynkin system that contains

*P*then the Ïƒ-algebra Ïƒ(

*P*) generated by

*P*is contained in

*D*. Since certain Ï€-systems are relatively simple classes, it may not be hard to verify that all sets in

*P*enjoy the property under consideration while, on the other hand, showing that the collection

*D*of all subsets with the property is a Dynkin system can also be straightforward. Dynkin's Ï€-Î» Theorem then implies that all sets in Ïƒ(

*P*) enjoy the property, avoiding the task of checking it for an arbitrary set in Ïƒ(

*P*).One of the most fundamental uses of the Ï€-Î» theorem is to show equivalence of separately defined measures or integrals. For example, it is used to equate a probability for a random variable

*X*with the Lebesgue-Stieltjes integral typically associated with computing the probability:

mathbb{P}(Xin A)=int_A ,F(dx) for all

where *A*in the Borel Ïƒ-algebra on**R**,*F*(

*x*) is the cumulative distribution function for

*X*, defined on

**R**, while mathbb{P} is a probability measure, defined on a Ïƒ-algebra Î£ of subsets of some sample space Î©.

### Combining Ïƒ-algebras

Suppose textstyle{Sigma_alpha:alphainmathcal{A}} is a collection of Ïƒ-algebras on a space*X*.

- The intersection of a collection of Ïƒ-algebras is a Ïƒ-algebra. To emphasize its character as a Ïƒ-algebra, it often is denoted by:

bigwedge_{alphainmathcal{A}}Sigma_alpha.

**Sketch of Proof:**Let {{math|Î£âˆ—}} denote the intersection. Since

*X*is in every {{math|Î£

*Î±*, Î£âˆ—}} is not empty. Closure under complement and countable unions for every {{math|Î£

*Î±*}} implies the same must be true for {{math|Î£âˆ—}}. Therefore, {{math|Î£âˆ—}} is a Ïƒ-algebra.

- The union of a collection of Ïƒ-algebras is not generally a Ïƒ-algebra, or even an algebra, but it generates a Ïƒ-algebra known as the join which typically is denoted

bigvee_{alphainmathcal{A}}Sigma_alpha=sigmaleft(bigcup_{alphainmathcal{A}}Sigma_alpharight).

A Ï€-system that generates the join is
mathcal{P}=left {bigcap_{i=1}^nA_i:A_iinSigma_{alpha_i},alpha_iinmathcal{A}, nge1 right}.

**Sketch of Proof:**By the case

*n*= 1, it is seen that each Sigma_alphasubsetmathcal{P}, so

bigcup_{alphainmathcal{A}}Sigma_alphasubsetmathcal{P}.

This implies
sigmaleft(bigcup_{alphainmathcal{A}}Sigma_alpharight)subsetsigma(mathcal{P})

by the definition of a Ïƒ-algebra generated by a collection of subsets. On the other hand,
mathcal{P}subsetsigmaleft(bigcup_{alphainmathcal{A}}Sigma_alpharight)

which, by Dynkin's Ï€-Î» theorem, implies
sigma(mathcal{P})subsetsigmaleft(bigcup_{alphainmathcal{A}}Sigma_alpharight).

### Ïƒ-algebras for subspaces

Suppose*Y*is a subset of

*X*and let (

*X*, Î£) be a measurable space.

- The collection {
*Y*âˆ©*B*:*B*âˆˆ Î£} is a Ïƒ-algebra of subsets of*Y*. - Suppose (
*Y*, Î›) is a measurable space. The collection {*A*âŠ‚*X*:*A*âˆ©*Y*âˆˆ Î›} is a Ïƒ-algebra of subsets of*X*.

### Relation to Ïƒ-ring

A*Ïƒ*-algebra Î£ is just a

*Ïƒ*-ring that contains the universal set

*X*.BOOK, Vestrup, Eric M., The Theory of Measures and Integration, 2009, John Wiley & Sons, 978-0-470-31795-2, 12, A

*Ïƒ*-ring need not be a

*Ïƒ*-algebra, as for example measurable subsets of zero Lebesgue measure in the real line are a

*Ïƒ*-ring, but not a

*Ïƒ*-algebra since the real line has infinite measure and thus cannot be obtained by their countable union. If, instead of zero measure, one takes measurable subsets of finite Lebesgue measure, those are a ring but not a

*Ïƒ*-ring, since the real line can be obtained by their countable union yet its measure is not finite.

### Typographic note

*Ïƒ*-algebras are sometimes denoted using calligraphic capital letters, or the Fraktur typeface. Thus {{math|(

*X*, Î£)}} may be denoted as scriptstyle(X,,mathcal{F}) or scriptstyle(X,,mathfrak{F}).

## Particular cases and examples

### Separable Ïƒ-algebras

A**separable σ-algebra**(or

**separable σ-field**) is a σ-algebra mathcal{F} that is a separable space when considered as a metric space with metric rho(A,B) = mu(A mathbin{triangle} B) for A,B in mathcal{F} and a given measure mu (and with triangle being the symmetric difference operator).JOURNAL, DÅ¾amonja, Mirna, Kunen, Kenneth, Kenneth Kunen, Properties of the class of measure separable compact spaces, Fundamenta Mathematicae, 1995, 262,weblink If mu is a Borel measure on X, the measure algebra of (X,mu) is the Boolean algebra of all Borel sets modulo mu-null sets. If mu is finite, then such a measure algebra is also a metric space, with the distance between the two sets being the measure of their symmetric difference. Then, we say that mu is

*separable*if and only if, iff this metric space is separable as a topological space., Note that any σ-algebra generated by a countable collection of sets is separable, but the converse need not hold. For example, the Lebesgue σ-algebra is separable (since every Lebesgue measurable set is equivalent to some Borel set) but not countably generated (since its cardinality is higher than continuum).A separable measure space has a natural pseudometric that renders it separable as a pseudometric space. The distance between two sets is defined as the measure of the symmetric difference of the two sets. Note that the symmetric difference of two distinct sets can have measure zero; hence the pseudometric as defined above need not to be a true metric. However, if sets whose symmetric difference has measure zero are identified into a single equivalence class, the resulting quotient set can be properly metrized by the induced metric. If the measure space is separable, it can be shown that the corresponding metric space is, too.

### Simple set-based examples

Let*X*be any set.

- The family consisting only of the empty set and the set
*X*, called the minimal or**trivial Ïƒ-algebra**over*X*. - The power set of
*X*, called the**discrete Ïƒ-algebra**. - The collection {âˆ…,
*A*,*A*c,*X*} is a simple Ïƒ-algebra generated by the subset*A*. - The collection of subsets of
*X*which are countable or whose complements are countable is a Ïƒ-algebra (which is distinct from the power set of*X*if and only if*X*is uncountable). This is the Ïƒ-algebra generated by the singletons of*X*. Note: "countable" includes finite or empty. - The collection of all unions of sets in a countable partition of
*X*is a Ïƒ-algebra.

### Stopping time sigma-algebras

A stopping time tau can define a sigma-algebra mathcal{F}_{tau}, theso-called sigma -Algebra of Ï„-past, which in a filtered probability space describes the information up to the random time tau in the sense that, if the filtered probability space is interpreted as a random experiment, the maximum information that can be found out about the experiment from arbitrarily often repeating it until the time tau is mathcal{F}_{tau}.JOURNAL, Fischer, Tom, On simple representations of stopping times and stopping time sigma-algebras, Statistics and Probability Letters, 2013, 83, 1, 345â€“349, 10.1016/j.spl.2012.09.024, 1112.1603,## Ïƒ-algebras generated by families of sets

### Ïƒ-algebra generated by an arbitrary family

{{anchor}}Let*F*be an arbitrary family of subsets of

*X*. Then there exists a unique smallest Ïƒ-algebra which contains every set in

*F*(even though

*F*may or may not itself be a Ïƒ-algebra). It is, in fact, the intersection of all Ïƒ-algebras containing

*F*. (See intersections of Ïƒ-algebras above.) This Ïƒ-algebra is denoted Ïƒ(

*F*) and is called

**the Ïƒ-algebra generated by**.If

*F**F*is empty, then Ïƒ(

*F*)={{math|{

*X*, âˆ…}}}. Otherwise Ïƒ(

*F*) consists of all the subsets of

*X*that can be made from elements of

*F*by a countable number of complement, union and intersection operations.For a simple example, consider the set

*X*= {1, 2, 3}. Then the Ïƒ-algebra generated by the single subset {1} is {{math|Ïƒ({{1}}) {{=}} {âˆ…, {1}, {2, 3}, {1, 2, 3}}}}. By an abuse of notation, when a collection of subsets contains only one element,

*A*, one may write Ïƒ(

*A*) instead of Ïƒ({

*A*}); in the prior example Ïƒ({1}) instead of Ïƒ({{1}}). Indeed, using {{math|Ïƒ(

*A*1,

*A*2, ...)}} to mean {{math|Ïƒ({

*A*1,

*A*2, ...})}} is also quite common.There are many families of subsets that generate useful Ïƒ-algebras. Some of these are presented here.

### Ïƒ-algebra generated by a function

If f is a function from a set X to a set Y and B is a sigma-algebra of subsets of Y, then the sigma**-algebra generated by the function**f, denoted by sigma (f), is the collection of all inverse images f^{-1} (S) of the sets S in B. i.e.

sigma (f) = { f^{-1}(S) , | , Sin B }.

A function *f*from a set

*X*to a set

*Y*is measurable with respect to a Ïƒ-algebra Î£ of subsets of

*X*if and only if Ïƒ(

*f*) is a subset of Î£.One common situation, and understood by default if

*B*is not specified explicitly, is when

*Y*is a metric or topological space and

*B*is the collection of Borel sets on

*Y*.If

*f*is a function from

*X*to

**R**

*n**then Ïƒ(*f*) is generated by the family of subsets which are inverse images of intervals/rectangles in**R**n*:

sigma(f)=sigmaleft({f^{-1}((a_1,b_1]timescdotstimes(a_n,b_n]):a_i,b_iinmathbb{R}}right).

A useful property is the following. Assume *f*is a measurable map from (

*X*, Î£

*X*) to (

*S*, Î£

*S*) and

*g*is a measurable map from (

*X*, Î£

*X*) to (

*T*, Î£

*T*). If there exists a measurable map

*h*from (

*T*, Î£

*T*) to (

*S*, Î£

*S*) such that

*f*(

*x*) =

*h*(

*g*(

*x*)) for all

*x*, then Ïƒ(

*f*) âŠ‚ Ïƒ(

*g*). If

*S*is finite or countably infinite or, more generally, (

*S*, Î£

*S*) is a standard Borel space (e.g., a separable complete metric space with its associated Borel sets), then the converse is also true.BOOK, Kallenberg, Olav, Olav Kallenberg, Foundations of Modern Probability, 2nd, Springer Nature, Springer, 2001, 978-0-387-95313-7, 7, Examples of standard Borel spaces include

**R**

*n*with its Borel sets and

**R**âˆž with the cylinder Ïƒ-algebra described below.

### Borel and Lebesgue Ïƒ-algebras

An important example is the Borel algebra over any topological space: the Ïƒ-algebra generated by the open sets (or, equivalently, by the closed sets). Note that this Ïƒ-algebra is not, in general, the whole power set. For a non-trivial example that is not a Borel set, see the Vitali set or Non-Borel sets.On the Euclidean space**R**

*n**, another Ïƒ-algebra is of importance: that of all Lebesgue measurable sets. This Ïƒ-algebra contains more sets than the Borel Ïƒ-algebra on**R**n*and is preferred in integration theory, as it gives a complete measure space.

### Product Ïƒ-algebra

Let (X_1,Sigma_1) and (X_2,Sigma_2) be two measurable spaces. The Ïƒ-algebra for the corresponding product space X_1times X_2 is called the**product Ïƒ-algebra**and is defined by

Sigma_1timesSigma_2=sigma({B_1times B_2:B_1inSigma_1,B_2inSigma_2}).

Observe that {B_1times B_2:B_1inSigma_1,B_2inSigma_2} is a Ï€-system.The Borel Ïƒ-algebra for **R**

*n*is generated by half-infinite rectangles and by finite rectangles. For example,

mathcal{B}(mathbb{R}^n)=sigma left(left {(-infty,b_1]timescdotstimes(-infty,b_n]:b_iinmathbb{R} right }right) = sigmaleft(left {(a_1,b_1]timescdotstimes(a_n,b_n]:a_i,b_iinmathbb{R} right }right).

For each of these two examples, the generating family is a Ï€-system.### Ïƒ-algebra generated by cylinder sets

Suppose
Xsubsetmathbb{R}^{mathbb{T}}={f:f text{ is a function from } mathbb{T} text{ to } mathbb{R}}

is a set of real-valued functions on mathbb{T}. Let mathcal{B}(mathbb{R}) denote the Borel subsets of **R**. A cylinder subset of {{mvar|X}} is a finitely restricted set defined as

C_{t_1,dots,t_n}(B_1,dots,B_n)={fin X:f(t_i)in B_i, 1le i le n}.

Each
{C_{t_1,dots,t_n}(B_1,dots,B_n):B_iinmathcal{B}(mathbb{R}), 1le i le n}

is a Ï€-system that generates a Ïƒ-algebra textstyleSigma_{t_1,dots,t_n}. Then the family of subsets
mathcal{F}_X=bigcup_{n=1}^inftybigcup_{t_iinmathbb{T},ile n}Sigma_{t_1,dots,t_n}

is an algebra that generates the **cylinder Ïƒ-algebra**for {{mvar|X}}. This Ïƒ-algebra is a subalgebra of the Borel Ïƒ-algebra determined by the product topology of mathbb{R}^{mathbb{T}} restricted to {{mvar|X}}.An important special case is when mathbb{T} is the set of natural numbers and {{mvar|X}} is a set of real-valued sequences. In this case, it suffices to consider the cylinder sets

C_n(B_1,dots,B_n)=(B_1timescdotstimes B_ntimesmathbb{R}^infty)cap X={(x_1,x_2,dots,x_n,x_{n+1},dots)in X:x_iin B_i,1le ile n},

for which
Sigma_n=sigma({C_n(B_1,dots,B_n):B_iinmathcal{B}(mathbb{R}), 1le i le n})

is a non-decreasing sequence of Ïƒ-algebras.### Ïƒ-algebra generated by random variable or vector

Suppose (Omega,Sigma,mathbb{P}) is a probability space. If textstyle Y:Omegatomathbb{R}^n is measurable with respect to the Borel Ïƒ-algebra on**R**

*n*then {{mvar|Y}} is called a

**random variable**(

*n = 1*) or

**random vector**(

*n*> 1). The Ïƒ-algebra generated by {{mvar|Y}} is

sigma (Y) = { Y^{-1}(A): Ainmathcal{B}(mathbb{R}^n) }.

### Ïƒ-algebra generated by a stochastic process

Suppose (Omega,Sigma,mathbb{P}) is a probability space and mathbb{R}^mathbb{T} is the set of real-valued functions on mathbb{T}. If textstyle Y:Omegato Xsubsetmathbb{R}^mathbb{T} is measurable with respect to the cylinder Ïƒ-algebra sigma(mathcal{F}_X) (see above) for {{mvar|X}}, then {{mvar|Y}} is called a**stochastic process**or

**random process**. The Ïƒ-algebra generated by {{mvar|Y}} is

sigma(Y) = left { Y^{-1}(A): Ainsigma(mathcal{F}_X) right }= sigma({ Y^{-1}(A): Ainmathcal{F}_X}),

the Ïƒ-algebra generated by the inverse images of cylinder sets.## See also

## References

{{reflist}}## External links

- {{springer|title=Algebra of sets|id=p/a011400}}
- (PlanetMath:950|Sigma Algebra) from PlanetMath.

**- content above as imported from Wikipedia**

- "

- time: 9:17pm EDT - Thu, Sep 19 2019

- "

__Sigma-algebra__" does not exist on GetWiki (yet)- time: 9:17pm EDT - Thu, Sep 19 2019

[ this remote article is provided by Wikipedia ]

LATEST EDITS [ see all ]

GETWIKI 09 JUL 2019

GETWIKI 09 MAY 2016

GETWIKI 18 OCT 2015

GETWIKI 20 AUG 2014

GETWIKI 19 AUG 2014

© 2019 M.R.M. PARROTT | ALL RIGHTS RESERVED