Finitely-additive, countably-additive and internal probability measures
Abstract
We discuss two ways to construct standard probability measures, called push-down measures, from internal probability measures. We show that the Wasserstein distance between an internal probability measure and its push-down measure is infinitesimal. As an application to standard probability theory, we show that every finitely-additive Borel probability measure $P$ on a separable metric space is a limit of a sequence of countably-additive Borel probability measures if and only if the space is totally bounded.
- Publication:
-
arXiv e-prints
- Pub Date:
- October 2020
- DOI:
- 10.48550/arXiv.2010.02463
- arXiv:
- arXiv:2010.02463
- Bibcode:
- 2020arXiv201002463D
- Keywords:
-
- Mathematics - Logic;
- 26E35;
- 03H05;
- 28E05;
- 60B10
- E-Print:
- 17 pages