毛玉の定理

この記事は英語版の対応するページを翻訳することにより充実させることができます。（2024年6月） 翻訳前に重要な指示を読むには右にある[表示]をクリックしてください。 英語版記事を日本語へ機械翻訳したバージョン（Google翻訳）。 万が一翻訳の手がかりとして機械翻訳を用いた場合、翻訳者は必ず翻訳元原文を参照して機械翻訳の誤りを訂正し、正確な翻訳にしなければなりません。これが成されていない場合、記事は削除の方針G-3に基づき、削除される可能性があります。 信頼性が低いまたは低品質な文章を翻訳しないでください。もし可能ならば、文章を他言語版記事に示された文献で正しいかどうかを確認してください。 履歴継承を行うため、要約欄に翻訳元となった記事のページ名・版について記述する必要があります。記述方法については、Wikipedia:翻訳のガイドライン#要約欄への記入を参照ください。 翻訳後、{{翻訳告知|en|Hairy ball theorem|…}}をノートに追加することもできます。 Wikipedia:翻訳のガイドラインに、より詳細な翻訳の手順・指針についての説明があります。

毛玉の定理（けだまのていり、英:The hairy ball theorem）とは代数的位相幾何学において 偶数次元の超球面上の連続なベクトル場は必ず零点をもつという定理である^[1][2]。髪の毛定理、ヨーロッパでは、ハリネズミの定理と呼ばれることもある^[3]。

概要

毛玉の定理は2次元球面において${\displaystyle f}$を${\displaystyle f(p)}$が球面に接する全ての点${\displaystyle p}$に${\displaystyle \mathbb {R} ^{3}}$のベクトルを割り当てる連続関数であるとき少なくとも1つ${\displaystyle f(p)=0}$となる点${\displaystyle p}$が存在するという定理。

発見

この定理は初めにアンリ・ポアンカレによって1885年に2次元球面において成り立つことを証明され^[4]、その後1912年にライツェン・エヒベルトゥス・ヤン・ブラウワーによってより高い偶数次元の球面に拡張された^[5]。

ポアンカレ・ホップの定理との関係

ポアンカレ・ホップの定理より、2次元球面はオイラー標数が2であるため、球面上のすべての零点がもつ特異点の指数（インデックス）の和は2にならなければならないことが示される。ゆえに2次元球面上には少なくとも1つの零点をもつことになる。次にトーラスの場合、オイラー標数は0となる。ゆえに、トーラスは零点をもたなくてもよいということが示される^[6]。これらのことからオイラー標数が0でない2次元多様体上の連続なベクトル場は必ず零点をもつことが示される。

現実での活用例

地球を2次元球面、連続のベクトル場を風とすると、この定理から地球上に少なくとも一つ必ず無風の場所ができることになる^[6]。

関連項目

• 不動点定理
• 中間値の定理
• 球面上のベクトル場_{（英語版）}

脚注