The paper deals with the problem of estimating the distance, in radial or Hausdorff metrics, between two centred star bodies of Rd, d≤3, in terms of the distance between the corresponding intersection bodies.

Let C be a convex cone in ℛd with non-empty interior and a compact basis K. If H1 and H2 are any two parallel hyperplanes tangent to K, whose slices with C are two other compact basis K1 and K2, let D, D1 and D2 be the truncated subcones of C generated by K, K1 and K2. We prove that K is an ellipsoid if, and only if, vol (D)2 = vol (D1) vol (D2) for every such pair of hyperplanes H1, and H2.

Mixings of stationary Poisson hyperplane tessellations in d-dimensional Euclidean space are considered. The intention of the paper is to show that the 0-cell of a mixed stationary Poisson hyperplane tessellation Y is in some sense larger than that of stationary Poisson hyperplane tessellations Y' with the same intensity and directional distribution as Y. Related results concerning the moments for the volume of the 0-cell are derived. In special cases, similar statements with respect to the typical cell are proved.

In a real n-1 dimensional affine space E, consider a tetrahedron T 0, i.e. the convex hull of n points α1, α2, …, αn of E. Choose n independent points β1, β2, …, βn randomly and uniformly in T 0, thus obtaining a new tetrahedron T 1 contained in T 0. Repeat the operation with T 1 instead of T 0, obtaining T 2, and so on. The sequence of the T k shrinks to a point Y of T 0 and this note computes the distribution of the barycentric coordinates of Y with respect to (α1, α2, …, αn ) (Corollary 2.3). We also obtain the explicit distribution of Y in more general cases. The technique used is to reduce the problem to the study of a random walk on the semigroup of stochastic (n,n) matrices, and this note is a geometrical application of a former result of Chamayou and Letac (1994).

Let us consider, in the Euclidean space E n , a fixed n-dimensional convex body K 0 of volume V 0 and a system K 1,…,K m of mn-dimensional convex bodies, congruent to a convex set K. Assume that the sets K i (i = 1,…,m) have random positions, being stochastically independent and uniformly distributed on a limited domain of E n and denote by V m the volume of the convex body K m = K 0 ∩ (K 1 ∩ … ∩ K m ). The aim of this paper is the evaluation of the second moment of the random variable V m .

The problem of estimating an unknown compact convex set K in the plane, from a sample (X 1,···,X n ) of points independently and uniformly distributed over K, is considered. Let K n be the convex hull of the sample, Δ be the Hausdorff distance, and Δn := Δ (K, K n ). Under mild conditions, limit laws for Δn are obtained. We find sequences (a n ), (b n ) such that

(Δn - b n )/a n → Λ (n → ∞), where Λ is the Gumbel (double-exponential) law from extreme-value theory. As expected, the directions of maximum curvature play a decisive role. Our results apply, for instance, to discs and to the interiors of ellipses, although for eccentricity e < 1 the first case cannot be obtained from the second by continuity. The polygonal case is also considered.

This paper has a twofold purpose. The first is to compute the Euler characteristics of hyperbolic Coxeter groups Ws of level 1 or 2 by a mixture of theoretical and computer aided methods. For groups of level 1 and odd values of |S|, the Euler characteristic is related to the volume of the fundamental region of Ws in hyperbolic space. Secondly we note two methods of imbedding such groups in each other. This reduces the amount of computation needed to determine the Euler characteristics and also reduces the number of essentially different hyperbolic groups that need to be considered.

For a stationary point process X of sets in the convex ring in ℝd , a relation is given between the mean particles of the section process X ∩ E (where E varies through the set of k-dimensional subspaces in ℝd ) and a mean particle of X. In particular, it is shown that the mean bodies of all planar sections of X determine the Blaschke body of X and hence the mean normal distribution of X.

A random polytope, Kn, is the convex hull of n points chosen randomly, independently, and uniformly from a convex body It is shown here that, with high probability, Kn can be obtained by taking the convex hull of m = o(n) points chosen independently and uniformly from a small neighbourhood of the boundary of K.

Given a convex function u, defined in an open bounded convex subset Ω of ℝn, we consider the set

where η is a Borel subset of Ω,ρ is nonnegative, and ∂u(x) denotes the subgradient (or subdifferential) of u at x. We prove that Pp(u; η) is a Borel set and its n-dimensional measure is a polynomial of degree n with respect to ρ. The coefficients of this polynomial are nonnegative measures defined on the Borel subsets of Ω. We find an upper bound for the values attained by these measures on the sublevel sets of u. Such a bound depends on the quermassintegrals of the sublevel set and on the Lipschitz constant of u. Finally we prove that one of these measures coincides with the Lebesgue measure of the image under the subgradient map of u.

A number of known estimates of the number of translates, or lattice translates, of a convex body H required to cover a convex body K are obtained as consequences of two simple results.

In this paper we prove that a maximal common summand of two compact convex sets in R2 is unique up to translation.

The prototype of isoperimetric problems is to minimize the surface area of a convex body with given volume. The minimal body is naturally the suitable ball. The solution to this problem in the planar case was already known to the ancient Greeks. In the higher dimensional cases, the first proofs were provided with the help of Steiner's symmetrization method towards the end of the last century. Important later contributors are, among others, Minkowski, Blaschke, Hadwiger. By their work, the optimality of the ball has been also verified for a much wider class of sets (see [14]).

The sum or Minkowski addition of two subsets, A, B ⊂ En is defined by:

C. M. Petty has conjectured the minimum value for a certain affine-invariant functional denned on the class of convex bodies. We give sharp bounds for this functional on a certain subclass of convex bodies, and we give a counterexample to an upper bound proposed by R. Schneider for the class of centrally symmetric convex bodies. We conjecture that the simplex provides the maximum on the class of all convex bodies, while the largest centrally symmetric subset of a simplex gives a sharp upper bound on the class of all centrally symmetric convex bodies.

We determine all continuous translation invariant simple valuations on the space of convex bodies in d-dimensional Euclidean space.

Methods of estimation of the oriented direction distribution (i.e. the distribution of unit outer normals over the boundary) of a planar set from the convex ring are proposed. The methods are based on an estimation of the area dilation of the investigated set by chosen test sets.

Is the intersection between an arbitrary but fixed plane and the spatial Poisson Voronoi tessellation a planar Voronoi tessellation? In this paper a negative answer is given to this long-standing question in stochastic geometry. The answer remains negative for the intersection between a t-dimensional linear affine space and the d-dimensional Poisson Voronoi tesssellation, where 2 ≦ t ≦ d − 1. Moreover, it is shown that each cell on this intersection is almost surely a non-Voronoi cell.

The Hausdorff distance between a compact convex set K ⊂ ℝd and random sets is studied. Basic inequalities are derived for the case of being a convex subset of K. If applied to special sequences of such random sets, these inequalities yield rates of almost sure convergence. With the help of duality considerations these results are extended to the case of being the intersection of a random family of halfspaces containing K.

In this paper we show that the Lorentz space Lw, 1(0, ∞) has the weak-star uniform Kadec-Klee property if and only if inft>0 (w(αt)/w(t)) > 1 and supt>0(φ(αt) / φ(t))< 1 for all α ∈ (0, 1), where φ(t) = ∫t0 w(s) ds.