Tukey-Stone, teorema di
Tukey-Stone, teorema di
Tukey-Stone, teorema di o teorema di Stone-Tukey, in topologia, stabilisce che dati comunque n sottoinsiemi A1, …, An di Rn limitati e misurabili, esiste un iperpiano che divide ognuno di tali sottoinsiemi in due parti di uguale misura. Il teorema è anche conosciuto con la locuzione scherzosa di ham-sandwich theorem (teorema del panino al prosciutto) perché, nel caso n = 3, i due sottoinsiemi A1, A3, possono essere interpretati come due fette di pane e il sottoinsieme A2 come una fetta di prosciutto; il teorema stabilisce allora che è sempre possibile tagliare il panino in due parti in modo tale che ognuna di esse abbia esattamente la metà di ognuna delle fette di pane e la metà della fetta di prosciutto. Il teorema è stato dimostrato nel caso generale nel 1942 da J.W. Tukey e da M.H. Stone.