Théorème de Hobby-Rice

En mathématiques, et en particulier dans le problème du partage d'un collier, le théorème de Hobby-Rice est un résultat utile pour établir l'existence de certaines solutions. Il a été prouvé en 1965 par Charles R. Hobby et John R. Rice[1] ; une démonstration plus simple a été donnée en 1976 par Allan Pinkus[2].

Notations

modifier

Étant donné un entier n, une partition de l'intervalle [0,1] est ici par définition une suite de nombres réels qui divisent l'intervalle en   sous-intervalles :

 .

Une partition signée est par définition une partition dans laquelle à chaque sous-intervalle   est associé un signe  

Énoncé

modifier

Théorème de Hobby-Rice — Pour tout ensemble

 

de n fonctions continument intégrables, il existe une partition signée de l'intervalle   telle que :

  pour  

Autrement dit, pour chacune des n fonctions, son intégrale sur les sous-intervalles positifs est égale à son intégrale sur les sous-intervalles négatifs.

Application au partage équitable

modifier

Le théorème a été appliqué par Noga Alon dans le cadre du partage d'un collier en 1987[3].

Supposons que l'intervalle [0,1] est un gâteau à partager de façon équitable entre n personnes ; chacune des n fonctions est la fonction de densité d'une personne. On veut partager le gâteau en deux parts de sorte que les personnes considèrent toutes que les parts ont la même valeur. Ce défi du partage équitable est parfois appelé le problème de la réduction de moitié du consensus[4]. Le théorème de Hobby-Rice implique que le partage est réalisable en n coupes.

Notes et références

modifier
  1. Charles R. Hobby et John R. Rice, « A moment problem in L1 approximation », Proceedings of the American Mathematical Society, American Mathematical Society, vol. 16, no 4,‎ , p. 665–670 (DOI 10.2307/2033900, JSTOR 2033900).
  2. Allan Pinkus, « A simple proof of the Hobby-Rice theorem », Proceedings of the American Mathematical Society, American Mathematical Society, vol. 60, no 1,‎ , p. 82–84 (DOI 10.2307/2041117, JSTOR 2041117).
  3. Noga Alon, « Splitting Necklaces », Advances in Mathematics, vol. 63, no 3,‎ , p. 247–253 (DOI 10.1016/0001-8708(87)90055-7).
  4. Forest W. Simmons et Francis Su, « Consensus-halving via theorems of Borsuk-Ulam and Tucker », Mathematical Social Sciences, vol. 45,‎ , p. 15–25 (DOI 10.1016/S0165-4896(02)00087-2, lire en ligne).

Articles liés

modifier