More on k-sets of finite sets in the plane (Q1079816)

Für eine Menge S mit \(| S| =n\) in der Euklidischen Ebene \(E^ 2\) wird eine Untermenge S' von S als eine k-Menge von S, \(1\leq k\leq n-1,\) bezeichnet, wenn S' aus genau k Punkten besteht und wenn sie von S durch eine Gerade (disjunkt zu S) abgeschnitten werden kann. Es bezeichne \(f_ k(S)\) die Anzahl der k-Mengen, die aus S erhalten werden können, und es sei weiter \(f_ k(n)=\max \{f_ k(T)| \quad T\subset E^ 2,\quad | T| =n\}\) für \(1\leq k\leq n-1.\) Zur Bestimmung von \(f_ k(n)\) kann man sich wegen \(f_ k(n)=f_{n-k}(n)\) auf die Werte \(k: 1\leq k\leq [n]\) beschränken. \(f_ k(n)\) ist nur für \(k=1:\) \(f_ 1(n)=n\) und \(k=2:\) \(f_ 2(n)=[3n/2]\) genau bekannt. Für beliebige k existieren lediglich untere und obere Schranken für \(f_ k(n).\) Für die Mengen S und \(K\subseteq \{1,2,...,[n]\}\) bezeichne \(f_ K(S)=\sum_{k\in K}f_ k(S)\) und \(f_ K(n)=\max \{f_ K(T)| \quad T\subset E^ 2,\quad | T| =n\}.\) Der Verf. zeigt dann, daß für jede natürliche Zahl n und für \(K\neq \emptyset\) gilt: \(f_ K(n)\leq 2^{3/2} n(\sum_{k\in K}k)^{1/2},\) woraus leicht die weitere Abschätzung folgt: \(f_ K(n)\leq cn^{3/2} | K|^{1/2},\) in der c eine Konstante bezeichnet. Darüberhinaus leitet der Autor noch weitere interessante Ungleichungen für eine mit \(f_ k(S)\) eng verwandte geometrische Größe her.