ボルスク・ウラムの定理（ボルスク・ウラムのていり、）とは、スタニスワフ・ウラムが定式化し、カロル・ボルスクが最初に証明したトポロジーの定理の一つである。
定理
の場合は地球を考えることで説明することができる。則ち地球の赤道上には正反対に位置していて気温が等しいようなある2点が存在している。同様の説明はどのような円周においても成立する。ただし空間において気温が連続的であることを仮定している。
の場合は連続写像として気温と気圧の組を採用して、地球上には正反対に位置していて気温と気圧の両方がそれぞれ一致するある2点が存在すると説明される。 同値な主張 奇写像 定義域の任意のに対してが成立する写像を奇写像という。ボルスク・ウラムの定理は次の各命題と同値である。 連続な奇写像は零点を持つ。 に対して連続な奇写像は存在しない。
命題1との同値性は次のようにして証明される。
（⇒）ボルスク・ウラムの定理が奇写像について成り立つとする。となるのはとなるときに限る。したがって任意の連続な奇写像は零点を持つ。
（⇐）任意の連続写像について、写像は連続な奇写像である。命題1より任意の奇写像は零点を持つのでとなるが存在して。
1と2の同値性の証明には奇写像的性質を持つ次の連続写像を考える。 包含写像 によって与えられる射影
（1 ⇒ 2）連続な奇写像が存在するならば、は零点を持たない連続な奇写像となる。対偶が真なのでもとの命題も真である。
（1 ⇐ 2） 同じく対偶を証明する。零点を持たない連続な奇写像が存在するならば、は連続な奇写像となる。
タッカーの補題 後述するようにを用いて定理を証明することができるが、その逆、つまりボルスク・ウラムの定理からタッカーの補題を導くこともできる。不動点定理には代数的位相幾何学、組合せ論、集合被覆論による同値な表現が存在するものがある。各形式で全く異なる証明ができる。更に、各列の下の命題から同じ列の上の行の命題を演繹することができる。
代数的位相幾何学 組合せ論 集合被覆論 ブラウワーの不動点定理 ボルスク・ウラムの定理
証明
1次元 円周上でとして定義され、実数値をとる連続な奇写像を考える。点について、ならばそのまま定理が満たされる。そうでないならば、が奇写像であることよりとしても一般性を失わず、このときと中間値の定理よりある点で。よって点で。
のときは被覆の理論を使うことで処理できる。
一般の場合 代数的位相幾何学的証明 の場合において、連続な奇写像の存在を仮定する。対蹠点に写す作用の軌道を通じて、間における誘導された連続写像を得る。この写像は基本群上で同型写像を誘導する。フレヴィッチの定理より、を係数に持つコホモロジー上で、環準同型写像
はをに写す。しかしはに写されるので矛盾が生じた。これは仮定が誤っている、すなわち命題2が真であることを意味し、したがってボルスク・ウラムの定理も真である。
より強く、任意の奇写像の写像度は奇数であるという主張も成立し、この主張から定理を導くこともできる。 組合せ論的証明 からボルスク・ウラムの定理を証明することができる。
連続な奇写像をとる。はコンパクト領域上で連続なので、一様連続である。したがって任意の についてあるが存在して、上で距離が以下である任意の2点に対して、の距離は以下である。
辺長が以下となるようなの三角形分割を定める。次の方法でラベルを頂点に付す。
ラベルの絶対値は、の座標成分のうち絶対値が最大である成分の列番号とする：. ラベルの符号は上の条件で選ばれた成分の符号に一致する：.
は奇写像であったのでラベリングは奇写像となる、つまり。ここでタッカーの補題より、絶対値は等しいが異符号であるラベルの付された隣接する2点が存在する。たとえばの場合を考える。の定義よりの両方において1番目の成分の絶対値が最も大きいことを意味する。ただしの1番目の成分は正、の1番目の成分は負である。三角形分割の構成方法より、の距離は以下であるからが成立し、。しかし、の最も大きい成分は1番目であったから、においてである。したがって。ここではとノルムに依存する定数。
この事実が任意ので成立する。一方はコンパクトであるので、となるが存在せねばならない。
応用 ハムサンドイッチの定理
「どのようなサンドイッチでも1回切るだけでハムとチーズ、パンを均等に半分にできる」というのがハムサンドイッチの定理だが、これをボルスク・ウラムの定理を使って証明する。簡単のため、パンとハムだけのサンドイッチを考える。このサンドイッチは平面にあるとしよう。サンドイッチを1回切るということは平面のある直線で2つの部分に分けるということに値する。ここで、平面の部分にあるハムの量を、パンの量をとする。から、としても任意の切り方を対応させることができる。なので、単位球面上の点に数の組を対応させることができる。ボルスク・ウラムの定理から、球面上のある点で、
となる点が存在する。各式の右辺は内にあるハムとパンの量なので、直線はサンドイッチを均等に分けることができる。
ネックレス問題 サムネイル|2人の泥棒が、2色の宝石のビーズでできたネックレス（赤が8個、緑が6個）を分け合う。このとき2回の切断でビーズを均等に分配できる。
これがであるが、この節ではボルスク・ウラムの定理で証明する。ネックレス問題は離散的、ボルスク・ウラムの定理は連続的であるので、一見するとネックレス問題とボルスク・ウラムの定理には関係がないと思える。そのためにまずはネックレス問題の連続的なバージョンを考える。そして、連続の場合を調整することで離散の問題を解決できる。
簡単のために2種類の宝石があるネックレスを考える。そしてそれらを長さ1の線分として考え、3つの切断で公平に分けられるとき、分けられた宝石群の1つ目を、2つ目を、3つ目をとする場合、それらはを満たす正の数でなければならない。また、についてそれぞれ泥棒1と泥棒2のどちらの取り分になるかを選ばないといけない。ここで話を変え、単位球面にある点の座標を考える。の平方根の正負と、泥棒1と泥棒2の取り分を対応させる。泥棒1が受け取る宝石の種類別の個数を出力する写像をとする。ボルスク・ウラムの定理を使って、あるでとなるはずなので、泥棒1と泥棒2の取り分を入れ替えても取り分の変わらない分け方が存在する。なので、公平に分ける方法は必ずあるということになる。
球の被覆 サムネイル|3つの集合で2次元球面を覆うとき、対蹠点の組を含むような集合が存在する ()。
右図のように2次元球面を3つの閉集合で覆うとき、対蹠点の組を含むような集合が存在する。一般に次元球面を個の集合で覆うとき、対蹠点の組を含むような集合が存在する。
2次元球面を3つの集合で覆う。について集合と点の距離をのように表し、写像をと定める。ボルスク・ウラムの定理より となる点が存在する。のうちいずれかが0を取るとき、は0となる方の集合に属する。のいずれも0でないときはに属する。したがって対蹠の位置にある2点を含む集合の存在が証明される。
個の集合で覆う場合、対蹠の位置にある2点を含む集合が必ず存在するとは限らない。たとえばの場合を考える。球に正四面体を外接させる。正四面体の面上の点と球の中心を結ぶ線分と球面の交点について、正四面体の4つの面に即して4つの集合に分ける。すると、いずれの集合も対蹠点の組は含まれていない。
ボルスクはどの集合のも球の直径より小さくなるように次元球体を分割するとき、個の集合では不可能だが個の集合では分割が実現できることを示した。また、一般に任意のの有界部分集合について同様に分割するとき、集合は個で十分かという問題を提起した。これはボルスクの問題と呼ばれ、では誤りであると証明されている。の最小値を求める問題は未解決である。
一般化 元の定理では、写像の定義域は次元単位球面であった。一般にの定義域がの原点を含む任意の開有界対称部分集合の境界であっても成立する（ここで対称とは、部分集合の中にが存在するとき、対蹠点も存在することを指す）, 。 より一般にをコンパクト次元リーマン多様体、を連続写像としたとき、かつが距離（は任意に定められる）で結べるような2点が存在する。 点をその対蹠点に移す写像は、対合 () のような性質を持つ。元の定理はとなる点の存在を主張しているが、より一般に を満たすについて同様の定理が成立する。一方で、となるでは成立しない。
歴史 によればボルスク・ウラムの定理の主張の最初の歴史的言及は で見られる。最初の証明は によってなされ、定理の定式化はスタニスワフ・ウラムに帰される。それ以来様々な別証明が発見され、 にまとめられている。
脚注
注釈
出典
参考文献
関連項目
普遍係数定理 外部リンク
The Borsuk-Ulam Explorer.