Un résultat de partition de mesures qui, dans R^n, affirme que pour n mesures finies absolument continues (ou n'objets mesurables), il existe un hyperplan orienté qui les partage simultanément en deux parts égales (chaque demi-espace défini par l'hyperplan contient la même mesure de chaque objet). Également appelé théorème de Stone–Tukey.

Principe

En appariant les degrés de liberté d'un hyperplan (n paramètres modulo l'échelle) et la dimension de l'espace, on utilise la continuité et des arguments de type Borsuk–Ulam pour obtenir un hyperplan qui équilibre simultanément n distributions de masse indépendantes.

Démonstration

Dans R^2, données deux régions mesurables d'aire finie, il existe une droite qui coupe les deux régions en parts d'aire égale. Dans R^3, trois solides (avec distributions de masse absolument continues) peuvent être bisectés simultanément par un même plan. On construit une application continue de la sphère des directions vers R^n qui enregistre les déséquilibres signés et l'on trouve un zéro par arguments topologiques antipodaux.

Mauvaise application

Prétendre que le théorème donne des hyperplans bisecteurs uniques ou qu'il s'applique sans hypothèses de mesurabilité/continuité. Par exemple, tenter de bisecter plus de n objets mesurables en R^n par un seul hyperplan sans structure supplémentaire est invalide.

Conséquence

Garantit l'existence (mais pas l'unicité) de divisions équitables et soutient des algorithmes de découpe équitable ainsi que des coupes ham-sandwich en géométrie algorithmique ; il fournit des directions constructives pour répartir ressources, charges ou ensembles de données de façon équilibrée.

Inversion

La réciproque n'offre pas de garantie générale : un hyperplan qui bisecte plusieurs mesures ne signifie pas que ces mesures sont liées ni que les bisecteurs sont uniques. De plus, lorsque le nombre de mesures est inférieur à n, il existe typiquement une infinité d'hyperplans bisecteurs.

Limite

Nécessite n mesures dans R^n (ou mesures finies comparables sans concentration atomique et mesurables) ; échoue si les mesures sont purement atomiques dans des configurations pathologiques ou si l'on cherche à bisecter plus de n mesures arbitraires sans contraintes supplémentaires.

Tension sémantique

Tension entre existence et constructibilité : les preuves topologiques assurent l'existence mais pas toujours des méthodes constructives efficaces ; tension aussi entre le souhait combinatoire de partager de nombreux objets et la limite dimensionnelle n que le théorème impose.

Synthèse

Le Théorème du sandwich au jambon relie un objectif simple d'équité — couper n objets mesurables dans R^n en moitiés égales — à un argument topologique d'existence : grâce à la continuité et à la symétrie antipodale on trouve un hyperplan orienté qui coupe simultanément chaque mesure, fournissant un résultat fondamental pour la division équitable en dimension n.