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 | modifier le code]

É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 $n+1$ sous-intervalles :

0=z_{0}<z_{1}<\dotsb <z_{n}<z_{n+1}=1

.

Une partition signée est par définition une partition dans laquelle à chaque sous-intervalle $i$ est associé un signe $\delta _{i}\in \left\{+1,-1\right\}$

Énoncé[modifier | modifier le code]

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

g_{1},\dotsc ,g_{n}\colon [0,1]\longrightarrow \mathbb {R}

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

\sum _{i=1}^{n+1}\delta _{i}\!\int _{z_{i-1}}^{z_{i}}g_{j}(z)\,dz=0\

pour

\ 1\leq j\leq n.

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 | modifier le code]

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 | modifier le code]

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Hobby–Rice theorem » (voir la liste des auteurs).

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

Articles liés[modifier | modifier le code]

[Hobby_1965-1] Charles R. Hobby et John R. Rice, « A moment problem in L₁ approximation », Proceedings of the American Mathematical Society, American Mathematical Society, vol. 16, n^o 4,‎ 1965, p. 665–670 (DOI 10.2307/2033900, JSTOR 2033900).

[Pinkus_1976-2] Allan Pinkus, « A simple proof of the Hobby-Rice theorem », Proceedings of the American Mathematical Society, American Mathematical Society, vol. 60, n^o 1,‎ 1976, p. 82–84 (DOI 10.2307/2041117, JSTOR 2041117).

[Alon_1987-3] Noga Alon, « Splitting Necklaces », Advances in Mathematics, vol. 63, n^o 3,‎ 1987, 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,‎ 2003, p. 15–25 (DOI 10.1016/S0165-4896(02)00087-2, lire en ligne).

[1]

[2]

[3]

[4]