ハムサンドイッチの定理

ハムサンドイッチの定理

ハムサンドイッチの定理（英: Ham Sandwich Theorem）は、数学の測度論において非常に興味深い内容を含んでいます。この定理は、n次元空間に存在するn個の可測な「物体」を一度のカット（すなわち(n−1)次元の超平面）でそれぞれの体積を等分することができるというものです。特に、この「物体」は有限測度または有限外測度である必要があります。

名前の由来

この定理は直感的な例として、n=3の場合のハムと2枚のパンを考えることで具体化されます。つまり、1回のナイフのカットによって、ハムとパンの量を同時に半分にできる方法が存在することを示しています。また、n=2の場合には「パンケーキの定理」に知られており、2枚の限りなく薄いパンケーキもまた、1回のカットで同様に半分に分割できることが言われています。興味深いことに、この定理はしばしば「ハムチーズサンドイッチの定理」とも呼ばれ、ここでの物体はハム、スライスチーズ、そしてパンの4つとして考えられることがあります。このように、ハムサンドイッチの定理は日常的な食品を通じて数学的な概念を視覚化することができるため、多くの人々にとって親しみやすいものとなっています。

歴史的背景

ハムサンドイッチの定理に関する最初の研究は1938年に行われ、シュタインハウスがその問題を提示し、ステファン・バナフが解決の道を示しました。この問題は、任意に配置された3つの物体を一つの適切な平面で等分できるかどうかというもので、初の具体的な定理として知られています。おそらく最も重要な進展は、1942年にストーンとテューキーがより一般的な形式の定理を証明したことです。この結果は、測度論やn次元空間におけるさまざまな問題解決に大きく寄与しています。

定理の証明

ハムサンドイッチの定理の証明は、ボルスク・ウラムの定理を用いることで実現されます。これは、n個の物体を中央値で分けるために、n−1次元の単位球面を中心に考え、球面上の各点から得られる超平面が適切に物体を分けることができることを示します。中間値の定理に基づき、各物体上の適切な超平面が存在することが確かであり、その構造を考えることで、物体A1, A2, ..., Anを同時に2等分するような超平面を求めることができるのです。

この手法により、連続性を保ちながら、各物体ごとにその体積を等分するための平面の特性を引き出すことが可能になります。

定理の拡張

この定理は、のちに一般的な形式で発展し、測度論における他の適用についても研究が進められました。例えば、任意の実関数のもとでn個の分類に応じて任意の部分集合を等分する方法が確立され、数学的な議論の礎となります。これにより、さまざまな数理的問題を解決する新たな手法としてこの定理が活用されるようになりました。

参考文献

- Beyer, W. A.; Zardecki, Andrew (2004). "The early history of the ham sandwich theorem", American Mathematical Monthly.
- Stone, A. H.; Tukey, J. W. (1942). "Generalized 'sandwich' theorems", Duke Mathematical Journal.

このように、ハムサンドイッチの定理はその名の通り、数学的な美をもたらしつつ、日常的な問題を解決するための強力なツールとなるのです。

もう一度検索