title: Théorème de Tverberg
text: # Théorème de Tverberg
  
  Le théorème de Tverberg (en anglais : Tverberg’s theorem ) est un théorème qui fait partie à la fois du domaine mathématique de la géométrie convexe et de la combinatoire topologique ; il remonte à un article publié par le mathématicien norvégien Helge Tverberg en 1966. Il représente une généralisation du théorème de Radon et est le point de départ d'un grand nombre d'investigations plus approfondies. Le théorème de Bárány est lui est étroitement lié, et le théorème de Tverberg peut en être $dérivé^,^,.$
  
  ## Formulation du théorème
  
  La théorème s'énonce comme $suit^,^,$ :
  
  Théorème — Soient $n\geq 1$ et $r\geq 2$ deux entiers et $N=(r-1)\cdot (n+1)$. Pour tout ensemble $A\subseteq \mathbb {R} ^{n}$ de l'espace euclidien contenant au moins $N+1$ points, il existe une décomposition
  
      $A=A_{1}{\dot {\cup }}A_{2}{\dot {\cup }}\,\dots {\dot {\cup }}A_{r}$
  
  en $r$ sous-ensembles disjoints deux-à-deux telle que l'intersection de leurs enveloppes convexes
  
      $\operatorname {conv} \left(A_{1}\right)\cap \operatorname {conv} \left(A_{2}\right)\cap \,\dots \cap \operatorname {conv} \left(A_{r}\right)$
  
  est non vide.
  
  ## Exemples
  
  Pour $n=1$, un ensemble de $N+1=2r-1$ points de la droite réelle peut être réparti en $r$ sous-ensembles dont les enveloppes convexes se croisent. En effet, si les points sont $x_{1}<x_{2}<\cdots <x_{2r-1}$, alors la partition en $A_{i}=\{x_{i},x_{2r-i}\}$ pour $i=1,...,r$ satisfait cette condition (et d'ailleurs elle est unique).
  
  Pour $r=2$, le théorème de Tverberg stipule que tout ensemble de $n+2$ points peut être partitionné en deux sous-ensembles dont les enveloppes convexes se croisent. Ce théorème est connu sous le nom de théorème de Radon. Dans ce cas aussi, pour des points en position générale, la partition est unique.
  
  Dans le cas r = 3 et n = 2, le théorème stipule que sept points quelconques du plan peuvent être divisés en trois sous-ensembles dont les enveloppes convexes se coupent. L'illustration montre un exemple dans lequel les sept points sont les sommets d'un heptagone régulier. Comme le montre l'exemple, il peut y avoir de nombreuses partitions de Tverberg différentes du même ensemble de points ; ces sept points peuvent être partitionnés de sept façons différentes qui diffèrent par des rotations les unes des autres.
  
  ## Commentaires
  
  * Le théorème de Tverberg et été conjecturé auparavant par Bryan John Birch dans un article publié en 1959.
  * Le théorème est optimal en ce sens que l'énoncé du théorème pour les sous-ensembles avec au plus $N$ points n'est plus valable.
  * Comme déjà mentionné plus haut, pour $r=2$, on obtient le théorème de Radon.
  
  ## Théorème de Tverberg topologique
  
  Une formulation équivalente du théorème de Tverberg est la suivante :
  
  Un énoncé équivalent — Soient $n$ et $r$ des entiers positifs et $N=(r-1)(n+1)$. Soit $f$ une fonction affine d'un simplexe $\Delta ^{N}\to \mathbb {R} ^{n}$ ; il existe des faces $F_{1},\ldots ,F_{r}$ disjointes deux-à-deux de $\Delta ^{N}$ dont les images par $f$ s'intersectent, en d'autres termes telles que $F_{i}\cap F_{j}=\emptyset$ pour tout $1\leq i\neq j\leq r$ et $f(F_{1})\cap \cdots \cap f(F_{r})\neq \emptyset$.
  
  Les énoncés sont équivalentes car toute fonction affine sur un simplexe est uniquement déterminée par les images de ses sommets.
  
  Le théorème topologique de Tverberg généralise cette formulation : on prend pour $f$ une fonction continue et pas nécessairement affine. Mais l'énoncé n'est prouvé que dans le cas où $r$ est une puissance d'un nombre premier. L'énoncé est le suivant :
  
  Théorème topologique — Soit $n$ un entier positif, soit $r$ une puissance d'un nombre premier et soit $N=(n+1)(r-1)$. Si $f:\Delta ^{N}\to \mathbb {R} ^{n}$ est une fonction continue du simplexe $\Delta ^{N}$ de dimension $N$, alors il existe $r$ faces deux à deux disjointes de $\Delta ^{N}$ dont les images sous $f$ se coupent. En d'autres termes, il existe des faces $F_{1},...,F_{r}$ de $\Delta ^{N}$ telles que $F_{i}\cap F_{j}=\emptyset$ pour $1\leq i\neq j\leq r$ et $f(F_{1})\cap \cdots \cap f(F_{r})\neq \emptyset$.
  
  Le théorème topologique de Tverberg a été prouvé pour un nombre premier $r$ par Imre Bárány, Senya B. Shlosman et András Szűcs. Matousek, dans la deuxième édition de son livre, présente en 2008 une autre preuve utilisant des « deleted joins ».
  
  Le théorème a été prouvé pour $r$ une puissance d'un nombre premier par Ozaydin et ultérieurement par Volovikov et par Sarkaria
  
  