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 new proof of Cheung’s characterization of comonotonicity

A coupling proof of convex ordering for compound distributions

New Lower Bounds for Testing Monotonicity and Log Concavity of Distributions

On Aggregation Sets And Lower-Convex Sets

An Elementary Proof of the Inequality $χ\leq χ^*$ for Conditional Free Entropy

Approximate Discrete Entropy Monotonicity for Log-Concave Sums

A Proof for Two Conjectures on Distributions with Logistic Conditionals

Conditional Entropy Formula with Respect to Monotonic Partitions

New Proofs of Extremal Inequalities With Applications

Combinational Proof for a Theorem Concerning the Upper Banach Density

On the Complete Monotonicity of Quotient of Gamma Functions

A complete characterization of monotonicity equivalence for continuous-time Markov processes

A New Proof of the Monotone Convergence Theorem of Lebesgue Integral on σ-Class

One-Bit-Matching Theorem for ICA, Convex-Concave Programming on Polyhedral Set, and Distribution Approximation for Combinatorics.

Improved Chebyshev inequality: new probability bounds with known supremum of PDF

Topological Mixing Properties of Rank-One Subshifts

A New Proof of The Strong Subadditivity Theorem

On peakedness of distributions of convex combinations

Generalizing the de Finetti--Hewitt--Savage theorem

An Analytic Proof of the Preservation of the Up-Shifted Likelihood Ratio Order under Convolutions

Concentration of Randomized Functions of Uniformly Bounded Variation