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 the paper, we provide an effective criterion for the Lipschitz equivalence of two-branch Cantor sets and three-branch Cantor sets by studying the irreducibility of polynomials. We also find that any two Cantor sets are Lipschitz equivalent if and only if their contraction vectors are equivalent provided one of the contraction vectors is homogeneous.

The flow induced by an oscillating circular cylinder which may perform transverse, torsional and axial vibrations is considered. The steady streaming associated with purely transverse vibrations of the cylinder may be significantly modified by the presence of, and interaction with, torsional oscillations. Similarly the interaction between the transverse and axial vibrations introduces a modification to the axial flow, which results in a steady streaming motion in the axial direction.

A (convex) d-polytope is the convex hull of a finite set of points in Euclidean d–space Ed. The (Minkowski) sum of two polytopes P1 and P2 is defined by

.

Let Λ be a lattice in 3-dimensional space which provides a double covering for spheres of unit radius. By this we mean that if X is any point of space, there are at least two distinct lattice points P, Q such that XP ≤ 1, XQ ≤ 1. Let d(Λ) be the determinant of Λ. We shall prove that

where

Kan and Thurston, in their paper [5], asked whether each smooth closed manifold other than S2 or RP2 has the same integral homology as a closed aspherical manifold. F. E. A. Johnson in [3], [4] is concerned with the answer to this question when the smooth closed manifold is an n-dimensional sphere Sn. He asked whether there exist aspherical manifolds Xг which have the homology of Sn.

In [1] I showed that for any θ belonging to (0,1) there exists a constant C(θ) such that for at least θp of the non-principal characters χ modulo the prime p we have both

and

A length function, for a group, associates to an element x a real number |x| subject to certain axioms, including a cancellation axiom which embodies certain cancellation properties for elements of a free group. Integer valued length functions were introduced by Roger Lyndon [1] where, with a more restrictive set of axioms than ours, it is shown that a length function for a group is given by a restriction of the usual length function on some free product.

Consider a slab which is made from a homogeneous and isotropic thermoelastic material and which occupies the region 0 ≤ x ≤ a, where x, y, z are the usual rectangular cartesian coordinates. Suppose that the slab undergoes a motion in which the displacement vector is parallel to the x-axis and the displacement and the temperature are functions of the coordinate x and the time t ( ≥ 0) only. Suppose too that the faces of the slab are clamped, that the face x = 0 is maintained at a constant temperature, and that heat is supplied to unit area of the face x = a at a prescribed rate h(t).

Suppose x1, x2Є[0,1] and α = log 3/ log 4. Then

The relation is readily seen to be satisfied with equality for both of X1, x2 equal to any of the values 0, ½, 1 so that the value of α is “best possible”.

A compact space K is said to have the Namioka Property, or to belong to the class *, if, for every Baire space B and every separately continuous function Ψ:B × K → ℝ, there is dense δ subset H of B such that Ψ is (jointly) continuous at all points of H × K. Although the terminology is more recent, the idea of looking at properties of this kind goes back to Namioka's paper [6] on separate and joint continuity. Talagrand [8] gave the first example of a compact space that is not in * and it is now known [4] that there are even examples of scattered compact spaces that are not in *. On the other hand, many good classes of compact spaces have been shown to be contained in *, probably the most general being the class of continuous images of Valdivia compacts [2]. The aim of this note is to prove the following stability result: a compact space which is a countable union of closed subsets with the Namioka Property does itself possess that property.

Suppose that is a distribution of N points in U0, the closed disc of unit area and centred at the origin 0. For every measurable set B in ℝ2, let Z[; B] denote the number of ponts of in B, and write

where µ denotes the usual measure in ℝ2

For finite coverings in euclidean d-space Ed we introduce a parametric density function. Here the parameter controls the influence of the boundary of the covered region to the density. This definition gives a new approach to covering which is similar to the approach for packing in [BHW1], [BHW2]. In this way we obtain a unified theory for finite and infinite covering and generalize similar results, which were developed by various authors since 1950 for d=2, to all dimensions.

We generalize the work of Sarnak and Tsimerman to twisted sums of Kloosterman sums and thus give evidence towards the twisted Linnik–Selberg conjecture.

We study the automorphic Green function $\mathop{\rm gr}\nolimits _\Gamma $ on quotients of the hyperbolic plane by cofinite Fuchsian groups $\Gamma $, and the canonical Green function $\mathop{\rm gr}\nolimits ^{\rm can}_X$ on the standard compactification $X$ of such a quotient. We use a limiting procedure, starting from the resolvent kernel, and lattice point estimates for the action of $\Gamma $ on the hyperbolic plane to prove an “approximate spectral representation” for $\mathop{\rm gr}\nolimits _\Gamma $. Combining this with bounds on Maaß forms and Eisenstein series for $\Gamma $, we prove explicit bounds on $\mathop{\rm gr}\nolimits _\Gamma $. From these results on $\mathop{\rm gr}\nolimits _\Gamma $ and new explicit bounds on the canonical $(1,1)$-form of $X$, we deduce explicit bounds on $\mathop{\rm gr}\nolimits ^{\rm can}_X$.

Employing the inverse function theorem on Banach spaces, we prove that in a $C^{2}(S^{n-1})$-neighborhood of the unit ball, the only solutions of $\unicode[STIX]{x1D6F1}^{2}K=cK$ are origin-centered ellipsoids. Here $K$ is an $n$-dimensional convex body, $\unicode[STIX]{x1D6F1}K$ is the projection body of $K$ and $\unicode[STIX]{x1D6F1}^{2}K=\unicode[STIX]{x1D6F1}(\unicode[STIX]{x1D6F1}K).$

Suppose that we have a system of congruences ai (mod ni) 1 < n1 < … < ni < … < nk such that every integer is congruent to at least one ai (mod ni), then we say that it is a covering system of congruences. If ni | m, 1 ≤ i ≤ k, we say that m is a covering number. We shall use the symbol ℕ to denote the natural numbers together with zero, then m is a covering number if, for each q there is an aq such that

We are concerned with invertible transformations of the unit n-dimensional cube In, 2 ≤ n ≤ ∞, which preserve n-dimensional Lebesgue measure μ. Following Halmos [4], we denote the space of all such transformations by G = G(In), and the subset of G consisting of homeomorphisms by M = M(In). We ask to what extent, and in what sense, can we approximate an arbitrary transformation g in G by a homeomorphism h in M. New results are obtained in the course of presenting a new proof of the theorem of J. Oxtoby and H. E. White, Jr., stated below.

Radon's theorem [8] asserts that, if X is a finite set of s points in Rd and s ≥ d + 2, then X admits a. Radon partition, that is, a partition {X1; X2} of X into disjoint subsets X1 and X2, such that

We consider a Markoff spectrum for the set of indefinite binary quadratic forms with real coefficients which represent zero non-trivially. As was done for the classical Markoff spectrum, we show that 1/3 is the largest accumulation point of the set and explicitly determine the countably infinite number of elements greater than 1/3. Unlike the situation for the classical Markoff spectrum, there is a countably infinite number of limit points greater than 1/3.