Packing measures have been introduced to complement the theory of Hausdorff measures in [13,14]. (For a new treatment see also [10, Chapter 5]. While Hausdorff measures are intimately connected to upper density estimates (see, e.g., [5,2.10.18]), the importance of packing measures stems from their connection to lower density estimates.

This paper is concerned with the geometry of a measure μ, and in particular with the relationship between various .s-dimensional densities of μ, the geometry of the support of μ and the question of whether s is an integer.

We show that there exists an open set H⊆[0, 1] × [0, 1] with λ2(H) = 1 such that for any ε > 0 there exists a set E satisfying and H contains the product set E × E but there is no set S with and S × S ⊆ H. Especially this property is verified for sets of the form H = where the sets Ei are independent and . The results of this paper answer questions of M. Laczkovich and are related to a paper of D. H. Fremlin.

We give a characterization of complex extreme measurable selections for a suitable set-valued map. We use this result to obtain necessary and sufficient conditions for a function to be a complex extreme point of the closed unit ball of Lp (ω, Σ, ν X), where (ω, σ, ν) is any positive, complete measure space, X is a separable complex Banach space, and 0 < p < ∞.

Some theorems on the existence of continuous real-valued functions on a topological space (for example, insertion, extension, and separation theorems) can be proved without involving uncountable unions of open sets. In particular, it is shown that well-known characterizations of normality (for example the Katětov-Tong insertion theorem, the Tietze extension theorem, Urysohn's lemma) are characterizations of normal σ-rings. Likewise, similar theorems about extremally disconnected spaces are true for σ-rings of a certain type. This σ-ring approach leads to general results on the existence of functions of class α.

Dimension prints were developed in 1988 to distinguish between different fractal sets in Euclidean spaces having the same Hausdorff dimension but with very different geometric characteristics. In this paper we compute the dimension prints of some fractal sets, including generalized Cantor sets on the unit circle S1 in ℝ2 and the graphs of generalized Lebesgue functions, also in ℝ2. In this second case we show that the dimension print for the graphs of the Lebesgue functions can approach the maximal dimension print of a set of dimension 1. We study the dimension prints of Cartesian products of linear Borel sets and obtain the exact dimension print when each linear set has positive measure in its dimension and the dimension of the Cartesian product is the sum of the dimensions of the factors.

This paper is concerned with the description of both a deterministic and stochastic branching procedure. The renewal equations for the deterministic branching population are first derived which allow for asymptotic results on the ‘number' and ‘generation' processes. A probabilistic version of these processes is then studied which presents some discrepancy with the standard Harris age-dependent branching processes.

The general properties of lattice-perfect measures are discussed. The relationship between countable compactness and measure perfectness, and the relationship between lattice-measure tightness and lattice-measure perfectness are investigated and several applications in topological measure theory are given.

Let ℳ denote the class of all finite positive Borel measures μ in Rn with compact support. We define the Fourier transform of μεℳ by writing

and the α-energy of μ is given by

§1. Introduction and main results. A map f: A → R (A ⊂ R) is called piecewise contractive if there is a finite partition A = A1∪ … ∪ An such that the restriction f| Ai is a contraction for every i = 1, …, n. According to a theorem proved by von Neumann in [3], every interval can be mapped, using a piecewise contractive map, onto a longer interval. This easily implies that whenever A, B are bounded subsets of R with nonempty interior, then A can be mapped, using a piecewise contractive map, onto B (see [6], Theorem 7.12, p. 105). Our aim is to determine the range of the Lebesgue measure of B, supposing that the number of pieces in the partition of A is given. The Lebesgue outer measure will be denoted by λ. If I is an interval then we write |I| = λ(I).

We show that under certain circumstances quasi self-similar fractals of equal Hausdorff dimensions that are homeomorphic to Cantor sets are equivalent under Hölder bijections of exponents arbitrarily close to 1. By setting up algebraic invariants for strictly self-similar sets, we show that such sets are not, in general, equivalent under Lipschitz bijections.

“Regular systems” of numbers in ℝ and “ubiquitous systems” in ℝk, k ≥ 1, have been used previously to obtain lower bounds for the Hausdorff dimension of various sets in ℝ and ℝk respectively. Both these concepts make sense for systems of numbers in ℝ, but the definitions of the two types of object are rather different. In this paper it will be shown that, after certain modifications to the definitions, the two concepts are essentially equivalent.

We also consider the concept of a ℳs∞-dense sequence in ℝk, which was introduced by Falconer to construct classes of sets having “large intersection”. We will show that ubiquitous systems can be used to construct examples of ℳs∞-dense sequences. This provides a relatively easy means of constructing ℳs∞-dense sequences; a direct construction and proof that a sequence is ℳs∞-dense is usually rather difficult.

I investigate what can be said about a set E in a probability space X when the “square” E x E can be covered by the squares of stochastically independent sets of given measure.

In recent papers on fractals attention has shifted from sets to measures [1, 5, 10]. Thus it seems interesting to know whether results for the dimension of sets remain valid for the dimension of measures. In the present paper we derive estimates for the dimension of product measures. Falconer [3] summarizes known results for sets and Tricot [8] gives a complete description in terms of Hausdorff and packing dimension. Let dim and Dim denote Hausdorff and packing dimension. If then

Introduction. This paper describes a natural way to associate fractal setsto a certain class of absolutely convergent series in In Theorem 1 we give sufficient conditions for such series. Theorem 2 shows that each analytic function gives a different fractal series for each number in a certain open set. Theorem 3 gives the Hausdorff dimension of the associated sets to fractal series, under suitable conditions on the series. This theorem can be applied to some standard series in analysis, such as the binomial, exponential and trigonometrical complex series. The associated sets to geometrical complex series are selfsimilar sets previously studied by M. F. Barnsley from a different (dynamical) point of view (see refs. [5], [6]).

In this note, we investigate those Hausdorff measures which obey a simple scaling law. Consider a continuous increasing function θ defined on with θ(0)= 0 and let be the corresponding Hausdorff measure. We say that obeys an order α scaling law provided whenever K⊂ and c> 0, then

or, equivalently, if T is a similarity map of with similarity ratio c:

§1. Introduction. Let two probability spaces (X, , μ,) and (Y, ℬ, ν) be given. For a subset D of X × Y and a real number d ≥ 0 we consider the following problem

(MP) Does there exist a measure » on X × Y having μ and ν as marginals and such that λ (D) ≥ 1 − d?

This problem comes from Strassen's paper [12], where Borel probabilities on Polish spaces were treated. Further, it was investigated by many authors in more general settings (cf. [2], [4]-[7], [11]-[13]).

Various continuity conditions (in norm, in measure, weakly etc.) for the nonlinear superposition operator F x(s) = f(s, x(s)) between spaces of measurable functions are established in terms of the generating function f = f(s, u). In particular, a simple proof is given for the fact that, if F is continuous in measure, then f may be replaced by a function f which generates the same superposition operator F and satisfies the Carathéodory conditions. Moreover, it is shown that integral functional associated with the function f are proved.

The Hausdorff dimension has been used for many years for assessing the sizes of sets in Euclidean and other metric spaces, see, for example, [1,2,5,6,8,10]. However, different sets with the same Hausdorff dimension may have very different characteristics, for example, a straight line segment in ℝ2 and the Cartesian product in ℝ2 of two suitably chosen Cantor sets in ℝ will both have Hausdorff dimension 1. In this paper we develop a measure-theoretic method of distinguishing between the sets of such pairs.

Let μ, be a positive Radon measure with compact support in the euclidean n-space ℝn. Introducing the Fourier transform

and the averages over the spheres

we can write the α-energy, 0 < α < n, of μ as

where the positive constants c1 and c2 depend only on n and α. The second equality is based on the Plancherel formula and the fact that where .