Star-finite representations of measure spaces

Author:
Robert M. Anderson

Journal:
Trans. Amer. Math. Soc. **271** (1982), 667-687

MSC:
Primary 03H05; Secondary 28D05, 60A10

DOI:
https://doi.org/10.1090/S0002-9947-1982-0654856-1

MathSciNet review:
654856

Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: In nonstandard analysis, -finite sets are infinite sets which nonetheless possess the formal properties of finite sets. They permit a synthesis of continuous and discrete theories in many areas of mathematics, including probability theory, functional analysis, and mathematical economics. -finite models are particularly useful in building new models of economic or probabilistic processes.

It is natural to ask what standard models can be obtained from these -finite models. In this paper, we show that a rich class of measure spaces, including the Radon spaces, are measure-preserving images of -finite measure spaces, using a construction introduced by Peter A. Loeb [**15**]. Moreover, we show that a number of measure-theoretic constructs, including integrals and conditional expectations, are naturally expressed in these models. It follows that standard models which can be expressed in terms of these measure spaces and constructs can be obtained from -finite models.

**[1]**Robert M. Anderson,*A non-standard representation for Brownian motion and Ito integration*, Israel J. Math.**25**(1976), 15-46. MR**0464380 (57:4311)****[2]**-,*Star-finite probability theory*, Ph.D. Dissertation, Yale Univ., New Haven, Conn., 1977.**[3]**-,*Strong core theorems with nonconvex preferences*, Cowles Foundation Discussion Paper No. 590, Yale Univ., New Haven, Conn., 1981.**[4]**Robert M. Anderson and Salim Rashid,*A nonstandard characterization of weak convergence*, Proc. Amer. Math. Soc.**69**(1978), 327-332. MR**0480925 (58:1073)****[5]**Allen R. Bernstein and Frank Wattenberg,*Nonstandard measure theory*, Applications of Model Theory to Algebra, Analysis, and Probability (W. A. J. Luxemburg, editor), Holt, Rinehart and Winston, New York, 1969, pp. 171-185. MR**0247018 (40:287)****[6]**Patrick Billingsley,*Convergence of probability measures*, Wiley, New York, 1968. MR**0233396 (38:1718)****[7]**Nelson Dunford and Jacob T. Schwartz,*Linear operators*. Part I, Wiley, New York, 1957. MR**1009162 (90g:47001a)****[8]**Lester L. Helms,*Mean convergence of martingales*, Trans. Amer. Math. Soc.**87**(1958), 439-446. MR**0094841 (20:1350)****[9]**Ward Henson,*On the nonstandard representation of measures*, Trans. Amer. Math. Soc.**172**(1972), 437-446. MR**0315082 (47:3631)****[10]**Douglas N. Hoover,*Probability logic*, Ann. Math. Logic**14**(1978), 287-313. MR**510234 (80b:03044)****[11]**H. Jerome Keisler,*Hyperfinite model theory*, Logic Colloquium 76 (R. O. Gandy and J. M. E. Hyland, editors), North-Holland, Amsterdam, 1977, pp. 5-110. MR**0491155 (58:10421)****[12]**Peter A. Loeb,*A nonstandard representation of measurable spaces and*, Bull. Amer. Math. Soc.**77**(1971), 540-544. MR**0276748 (43:2488)****[13]**-,*A nonstandard representation of measurable spaces*, ,*and*, Contributions to Non-standard Analysis (W. A. J. Luxemburg and A. Robinson, editors), North-Holland, Amsterdam, 1972, pp. 65-80.**[14]**-,*A nonstandard representation of Borel measures and*-*finite measures*, Victoria Symposium on Nonstandard Analysis (A. Hurd and P. Loeb, editors), Lecture Notes in Math., vol. 369, Springer-Verlag, Berlin and New York, 1974. MR**0472459 (57:12159)****[15]**-,*Conversion from nonstandard to standard measure spaces and applications in probability theory*, Trans. Amer. Math. Soc.**211**(1975), 113-122. MR**0390154 (52:10980)****[16]**-,*Applications of nonstandard analysis to ideal boundaries in potential theory*, Israel J. Math.**25**(1976), 154-187. MR**0457757 (56:15961)****[17]**W. A. J. Luxemburg,*A general theory of monads*, Applications of Model Theory to Algebra, Analysis, and Probability (W. A. J. Luxemburg, editor), Holt, Rinehart and Winston, New York, 1969, pp. 18-86. MR**0244931 (39:6244)****[18]**Moshe Machover and Joram Hirschfeld,*Lectures on nonstandard analysis*, Lecture Notes in Math., vol. 94, Springer-Verlag, Berlin and New York, 1969. MR**0249285 (40:2531)****[19]**Rohit Parikh and Milton Parnes,*Conditional probability can be defined for all pairs of sests of reals*, Advances in Math.**9**(1972), 313-315. MR**0324736 (48:3085)****[20]**-,*Conditional probabilities and uniform sets*, Victoria Symposium on Nonstandard Analysis (A. Hurd and P. Loeb, editors), Lecture Notes in Math., vol. 369, Springer-Verlag, Berlin and New York, 1974. MR**0482898 (58:2937)****[21]**Salim Rashid,*Economies with infinitely many traders*, Ph.D. Dissertation, Yale Univ., New Haven, Ct., 1976.**[22]**Abraham Robinson,*Non-standard analysis*, North-Holland, Amsterdam, 1966. MR**0205854 (34:5680)****[23]**Walter Rudin,*Real and complex analysis*, McGraw-Hill, New York, 1974. MR**0344043 (49:8783)****[24]**K. D. Stroyan and W. A. J. Luxemburg,*Introduction to the theory of infinitesimals*, Academic Press, New York, 1976. MR**0491163 (58:10429)****[25]**Douglas N. Hoover and Edwin Perkins,*Nonstandard construction of the stochastic integral and applications to stochastic differential equations*. I, II (preprint). MR**678335 (85d:60111)****[26]**Tom L. Lindstrom,*Hyperfinite stochastic integration*. I, II, III, and*Addendum*, Math. Scand.**46**(1980), 265-333. MR**591606 (83a:60091a)****[27]**Peter A. Loeb,*Weak limits of measures and the standard part map*, Proc. Amer. Math. Soc.**77**(1979), 128-135. MR**539645 (80i:28020)****[28]**-,*An introduction to nonstandard analysis and hyperfinite probability theory*, Probabilistic Analysis and Related Topics, vol. 2 (A. T. Bharucha-Reid, editor), Academic Press, New York, 1979, pp. 105-142. MR**556680 (80m:60005)****[29]**Frank Wattenberg,*Nonstandard measure theory*:*Avoiding pathological sets*, Trans. Amer. Math. Soc.**250**(1979), 357-368. MR**530061 (80h:03095)**

Retrieve articles in *Transactions of the American Mathematical Society*
with MSC:
03H05,
28D05,
60A10

Retrieve articles in all journals with MSC: 03H05, 28D05, 60A10

Additional Information

DOI:
https://doi.org/10.1090/S0002-9947-1982-0654856-1

Keywords:
Radon measures,
measure-preserving maps,
martingales,
uniform integrability,
compactifications,
nonstandard analysis

Article copyright:
© Copyright 1982
American Mathematical Society