The results we present were motivated by the product measure problem for Baire measures. For two completely regular Hausdorff spaces X and Y, with totally finite a- additive measures μ and ν defined on the Baire σ- algebras ℬ0(X) and ℬ0(Y) respectively, under what conditions may we define a measure λ on the Baire σ-algebra ℬ0(X × Y), extending the product measure μ ⊗ ν defined on the product σ-algebra ℬ0(X) × ℬ0(Y) and satisfying a Fubini theorem?

Cardinal functions of topologies have been extensively studied. Cardinal functions of measures have attracted less interest, perhaps because there are fewer straightforward results which are independent of special axioms. In this paper I consider the “additivity” and “cofinality” of a measure (Definition 1) and show that they can often be calculated in terms of certain fundamental cardinals (Corollary 11 and Theorem 16).

V. Krishnamurthy has shown that on a finite set X all topologies can be mapped into a certain set of matrices of zeros and ones. In this paper it is shown that all lattices, algebras and rings on a finite set X can be mapped onto particular sets of matrices of zeros and ones.

In 1942 Piccard [10] gave an example of a set of real numbers whose sum set has zero Lebesgue measure but whose difference set contains an interval. About thirty years later various authors (Connolly, Jackson, Williamson and Woodall) in a series of papers constructed F σ sets E in ℝ such that E – E contains an interval while the K-fold sum set

has zero Lebesgue measure for progressively larger values of k.

It is shown that a positive measure μ on the Borel subsets of Rk is translation-bounded if and only if the Fourier transform of the indicator function of every bounded Borel subset of Rk belongs to L2(μ).

We define s-dimensional Hausdorff outer measure on subsets of ℝn by

Here | | denotes the diameter of a set. The Souslin sets, which include the Borel sets, are Hs-measurable for any s ≥ 0.

In July 1982, I was asked by Prof. Jorgen Hoffmann-Jorgensen to construct an uncountable compact set K in the line which was symmetric about 0 and had the property that, for all n, the set of sums of n-tuples from K has measure 0. There are two equivalent conditions: the set of such sums should never contain an interval, or K* ≠ ℝ, where K* is the subgroup of (ℝ, +) generated by K. I did so, and the set I constructed had entropy dimension 0 (and thus also Hausdorff dimension 0). Hoffmann-Jorgensen showed that every set of entropy dimension 0 would exhibit the same behaviour. However, I did not believe that the essence of the example lay in its dimension, and I here modify my construction so that the set K has dimension 1 (and thus also entropy dimension 1), while K* ≠ ℝ, as before. By contrast, the Cantor ternary set has dimension log3(2), but the set of differences is the interval [ –1, 1], so that it does generate ℝ. It follows that the property under consideration is arithmetical rather than dimensional.

Let ℒ be a lattice of subsets of a set X. Let MR (ℒ) denote the set of all ℒ-regular (finitely additive) measures on the algebra generated by ℒ. Under the assumption that ℒ is disjunctive, in the first part of the paper, criteria are obtained for the σ-smoothness, τ-smoothness, and tightness of elements of MR(ℒ) in terms of the general Wallman remander. in the second part of the paper, various applications are given, and, in particular, extensions and refinements of the Yoside-Hewitt Decom position Theorem are obtained.

Let T: [0,1] → [0,1] be a map which is given piecewise as a linear fractional map such that T0 = T] = 0 and T'0 < 1. Then T is ergodic and admits an invariant measure which can be calculated explicitly.

It is shown that hte algebra of regular sets for a finitely additive Borel measure μ on a compact Hausdroff space is a σ-algebra only if it includes the Baire algebra and μ is countably additive onthe σ-algebra of regular sets. Any infinite compact Hausdroff space admits a finitely additive Borel measure whose algebra of regular sets is not a σ-algebra. Although a finitely additive measure with a σ-algebra of regular sets is countably additive on the Baire σ-algebra there are examples of finitely additive extensions of countably additive Baire measures whose regular algebra is not a σ-algebra. We examine the particular case of extensions of Dirac measures. In this context it is shown that all extensions of a {0, 1}-valued countably additive measure from a σ-algebra to a larger σ-algebra are countably additive if and only if the convex set of these extensions is a finite dimensional simplex.

For a metric space <Ω, ρ> and a ‘measure function’ h, the Hausdorff measure mh on Ω is denned by applying Method II to the premeasure defined by τ(E) = h(d(E)), E ⊆ Ω, where

with d(Φ) = 0, is the diameter of E. The set function mh is then a metric outer measure. There are many variations on this definition producing measures also associated with the name Hausdorff. Here we are concerned with those measures which arise when there is a restriction on the sets E for which τ is defined. Such measures arise, for example, as net measures, Rogers [1]. Also we might find it useful to have τ defined only on disks, or only on squares, or only on rectangles with a given relation between vertical and horizontal sides.

Let u be a solution of the heat equation which can be written as the difference of two non-negative solutions, and let v be a non-negative solution. A study is made of the behaviour of u(x, t)/v(x, t) as t → 0+. The methods are based on the Gauss-Weierstrass integral representation of solutions on Rn × ]0, a[ and results on the relative differentiation of measures, which are employed in a novel way to obtain several domination, non-negativity, uniqueness and representation theorems.

Given a simplex S and a positive function δ on S, we show that there is a simplicial subdivision of S such that the diameter of each subdividing simplex is smaller that δ evaluated at some of its vertices.

This paper is concerned with two aspects of the theory of measures on compact totally ordered spaces (the topology is to be the order topology). In Section 2, we clarify a recent construction of Sapounakis [11, 12] and, in so doing, we are able to say a little more about it. It should be added here that Sapounakis had other ends in view. To be precise, let I be the closed unit interval [0, 1] and let λ be Lebesgue measure on I. We shall construct another totally ordered set Ĩ which is compact in its order topology, a continuous increasing surjection τ : Ĩ → I with the property that card τ−1(t) = 2 for all t ∈ ]0,1[ (these brackets denote the open interval), and a measure on Ĩ such that τ() = λ. Then the following theorem holds.

Let G be a locally compact abelian group. Then there is a finitely additive regular set function m defined on an algebra A of Borel sets in G, m(G) = 1, such that m(T-1F) = m(F) for all F ∈ A and all surjective group endomorphisms T of G onto G.

If П is a k-dimensional vector subspace of Rn and E is a subset of Rn, let projп(E) denote the orthogonal projection of E onto П. Marstrand [8] and Kaufman [6] have developed results on the Hausdorff dimension and measure of projп(E) in terms of the dimension of E, leading to the very general theory of Mattila [11]. In particular, Mattila shows that if the Hausdorff dimension dim E of the Souslin set E is greater than k, then projп(E) has positive k-dimensional Lebesgue measure for almost all П ∈ Gn, k (in the sense of the usual normalized invariant measure on the Grassmann manifold Gn, k of k-dimensional subspaces of Rn).

Let (X, ℱ, μ) be a topological measure space with X a completely regular Hausdorff space and ℱ the σ-algebra of all μ-measurable sets, containing all the Baire sets of X. Consider the following two conditions on (X, ℱ, μ).

A metric space (X, ρ) is called precompact, if, for every ε > 0, there is a finite ε-cover (a covering by sets of diameter ≤ ε). The space (X, ρ) is separable if for every e there is a countable ε-cover. There should be some in-between condition. We say that (X, ρ) has fine covers, if, for every ε > 0, there exists a countable ε-cover (U1, U2, …), such that the diameter ∂(Ui) tends to zero as i → ∞. In fact, Goodey [1] has related this property to Hausdorff dimension. We show that a space with fine covers need not be σ-precompact and that on any complete metrizable non-σ-compact space X there is a metric ρ* such that (X, ρ*) has no fine cover.

This note contains characterizations of those sigma-fields for which sigma-finiteness is a necessary condition in the Radon-Nikodym Theorem.

Our purpose is to consider those σ-fields for which σ-finiteness is a necessary condition in the Radon–Nikodym Theorem. We first prove a measure theoretic equivalence in the general case, and then use this to obtain an algebraic characterization in the case when the σ-field is the Borel field of a locally compact separable metric space. For undefined terminology we refer the reader to [1] for measure theoretic and [2] for algebraic properties.

By a measure, we mean a countably additive function from σ-field of sets or a Boolean σ-algebra into the non-negative extended real numbers. We will say that a measure μ on a σ-field of sets Σ is RN provided each μ-continuous finite measure on Σ has a Radon–Nikodym derivative in L1(μ).

Let X be a weakly complete proper cone contained in a weak space E and h(E) the Riesz space generated by the continuous linear forms on E. A positive conical measure μ on X is a positive linear form on h(E)|x. G. Choquet has proved μ is a Daniell integral on E when E is weakly complete, but μ is not generally a Daniell integral on X. However we give an integration theory for functions on X and compare this theory with the classical Daniell theory. The case where μ is maximal in the sense of G. Choquet is remarkable.