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 or . 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 or was established at the beginning of the 20th century. Thus, let be a sequence of independent events. Let be the tail event that infinitely many events occur, i.e.
Then, as noted by E. Borel , either
By a simple calculation he showed that
(see Borel–Cantelli lemma).
Next, if is a sequence of independent random variables, then the probability that the series converges can only be or . This fact (together with a criterion that makes it possible to distinguish these two cases) was established by A.N. Kolmogorov in 1928 (see , ).
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 . Let be independent random variables uniformly distributed on (cf. Uniform distribution), let be given numbers and suppose that the power series
has radius of convergence . Then the (tail) event that the function cannot be extended across the boundary of the disc has probability . B. Jessen  has proved that any tail event connected with a sequence of independent random variables that are uniformly distributed on has probability or .
A general zero-one law was stated by Kolmogorov (see ) as follows. Let be a sequence of random variables and let be a Borel-measurable function such that the conditional probability
of the relation
given the first variables is equal to the unconditional probability
for every . Under these conditions the probability (*) is or . For independent the zero-one law as stated at the beginning of the article follows from this.
As P. Lévy proved in 1937 (see ), Kolmogorov's theorem follows from a more general property of conditional probabilities, namely that
almost certainly equals or (depending on whether is zero or not). In turn, this assertion follows from a theorem on martingales (see , 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 at every point or have, with probability , a discontinuity of the second kind at every point; see also ).
For the special case of a sequence of independent and identically-distributed random variables it has been shown (see ) 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 or .
|||E. Borel, "Les probabilités dénombrables et leurs applications arithmétique" Rend. Circ. Mat. Palermo (2) , 27 (1909) pp. 247–271|
|||A.N. Kolmogorov, "Über die Summen durch den Zufall bestimmter unabhängiger Grössen" Math. Ann. , 99 (1928) pp. 309–319|
|||H. Steinhaus, "Über die Wahrscheinlichkeit dafür dass der Konvergenzkreis einer Potenzreihe ihre natürliche Grenze ist" Math. Z. , 31 (1929) pp. 408–416|
|||A. B. Jessen, "The theory of integration in a space of an infinite number of dimensions" Acta Math. , 63 (1934) pp. 249–323|
|||A.N. Kolmogorov, "Foundations of the theory of probability" , Chelsea, reprint (1950) (Translated from German)|
|||P. Lévy, "Théorie de l'addition des variables aléatoires" , Gauthier-Villars (1937)|
|||J.L. Doob, "Stochastic processes" , Chapman & Hall (1953)|
|||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|
|||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 , Springer (1978)|
Zero-one law. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Zero-one_law&oldid=11252