Namespaces
Variants
Actions

Zero-one law

From Encyclopedia of Mathematics
Revision as of 16:26, 15 October 2023 by Chapoton (talk | contribs) (gather refs)
Jump to: navigation, search


The statement in probability theory that every event (a so-called tail event) whose occurrence is determined by arbitrarily distant elements of a sequence of independent random events or random variables has probability $ 0 $ or $ 1 $. This law extends to systems of random variables depending on a continuous parameter (see below).

For individual tail events the fact that their probability is $ 0 $ or $ 1 $ was established at the beginning of the 20th century. Thus, let $ A _ {1} , A _ {2} \dots $ be a sequence of independent events. Let $ A $ be the tail event that infinitely many events $ A _ {k} $ occur, i.e.

$$ A = \cap _ { n= } 1 ^ \infty \cup _ { k= } n ^ \infty A _ {k} . $$

Then, as noted by E. Borel [1], either

$$ {\mathsf P} ( A) = 0 \ \textrm{ or } \ {\mathsf P} ( A) = 1. $$

By a simple calculation he showed that

$$ {\mathsf P} ( A) = 0 \ \textrm{ if } \sum _ { n= } 1 ^ \infty {\mathsf P} ( A _ {n} ) < \infty , $$

and

$$ {\mathsf P} ( A) = 1 \ \textrm{ if } \sum _ { n= } 1 ^ \infty {\mathsf P} ( A _ {n} ) = \infty $$

(see Borel–Cantelli lemma).

Next, if $ X _ {1} , X _ {2} \dots $ is a sequence of independent random variables, then the probability that the series $ \sum _ {k=} 1 ^ \infty X _ {k} $ converges can only be $ 0 $ or $ 1 $. This fact (together with a criterion that makes it possible to distinguish these two cases) was established by A.N. Kolmogorov in 1928 (see [2], [5]).

Tail events connected with analytic properties of sums of sequences of functions, for example, power series with random terms, have also been investigated. Thus, Borel's vague assertion (1896) that for "arbitrary coefficients" the boundary of the disc of convergence is the natural boundary of the analytic function represented by the coefficients was put in the following precise form by H. Steinhaus [3]. Let $ X _ {1} , X _ {2} \dots $ be independent random variables uniformly distributed on $ ( 0, 1 ) $( cf. Uniform distribution), let $ a _ {k} $ be given numbers and suppose that the power series

$$ f ( z; X _ {1} , X _ {2} , . . . ) = \sum _ { k= } 1 ^ \infty a _ {k} e ^ {2 \pi i X _ {k} } z ^ {k-} 1 $$

has radius of convergence $ R > 0 $. Then the (tail) event that the function $ f $ cannot be extended across the boundary of the disc $ | z | \leq R $ has probability $ 1 $. B. Jessen [4] has proved that any tail event connected with a sequence of independent random variables that are uniformly distributed on $ ( 0, 1) $ has probability $ 0 $ or $ 1 $.

A general zero-one law was stated by Kolmogorov (see [5]) as follows. Let $ X _ {1} , X _ {2} \dots $ be a sequence of random variables and let $ f( X _ {1} , X _ {2} , . . . ) $ be a Borel-measurable function such that the conditional probability

$$ {\mathsf P} \{ f ( X _ {1} , X _ {2} , \dots ) = \ 0 \mid X _ {1} \dots X _ {n} \} $$

of the relation

$$ f( X _ {1} , X _ {2} , . . . ) = 0 $$

given the first $ n $ variables $ X _ {1} \dots X _ {n} $ is equal to the unconditional probability

$$ \tag{* } {\mathsf P} \{ f( X _ {1} \dots X _ {n} , . . . ) = 0 \} $$

for every $ n $. Under these conditions the probability (*) is $ 0 $ or $ 1 $. For independent $ X _ {1} , X _ {2} \dots $ the zero-one law as stated at the beginning of the article follows from this.

As P. Lévy proved in 1937 (see [6]), Kolmogorov's theorem follows from a more general property of conditional probabilities, namely that

$$ \lim\limits _ {n \rightarrow \infty } {\mathsf P} \{ f ( X _ {1} ,\ X _ {2} , \dots ) = 0 \mid X _ {1} \dots X _ {n} \} $$

almost certainly equals $ 1 $ or $ 0 $( depending on whether $ f( X _ {1} , X _ {2} , . . . ) $ is zero or not). In turn, this assertion follows from a theorem on martingales (see [7], Chapt. III, Sect. 1; Chapt. VII, Sects. 4, 5, 7 and the comments; in Sect. 11 there is an analogue of the zero-one law for random processes with independent increments; this implies, in particular, that sample distribution functions of a separable Gaussian process with continuous correlation function are continuous with probability $ 1 $ at every point or have, with probability $ 1 $, a discontinuity of the second kind at every point; see also [8]).

For the special case of a sequence $ X _ {1} , X _ {2} \dots $ of independent and identically-distributed random variables it has been shown (see [9]) that the probability not only of any tail event, but also of any event that is invariant under any permutation of finitely many terms of the sequence is $ 0 $ or $ 1 $.

References

[1] E. Borel, "Les probabilités dénombrables et leurs applications arithmétique" Rend. Circ. Mat. Palermo (2) , 27 (1909) pp. 247–271
[2] A.N. Kolmogorov, "Über die Summen durch den Zufall bestimmter unabhängiger Grössen" Math. Ann. , 99 (1928) pp. 309–319
[3] H. Steinhaus, "Über die Wahrscheinlichkeit dafür, dass der Konvergenzkreis einer Potenzreihe ihre natürliche Grenze ist" Math. Z. , 31 (1929) pp. 408–416
[4] A. B. Jessen, "The theory of integration in a space of an infinite number of dimensions" Acta Math. , 63 (1934) pp. 249–323
[5] A.N. Kolmogorov, "Foundations of the theory of probability" , Chelsea, reprint (1950) (Translated from German)
[6] P. Lévy, "Théorie de l'addition des variables aléatoires" , Gauthier-Villars (1937)
[7] J.L. Doob, "Stochastic processes" , Chapman & Hall (1953)
[8] R.L. Dobrushin, "Properties of sample functions of a stationary Gaussian process" Theor. Probab. Appl. , 5 : 1 (1960) pp. 117–120 Teor. Veroyatnost. i ee Primenen. , 5 : 1 (1960) pp. 132–134
[9] E. Hewitt, L.J. Savage, "Symmetric measures on Cartesian products" Trans. Amer. Math. Soc. , 80 (1955) pp. 470–501
[a1] M. Loève, "Probability theory" , 1–2 , Graduate Texts in Mathematics 45,46 Springer (1977-8) Zbl 0359.60001 Zbl 0385.60001
[b1] John C. Morgan, "On zero-one laws", Proc. Am. Math. Soc. 62 (1977) 353-358 Zbl 0369.54018
[b2] Jordan M. Stoyanov, "Counterexamples in Probability", 3rd ed. Dover Books (2014) ISBN 0486499987 Zbl 1287.60004
How to Cite This Entry:
Zero-one law. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Zero-one_law&oldid=54894
This article was adapted from an original article by A.V. ProkhorovYu.V. Prokhorov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article