We exhibit (§2) an example of §a compact Hausdorff space supporting a Radon probability measure μ and a continuous map ø : X → I, when I is the closed unit interval, for which the image measure ø(μ) is Lebesgue measur m with the properties:

(i) there exists an open set G ⊂ X for which ø(G) is not m-measurable;

(ii) μ is a non-atomic non-completion regular measure;

(iii) the measure algebras (X, μ) and (I, m) are isomorphic but for no choice c sets B ⊂ X, B′ ⊂ I of measure zero are and homeomorphic

(iv) there exists a selection p : I → X (i.e. p(t) ∊ ø−1(t) for all t ∊ I) which i Borel m-measurable, but there is no Lusin m-measurable selection.

A certain natural extension B of the Borel σ-algebra is studied in generalized weakly θ-refinable spaces. It is shown that a set belongs to B whenever it belongs to B locally. From this it is derived that if ℵωα is more complicated than aunion of less than ℵα weakly θ-refinable subspaces.

A complete characterization of Boolean algebras which admit nonatomic charges (i.e. finitely additive measures) is obtained. This also gives rise to a characterization of superatomic Boolean algebras. We also consider the problem of denseness of the set of all nonatomic charges in the space of all charges on a given Boolean algebra, equipped with a suitable topology.

Let μ be a Borel measure on a completely regular space X, and denote by ℱ the σ-algebra of all μ*-measurable subsets of X. Suppose that, as an abstract measure space, (X, ℱ, μ) is isomorphism mod zero with the standard Lebesgue space (I, ℒ, m) via an isomorphism φ : X → I. In this note we attempt to answer the following question: Under what conditions can the isomorphism φ be chosen to be a homeomorphism mod zero? When X is compact, the existence of such a homeomorphism was established in [3, §4] under the assumption of uniform regularity of μ. Whether or not the result can be established without this assumption, was posed as an open question there. Here, we give necessary and sufficient conditions for the existence of the above homeomorphism, together with various examples showing, among other things, that the assumption of uniform regularity used in [3, §4] cannot be dropped.

Davies and Rogers [5] constructed a compact metric space Ω which is singular for a certain Hausdorff measure μh, in the sense that all subsets of Ω have μh-measure zero or infinity and μh(Ω) = ∞. (For a further study of this example see Boardman [3]). The interest lies in its extremely good descriptive character, which was lacking in the earlier examples given by Besicovitch [2] (a plane set singular for linear measure) and Choquet [4] (a plane set singular for any Hausdorff measure for which a segment has positive measure).

Let G be any enumerable subset of the positive real numbers, with infinity as its only limit point. The purpose of this paper is to give a construction for a Lebesgue measurable set E ⊂ R+, with the following properties:

Definitions. We say that h is a Hausdorff measure function if it satisfies the following conditions:

(i) for all x > 0,

(ii) h(x) → 0 as x → 0,

(iii) h(x) is monotonic increasing.

Our result complements an interesting result of Roy O. Davies [1]; we assume familiarity with his paper. We use the details of the construction that he uses to prove his Theorem II.

The notion of nonatomicity of a measure on a Boolean σ-algebra is an important concept in measure theory. What could be an appropriate analogue of this notion for charges defined on Boolean algebras is one of the topics dealt with in this paper. Analogous to the decomposition of a measure on a Boolean σ-algebra into atomic and nonatomic parts, no decomposition of charges is available in the literature. We provide a simple proof of such a decomposition. Next, we study the conditions under which a Boolean algebra admits certain types of charges. These conditions lead us to give a characterisation of superatomic Boolean algebras. Babiker' [1] almost discrete spaces are connected with superatomic Boolean algebras and a generalisation of one of his theorems is obtained. A counterexample is also provided to disprove one of his theorems. Finally, denseness problems of certain types of charges are studied.

Integral geometry is the study of measures of sets of geometric figures. Commonly a measure of this sort is an integral of a density or differential form; the density is determined by the type of figure, but is independent of the particular set of such figures to which the measure is assigned. As one of the simplest examples, the area of a plane convex point set K is the integral over K of the density dx dy for points with Cartesian co-ordinates x, y. But when we assign a Hausdorff linear measure to the set of boundary points of K, we obtain a measure of quite another sort. This is representable as a Stieltjes integral of arc length density; here the density depends on the choice of K. The examples suggest examining measures for other sets of figures, where each such set is made up of all those figures from a certain class which support, in some sense, a convex body. Further, the examples lead us to expect that measures of this kind will appear as integrals of densities which may depend on the choices of . Here we treat a question of the type just described: to determine a measure for sets of q–flats which support a convex body.

In [5] Knowles proved the following.

Every compact Hausdorff space with no isolated points admits a non-atomic measure.

This note is concerned with the converse problem in a more general set up. Here we deal with certain properties of the family of completely regular spaces admitting no continuous measures. In §3 it is shown that this family contains spaces with no isolated points, thus theorem (1.1) does not generalize to completely regular spaces. In §4 a canonical decomposition of the compact members of the above family into discrete subspaces is obtained, and it is shown that these spaces are metrizable whenever they satisfy the first axiom of countability.

Problem I was raised (oral communication) by Goffman some three years ago, and I found the example then. Problem II was raised at about the same time by Topsøe; Christensen has given an affirmative answer for spaces satisfying certain additional conditions.

It is easy to see that if the answer to problem I were affirmative then so would be that to problem II; therefore our counter-example for problem II implies the existence of one for problem I. It is also possible that another counter-example for problem I could be found by analysing the construction of Dieudonn6 in [1], which is also concerned (implicitly) with a failure of Vitali's theorem. Nevertheless our construction may be of independent interest.

If L is a set of disjoint closed line segments in En, let E(L) denote the end set of L, i.e. the set of end points of members of L.

In [1, 2] V. L. Klee and M. Martin proved the following lemma:

IfLis a disjoint set of closed line segments in E2 such that E(L) is compact, then E(L) has zero 2-measure.