Published online by Cambridge University Press: 24 October 2008
Let K be a closed, bounded, symmetric convex domain with centre at the origin O and gauge function F(x). By a homothetic translate of K with centre a and radius r we mean the set {x: F(x−a) ≤ r}. A family ℳ of homothetic translates of K is called a saturated family or a saturated system if (i) the infimum r of the radii of sets in ℳ is positive and (ii) every homothetic translate of K of radius r intersects some member of ℳ. For a saturated family ℳ of homothetic translates of K, let S denote the point-set union of the interiors of members of ℳ and S(l), the set S ∪ {x: F(x) ≤ l}. The lower density ρℳ(K) of the saturated system ℳ is defined by
where V(S(l)) denotes the Lebesgue measure of the set S(l). The problem is to find the greatest lower bound ρK of ρℳ(K) over all saturated systems ℳ of homothetic translates of K. In case K is a circle, Fejes Tóth(9) conjectured that
where ϑ(K) denotes the density of the thinnest coverings of the plane by translates of K. In part I, we state results already known in this direction. In part II, we prove that ρK = (¼) ϑ(K) when K is strictly convex and in part III, we prove that ρK = (¼) ϑ(K) for all symmetric convex domains.