定理証明済み
ポアンカレ・ベンディクソンの定理
内容
を 級の平面ベクトル場とし、ある順方向軌道が不動点を含まないコンパクト領域内にとどまるとする。このときその軌道の -極限集合は周期軌道である。
なぜ正しいのか?
二次元では、有界な領域を出ず、不動点にも落ち着かない軌道は、自分自身と交わることができず平面の位相構造に閉じ込められているため、繰り返さずに永遠にさまよい続けることはできない。最終的には閉じたループへと螺旋を描いて収束し、そこを永遠に回り続けるほかない。これは本質的に平面特有の現象であり、軌道が交わらずに互いをすり抜ける余地が生まれる三次元以上になって初めてカオスが可能になる。
証明の概略
捕捉領域のコンパクト性を用いて、-極限集合 が空でなくコンパクト、連結、かつ不変であることを示す。もし が不動点を含まないならば、 となる任意の点とその軌道をとる。 を通る横断的な短い弧(流れを横切る線分)とジョルダン曲線定理を用いて、 を通る軌道とその横断弧との連続する交点が単調であることを示す。これと、 がただ一つの軌道の極限集合であることを合わせると、その軌道は閉じた(周期的な)曲線でなければならず、 はそれに等しいことが分かる。
この定理を使うトピック
関連する定理
ステップごとの証明
この定理のステップごとの証明はまだありません。
参考文献
- Morris W. Hirsch, Stephen Smale, Robert L. Devaney (2004). Differential Equations, Dynamical Systems, and an Introduction to Chaos