ケルビン・ストークスの定理
ケルビン・ストークスの定理（ケルビン・ストークスのていり、）
は、3次元ベクトル場の2次元曲面上での面積分に関する定理であり、本定理は、与えられたベクトル場の回転を面積分したものと、前記面積分の積分領域の境界での線積分とを関連付ける。
本定理は、一般化されたストークスの定理の特殊なケースの一つであり、3次元ベクトル場が、formula_1上の一次微分形式と見なした場合に対応する（この場合外微分dがrotに対応する）。
本定理は、回転定理ともいわれる。
formula_2 が 区分的になめらかな平面曲線であり、かつ単純閉曲線（ジョルダン曲線）とする。即ち、formula_3 は以下の2つの性質をみたすものとする。
formula_10をformula_11の領域とし、formula_10は前記のformula_3 で縁どられているものとする。
formula_14を微分可能な3変数ベクトル値関数とする.
formula_15 をformula_16のformula_17による像集合とする.
formula_18 をformula_19で定まる空間曲線とする。
このとき、次のケルビン・ストークスの定理が成り立つ。ここで、formula_20(あるいは、HTML表記のR)は、n次元実数ベクトル空間を意味する。
主定理の証明は、以下のステップで行われる。以下に紹介する証明は、厳密な証明であり、かつ直接的には微分形式の予備知識を必要としない証明である。本証明では、グリーンの定理（本定理の平面曲線版）は既知とし、空間曲線における数理現象を平面曲線の問題に帰着する過程に重きを置く。
(1)formula_21の定義：
formula_22を、formula_23 が” formula_24の
引き戻しとなるように定める。
formula_21は formula_26に値をとる関数で、2つのパラメータ "u" , "v" を持つ。
(2)以下の等式の証明：
formula_27
(3)以下の等式の証明：
formula_28
(4)グリーンの定理への帰着：
最後に、本定理をグリーンの定理に帰着する。
formula_29 を、以下のように定義する。但し、formula_30 は、それぞれ、formula_29の第一成分、第二成分である。
ここで、formula_33 はformula_1の標準的な内積を意味する。
本節では以下の等式を示す。
上記の等式の証明は、主定理の左辺をグリーンの定理に帰着する過程に他ならない。
線積分の定義より、以下が成り立つ。
ここで、上式左辺の被積分関数はformula_37に値をとる "t" についての一変数関数であることに注意されたい。
合成関数の微分を考えると、
が成り立つ。ここで、 formula_39 はformula_40のヤコビ行列を意味する。
従って、以下が成り立つ。
従って、以下の等式を得る。
本節では、以下の等式を示す。
上式は、主定理の右辺を、グリーンの定理に帰着する過程に他ならない。
まず、formula_44, formula_45を内積の微分を考慮して計算する。計算過程は以下に示すとおりである。
が分かる。さらに、合成関数の微分を考慮すると、以下の2つの式が得られる。
さらに、内積の多重線形性を考慮すると、
ここで、formula_49 はformula_50の転置行列を意味し、
formula_51はformula_52行列 "A" が定める二次形式、即ち
を意味する。
さらに、以下の事実を考慮し、
さらに、スカラー三重積を考慮すると、以下の等式を得る。
一方で、面積分の定義から
が成り立つ。さらにスカラー三重積を考慮すると、以下を得る．
従って、以下の等式が成り立つ。
主定理の証明の最終段階である。
Second stepの結果と、Third stepの結果をグリーンの定理に代入すると、主定理が得られる。
本節では 層状ベクトル場 （保存力場)に本定理を適用し、スカラーポテンシャルの一意性を基礎づける定理を導く。
一変数の規格化写像formula_59、以下のように定義する。これは、狭義単調増加関数である。
formula_60
区分的になめらかな曲線
c:[a,b]→R, 
と、区分的に滑らかなベクトル場Fを考える。 
Fの定義域は、 formula_62 (cの値域)を包含するものとする。
このとき、以下の等式が成り立つ。
従って、定義域が[0,1]のcのみを考えても、一般性を失わないことが判る。
以降、そのように考える。
層状ベクトル場は、力学では「保存力場」と呼ばれ。流体力学では、
「渦なしベクトル場」と呼ばれる。すなわち、上記の3用語はまったく同じ意味である。
本節では、ケルビンストークスの定理を、層状ベクトル場に適応することで、一つの定理を導き出す。この定理は、流体力学でヘルムホルツの定理この定理は、層状ベクトル場をよく特徴づけるが、ホモトピー論においても重要なものである。
大変紛らわしいことに、例えばLawrence では、Theorem 2-1の
"c" と "c"のような関係にあるような2曲線の関係は単に「ホモトピック」と呼ばれている。また、Theorem 2-1のような "H" : [0, 1] × [0, 1] → "U" を、
"c" と "c"”の間のホモトピーと称している。
保存力場を議論する文脈では、そのような本が多い。
しかしながら、「ホモトピック」、「ホモトピー」という用語は、通常は、別の意味（より弱い条件のものを指す）
で使われる。
従って、ホモトピー、ホモトピックという言葉が、Theorem 2-1の意味（[TLH3]を要請する）なのか、通常の意味なのかを区別する適切な言い方が、見当たらない。そこで、当座において区別を必要とする場合には、本記事に限った言い方として、Tube-like-Homotopy Tube-Homotopeという言い方を、Theorem 2-1の意味であることを強調するために用いることにする。
以降、 ⊕ は、jointを意味し、記号formula_64 は、backwards を意味するものとする。
"D" := [0, 1] × [0, 1]　とする。"D"への平面曲線（バウンダリ）を、以下のように定義する。
一方、仮定より, "c" と "c"の間には、区分的に滑らかな、Tube-like-Homotopy"H" : "D" → "M"が存在するので、
と定義する。
"S" を "D" の "H"による像集合とすると、Theorem 1より、明らかに以下が成り立つ。
他方、F が層状ベクトル場との仮定から、
も明白である。
従って、
であるのだが、さらにHが Tubeler-Homotopy ([TLH3]をみたす)ので、
である。従って、
ことになる。
以上から、以下が判る。
これに、以下の事実を考え合わせることで、本定理の証明ができた。
上記の意味のヘルムホルツの定理は、以下の問題に指針を与える。
手始めに、以下の Lemma 2-2を考える。
Lemma 2-2は、Theorem 2-1の特殊な場合にすぎない。
Lemma 2-2の[SC0] to [SC3] は、非常に重要である。
任意のループと、任意の固定点との間に、区分的に滑らかなループ曲線
が取れる(即ち、[SC0] to [SC3]をみたすHがとれる) 
ような連結空間のことを、単連結空間という。正確な定義は以下の通り。
なお、本によっては、単連結性の定義に、さらに、「[SC4]固定点pが、ループ上にある」という条件をさらに課している場合もあるがこの条件は、（基本群を使った考察をするうえで便利だが）あってもなくてもよい。すなわち、以下の命題が同値であることは容易に想到できよう。
さて、賢明な者は、[SC0]と[SC0’]の違いについて気付き、以下の2命題の間に、非常に大きなギャップがあることに気付くであろう。しかし上記の2命題の間のギャップはとてつもなく大きく、これを埋めるには微分トポロジーに関する高度な知識が必要となる。しかし、事実として、ある程度素性の良い空間においては、この2つの命題は等価である。このギャップが気になるものは、例えば以下のリソースを参照するとよい。Lemma 2-2と、上記の事実から、以下の定理が導出される。
この定理より、