Abstract
We say that a convex set K in ℝd strictly separates the set A from the set B if A ⊂ int(K) and B ⋂ cl K = ø. The well-known Theorem of Kirchberger states the following. If A and B are finite sets in ℝd with the property that for every T ⊂ A⋃B of cardinality at most d + 2, there is a half space strictly separating T ⋂ A and T ⋂ B, then there is a half space strictly separating A and B. In short, we say that the strict separation number of the family of half spaces in ℝd is d + 2.
In this note we investigate the problem of strict separation of two finite sets by the family of positive homothetic (resp., similar) copies of a closed, convex set. We prove Kirchberger-type theorems for the family of positive homothets of planar convex sets and for the family of homothets of certain polyhedral sets. Moreover, we provide examples that show that, for certain convex sets, the family of positive homothets (resp., the family of similar copies) has a large strict separation number, in some cases, infinity. Finally, we examine how our results translate to the setting of non-strict separation.
Similar content being viewed by others
References
K. Bezdek, Z. Lángi, M. Npaszódi and P. Papez, Ball-polyhedra, Discrete Comput. Geom., 38 (2007), 201–230.
H. E. Debrunner, Helly type theorems derived from basic singular homology, Amer. Math. Monthly, 77 (1970), 375–380.
P. M. Gruber and J. M. Wills, Handbook of Convex Geometry, North-Holland, Amsterdam, 1993, 402–403.
B. Grünbaum, Venn Diagrams and Independent Families of Sets, Mathematics Magazine, 48 (1975), 12–23.
Á. G. Horváth, On bisectors in Minkowski normed spaces, Acta Math. Hungar., 89 (2000), 233–246.
M. E. Houle, Theorems on the Existence of Separating Surfaces, Discrete Comput. Geom., 6 (1991), 49–56.
P. Kirchberger, Über Tchebychefsche Annäherungsmethoden, Math. Ann., 57 (1903), 509–540.
S. R. Lay, Separating two compact sets by a parallelotope, Proc. Amer. Math. Soc., 79 (1980), 279–284.
Author information
Authors and Affiliations
Corresponding author
Additional information
Partially supported by the Alberta Ingenuity Fund.
Partially supported by a postdoctoral fellowship of the Pacific Institute for the Mathematical Sciences.
Rights and permissions
About this article
Cite this article
Lángi, Z., Naszódi, M. Kirchberger-type theorems for separation by convex domains. Period Math Hung 57, 185–196 (2008). https://doi.org/10.1007/s10998-008-8185-6
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10998-008-8185-6