On the existence of completely saturated packings and completely reduced coverings (Q1397922)

A nonempty connected compact set with interior points in \(n\)-dimensional Euclidean or hyperbolic space \(S\) is called a body. A packing by a body \(K\) is a collection \(P=\{K_1,K_2,\dots\}\) of congruent copies of \(K\) with pairwise disjoint interiors, and a covering by \(K\) implies that any \(x\in S\) belongs to some member of such a collection. A completely saturated packing \(P\) is such that for no finite packing \(F_1\subset P\) there exists another finite packing \(F_2\) with more bodies than \(F_1\) such that \((P\setminus F_1)\cup F_2\) is a packing. A completely reduced packing is defined analogously, with less bodies. The author proves the conjecture of \textit{G. Fejes Tóth}, \textit{G. Kuperberg} and \textit{W. Kuperberg} [Monatsh. Math. 125, 127-145 (1998; Zbl 0901.52020)] that any body \(K\subset S\) admits a completely saturated and a completely reduced covering. Further interesting results, e.g. on the density of completely saturated packings, are obtained, too.