Abstract:A sequence of random variables is called exchangeable if its joint distribution is invariant under permutations. The original formulation of de Finetti's theorem says that any exchangeable sequence of $\{0,1\}$-valued random variables can be thought of as a mixture of independent and identically distributed sequences in a certain precise mathematical sense. Interpreting this statement from a convex analytic perspective, Hewitt and Savage obtained the same conclusion for more general state spaces under some topological conditions. The main contribution of this paper is in providing a new framework that explains the theorem purely as a consequence of the underlying distribution of the random variables, with no topological conditions (beyond Hausdorffness) on the state space being necessary if the distribution is Radon. We also show that it is consistent with the axioms of ZFC that de Finetti's theorem holds for all sequences of exchangeable random variables taking values in any complete metric space. The framework we use is based on nonstandard analysis. We have provided a self-contained introduction to nonstandard analysis as an appendix, thus rendering measure theoretic probability and point-set topology as the only prerequisites for this paper. Our introduction aims to develop some new ideologies that might be of interest to mathematicians, philosophers, and mathematics educators alike. Our technical tools come from nonstandard topological measure theory, in which a highlight is a new generalization of Prokhorov's theorem. Modulo such technical tools, our proof relies on properties of the empirical measures induced by hyperfinitely many identically distributed random variables -- a feature that allows us to establish de Finetti's theorem in the generality that we seek while still retaining the combinatorial intuition of proofs of simpler versions of de Finetti's theorem.

Central Limit Theorem for Symmetric Exchangeable Random Variables

On the Central Limit Theorem in Product Spaces

On Central Limit Theorems for Vector Random Measures and Measure-Valued Processes

Some Limit Theorems for Linear Processes Generated by Symmetrically Exchangeable Random Variables

The Functional Central Limit Theorem for Strong Near-Epoch Dependent Random Variables *

An Almost Sure Central Limit Theorem for Self-Normalized Partial Sums of Weakly Dependent Random Variables

Almost Sure Functional Central Limit Theorems for Weakly Dependent Sequences

Almost Sure Central Limit Theorems for Functions of Random Variables

Central Limit Theorem with Exchangeable Summands and Mixtures of Stable Laws as Limits

The infinite extendibility problem for exchangeable real-valued random vectors

The Marcinkiewicz-Zygmund law of large numbers for exchangeable arrays

Circular law for random matrices with exchangeable entries

On strong versions of the central limit theorem

A note on the invariance principle of the product of sums of random variables

De Finetti's theorem and related results for infinite weighted exchangeable sequences

The Convergence of the Sums of Independent Random Variables under the Sub-Linear Expectations

Central Limit Theorem for non-stationary random products of $\SL(2, \R)$ matrices

Strong Approximation Theorems for Sums of Random Variables when Extreme Terms Are Excluded

An almost everywhere central limit theorem

Generalizing the de Finetti--Hewitt--Savage theorem

Connecting classical finite exchangeability to quantum theory