Vol. 18, No. 1, 1966

Download this article
Download this article. For screen
For printing
Recent Issues
Vol. 328: 1
Vol. 327: 1  2
Vol. 326: 1  2
Vol. 325: 1  2
Vol. 324: 1  2
Vol. 323: 1  2
Vol. 322: 1  2
Vol. 321: 1  2
Online Archive
The Journal
Editorial Board
Submission Guidelines
Submission Form
Policies for Authors
ISSN: 1945-5844 (e-only)
ISSN: 0030-8730 (print)
Special Issues
Author Index
To Appear
Other MSP Journals
Images of measurable sets

David Wilson Bressler and A. P. Morse

Vol. 18 (1966), No. 1, 37–55

For a finitely additive and countably multiplicative family H, Measurable H is the family of all sets which are measurable by every Carathéodory outer measure by which the members of H are measurable and complements of members of H are approximable from within. A relation contained in a topological product space is subvalent, if for some countable ordinal α, each horizontal section of the relation has an empty derived set of order α. A topological space is Borelcompact if it and the difference of any two of its closed compact subsets are countable unions of closed compact sets.

It is shown that if X and Y are Borelcompact, Hausdorff spaces with countable bases and R is an analytic and subvalent subset of the cartesian product of X with Y , then the direct R-image of A is Measurable F(Y ) whenever A is Measurable F(X). (F(X) is the family of closed subsets of X.) If X and Y are complete, separable, metric spaces and R is an analytic and subvalent subset of X × Y , the same conclusion can be drawn.

Mathematical Subject Classification
Primary: 28.10
Received: 25 July 1964
Published: 1 July 1966
David Wilson Bressler
A. P. Morse