§5. Some C(K) spaces that are not σ-fragmented. In [16] we remarked that the space (l∞, weak) is not σ-fragmented. Rosenthal [19] gives a number of conditions that ensure that a C(K) space contains an isomorphic copy of l∞. A Banach space is said to be injective if it is complemented in every Banach space containing it isomorphically. Rosenthal proves that every infinite dimensional injective Banach space contains a subspace isomorphic to l∞. It is known (see, for example, Day [2]) that C(K) is injective if K is extremally disconnected. Thus C(K) is not σ-fragmented when K is an infinite compact Hausdorff space that is extremally disconnected.

Dörner [8] has recently proved a result for systems of additive equations over algebraic number fields, which we restate in a more specific setting.

§1. Introduction. In this paper we give a new proof of a theorem of Bombieri and Davenport [2, Theorem 1]. Let t(–k) = t(k) be real,

where e(u) = e2πiu. Let p and p' denote primes, k an integer, and define

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

Abstract. We show that the set of T-numbers in Mahler's classification of transcendental numbers supports a measure whose Fourier transform vanishes at infinity. A similar argument shows that U-numbers also support such a measure.

§1. Introduction. In 1985, Sárkõzy [11] proved a conjecture of Erdõs [2] by showing that the greatest square factor s(n)2 of the “middle” binomial coefficient satisfies for arbitrary ε > 0 and sufficiently large n

Where

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

Given ξ in [0, 1] let ξ = [0, a1, a2…] denote a simple continued fraction expansion of ξ Given the expansion ξ = [0, a1, a2, …] let

Thus with the conventions p1 = q0 = 1 and q−1 = p0 = 0 we have

Abstract. We consider the structure of the Kac modules V(Λ) for dominant integral doubly atypical weights Λ of the Lie superalgebra s1(2/2). Primitive vectors of V(Λ) are constructed and it is shown that the number of composition factors of V(Λ) for such Λ is in exact agreement with the conjectures of [HKV]. These results are used to show that the extended Kac-Weyl character formula which was proved in [VHKTl] for singly atypical simple modules of s1(m/n), and conjectured to be valid for all finite dimensional irreducible representations of sl(m/n) in [VHKT2] is in fact valid for all finite-dimensional doubly atypical simple modules of s1(2/2).

Abstract. For F a field we compute, explicitly and directly, the right Krull dimension of the algebra Qop⊗FQ for certain semisimple Artinian F-algebras Q. (Here Qop denotes the opposite ring of Q.) We use our calculation to give alternative proofs of some theorems of J. T. Stafford and A. I. Lichtman. Our methods involve a detailed study of skew polynomial rings.

The second theorem of Minkowski establishes a relation between the successive minima and the volume of a 0-symmetric convex body. Here we show corresponding inequalities for arbitrary convex bodies, where the successive minima are replaced by certain successive diameters and successive widths.

We further give some applications of these results to successive radii, intrinsic volumes and the lattice point enumerator of a convex body.

Let A and B be two compact, convex sets in ℝn, each symmetric with respect to the origin 0. L is any (n - l)-dimensional subspace. In 1956 H. Busemann and C. M. Petty (see [6]) raised the question: Does vol (A ⌒ L) < vol (B ⌒ L) for every L imply vol (A) < vol(B)? The answer in case n = 2 is affirmative in a trivial way. Also in 1953 H. Busemann (see [4]) proved that if A is any ellipsoid the answer is affirmative. In fact, as he observed in [5], the answer is still affirmative if A is an ellipsoid with 0 as center of symmetry and B is any compact set containing 0.

In Theorem 7.13 of [1], Proposition 3.1 of [5], and Theorem 1 of [10], minimal group actions on R-trees are considered. If a group G acts on a tree T, then a Lyndon length function lu is associated with each point u∈T. Abstract minimal length functions are defined in Section 2 of this paper by a simple reduction process, where lengths of elements are reduced by a fixed amount (except that any length must remain non-negative). It is shown in Theorem 2.3 that minimal length functions correspond to minimal actions by following Chiswell's construction of actions on trees from length functions, given in [4]. A parallel result to Theorem 1 of [10] is given for minimal length functions in Theorem 2.2. One outcome of these results is that to determine which length functions can arise from an action of a group on the same tree, it suffices to consider only minimal length functions. Section 1 is concerned with some preparatory properties on lengths of products of elements. These lead in Proposition 1.6 to an alternative description of the maximal trivializable subgroup associated with a length function, defined in [3].

Let R be a commutative, Noetherian ring and let Q be the total quotient ring of R. We shall call B an intermediate ring if R ⊂ B ⊂ Q. In [S] it is proved, for an integral domain R, that if R ⊂ B ⊂ Rf where B is flat over R, then B is a finitely generated R-algebra. We observe that the result holds for any commutative, Noetherian ring where f is a non-zero divisor. Our proof [Theorem 1.1] is a little different and straight; it is given for completeness. The idea of the proof in [S] lies in finding an ideal I of R such that IB = B, and for any λ∈I, b∈B there exists m ≥ 1 such that λmb ∈ R. We shall show that even if an intermediate ring B is finitely generated R-algebra, there may not exist any ideal I of R such that IB = B, moreover, if B is not finitely generated R-algebra, we may have IB = B for some ideal I in R.

In [7] the notion of minimal pairs of convex compact subsets of a Hausdorff topological vector space was introduced and it was conjectured, that minimal pairs in an equivalence class of the Hörmander-Rådström lattice are unique up to translation. We prove this statement for the two-dimensional case. To achieve this we prove a necessary and sufficient condition in terms of mixed volumes that a translate of a convex body in ℝn is contained in another convex body. This generalizes a theorem of Weil (cf. [10]).

An upper bound for the “sausage catastrophe” of dense sphere packings in 4-space is given.

A basic problem in the theory of finite packing is to determine, for a given positive integer k, the minimal volume of all convex bodies into which k translates of the unit ball Bd of the Euclidean d-dimensional space Ed can be packed ([5]). For d = 2 this problem was solved by Groemer ([6]).

An explicit formula is given for the volume of the polar dual of a polytope. Using this formula, we prove a geometric criterion for critical (w.r.t. volume) sections of a regular simplex.

Let K ⊂ Rd be a convex body and choose points xl, x2, …, xn randomly, independently, and uniformly from K. Then Kn = conv {x1, …, xn} is a random polytope that approximates K (as n → ∞) with high probability. Answering a question of Rolf Schneider we determine, up to first order precision, the expectation of vol K – vol Kn when K is a smooth convex body. Moreover, this result is extended to quermassintegrals (instead of volume).

Let K be a convex body in Euclidean space Rd, d≥2, with volume V(K) = 1, and n ≥ d +1 be a natural number. We select n independent random points y1, y2, …, yn from K (we assume they all have the uniform distribution in K). Their convex hull co {y1, y2, …, yn} is a random polytope in K with at most n vertices. Consider the expected value of the volume of this polytope

It is easy to see that if U: Rd → Rd is a volume preserving affine transformation, then for every convex body K with V(K) = 1, m(K, n) = m(U(K), n).