ハムサンドイッチの定理

数学の測度論におけるハムサンドイッチの定理、またはストーン・テューキーの定理とは、n}} 次元空間内に与えられた n}} 個の可測な「物体」に対して、それぞれの量を一度に等分することが出来るような }} 次元超平面が存在することについて述べた定理である。ここでの「量を等分する」という文が意味を持つために、そのような「物体」は有限測度の集合でならなければならない。

1. 名前の由来
--------

ハムサンドイッチの定理は、1=//n// = 3}} である場合、3つの「物体」としてハムとそれを挟む2枚のパンを考えることで、1回のナイフカットでそれらすべての量をそれぞれ半分に出来るような切り方が必ず存在する、と言い換えることが出来る。2次元  の場合、この定理はパンケーキの定理として知られ、皿の上に載せられた2枚の限りなく薄いパンケーキを、一回のナイフカットでそれらすべての量をそれぞれ半分に出来るような切り方が必ず存在する、と言い換えられる。

ハムサンドイッチの定理はしばしばハムチーズサンドイッチの定理とも呼ばれ、この場合 1=//n// = 3}} での3つの物体としては

ハム
スライスチーズ
2枚のパンが選ばれる。この場合の定理は「与えられたハムチーズサンドイッチに対し、そのハム、チーズ、パンの量がそれぞれ半分となるようなサンドイッチの切り方が必ず存在する」と言い換えられる。

なお、はさみうちの原理を指してサンドイッチ定理 }} と呼ぶことがあるが、本項におけるハムサンドイッチの定理とは無関係である。

2. 歴史
-----

ハムサンドイッチの定理についてまとめた Beyer によれば、平面上の3つの物体を等分する 1=//n// = 3}} のケースを考えた初めての研究は Steinhaus であるとされている。問題の提示はフーゴ・スタインハウスによりなされ、その解決はステファン・バナフによりなされた。提示された問題には、2種類の文章が存在した。1つ目は公式的なものとして、「任意に配置された3つの物体を、ひとつの適切な平面によって等分することは常に可能であるか？」であり、2つ目は非公式的なものとして、「肉と骨と油が等分されるように、ミートカッターの下にハムを配置することは可能か？」であった。

より近代的なアプローチを示した文献として、ストーン・テューキーの定理とも呼ばれるきっかけとなった、Stone が挙げられる。この論文では、測度を含むより一般的な設定の下での、定理の n}} 次元版の証明が行われた。ある査読者からの情報によるとdate=2016-11-26}}、1=//n// = 3}} の場合の証明はスタニスワフ・ウラムによるものとされているが、Beyer はこれを間違いだと指摘している。

3. ボルサック・ウラムの定理への転化
-------------------

ハムサンドイッチの定理は、ボルサック・ウラムの定理を用いることによって、以下に述べる手順で証明される。この証明は、ステインハウスや他の研究者によって与えられたものであり、1=//n// = 3}} の場合はステファン・バナフに従う。

今、2等分しようとしている n}} 個の物体を //A//1, //A//2,   …,   //A////n//}} と表す。n}} 次元ユークリッド空間 R//n//}} に埋め込まれている、原点を中心とする //n// − //1//}} 次元単位球面を S}} と表す。その球面 S}} の表面上の任意の点 p}} に対して、原点から p}} への法線ベクトルに直交する有向アフィン超平面の連続体を、そのベクトルの指す方向である各超平面の「正の方向」によって定義することができる。

中間値の定理により、そのような超平面のすべての族には、有界な物体 An}} を2等分するような超平面が少なくとも1つ含まれている。すなわち、一つの極端な場合には、そのような「正の方向」に含まれるような An}} の体積は全くなく、またもう一方の極端な場合には、An}} のすべての体積がそのような「正の方向」に含まれるため、その中間には必ずちょうど半分の An}} の体積が「正の方向」に含まれるような場合が存在する、ということである。

もしもその族にそのような超平面が1つ以上含まれているのなら、An}} が2等分される各 translations の間隔の中点を選ぶことにより、唯一つだけ超平面を決めることができる。したがって、球面 S}} の表面上の各点 p}} に対して、原点から p}} へのベクトルと直交し、かつ An}} を2等分するような超平面 π}} を得ることができる。

その }}-球面から }}-次元ユークリッド空間 R//n// − 1}} への関数 f}} を、次のように定める:

1=//f// = }} }} の正の方向に含まれる //A//1}} の体積, π}} の正の方向に含まれる //A//2}} の体積, ..., π}} の正の方向に含まれる //A////n//−1}} の体積).この関数 f}} は連続である。したがって、ボルサック・ウラムの定理により、1=//f// = //f//}} であるような球面 S}} 上の対蹠点 p}} と q}} が存在する。そのような対蹠点 p}} と q}} は、正とする方向が正反対であることを除いて等しいような超平面 π}} と π}} に対応する。したがって、1=//f// = //f//}} は、各 1=//i// = 1, 2, ..., //n// − 1}} に対して、超平面 π}} の正の方向と負の方向に含まれる //A////i//}} の体積が等しいことを意味する。以上のことから、π}} が、//A//1, //A//2, …, //A////n//}} の体積を同時に2等分するような、求めるハムサンドイッチカットであることが分かる。

4. 測度論の場合
---------

測度論において、Stone は1種類の、より一般的な形式のハムサンドイッチの定理を証明した。それらはいずれも、共通とする集合 X}} に含まれる n}} 個の部分集合 //X//1, //X//2, …, //X////n//}} の2等分に関するものであった。ここで X}} はカラテオドリ外測度を持ち、各 //X////i//}} は有限外測度を持つとされる。

一つ目の一般的な形式化は、次のようなものである: 適切に制限された任意の実関数 に対して、n}}-球面 //Sn//}} に含まれるある点 p}} が存在し、X}} を //f// < 0}} と //f// > 0}} に分割するようなその表面が、 //X//1, //X//2, …, //X////n//}} の各外測度を同時に2等分する。この証明には、再びボルサック・ウラムの定理が用いられる。この定理は、1=//f// = //s//0 + //s//1//x//1 + ... + //snxn//}} とすることによって標準的なハムサンドイッチの定理を一般化するものである。

二つ目の形式化は次のようなものである：正測度の X}} の任意の部分集合において線型独立であるような、X}} の //n// + 1}} 個の任意の可測関数 //f//0, //f//1, …, //f////n//}} に対して、ある線型結合 1=//f// = //a//0//f//0 + //a//1//f//1 + ... + //anfn//}} が存在し、X}} を //f// < 0}} と //f// > 0}} へ2等分するようなその表面 1=//f// = 0}} は、//X//1, //X//2, …, //X////n//}} の各外測度を同時に2等分する。この定理は、1=//f//0 = 1}} とし、また各 //i// > 0}} に対して //fi//}} を x}} の i}} 番目の座標とすることによって、標準的なハムサンドイッチの定理を一般化するものである。

5. 参考文献
-------

doi = 10.2307/4145019.

doi = 10.1016/S0747-717180020-7.

last1 = Lo .
last1 = Lo .
doi = 10.1016/0196-677490011-2.

last = Steinhaus .
doi = 10.1215/S0012-7094-42-00925-6.

6. 外部リンク
--------

[1] on the [2]
[3] by Danielle MacNevin
[4]