勾配状ベクトル場
同境 の上の Morse 関数 に対し、 上の滑らかなベクトル場 が の勾配状ベクトル場であるとは、
- 臨界点以外で であり、
- 各臨界点 (指数 )のまわりに、 を原点に写すチャート で、 上 かつ となるものが存在する
ことをいう。2 のチャートを適合チャートと呼ぶ。
閉包の状態
定義
定義は閉包の起点です(証明を要しません)。
印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。
これを使っている定理
証明で明示的に参照している定理は、まだありません。