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 theorem of Hrushovski-Solecki-Vershik applied to uniform and coarse embeddings of the Urysohn metric space

Notes on the Cheeger and Colding version of the Reifenberg theorem for metric spaces

Hyperbolic Metric Spaces and Stochastic Embeddings

Uniform measures on the arbitrary compact metric spaces, with applications

Quantitative Russo-Seymour-Welsh for random walk on random graphs and decorrelation of UST

Gromov-Hausdorff convergence of metric pairs and metric tuples

Uniqueness and homogeneity of non-separable Urysohn universal ultrametric spaces

A reflection on Tingley's problem and some applications

Generalizing the de Finetti--Hewitt--Savage theorem

A generalization of Marstrand's theorem and some geometric applications

Ultralimits of Wasserstein spaces and metric measure spaces with Ricci curvature bounded from below

URP, comparison, mean dimension, and sharp shift embeddability

Coarse embeddings of quotients by finite group actions

Coarse and bi-Lipschitz embeddability of subspaces of the Gromov-Hausdorff space into Hilbert spaces

Universal and ultrahomogeneous Polish metric structures

On generic topological embeddings

The (non-uniform) Hrushovski-Lang-Weil estimates

An embedding theorem for uniform measures on topological groups

The coarse geometry of Tsirelson's space and applications

A Note on a Strong Uniqueness Theorem of Strauss

A common generalization of metric, ultrametric and topological fixed point theorems - alternative version