数学 › 微分位相 › 横断性

弧長パラメータ表示

定義 4.1(「横断性」§4)

XX を Riemann 計量 gg を持つ 1 次元の境界付き多様体とする。2 点以上を含む区間 I⊂RI\subset\mathbb{R}(開・閉・半開のどれでもよい)からの滑らかな写像 f ⁣:I→Xf\colon I\to X が弧長パラメータ表示であるとは、ff が XX の開集合 f(I)f(I) への同相写像で、すべての s∈Is\in I で g(f′(s),f′(s))=1g(f'(s),f'(s))=1 となることをいう。

本文で読む(前後の説明と例)→

閉包の状態

定義

定義は閉包の起点です(証明を要しません)。

印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。

これを使っている定理

証明で明示的に参照している定理は、まだありません。