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.

Ergodic quasi-exchangeable stationary processes are isomorphic to Bernoulli processes

On Moduli of Continuity for Gaussian and L2-Norm Squared Processes Generated by Ornstein-Uhlenbeck Processes

On infinite series of independent Ornstein-Uhlenbeck processes

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

Central Limit Theorems for Interchangeable Processes

Dini derivatives for Exchangeable Increment processes and applications

Law of large numbers and central limit theorem for ergodic quantum processes

Quasi-stationary distributions for the radial ornstein-uhlenbeck processes

Quasi-Symmetries of Determinantal Point Processes

Ergodic Quantum Processes on Finite von Neumann Algebras

Exchangeable min-id sequences: Characterization, exponent measures and non-decreasing id-processes

Bernstein-von Mises theorems for time evolution equations

Exponential ergodicity for a class of non-Markovian stochastic processes

Connecting classical finite exchangeability to quantum theory

The infinite extendibility problem for exchangeable real-valued random vectors

The fractional Poisson process and other limit point processes for rare events in infinite ergodic theory

Shift Ergodicity for Stationary Markov Processes

Exchangeable stochastic processes and symmetric states in quantum probability

Generalizing the de Finetti--Hewitt--Savage theorem

A class of self-similar stochastic processes with stationary increments to model anomalous diffusion in physics

Generalized random processes related to Hadamard operators and Le~Roy measures