## Abstract

We study a multicomponent generalization of Helly's theorem. An (n, d)-body K is an ordered n-tuple of d-dimensional sets, K = 〈K_{1},..., K_{n}〉. A family ℱ of (n, d)-bodies is weakly intersecting if there exists an n-point p = 〈p_{1},..., p_{n}〉 such that for every K ∈ ℱ there exists an index 1 ≤ i ≤ n for which p_{i} ∈ K_{i}. A family ℱ of (n, d)-bodies is strongly intersecting if there exists an index i such that ∩_{K∈ℱ} K_{i} ≠ ∅. The main question addressed in this paper is: What is the smallest number H(n, d), such that for every finite family of convex (n, d)-bodies, if every H(n, d) of them are strongly intersecting, then the entire family is weakly intersecting? We establish some basic facts about H(n, d), and also prove an upper bound H(n, d) ≤ ([log_{2}(n + 1)] + 1)^{d}. In addition, we introduce and discuss two interesting related questions of a combinatorial-topological nature.

Original language | English |
---|---|

Pages (from-to) | 275-287 |

Number of pages | 13 |

Journal | Discrete and Computational Geometry |

Volume | 21 |

Issue number | 2 |

DOIs | |

State | Published - Mar 1999 |

Externally published | Yes |

## ASJC Scopus subject areas

- Theoretical Computer Science
- Geometry and Topology
- Discrete Mathematics and Combinatorics
- Computational Theory and Mathematics