Helly's theorem

2010 Mathematics Subject Classification: Primary: 52A35 Secondary: 52Cxx [MSN][ZBL]

Helly's theorem on the intersection of convex sets with a common point: Let be a family of at least convex sets in an -dimensional affine space , where either is finite or each set in is compact; if each sets of the family have a common point, then there is a point that is common to all the sets of .

Many studies are devoted to Helly's theorem, concerning applications of it, proofs of various analogues, and propositions similar to Helly's theorem generalizing it, for example, in problems of Chebyshev approximation, in the solution of the illumination problem, and in the theory of convex bodies (cf. Convex body). Frequently, Helly's theorem figures in proofs of combinatorial propositions of the following type: If in a certain family each subfamily of terms has a certain property, then the whole family has this property. For example, if and are two points of a set , then the expression "a is visible from b in K" means that the segment belongs to . Suppose that a compact set has the property that for any points in there is a point in from which all these points are visible; then there is a point in from which all the points of are visible, that is, is a star-shaped set.

The majority of analogues of Helly's theorem and its generalizations are connected with various versions of the concept of "convexity" . For example, let be a Euclidean sphere; a set is called convex in the sense of Robinson if, together with every pair of points that are not diametrically opposite, it contains the smaller arc joining these points of the great circle defined by them. If a family of closed sets of that are convex in the sense of Robinson is such that any elements of it have a non-empty intersection, then all the elements of this family have a non-empty intersection.

Helly's theorem was established by E. Helly in 1913.

Contents

References

 [1] L. Danzer, B. Grünbaum, V.L. Klee, "Helly's theorem and its relatives" V.L. Klee (ed.) , Convexity , Proc. Symp. Pure Math. , 7 , Amer. Math. Soc. (1963) pp. 101–180

References

 [a1] V.W. Bryant, R.J. Webster, "Generalizations of the theorems of Radon, Helly, and Caratheodory" Monatsh. Math. , 73 (1969) pp. 309–315

Helly's theorem in the theory of functions: If a sequence of functions , of bounded variation on the interval converges at every point of this interval to a certain function and if the variations of all functions are uniformly bounded:

then the limit function is also of bounded variation on , and

for any continuous function on .

L.D. Kudryavtsev