Osculatory Packings by Spheres
If U is an open set in Euclidean N-space EN which has finite Lebesgue measure |U| then a complete packing of U by open spheres is a collection C={Sn} of pairwise disjoint open spheres contained in U and such that Σ∞n=1|Sn| = |U|. Such packings exist by Vitali's theorem. An osculatory packing is one in which the spheres Sn are chosen recursively so that from a certain point on Sn+1 is the largest possible sphere contained in (Here S- will denote the closure of a set S). We give here a simple proof of the "well-known" fact that an osculatory packing is a complete packing. Our method of proof shows also that for osculatory packings, the Hausdorff dimension of the residual set is dominated by the exponent of convergence of the radii of the Sn.