Ugrás a tartalomhoz

Convex Geometry

Csaba Vincze (2013)

University of Debrecen

3.4 Excercises

3.4 Excercises

Excercise 3.4.1 Let D be the set consisting of the elements

v 1 = ( 1,0 ) , v 2 = ( 1,3 ) , v 3 = ( 4,3 ) , v 4 = ( 4,0 )

in the coordinate plane. Find a Radon's partition for D.

Excercise 3.4.2 Let D be the set consisting of the elements

v 1 = ( 1,1 ) , v 2 = ( 4,1 ) , v 3 = ( 5,2 ) , v 4 = ( 2,3 ) , v 5 = ( 2,2 )

in the coordinate plane. Find a Radon's partition for D.

Excercise 3.4.3 Let D be the set consisting of the elements

v 1 = ( 2,0 , - 1 ) , v 2 = ( 1,1 , 2 ) , v 3 = ( 0 , - 1,1 ) , v 4 = ( - 1,0 , 0 ) ,

v 5 = ( 1,0 , 1 ) , v 6 = ( 0 , - 3,3 )

in the coordinate space of dimension 3. Find a Radon's partition for D.

Excercise 3.4.4 Prove the one-dimensional version of Helly's theorem.

Hint. Use that real numbers form an Archimedean complete totally ordered field.

Excercise 3.4.5 Let B be the collection consisting of convex subsets

B 1 , , B k

in the coordinate space of dimension n. Prove that if k is at least n and every subfamily of n sets in B has a non-empty intersection then the family of all sets in B has a common transversal parallel to any given 1-dimensional affine subspace/line in the space.

Hint. Let a 1-dimensional affine subspace be given and consider its orthogonal complement of dimension n - 1. Use Helly's original theorem3.3.1 to find a common point for the projected sets.

Excercise 3.4.6 How to generalize Corollary 3.3.4 to the coordinate space of dimension n?

Excercise 3.4.7 Why Corollary 3.3.4 is a special case of Klee's second theorem?

Excercise 3.4.8 How to generalize Jung's theorem 3.3.5 to the coordinate space of dimension three?

Excercise 3.4.9 How to generalize inequality 3.16 to the coordinate space of dimension three?