「コーシーの積分定理」の版間の差分

削除された内容 追加された内容
タグ: モバイル編集 モバイルアプリ編集 Androidアプリ編集
タグ: モバイル編集 モバイルアプリ編集 Androidアプリ編集
32行目:
 
== 一般化 ==
積分路''C''を[[単体 (数学)|1チェクル]]、即ち有限個の閉曲線の形式和''C=C_1+...C_n''として次のように一般化することが出来る。
 
* 1サイクルに対するコーシーの定理
 
''D'' を[[領域 (解析学)|領域]]とし、''f''(''z'') は ''D'' 上で[[正則関数|正則]]である[[複素関数]]とする。''D'' 内の区分的に滑らかな1チェクル''C'' が''D'' 内で 0にホモローグであるとき、
 
: <math> \oint_C f(z) \, dz\ = 0 </math>
42行目:
ここで''D'' 内で0にホモローグ(homologous to 0)とは0にホモトピー同値な有限個の''D'' 内の閉曲線の形式和として書けることを言う<ref>{{cite|和書|author=小平邦彦|title=複素解析II|year=1977|page=206}}</ref>。
 
1チェクル''C'' が''D'' 内で 0にホモローグであるとはつまり「Cで囲まれる有界領域」がDに含まれるということである。ただし「Cで囲まれる有界領域」という概念は(直感的には明らかに確定するものであるが)正確な数学的定式化には[[ジョルダンの曲線定理]](ただし区分的C^1なJordan曲線に対するもので十分であり、この場合に限った証明は随分簡単になる)を仮定するか[[回転数 (数学)#複素解析学]]という概念を用いるかしなければならない<ref>{{cite|和書|author=杉浦光夫|title=解析入門II|year=1985|page=291}}</ref>。
 
特に冒頭の条件である、Cが''D'' 内のある有界領域の境界であって互いに交わらない有限個の区分的に滑らかなJordan閉曲線からなるとき、''C'' は''D'' 内で 0 にホモローグである。