数学 › 複素関数論 › コーシーの積分定理と積分公式
区分的に滑らかな道
閉区間 上の連続写像 が区分的に滑らかな道であるとは、分点 が存在して、各小区間 上で が 級(導関数 が存在して連続。端点では片側微分)であることをいう。
像 を道の跡、 を始点、 を終点と呼ぶ。 のとき を閉道という。さらに が単射である閉道を単純閉曲線(ジョルダン閉曲線)という。
道の長さを で定める。
閉包の状態
定義
定義は閉包の起点です(証明を要しません)。
印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。
これを使っている定理
証明で明示的に参照している定理は、まだありません。