Egoroff's theorem and the distribution of standard points in a nonstandard model

Authors:
C. Ward Henson and Frank Wattenberg

Journal:
Proc. Amer. Math. Soc. **81** (1981), 455-461

MSC:
Primary 03H05; Secondary 26E35, 28A12

DOI:
https://doi.org/10.1090/S0002-9939-1981-0597662-3

MathSciNet review:
597662

Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: We study the relationship between the Loeb measure of a set and the -measure of the set of standard points in . If is in the -algebra generated by the standard sets, then . This is used to give a short nonstandard proof of Egoroff's Theorem. If is an internal, * measurable set, then in general there is no relationship between the measures of and . However, if is an ultrapower constructed using a minimal ultrafilter on , then implies that is a -null set. If, in addition, is a Borel measure on a compact metric space and is a Loeb measurable set, then

**[1]**Andreas Blass,*The Rudin-Keisler ordering of 𝑃-points*, Trans. Amer. Math. Soc.**179**(1973), 145–166. MR**0354350**, https://doi.org/10.1090/S0002-9947-1973-0354350-6**[2]**David Booth,*Ultrafilters on a countable set*, Ann. Math. Logic**2**(1970/1971), no. 1, 1–24. MR**0277371**, https://doi.org/10.1016/0003-4843(70)90005-7**[3]**Paul R. Halmos,*Measure Theory*, D. Van Nostrand Company, Inc., New York, N. Y., 1950. MR**0033869****[4]**Kazimierz Kuratowski and Andrzej Mostowski,*Set theory*, Second, completely revised edition, North-Holland Publishing Co., Amsterdam-New York-Oxford; PWN—Polish Scientific Publishers, Warsaw, 1976. With an introduction to descriptive set theory; Translated from the 1966 Polish original; Studies in Logic and the Foundations of Mathematics, Vol. 86. MR**0485384****[5]**Peter A. Loeb,*Conversion from nonstandard to standard measure spaces and applications in probability theory*, Trans. Amer. Math. Soc.**211**(1975), 113–122. MR**0390154**, https://doi.org/10.1090/S0002-9947-1975-0390154-8**[6]**A. R. D. Mathias,*Solution of problems of Choquet and Puritz*, Conference in Mathematical Logic—London ’70 (Bedford Coll., London, 1970), Springer, Berlin, 1972, pp. 204–210. Lecture Notes in Math., Vol. 255. MR**0363911****[7]**Keith R. Milliken,*Completely separable families and Ramsey’s theorem*, J. Combinatorial Theory Ser. A**19**(1975), no. 3, 318–334. MR**0403983****[8]**Abraham Robinson,*Non-standard analysis*, North-Holland Publishing Co., Amsterdam, 1966. MR**0205854****[9]**Mary Ellen Rudin,*Types of ultrafilters*, Topology Seminar (Wisconsin, 1965) Ann. of Math. Studies, No. 60, Princeton Univ. Press, Princeton, N.J., 1966, pp. 147–151. MR**0216451****[10]**Walter Rudin,*Homogeneity problems in the theory of Čech compactifications*, Duke Math. J.**23**(1956), 409–419. MR**0080902****[11]**K. D. Stroyan and W. A. J. Luxemburg,*Introduction to the theory of infinitesimals*, Academic Press [Harcourt Brace Jovanovich, Publishers], New York-London, 1976. Pure and Applied Mathematics, No. 72. MR**0491163**

Retrieve articles in *Proceedings of the American Mathematical Society*
with MSC:
03H05,
26E35,
28A12

Retrieve articles in all journals with MSC: 03H05, 26E35, 28A12

Additional Information

DOI:
https://doi.org/10.1090/S0002-9939-1981-0597662-3

Article copyright:
© Copyright 1981
American Mathematical Society