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.
§1. Let f(x) = x′Ax be a positive definite or semi–definite n-ary quadratic form with real symmetric matrix A. Then, f is Minkowski-reduced, if for all sets of integers m1, …, mn with gcd (mi, …, mn) = 1,
Let N be a positive integer. We are concerned with the sum
Thus GN(N) is the ordinary Gauss sum. Previous methods of estimating such exponential sums have not brought to light the peculiar behaviour of GN(m) for m < N/2, namely that, for almost all values of m, GN(m) is in the vicinity of the point . A sharp estimate is given for max |GN(m)|, depending on the residue of N modulo 4. The results were suggested by graphs of GN(m) made for N near 1000. The analysis employs the Fresnel integrals and the Cornu spiral whose curvature is proportional to its arc length.
In Hausdorff topological spaces there are currently three definitions of analytic sets due respectively to Choquet [1], Sion [8], and Frolīk [3, 4]. Here it is shown that these definitions are equivalent.
In the above paper [1] there is an error in the statements of Proposition 1 and Theorem 1 which we shall now correct. The principal results, Theorems 2 and 3, are unaffected.
§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).