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.

A filtered version of the bipolar theorem of Brannath and Schachermayer

A Fenchel-Moreau-Rockafellar type theorem on the Kantorovich-Wasserstein space with Applications in Partially Observable Markov Decision Processes

Bipolar Theorems for Sets of Non-negative Random Variables

Martingale Hardy Orlicz–Lorentz–Karamata spaces and applications in Fourier analysis

Approximation of martingale couplings on the line in the adapted weak topology

On multipliers into martingale spaces for arbitrary filtrations

Approximation of martingale couplings on the line in the weak adapted topology

On the boundedness and Schatten class property of noncommutative martingale paraproducts and operator-valued commutators

A categorical treatment of the Radon-Nikodym theorem and martingales

A Fenchel-Moreau Theorem for (L)over-bar(0)-Valued Functions

Log-concavity in Combinatorics

Umbel convexity and the geometry of trees

Malliavin structure for conditionally independent random variables

Stable functions and Følner's Theorem

New bounds for normal approximation on product spaces with applications to monochromatic edges, random sums and an infinite de Jong CLT

Relative weak compactness in infinite-dimensional Fefferman-Meyer duality

On Duality Between Filtering And Interpolation

Modular invariance of (logarithmic) intertwining operators

Multideviations: The hidden structure of Bell's theorems

Generalizing the de Finetti--Hewitt--Savage theorem

Finitely Additive Supermartingales