π system

from Wikipedia, the free encyclopedia

A π system , including average amount stable system or short cut stable system called, is a specific quantity system , which the axiomatic construction of the theory of probability and measure theory can be used.

definition

A set system is given , i.e. a subset of the power set of a basic set . is called a π-system , an average-stable system of sets or an intersection-stable system , if for any two sets in the system that is.

Examples

For any basic set, let the set system be

of all finite subsets. For any two is now , the intersection of finite sets is always finite. So it is , it is a stable system.

properties

  • If the system of sets is stable with the formation of complement, then it is stable on average precisely when it is stable in union. This follows directly from de Morgan's laws .
  • If the set system is stable with the formation of difference sets , then it is also a π-system. This follows from .

use

Set systems with average stability appear at some points in probability theory and stochastics . The average stability is an important prerequisite for the generator of a σ-algebra in order to have to check the stochastic independence of the random variables only on this generator .

The most important application is the so-called Dynkin π-λ theorem . If there is a π-system, then the σ-algebra generated by and the Dynkin system generated agree, so it is true

.

See also

literature