# Notes About the Carathéodory Number

- 540 Downloads
- 6 Citations

## Abstract

In this paper we give sufficient conditions for a compactum in ℝ^{ n } to have Carathéodory number less than *n*+1, generalizing an old result of Fenchel. Then we prove the corresponding versions of the colorful Carathéodory theorem and give a Tverberg-type theorem for families of convex compacta.

## Keywords

Carathéodory’s theorem Helly’s theorem Tverberg’s theorem## 1 Introduction

The Carathéodory theorem [7] (see also [10]) asserts that every point *x* in the convex hull of a set *X*⊂ℝ^{ n } is in the convex hull of one of its subsets of cardinality at most *n*+1. In this note we give sufficient conditions for the *Carathéodory number* to be less than *n*+1 and prove some related results. In order to simplify the reasoning, we always consider compact subsets of ℝ^{ n }.

There are results about lowering the Carathéodory constant: A theorem of Fenchel [11] (see also [12]) asserts that a compactum *X*⊂ℝ^{ n } either has the Carathéodory number ≤*n* or can be separated by a hyperplane into two nonempty parts. By *separated* we mean “divided by a hyperplane disjoint from *X* into two nonempty parts.” In order to state more results, we need formal definitions.

### Definition 1.1

For a compactum *X*⊂ℝ^{ n }, we denote by \(\operatorname{conv}_{k} X\) the set of points *p*∈ℝ^{ n } that can be expressed as a convex combination of at most *k* points in *X*. We denote by \(\operatorname{conv}X\) (without subscript) the standard convex hull of *X*.

### Definition 1.2

The *Carathéodory number* of *X* is the smallest *k* such that \(\operatorname{conv}X = \operatorname{conv}_{k} X\).

### Remark 1.3

So, when *X*⊂ℝ^{ n }, Carathéodory’s theorem [7] is equivalent to the equality \(\operatorname{conv}X = \operatorname{conv}_{n+1} X\). We will give an alternative definition for \(\operatorname{conv}_{k} X\) in Sect. 4 as the *k*-fold join of *X*.

### Definition 1.4

A compactum *X*⊂ℝ^{ n } is *k*-convex if every linear image of *X* to ℝ^{ k } is convex.

We give some examples of *k*-convex sets. What is needed in Fenchel’s theorem is 1-convexity, and every connected set is 1-convex. The *k*-skeleton of a convex polytope is *k*-convex (though for such *k*-convex sets, most results of this paper are trivial). In [6] (see also [5, Chap. II, Sect. 14]) it is shown that the image of the sphere under the Veronese map *v* _{2}:*S* ^{ n−1}→ℝ^{ n(n+1)/2} (with all degree 2 monomials as coordinates) is 2-convex.

In [12, Corollary 1] the following remarkable result is proved:

### Theorem 1.5

(Hanner–Rådström, 1951)

*If* *X* *is a union of at most* *n* *compacta* *X* _{1},…,*X* _{ n } *in* ℝ^{ n } *and each* *X* _{ i } *is* 1-*convex*, *then* \(\operatorname{conv}_{n} X = \operatorname{conv}X\).

It is also known [5, 15] that a *convex curve* in ℝ^{ n } (that is, a curve with no *n*+1 points in a single affine hyperplane) has Carathéodory number at most \(\lfloor\frac{n+2}{2}\rfloor\). It would be interesting to obtain some nontrivial bounds for the Carathéodory number of the orbit *Gx* of a point *x* in a representation *V* of a compact Lie group *G* in terms of dim*V* and dim*G* (or the rank of *G*). The latter question is mentioned in [18, Question 3] and would be useful in results like those in [17].

In Sects. 2 and 3 of this paper we show that the Carathéodory number is at most *k*+1 for (*n*−*k*)-convex sets. In Sect. 4 we prove the corresponding analogue of the colorful Carathéodory theorem, and in Sect. 5 we develop another topological approach to colorful Carathéodory-type results, which may be of independent interest. In Sect. 6 we give a related Tverberg-type result.

We note that the content of Sects. 2–4 may be trivially generalized to *positive hulls* in place of convex hulls, as was done, for example, in [2]. But we do not state the corresponding results explicitly to simplify the exposition.

## 2 The Carathéodory Number and *k*-Convexity

We are going to give a natural generalization of the reasoning in [12]:

### Theorem 2.1

*Suppose that* *X* _{1},…,*X* _{ n−k } *are compacta in* ℝ^{ n } *and* *p* *does not belong to* \(\operatorname{conv}_{k+1} X_{i}\) *for any* *i*. *Then there exists an affine* *k*-*plane* *L*∋*p* *that has empty intersection with any* *X* _{ i }.

### Remark 2.2

If we replace \(\operatorname{conv}_{k+1} X_{i}\) by the honest convex hull \(\operatorname{conv}X_{i}\), then the result is simply deduced by induction from the Hahn–Banach theorem.

### Remark 2.3

In [16] a somewhat related result was proved: For a compactum *X*⊂ℝ^{ n } and a point *p*∉*X*, there exists an affine *k*-plane *L* (for a prescribed *k*<*n*) such that the intersection *L*∩*K* is not acyclic modulo 2. Here *acyclic* means having the Čech cohomology of a point.

The proof of Theorem 2.1 is given in Sect. 3. Now we deduce the following generalization of Fenchel’s theorem [11] (stated in the second paragraph of the introduction):

### Corollary 2.4

*If a compactum* *X*⊂ℝ^{ n } *is* (*n*−*k*)-*convex*, *then* \(\operatorname{conv}_{k+1} X = \operatorname{conv}X\).

### Proof

Assume the contrary and let \(p\in \operatorname{conv}X\setminus \operatorname{conv}_{k+1} X\). Applying Theorem 2.1 to the family \(\underbrace{X,\ldots, X}_{n-k}\), we find a *k*-dimensional *L*∋*p* disjoint from *X*. Now project *X* along *L* with *π*:ℝ^{ n }→ℝ^{ n−k }. Since *X* is (*n*−*k*)-convex, *π*(*L*) must be separated from *π*(*X*) by a hyperplane. Hence, *L* is separated from *X* by a hyperplane, and therefore *p* cannot be in \(\operatorname{conv}X\). □

### Remark 2.5

*n*−

*k*different (

*n*−

*k*)-convex compacta

*X*

_{1},…,

*X*

_{ n−k }and by the same reasoning obtain the following conclusion:

### Remark 2.6

For the image *v* _{2}(*S* ^{ n−1}) of the Veronese map, the Carathéodory constant is roughly of order *n*, see [5, Chap. II, Sect. 14, Theorem 14.3]. Hence, Corollary 2.4 is not optimal for this set.

## 3 Proof of Theorem 2.1

Let us replace *X* _{ i } by a smooth nonnegative function *ρ* _{ i } such that *ρ* _{ i }>0 on *X* _{ i } and *ρ* _{ i }=0 outside some *ε*-neighborhood of *X* _{ i }. Let *p* be the origin.

*k*-dimensional linear subspace

*L*⊂ℝ

^{ n }some intersection

*L*∩

*X*

_{ i }is nonempty. The space of all possible

*L*is the Grassmann manifold \(G_{n}^{k}\). Denote by

*D*

_{ i }the open subset of \(G_{n}^{k}\) consisting of \(L\in G_{n}^{k}\) such that ∫

_{ L }

*ρ*

_{ i }>0. Note that 0 cannot lie in the convex hull \(\operatorname{conv}(L\cap X_{i})\) because in this case by the ordinary Carathéodory theorem, 0 would be in \(\operatorname{conv}_{k+1} (L\cap X_{i}) \subseteq \operatorname{conv}_{k+1} X_{i}\), contradicting the hypothesis. Hence (if we choose small enough

*ε*>0), the “momentum” integral

*D*

_{ i }. Obviously,

*m*

_{ i }(

*L*) is a continuous section of the canonical vector bundle \(\gamma: E(\gamma) \to G_{n}^{k}\), which is nonzero over

*D*

_{ i }. Now we apply the following:

### Lemma 3.1

*Any* *n*−*k* *sections of* \(\gamma: E(\gamma) \to G_{n}^{k}\) *have a common zero because of the nonzero Euler class* *e*(*γ*)^{ n−k }.

This lemma is a folklore fact, see, for example, [9, 22]. Applying this lemma to the sections *m* _{ i }, we obtain that the sets *D* _{ i } do not cover the entire \(G_{n}^{k}\). Hence, some \(L\in G_{n}^{k}\) has an empty intersection with every *X* _{ i }.

### Remark 3.2

In the proof of Theorem 1.5 in [12, the proof of Theorem 3] Hanner and Rådström find a maximum of certain volume function over a convex subset of the sphere *S* ^{ n−1}. This may also be done by an application of the Brouwer fixed-point theorem similar to the above proof, thus exhibiting the topological nature of that result.

## 4 The Colorful Carathéodory Number

Let us introduce some notation and restate the colorful Carathéodory theorem [2].

### Definition 4.1

*A*∗

*B*the

*geometric join*of two sets

*A*,

*B*⊆ℝ

^{ n }, which is

### Theorem 4.2

(Bárány, 1982)

*If* *X* _{1},…,*X* _{ n+1}⊂ℝ^{ n } *are compacta and* \(0\in \operatorname{conv}X_{i}\) *for every* *i*, *then* 0∈*X* _{1}∗*X* _{2}∗⋯*X* _{ n+1}.

It is possible to reduce the Carathéodory number *n*+1 assuming the (*n*−*k*)-convexity of *X* _{ i }, thus generalizing Corollary 2.4:

### Theorem 4.3

*Let* 0≤*k*≤*n*. *If* *X* _{1},…,*X* _{ k+1}⊂ℝ^{ n } *are* (*n*−*k*)-*convex compacta and* \(0\in \operatorname{conv}X_{i}\) *for every* *i*, *then* 0∈*X* _{1}∗*X* _{2}∗⋯*X* _{ k+1}.

### Proof

We use the classical scheme [2] along with the degree reasoning used in [1, 4, 8, 19] in the proof of different generalizations of the colorful Carathéodory theorem.

First consider the case *k*=*n*−1. In this case we have *n* sets and 1-convexity. Let *x* _{1},…,*x* _{ n } be the system of representatives of *X* _{1},…,*X* _{ n } such that the distance from \(S = \operatorname{conv}\{x_{1}, \ldots, x_{n}\}\) to the origin is minimal. If this distance is zero, then we are done. Otherwise, assume that *z*∈*S* minimizes the distance.

Let *z*=*t* _{1} *x* _{1}+⋯+*t* _{ n } *x* _{ n }, a convex combination of the *x* _{ i }s. If *t* _{ i }=0, then we observe that \(0\in \operatorname{conv}X_{i}\), and we can replace *x* _{ i } by another \(x_{i}'\) so that new simplex \(S'= \operatorname{conv}\{x_{1}, \ldots, x_{i-1}, x'_{i}, x_{i+1}, \ldots, x_{n}\}\) is closer to the origin than *S*. So we may assume that all the coefficients *t* _{ i } are positive and *z* is in the relative interior of *S*. This also implies that *S* is (*n*−1)-dimensional, i.e., there is a unique hyperplane containing *S*.

*h*∋0 parallel to

*S*. Applying the definition of 1-convexity to the projection along

*h*, we obtain that there exists a system of representatives

*y*

_{ i }∈

*X*

_{ i }∩

*h*. The set

*B*. Note that for every facet

*F*of

*B*, the vertices of the simplex

*f*(

*F*) form a system of representatives for {

*X*

_{1},…,

*X*

_{ n }}. In particular,

*S*=

*f*(

*F*) for some facet

*F*of

*B*. The line

*ℓ*through the origin and

*z*intersects the simplex

*S*=

*f*(

*F*) transversally, and so it must intersect some other

*f*(

*F*′) (where

*F*′≠

*F*is a facet of

*B*) because of the parity of the intersection index. The intersection

*ℓ*∩

*f*(

*F*′) is on the segment [0,

*z*] and cannot coincide with

*z*. Therefore,

*f*(

*F*′) is closer to the origin than

*S*. This is a contradiction with the choice of

*S*. Thus, the case

*k*=

*n*−1 is done.

The case *k*=0 of this theorem is trivial by definition, and the case *k*=*n* corresponds to the colorful Carathéodory theorem. Now let 0<*k*<*n*−1. Consider again a system of representatives *x* _{1},…,*x* _{ k+1} minimizing the distance \(\operatorname{dist}(0, \operatorname{conv}\{x_{1}, \ldots, x_{k+1}\})\). Put \(S=\operatorname{conv}\{x_{1}, \ldots, x_{k+1}\}\). As above, the closest to the origin point *z*∈*S* must lie in the relative interior of *S* if *z*≠0.

*L*⊂ℝ

^{ n }be the

*k*-dimensional linear subspace parallel to

*S*. As in the first proof, using (

*n*−

*k*)-convexity, we select

*y*

_{ i }∈

*L*∩

*X*

_{ i }. Then we map naturally the boundary

*B*of a (

*k*+1)-dimensional crosspolytope to the geometric join

*f*(

*B*) is contained in the (

*k*+1)-dimensional linear span of

*S*and

*L*, so by the parity argument as above the image under

*f*of some face of

*B*must be closer to the origin than

*S*. □

### Remark 4.4

In this proof in the case *k*<*n*−1 we can choose some (*k*+1)-dimensional subspace *M*⊂ℝ^{ n } and a system of representatives {*x* _{1},…,*x* _{ k+1}} for *M*∩*X* _{1},…,*M*∩*X* _{ k+1}. Then we can make the steps reducing \(\operatorname{dist}(0, \operatorname{conv}\{x_{1}, \ldots,\allowbreak x_{k+1}\})\) so that the system of representatives always remains in *M*.

## 5 A Topological Approach to Theorem 4.3

Theorem 4.3 can also be deduced from the following lemma:

### Lemma 5.1

*Let*

*ξ*:

*E*(

*ξ*)→

*X*

*be a*

*k*-

*dimensional vector bundle over a compact metric space*

*X*.

*Let*

*Y*

_{1},…,

*Y*

_{ k+1}

*be closed subspaces of*

*E*(

*ξ*)

*such that for every i*,

*the projection*\(\xi|_{Y_{i}} : Y_{i}\to X\)

*is surjective*.

*If*

*e*(

*ξ*)≠0,

*then for some fiber*

*V*=

*ξ*

^{−1}(

*x*),

*the geometric join*

*contains*0∈

*V*.

### Remark 5.2

The Euler class here may be considered in integral cohomology or in the cohomology mod 2. The proof passes in both cases, so we omit the coefficients from the notation.

### Reduction of Theorem 4.3 to Lemma 5.1 for *k*<*n*

*M*⊆ℝ

^{ n }of dimension

*k*+1. For every

*k*-dimensional linear subspace

*L*⊂

*M*, all the intersections

*L*∩

*X*

_{ i }are nonempty. All such

*L*constitute the canonical bundle

*γ*over \(G_{k+1}^{k} = \mathbb{R}P^{k}\) with nonzero Euler class by Lemma 3.1. For any fixed

*i*, the union of sets

*L*∩

*X*

_{ i }constitutes a closed subset of

*E*(

*γ*) that we denote by

*Y*

_{ i }. By Lemma 5.1, for some

*L*, the join

### Now we prove Lemma 5.1

The proof has much in common with the results of [16]. The main idea is that fiberwise acyclic (up to some dimension) subsets of the total space of a vector bundle behave like sections of that vector bundle.

*Y*=

*Y*

_{1}∗

_{ X }∗⋯

_{ X }

*Y*

_{ k+1}be the

*abstract fiberwise join*over

*X*, that is, the set of all formal convex combinations

*t*

_{ i }are nonnegative reals with unit sum, and

*y*

_{ i }∈

*Y*

_{ i }are points such that

*η*:

*Y*→

*X*. Any formal convex combination

*y*∈

*Y*defines a corresponding “geometric” convex combination

*f*(

*y*) in the fiber

*ξ*

^{−1}(

*η*(

*y*)) depending continuously on

*y*. It is easy to check that

*f*(

*y*) can be considered as a section of the pullback vector bundle

*η*

^{∗}(

*ξ*) over

*Y*.

*x*∈

*X*, its preimage under

*η*is a join of (

*k*+1) nonempty sets

*η*

^{−1}(

*x*) is (

*k*−1)-connected. Hence, the Leray spectral sequence for the Čech cohomology

*H*

^{∗}(

*Y*) with \(E_{2}^{*,*} = H^{*}(X; \mathcal{H}^{*}(\eta^{-1}(x)))\) (the coefficient sheaf is the direct image of the homology of the total space) has empty rows number 1,…,

*k*−1, and its differentials cannot kill the image of

*e*(

*ξ*) in \(E_{r}^{k, 0}\). Hence,

*η*

^{∗}(

*e*(

*ξ*))=

*e*(

*η*

^{∗}(

*ξ*)) remains nonzero over

*Y*, and by the standard property of the Euler class, for some

*y*∈

*Y*, the section

*f*(

*y*) must be zero. □

### Remark 5.3

In this proof we essentially use the inequality *k*<*n*. So the colorful Carathéodory theorem is *not* a consequence of Lemma 5.1, at least in our present state of knowledge.

The subsets *Y* _{ i } in Lemma 5.1 can be considered as *set-valued* sections. The same technique proves the following:

### Theorem 5.4

*Let*

*B*

*be an*

*n*-

*dimensional ball*,

*and*

*f*

_{ i }:

*B*→2

^{ B }∖∅

*for*

*i*=1,…,

*n*+1

*be set*-

*valued maps with closed graphs*(

*in*

*B*×

*B*).

*Then for some*

*x*∈

*B*,

*we have the inclusion*

### Proof

We may assume that all sets *f* _{ i }(*x*) are in the interior of *B*, because the general case is reduced to this one by composing *f* _{ i } with a homothety with scale 1−*ε* and going to the limit as *ε*→+0.

It is known [14] that for a single-valued map \(f : B\to \operatorname{int}B\) (considered as a section of the trivial bundle *B*×ℝ^{ n }→*B*), a fixed point (*x*=*f*(*x*)) is guaranteed by the relative Euler class *e*(*f*(*x*)−*x*)∈*H* ^{ n }(*B*,*∂B*). Then the proof proceeds as in Lemma 5.1 by lifting *e*(*f*(*x*)−*x*) to the abstract fiberwise join of graphs of *f* _{ i } over the pair (*B*,*∂B*) and using the properties of the relative Euler class of a section. □

### Corollary 5.5

*Suppose that*

*X*

_{1},…,

*X*

_{ n+1}

*are compacta in*ℝ

^{ n }

*and*

*ρ*

*is a continuous metric on*ℝ

^{ n }.

*For any*

*x*∈ℝ

^{ n },

*denote by*

*f*

_{ i }(

*x*)

*the set of farthest from*

*x*

*points in*

*X*

_{ i }(

*in the metric*

*ρ*).

*Then*,

*for some*

*x*∈ℝ

^{ n },

*we have*

### Remark 5.6

If we denote by *f* _{ i }(*x*) the *closets* points in *X* _{ i }, then this assertion becomes almost trivial without using any topology.

## 6 The Carathéodory Number and the Tverberg Property

Tverberg’s classical theorem [20] is the following:

### Theorem 6.1

(Tverberg, 1966)

*Every set of* (*n*+1)(*r*−1)+1 *points in* ℝ^{ n } *can be partitioned into* *r* *parts* *X* _{1},…,*X* _{ r } *so that the convex hulls* \(\operatorname{conv}X_{i}\) *have a common point*.

From the general position considerations it is clear that the number \((n+1)\*(r-1)+1\) cannot be decreased. But we are going to decrease it after replacing a finite point set by a family of convex compacta. Let us define the Carathéodory number for such families.

### Definition 6.2

^{ n }. The

*Carathéodory number*of \(\mathcal{F}\) is the least

*κ*such that for any subfamily \(\mathcal{G}\subseteq\mathcal{F}\),

Again, from the Carathéodory theorem [7] it follows that \(\kappa(\mathcal{F})\le n+1\). Another observation is that Corollary 2.4 guarantees that \(\kappa(\mathcal{F})\le k+1\) if the union of every subfamily \(\mathcal{G}\subseteq\mathcal{F}\) is (*n*−*k*)-convex.

Now we state the analogue of Tverberg’s theorem.

### Theorem 6.3

*Suppose that*\(\mathcal{F}\)

*is a family of convex compacta in*ℝ

^{ n },

*r*

*is a positive integer*,

*and*

*Then*\(\mathcal{F}\)

*can be partitioned into*

*r*

*subfamilies*\(\mathcal{F}_{1},\ldots,\mathcal{F}_{r}\)

*so that*

### Remark 6.4

Note the following: If \(\kappa(\mathcal{F}) = n+1\), then taking a system of representatives for \(\mathcal{F}\) and applying the Tverberg theorem, we obtain a weaker condition: \(|\mathcal{F}| \ge(r-1)(n+1) + 1\).

### Remark 6.5

This theorem originated in discussions with Andreas Holmsen, who established the same result in the special case *n*=2, \(\kappa(\mathcal{F}) = 2\), and with \(|\mathcal{F}| \ge2r\) (*not* 2*r*+1), see [13]. Together with the previous remark, this shows that the condition on \(|\mathcal{F}|\) may be not tight, though we have no idea how to improve it in the general case.

### Proof of Theorem 6.3

We again use a minimization argument, combined with Sarkaria’s trick [21] in the more convenient tensor form, which is from [3].

^{ n }to

*A*=ℝ

^{ n+1}as a hyperplane given by the equation

*x*

_{ n+1}=1. Consider a set

*S*of vertices of a regular (

*r*−1)-simplex in some (

*r*−1)-dimensional space

*V*and assume that

*S*is centered at the origin.

*V*⊗

*A*by

*x*

_{1},

*x*

_{2},…,

*x*

_{ m }) for the family of sets \(\mathcal{G} = \{X_{1},X_{2},\ldots, X_{m}\}\). Such a system gives rise to a partition {

*P*

_{ s }:

*s*∈

*S*} of {1,…,

*m*} in the following way. For

*s*∈

*S*, define

Like in [1, Lemma 2], we observe that \(0 \in \operatorname{conv}\{ x_{1},\dots,x_{m}\}\) if and only if \(\bigcap_{s\in S}\operatorname{conv}\{c_{i}: i\in P_{s}\}\ne\emptyset\). Based on this, we choose a system of representatives (*x* _{1},…,*x* _{ m }) of \(\mathcal{G}\) so that the distance between 0 and \(\operatorname{conv}\{x_{1}, x_{2}, \ldots, x_{m}\}\) is minimal. If this distance is zero, then the required partition of \(\mathcal{F}\) is given by the sets \(\{C_{i} \in\mathcal{F}: i\in P_{s}\}\), *s*∈*S*.

*claim*that

*α*

_{ i }>0 for all

*i*∈{1,…,

*m*}. Assume, for instance, that

*α*

_{1}=0 and

*x*

_{1}=

*s*⊗

*c*

_{1}for some

*c*

_{1}∈

*C*

_{1}and

*s*∈

*S*. Now

*x*

_{1}can be replaced by

*t*⊗

*c*

_{1}for any

*t*∈

*S*as such a change does not influence

*x*

_{0}. The distance minimality condition implies that all the points

*t*⊗

*c*

_{1}are separated from the origin by a hyperplane in

*V*⊗

*A*, which is the support hyperplane for the ball, centered at the origin and touching \(\operatorname{conv}\{x_{1},\ldots, x_{m}\}\). Obviously,

*t*⊗

*c*

_{ i },

*t*∈

*S*, are not separated from the origin. This contradiction completes the proof of the claim.

*x*

_{0}can be written as

*P*

_{ s }is the empty set. Define \(c(s)=\sum _{i\in P_{s}} \alpha_{i}c_{i}\) and \(\alpha(s)=\sum_{i\in P_{s}} \alpha_{i} >0\). Then

*c*(

*s*)/

*α*(

*s*) is a convex combination of elements

*c*

_{ i }∈

*C*

_{ i },

*i*∈

*P*

_{ s }. Thus, \(c(s)/\alpha(s) \in \operatorname{conv}\bigcup_{i\in P_{s}}C_{i}\). According to the definition of the Carathéodory number, there is a subset \(P_{s}'\subset P_{s}\), of size at most

*κ*, such that \(c(s)/\alpha(s) \in \operatorname{conv}\bigcup_{i\in P_{s}'}C_{i}\) for every

*s*∈

*S*. This means that there are \(c_{i}' \in C_{i}\) for all \(i \in P_{s}'\) such that \(c(s)/\alpha(s) \in \operatorname{conv}\{c_{i}': i \in P_{s}'\}\); in other words, \(c(s)=\sum_{i \in P_{s}'}\alpha_{i}'c_{i}'\) with positive \(\alpha_{i}'\) satisfying \(\sum_{i \in P_{s}'}\alpha_{i}'=\alpha (s)\). Thus,

*rκ*elements as each \(|P_{s}'|\le\kappa\). But

*m*>

*rκ*, contradicting the claim.

Finally, we have to deal with the (easy) case where some *P* _{ s }=∅. The above argument works, with no change at all, for the nonempty *P* _{ s }, implying that *x* _{0} can be written as a convex combination of at most (*r*−1)*κ* elements. Again, *m*>(*r*−1)*κ*, and the same contradiction finishes the proof. □

## Notes

### Acknowledgements

We thank Peter Landweber who has drawn our attention to those old results by Fenchel, Hanner, and Rådström and Alexander Barvinok for discussions and examples of *k*-convexity.

The work of both authors was supported by ERC Advanced Research Grant No 267195 (DISCONV). The first author acknowledges support from Hungarian National Research Grant No 78439. The second author is supported by the Dynasty Foundation, the President’s of Russian Federation grant MD-352.2012.1, the Russian Foundation for Basic Research grants 10-01-00096 and 10-01-00139, the Federal Program “Scientific and scientific-pedagogical staff of innovative Russia” 2009–2013, and the Russian government project 11.G34.31.0053.

## References

- 1.Arocha, J., Bárány, I., Bracho, J., Fabila, R., Montejano, L.: Very colorful theorems. Discrete Comput. Geom.
**42**(2), 142–154 (2009) MathSciNetzbMATHCrossRefGoogle Scholar - 2.Bárány, I.: A generalization of Carathéodory’s theorem. Discrete Math.
**40**, 141–152 (1982) MathSciNetzbMATHCrossRefGoogle Scholar - 3.Bárány, I., Onn, S.: Colourful linear programming and its relatives. Math. Oper. Res.
**22**, 550–567 (1997) MathSciNetzbMATHCrossRefGoogle Scholar - 4.Bárány, I., Matoušek, J.: Quadratically many colorful simplices. SIAM J. Discrete Math.
**21**, 191–198 (2007) MathSciNetzbMATHCrossRefGoogle Scholar - 5.Barvinok, A.: A Course in Convexity. Graduate Studies in Mathematics, vol. 54. AMS, Providence (2002) zbMATHGoogle Scholar
- 6.Brickman, L.: On the field of values of a matrix. Proc. Am. Math. Soc.
**12**(1), 61–66 (1961) MathSciNetzbMATHCrossRefGoogle Scholar - 7.Carathéodory, C.: Über den Variabilitätsbereich der Fourierschen Konstanten von positiven harmonischen Funktionen. Rend. Circ. Mat. Palermo
**32**, 193–217 (1911) zbMATHCrossRefGoogle Scholar - 8.Deza, A., Huang, S., Stephen, T., Terlaky, T.: Colourful simplicial depth. Discrete Comput. Geom.
**35**(4), 597–615 (2006) MathSciNetzbMATHCrossRefGoogle Scholar - 9.Dol’nikov, V.L.: Transversals of families of sets in ℝ
^{n}and a connection between the Helly and Borsuk theorems. Russ. Acad. Sci. Sb. Math.**79**(1), 93–107 (1994). 777–780 (1987) MathSciNetGoogle Scholar - 10.Eckhoff, J.: Helly, Radon, and Carathéodory type theorems. In: Gruber, P.M., Willis, J.M. (eds.) Handbook of Convex Geometry, pp. 389–448. North-Holland, Amsterdam (1993) Google Scholar
- 11.Fenchel, W.: Über Krümmung und Windung geschlossener Raumkurven. Math. Ann.
**101**, 238–252 (1929) MathSciNetzbMATHCrossRefGoogle Scholar - 12.Hanner, O., Rådström, H.: A generalization of a theorem of Fenchel. Proc. Am. Math. Soc.
**2**, 589–593 (1951) zbMATHCrossRefGoogle Scholar - 13.Holmsen, A.: Geometric transversal theory:
*T*(3)-families in the plane. In: Geometry—Intuitive, Discrete, and Convex: A Tribute to László Fejes Tóth, ed. by I. Bárány, K.J. Böröczky, G. Fejes Tóth, J. Pach, Bolyai Society Mathematical Studies, Vol. 24. Springer, Berlin (2012, to appear) Google Scholar - 14.Karasev, R.N.: Dual theorems on central points and their generalizations. Russian Acad. Sci. Sb. Math.
**199**(10), 1459–1479 (2008). A corrected version is available at arXiv:0909.4915 MathSciNetzbMATHGoogle Scholar - 15.Karlin, S., Studden, W.J.: Tchebycheff Systems: With Applications in Analysis and Statistics. Interscience Publishers, New York (1966) zbMATHGoogle Scholar
- 16.Kosiński, A.: A theorem on families of acyclic sets and its applications. Pac. J. Math.
**12**(1), 317–325 (1962) zbMATHGoogle Scholar - 17.Milman, V.D.: A few observations on the connections between local theory and some other fields. In: Geometric Aspects of Functional Analysis. Lecture Notes in Mathematics, vol. 1317, pp. 283–289 (1988) CrossRefGoogle Scholar
- 18.Sanyal, R., Sottile, F., Sturmfels, B.: Orbitopes (2009). arXiv:0911.5436
- 19.Stephen, T., Thomas, H.: A quadratic lower bound for colourful simplicial depth. J. Comb. Optim.
**16**(4), 324–327 (2008) MathSciNetzbMATHCrossRefGoogle Scholar - 20.Tverberg, H.: A generalization of Radon’s theorem. J. Lond. Math. Soc.
**41**, 123–128 (1966) MathSciNetzbMATHCrossRefGoogle Scholar - 21.Sarkaria, K.S.: Tverberg’s theorem via number fields. Isr. J. Math.
**79**, 317–320 (1992) MathSciNetzbMATHCrossRefGoogle Scholar - 22.Živaljević, R.T., Vrećica, S.T.: An extension of the ham sandwich theorem. Bull. Lond. Math. Soc.
**22**(2), 183–186 (1990) zbMATHCrossRefGoogle Scholar