数学 › 多様体論 › ベクトル場の流れ・Lie 微分・Frobenius の定理
積分曲線
を多様体 の滑らかなベクトル場とする。区間 から への滑らかな曲線 が の積分曲線であるとは、すべての で が成り立つことをいう。
閉包の状態
定義
定義は閉包の起点です（証明を要しません）。
印の意味: ✓公理まで証明済み ・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は 閉包の状況。
これを使っている定理
証明で明示的に参照している定理は、まだありません。
数学 › 多様体論 › ベクトル場の流れ・Lie 微分・Frobenius の定理
を多様体 の滑らかなベクトル場とする。区間 から への滑らかな曲線 が の積分曲線であるとは、すべての で が成り立つことをいう。
定義
定義は閉包の起点です（証明を要しません）。
印の意味: ✓公理まで証明済み ・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は 閉包の状況。
証明で明示的に参照している定理は、まだありません。