ポアンカレ・ホップの定理
ポアンカレ・ホップの定理、またはポアンカレ・ホップの指数定理は、微分トポロジーの分野において重要な役割を果たす理論です。この定理は、
アンリ・ポアンカレとハインツ・ホップの名前にちなんで名付けられました。特に、「髪の毛定理」として知られる特別なケースもあり、これは滑らかな
ベクトル場が球面上に存在するための条件を示すものです。
定理の概要
この定理は、次元 n の微分可能
多様体 M とその上に定義された
ベクトル場 v に関するものです。孤立した零点 x を持つ
ベクトル場 v に対して、局所的な座標系を使い、x を中心とした閉球体 D を定義します。D 内で x が唯一の零点であるとし、v の指数 index_x(v) を D の境界から (n−1) 次元球面への写像の次数として定義します。
定理は次のように述べられます:コンパクトで向き付けられた
多様体 M 上の
ベクトル場 v が孤立した零点を持ち、もし M が境界を持つ場合、v はその境界で外向きであるならば、すべての孤立零点における指数の和は、M の
オイラー標数に等しいというものです。
$$
\sum_{i} \text{index}_{x_{i}}(v) = \chi(M).
$$
ここで、χ(M) は
多様体 M の
オイラー標数を表します。この定理は、ハインツ・ホップによって高次元にまで一般化され、非常に多くの応用を持つことから、その重要性が高まっています。
なぜ重要か
ポアンカレ・ホップの定理の重要性は、その位置づけにあります。閉曲面の
オイラー標数は
位相幾何学的な性質ですが、
ベクトル場の指数は分析的な性質です。このことから、この定理は異なる分野間に深い関係を築いています。特に、証明に使用されるストークスの定理は注目を集めるポイントです。この定理は
微分形式の
外微分の積分がその境界上の積分に等しいことを示しており、境界を持たない
多様体では積分がゼロになることを意味します。
しかし、特定の点には
整数値の寄与があり、これらを考慮するとトータルでゼロにならない結果が得られます。これにより、
幾何学、解析、
物理学の間にある深い関係性が示されており、さまざまな分野での現代研究においてもその重要さが際立っています。
証明のスケッチ
1. 最初に、
多様体 M を高次元のユークリッド空間に埋め込みます。この際、ホイットニーの埋め込み定理を利用します。
2. 次に、ユークリッド空間の中で M の近傍 Nε を考え、
ベクトル場をこの近傍で拡張します。この拡張された
ベクトル場は、元の
ベクトル場と同じ零点と指数を持つことを確認します。
3. 最後に、もともとの差し替えにおいて、定義が維持されるため、元の
ベクトル場の指数の和が、新たに構成された
ベクトル場の指数によって定義されることを示します。
4. さらに、この指数の和をエウラー標数と同一視できることが明らかになります。
このように、ポアンカレ・ホップの定理はその証明や。その特性から多くの数学的な考察を提供し、広範囲にわたる応用が期待されるものとなっています。
一般化
また、この定理は非孤立零点を持つ
ベクトル場にも拡張可能です。その詳細については、関連文献で確認できます。
参考文献
- - “Poincaré–Hopf theorem”, Encyclopedia of Mathematics, EMS Press, 2001 [1994]
- - Brasselet, Jean-Paul; Seade, José; Suwa, Tatsuo (2009). Vector fields on singular varieties. Heidelberg: Springer.