Generalizing the de Finetti--Hewitt--Savage theorem

Abstract: A sequence of random variables is called \textit{exchangeable} if its joint distribution is invariant under permutations of indices. The original formulation of de Finetti's theorem roughly says that any exchangeable sequence of ${0,1}$-valued random variables can be thought of as a mixture of independent and identically distributed sequences. Hewitt and Savage were able to obtain the same conclusion for exchangeable sequences of random variables taking values in more general state spaces under some topological conditions. Using tools from nonstandard analysis we prove that an exchangeable sequence of Radon-distributed random variables taking values in any Hausdorff state space must be representable as a mixture of sequences of independent and identically distributed random variables. Our presentation of this work follows the style of \textit{lecture notes} intended for broad graduate-level mathematical audiences -- the main body of the manuscript starts with a historically grounded introduction to the problem, foreshadowing our techniques that are developed via a series of appendices. These techniques are used to provide self-contained proofs of our main results in a short section following the introduction. We have provided a self-contained philosophically motivated introduction to nonstandard analysis in the first appendix, thus rendering first courses in measure theoretic probability and point-set topology as the only prerequisites for the work. This introduction aims to develop some new ideologies about the subject that might be of interest to mathematicians, philosophers, and mathematics educators alike. One highlight of the rest of the appendices is a new generalization of Prokhorov's theorem in the setting of the space of all probability measures on arbitrary Hausdorff spaces.