Hamilton の定理(1982 年)
を連結な閉 次元多様体、 を (すべての でない接ベクトル で )を満たす Riemann 計量とする。 から出発する正規化 Ricci flow の解はすべての で存在し、 で断面曲率が正の定数の計量に滑らかに収束する。したがって は球面空間形 に微分同相であり、 が単連結なら に微分同相である。
閉包の状態
※ 主張のみ
証明を Rikai に書かない定理です(研究最前線の結果や、証明が本 1 冊分になるもの)。主張のみの台帳に理由つきで登録されています。理由と出典は 本文の注意 にあります。
印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。
前提をたどる 証明が使う定理・定義
主張のみなので、Rikai の中で証明が使う前提はありません。
これを使っている定理
証明で明示的に参照している定理は、まだありません。