Measurable sets of measures.

1* Introduction* Let M be the set of all countably additive, finite, signed measures on a σ-field Σ of subsets of a set X. There is a natural definition of measurability in M, namely, a subset of M is measurable if it is an element of 2*, the smallest σ-field of subsets of M such that: for each AeΣ the function μ—• μ(A) is measurable from M to the Borel line. The purpose of this note, motivated by questions arising from (Dubins and Freedman, 1963) is to investigate the measurability and category of interesting subsets of M, under the assumption that Σ is countably generated. Here are some results. If X is compact metric, and Σ is the <7-field of Borel subsets of X, then any subset of X with the Baire property is measurable for a residual set of probability measures (3.17). If also X is uncountable, there are weakly open, but not Immeasurable, subsets of M; see (3.2). There is a Gδ in the threedimensional unit cube whose convex hull is not Borel (3.22). If F is a continuous, strictly monotone, purely singular distribution function on the unit interval, then F is differentiate only on a set of the first category (4.8).