De Finetti's theorem

De Finetti's theorem

In probability theory, de Finetti's theorem explains why exchangeable observations are "conditionally" independent given some (usually) unobservable quantity to which an epistemic probability distribution would then be assigned. It is named in honor of Bruno de Finetti.

One of the differences between Bayesian and frequentist methods in statistical inference is that frequentists often treat observations as independent that Bayesians treat as "exchangeable". A Bayesian statistician will often seek the conditional probability distribution of that unobservable quantity given the observable data. The concept of exchangeability (see below) was introduced by de Finetti. De Finetti's theorem explains the mathematical relationship between independence and exchangeability.

An infinite sequence

:X_1, X_2, X_3, dots !

of random variables is said to be exchangeable if for any finite cardinal number "n" and any two finite sequences "i"1, ..., "i""n" and "j"1, ..., "j""n", the two sequences

:X_{i_1},dots,X_{i_n} mbox{ and } X_{j_1},dots,X_{j_n} !

both have the same probability distribution.The condition of exchangeability is stronger than the assumption of identical distribution of the individual random variables in the sequence, and weaker than the assumption that they are independent and identically distributed.

Statement of the theorem

A random variable "X" has a Bernoulli distribution if Pr(X=0) = p and Pr(X=1) = 1-p, for some "p" ∈ (0, 1).

De Finetti's theorem states that the probability distribution of any infinite exchangeable sequence of Bernoulli random variables is a "mixture" of the probability distributions of independent and identically distributed sequences of Bernoulli random variables. "Mixture", in this sense, means a weighted average, but this need not mean a finite or countably infinite (i.e., discrete) weighted average: it can be an integral rather than a sum.

More precisely, suppose "X"1, "X"2, "X"3, ... is an infinite exchangeable sequence of Bernoulli-distributed random variables. Then there is some probability distribution "m" on the interval [0, 1] and some random variable "Y" such that
* The probability distribution of "Y" is "m", and
* The conditional probability distribution of the whole sequence "X"1, "X"2, "X"3, ... given the value of "Y" is described by saying that
** "X"1, "X"2, "X"3, ... are conditionally independent given "Y", and
** For any "i" ∈ {1, 2, 3, ...}, the conditional probability that "X""i" = 1, given the value of "Y", is "Y".

Another way of stating the theorem

Suppose "X"1, "X"2, "X"3, ... is an infinite exchangeable sequence of Bernoulli-distributed random variables. Then "X"1, "X"2, "X"3, ... are conditionally independent given the tail sigma-field.

Example

Here is a concrete example. Suppose "p" = 2/3 with probability 1/2 and "p" = 9/10 with probability 1/2. Suppose the conditional distribution of the sequence

:X_1, X_2, X_3, dots !

given the event that "p" = 2/3, is described by saying that they are independent and identically distributed and "X"1 = 1 with probability 2/3 and "X"1 = 0 with probability 1 − (2/3). Further, the conditional distribution of the same sequence given the event that "p" = 9/10, is described by saying that they are independent and identically distributed and "X"1 = 1 with probability 9/10 and "X"1 = 0 with probability 1 - (9/10). The independence asserted here is "conditional" independence, i.e., the Bernoulli random variables in the sequence are conditionally independent given the event that "p" = 2/3, and are conditionally independent given the event that "p" = 9/10. But they are not unconditionally independent; they are positively correlated. In view of the strong law of large numbers, we can say that

:lim_{n ightarrowinfty}(X_1+cdots+X_n)/n = left{egin{matrix}2/3 & mbox{with probability }1/2, \9/10 & mbox{with probability }1/2.end{matrix} ight.

Rather than concentrating probability 1/2 at each of two points between 0 and 1, the "mixing distribution" can be any probability distribution supported on the interval from 0 to 1; which one it is depends on the joint distribution of the infinite sequence of Bernoulli random variables.

The conclusion of the first version of the theorem above makes sense if the sequence of exchangeable Bernoulli random variables is finite, but the theorem is not generally true in that case. It is true if the sequence can be extended to an exchangeable sequence that is infinitely long. The simplest example of an exchangeable sequence of Bernoulli random variables that cannot be so extended is the one in which "X"1 = 1 − "X"2 and "X"1 is either 0 or 1, each with probability 1/2. This sequence is exchangeable, but cannot be extended to an exchangeable sequence of length 3, let alone an infinitely long one.

External links and references

* [http://www.stats.ox.ac.uk/~steffen/teaching/grad/definetti.pdf Exchangeability and de Finetti's Theorem]


Wikimedia Foundation. 2010.

Игры ⚽ Поможем сделать НИР

Look at other dictionaries:

  • de Finetti's theorem — In probability theory, de Finetti s theorem explains why exchangeable observations are conditionally independent given some latent variable to which an epistemic probability distribution would then be assigned. It is named in honor of Bruno de… …   Wikipedia

  • Bruno de Finetti — (* 13. Juni 1906 in Innsbruck; † 20. Juli 1985 in Rom) war ein italienischer Mathematiker. Seine wichtigsten Resultate sind in der Statistik und Wahrscheinlichkeitstheorie anzusiedeln. Inhaltsverzeichnis 1 Leben 2 Werk …   Deutsch Wikipedia

  • Bruno de Finetti — Born 13 June 1906(1906 06 13) Innsbruck, Austria …   Wikipedia

  • De Finetti — usually refers to the Italian probabilist and statistician Bruno de Finetti, noted for the operational subjective conception of probability. His works include: de Finetti s theorem, which explains why exchangeable observations are conditionally… …   Wikipedia

  • De Finetti diagram — A de Finetti diagram. The curved line is the expected Hardy Weinberg frequency as a function of p. A de Finetti diagram is a ternary plot used in population genetics. It is named after the Italian statistician Bruno de Finetti (1906–1985) and is… …   Wikipedia

  • de Finetti, Bruno — (1906–1985) Italian mathematician and philosopher. Born in Innsbruck, and educated at Milan, de Finetti worked on many different branches of mathematics, in Milan, in Rome, and from 1931 in the Assicurazioni Generali di Trieste, as an actuary and …   Philosophy dictionary

  • representation theorem — The proof given by de Finetti that from the requirement that someone s degrees of confidence in propositions be coherent, in the sense of avoiding the possibility of a Dutch book, it can be derived that their beliefs correspond to the classical… …   Philosophy dictionary

  • Bayesian probability — Bayesian statistics Theory Bayesian probability Probability interpretations Bayes theorem Bayes rule · Bayes factor Bayesian inference Bayesian network Prior · Posterior · Likelihood …   Wikipedia

  • List of mathematics articles (D) — NOTOC D D distribution D module D D Agostino s K squared test D Alembert Euler condition D Alembert operator D Alembert s formula D Alembert s paradox D Alembert s principle Dagger category Dagger compact category Dagger symmetric monoidal… …   Wikipedia

  • List of probability topics — This is a list of probability topics, by Wikipedia page. It overlaps with the (alphabetical) list of statistical topics. There are also the list of probabilists and list of statisticians.General aspects*Probability *Randomness, Pseudorandomness,… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”