§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 .

We construct a universal function φ on the real line such that, for every continuously differentiable function f the range of f – φ has measure zero. We then apply this to obtain results on curve packing that generalize the Besicovitch set. In particular, we show that given a continuously differentiable family of measurable curves, there exists a plane set of measure zero containing a translate of each curve in the family. Examples are given to show that the differentiability hypothesis cannot be weakened to a Lipschitz condition of order α for any 0<α<1.

The notion of strong lifting compactness is introduced for completely regular Hausdorff spaces, and its structural properties, as well as its relationship to the strong lifting, to measure compactness, and to lifting compactness, are discussed. For metrizable locally convex spaces under their weak topology, strong lifting compactness is characterized by a list of conditions which are either measure theoretical or topological in their nature, and from which it can be seen that strong lifting compactness is the strong counterpart of measure compactness in that case.

We present a systematic and self-contained exposition of the generalized Riemann integral in a locally compact Hausdorff space, and we show that it is equivalent to the Perron and variational integrals. We also give a necessary and sufficient condition for its equivalence to the Lebesgue integral with respect to a suitably chosen measure.

In a recent paper Taylor and Tricot [10] introduced packing measures in ℝd. We modify their definition slightly to extend it to a general metric space. Our main concern is to show that in any complete separable metric space every analytic set of non-σ-finite h-packing measure contains disjoint compact subsets each of non-σ-finite measure. The corresponding problem for Hausdorff measures is discussed, but not completely resolved, in Rogers' book [7]. We also show that packing measure cannot be attained by taking the Hausdorff measure with respect to a different increasing function using another metric which generates the same topology. This means that the class of pacing measures is distinct from the class of Hausdorff measures.

If E is a subset of ℝn (n ≥ 1) we define the distance set of E as

The best known result on distance sets is due to Steinhaus [11], namely, that, if E ⊂ ℝn is measurable with positive n-dimensional Lebesgue measure, then D(E) contains an interval [0, ε) for some ε > 0. A number of variations of this have been examined, see Falconer [6, p. 108] and the references cited therein.

If E1 and E2 are subsets of ℝn and a- is an isometry or similarity transformation, it is useful to be able to estimate the Hausdorff dimension of E1 ∩ σ(E2) in terms of the dimensions of E1 and E2. If E1 and E2 are compact, then, as σvaries, dim (El ∩ σ(E2)) is “in general” at most max (dim E1 + dim E2 − n, 0) and “often” at least this value (see Mattila [9] and Kahane [7] for more precise statements of these ideas). However, as we shall see, it is possible to construct non-compact sets E of any given dimension that are “sufficiently dense” in ℝn to ensure that dim (E ∩ σ(E)) = dim E for all similarities σ More generally, we shall show that for each s there are large classes of sets & of dimensions between s and n, closed under reasonable transformations including similarities, such that the intersection of any countable collection of sets in & has dimension at least s. Such collections of sets are required, for example, in the constructions of subsets of ℝn with certain dimensional properties given by Davies [1] and Falconer [5].

A basic notion in the classical theory of differentiation is that of a differentiation base. However, some differentiation type theorems only require the less restricted notion of a contraction. We demonstrate that the classical criteria, such as the covering criteria of de Possel, continue to hold in the new setting.

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?

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.