Finite sets which contain their Radon points (Q799243)

Nach einem bekannten Resultat von Radon kann man eine Familie S von \(m\geq d+2\) Punkten des d-dimensionalen euklidischen Raumes \(E^ d\) stets so in zwei disjunkte nichtleere Mengen A und B zerlegen, so daß die konvexen Hüllen um A und B nichtleeren Schnitt haben. Eine solche Zerlegung (A,B) von S heißt eine Radon-Zerlegung. Eine Radon- Zerlegung (A,B) heißt kritisch, wenn für jede Radon-Zerlegung (A',B') mit \(A'\subset A, B'\subset B\) folgt \(A'=A\) und \(B'=B.\) Ist (A,B) kritisch, so schneiden sich die konvexen Hüllen von A und B in genau einem Punkt, dem Radon-Punkt von (A,B). S heißt stabil, wenn S sämtliche Radon-Punkte enthält. In dieser Arbeit werden die stabilen Familien charakterisiert. Grundlage hierfür ist der Begriff des Kerns von S. Der Kern \(core S\) von S ist die Menge der Punkte von S, die im relativ Inneren der konvexen Hülle von S liegen. Die angegebene Charakterisierung erfolgt in drei Theoremen, die der Reihe nach die Fälle \(core S=\emptyset,\), \(core S\neq\emptyset, \dim core S<\dim S\),\(core S\neq\emptyset, \dim core S=\dim S\) behandeln. Zusätzlich werden die konvexen Polytope beschrieben, die konvexe Hüllen von stabilen Mengen sind.