To save content items to your account,
please confirm that you agree to abide by our usage policies.
If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account.
Find out more about saving content to .
To save content items to your Kindle, first ensure no-reply@cambridge.org
is added to your Approved Personal Document E-mail List under your Personal Document Settings
on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part
of your Kindle email address below.
Find out more about saving to your Kindle.
Note you can select to save to either the @free.kindle.com or @kindle.com variations.
‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi.
‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.
§0. Einführung. Durch die bekannten Croftonschen Integrale können bekanntlich die Minkowskischen Quermaβintegrale konvexer Körper dargestellt werden. In der vorliegenden Note betrachten wir gewisse Erweiterungen dieser klassischen integralgeometrischen Formeln, durch die allgemeinere invariante Eikörperfunktionale gegeben sind. Es handelt sich hierbei um kinematische Integrale mit beweglichen unterdimensionalen Teilräumen, wobei passend gewahlte Funktionen ihrer Abstände vom Eikörper eingehen.
It is well known that two Borel subsets of the unit interval are Borel isomorphic, if, and only if, they have the same cardinality. The problem of the existence of analytic, non-Borelian subsets of the unit interval, which are not Borel isomorphic, has not been resolved within ZFC. With the additional assumption of the existence of an uncountable coanalytic set which does not contain a perfect set, it has been shown that there are at least three Borel isomorphism classes of analytic non-Borelian sets [4, 5].
Let w = f(z) be regular and schlicht for |z|, and f (0) = 0.
Suppose that f maps the unit disc {z : |z| < 1} onto a domain D starlike with respect to w = 0. Let C(r, θ) be the image in D of the ray joining z = 0 to z = reiθ, and let
be its length. Sheil–Small [1] proved that l(r, θ) < (1 + log 4) | f (reiθ)|, and conjectured the following result, which it is my aim to prove in this paper.
If an integer does not have a k-th power of a positive integer, other than 1, for a divisor, it is said to be k–free. Let f(n) be an irreducible polynomial, with rational integer coefficients, of degree g, having no fixed k-th power divisors other than 1. We define
i.e. Nk(x) is the number of positive integers n not exceeding x such that f(n) is k-free. One would expect that f(n) is square-free for infinitely many n and further that, given x sufficiently large, there is an n with x < n ≤ x + h, such that f(n) is square-free for h = 0(x2) where ε is any real number > 0. These conjectures, however, seem to be extraordinarily difficult to prove. We begin with a brief account of the best results that have been attained so far.
In a compact group G, a sequence (Fn) of finite sets is uniformly distributed if the averaging operators
are uniformly convergent to the mean for continuous complex-valued functions f. In any compact metric group, there are uniformly distributed sequences of finite sets which are determined by a metric for the group. In some compact groups, there are uniformly distributed sequences of finite sets which are determined by the algebraic structure. A necessary and sufficient condition for a sequence of finite sets to be uniformly distributed in a compact metric group is that for any metric d for G and each εG, there is a sequence of one-to-one maps pn: Fn→ Fn such that
In this chapter, the concept of ‘parallelism’ is generalized in two ways. First, observing that (in the notation of Steiner systems) a parallelism is a resolution or partition of S(t, t, n) into systems S(l, t, n), I discuss other resolution problems, commencing with Kirkman's schoolgirl problem. Secondly, a more direct generalization is given, and a little of its theory is developed.
Kirkman originally suggested a problem which we may separate into three parts as follows.
(i) How may 15 schoolgirls go for a walk in 5 rows of 3? The answer is simply a partition S(1, 3, 15). (It has been suggested that the S stands for ‘schoolgirls’!)
(ii) How may the schoolgirls walk every day for a week, the walk on each day conforming with condition (i), so that any two girls walk together just once? The answer is a resolution (which we shall write S(2, 3, 15) ← S(1, 3, 15)) of a Steiner triple system on 15 points. (7 is the right number, since S(2, 3, 15) has 5. 7 blocks.) A Steiner triple system (on v points) possessing such a resolution is called a Kirkman system. The problem was solved by Kirkman [22], [23] for v = 15; over 120 years later, Ray-Chaudhuri and Wilson [25] proved that a Kirkman system S(2, 3, v) exists if and only if v = 3 (mod 6).
The notion of ‘parallelism’ has always played an important role in mathematics. Euclid's famous ‘parallel postulate’ (in the form, due to Proclus, known as ‘Playfair's axiom’) asserted that, given any line and any point in the plane, the given point lies on a unique line parallel to the given line. A long history of controversy surrounded the question of whether this postulate is self-evident, or even necessarily true. The controversy was laid to rest when it was demonstrated that ‘noneuclidean geometries’, in which Euclid's postulate fails, are valid objects of mathematical study.
The point of view in this book is the opposite of that of noneuclidean geometry, which abandons the parallel postulate while retaining the other geometric axioms. The parallelisms studied here satisfy the parallel postulate, but all other restrictive conditions are cleared away; in place of geometric ‘lines’, I consider all subsets of the point set X which have cardinality t, for some given integer t. Thus the parallel relation is the only structure these ‘geometries’ possess.
The book is largely self-contained. Each chapter except the last is followed by one or more appendices treating topics relevant to that chapter. A glance at the titles of the appendices shows that the theory of parallelisms draws on (and often enriches) such diverse areas of finite mathematics as network flows, perfect codes, designs, Latin squares, and multiply-transitive permutation groups.
In [1], P. X. Gallagher introduced a new sieve which is designed to produce better estimates than the large sieve when a vast number of congruence classes are chosen for each of the sieving primes. By making more explicit use of the principles underlying the sieve, these estimates can be improved and generalized to the case of complex quadratic fields. We shall see that the resulting estimates are best possible, if there are only a bounded number of unsieved classes per prime.
In this paper we are interested in two related measures of the degree of approximation of a complex number ζ by algebraic numbers. For a given integer n ≥ 1, write wn(ζ) for the supremum of the exponents w for which
for infinitely many polynomials
in Z[x] of height H(P) = max |av|. Clearly 0 ≤ w1 (ζ) ≤ w2 (ζ) ≤ …. On the other hand, write for the supremum of the exponents w for which
for infinitely many algebraic numbers α of degree at most n.