I propose a definition of “κ-Souslin operation”, for uncountable cardinals κ, which for certain applications in measure theory seems an appropriate generalization of the usual Souslin operation.

The aim of this paper is to prove the following

THEOREM. Let M be a C∞ compact and strictly convex surface embedded in the euclidean space E3 or in the hyperbolic space H3. We suppose that all shadow-lines ofM are congruent. Then M is a euclidean 2-sphere or a hyperbolic 2-sphere respectively.

Let M be a convex body, i.e., a compact, convex set with non-empty interior, in n-dimensional Euclidean space En. A chord [a, b] of M is said to be an affine diameter of M, if, and only if, there exists a pair of (different) parallel supporting hyperplanes of that body, each containing one of the points a, b. The following result of Eggleston (cf. [1] and [2]) is well-known. A convex figure M Ì E2 is a triangle, if, and only if, each of its interior points belongs to exactly three affine diameters. In [3] this result is sharpened. A convex figure M Ì E2 is a triangle, if, and only if, each of its interior points belongs to at least two, but a finite number of affine diameters. A natural problem for the n-dimensional case, based on Eggleston's result, is the following (cf. also [4]). Is it true that the n-dimensional simplex is the only convex body in En such that through each interior point pass precisely 2n − l affine diameters? For the case of convex polytopes, i.e., convex bodies with a finite number of extreme points, we shall give a positive answer to this question.

Let ci, and di, (1≤i≤s) be rational integers, and k and n be natural numbers. We shall consider the solubility over the p-adic integers ℤp of the pair of additive equations

Sets of the general form

where U is a subset of ℛk and is a family of subsets of U indexed by a set J, are common in the theory of Diophantine approximation [4, 7, 18, 19]. They are also closely connected with exceptional sets arising in analysis and with sets of “small divisors” in dynamical systems [1, 8, 15”. When J is the set of positive integers ℕ, the set Λ(ℱ) is of course the lim-sup of the sequence of sets Fj, j = 1, 2,… [11, p. 1]. We will also call sets of the form (1), with the more general index set J, lim-sup sets. When such lim-sup sets have Lebesgue measure zero, it is of interest to determine their Hausdorff dimension. It is usually difficult to obtain a good lower bound for the Hausdorff dimension (and it can be much harder to determine than an upper bound). In this paper we will obtain a lower bound for the dimension of lim-sup sets of the form (1) for a fairly general class of families ℕ which includes a range of results in the theory of Diophantine approximation. This lower bound depends explicitly on the geometric structure and distribution in U of the sets Fα in ℕ.

Let Vo be a discrete real valuation of a field K and x an indeterminate. In 1936, MacLane [3] gave a method of constructing all real valuations of K(x) which are extensions of Vo. In this paper, we determine explicitly all rank 2 valuations of K(x) which extend Vo. One can thereby describe all rank 2 valuations of K(x, y) which are trivial on an arbitrary K; x, y being algebraically independent over the field K. The latter valuations have been considered by Zariski [5] in the case when K is an algebraically closed field of characteristic zero.

Of prime concern in this paper is the flow induced in a channel when a thermal wave moves along a boundary with topographical features. The principal result obtained is that the time-averaged flow in the channel is predominantly cellular in nature, which is qualitatively quite different from its unidirectional form when such structures are absent.

Let A = {ala2,…, an} be a finite set of (not necessarily distinct) positive integers and

be the corresponding set of multiples. My primary object here is to show that in fairly general circumstances there are significant irregularities in B(A), regarded as an ordered sequence.

If a scattered compact space K is such that its ω1-th derived set K(ω1) is empty then the Banach space ℒ(K) admits an equivalent locally uniformly convex norm.

In this paper some new Opial-type integrodifferential inequalities in one variable are established. These generalize the existing ones which have a wide range of applications in the study of differential and integral equations.

For each odd prime p there is a finite regular abstract 4-dimensional polytope of type {3, 3, p}. Its cells are simplices, and its vertex figures belong to an infinite family of regular polyhedra. We also give a geometric realization for these polytopes.

We determine what is the maximum possible (by volume) portion of the three-dimensional Euclidean space that can be occupied by a family of non-overlapping congruent circular cylinders of infinite length in both directions. We show that the ratio of that portion to the whole of the space cannot exceed π/√12 and it attains π/√12 when all cylinders are parallel to each other and each of them touches six others. In the terminology of the theory of packings and coverings, we prove that the space packing density of the cylinder equals π/√12, the same as the plane packing density of the circular disk.