回転 (ベクトル解析)のソースを表示

[[ベクトル解析]]における'''回転'''（かいてん、{{lang-en-short|''rotation'', ''curl''}}）{{math|rot}}（または {{math|curl}}）は、三次元[[ベクトル場]]の無限小[[回転 (数学)|回転]]を記述する[[ベクトル演算子]]である。

ベクトル場の各点において、ベクトル場の回転は[[空間ベクトル|ベクトル]]として表され、このベクトルの寄与（大きさと向き）によってその点での回転が特徴付けられる。

==概要==
回転ベクトルの向きは回転軸に沿って[[右手系]]となる方にとり、回転ベクトルの大きさは回転の大きさとなる。例えば、与えられたベクトル場が、動いている[[流体]]の[[流速]]を表すものであるとき、その回転とはその流体の'''[[循環 (流体力学)|循環]]密度'''のことになる。回転場が {{math|0}} となるベクトル場は{{仮リンク|無回転|en|irrotational}}であると言う。

回転をベクトル場に対する[[導函数]]に対応させるのであれば、[[微分積分学の基本定理]]に対応するのは、ベクトル場の回転場の[[面積分]]をそのベクトル場の境界曲線上での[[線積分]]と関係づける[[ストークスの定理]]（ストークス＝ケルビンの定理）であると考えられる。

回転演算に相当する用語は {{lang|en|curl, rotation}} の他に {{lang|en|''rotor''}} や {{lang|en|''rotational''}} などがあり、記法 {{math|curl '''''F'''''}} に相当する記法は {{math|rot '''''F'''''}} や {{math|∇ × '''''F'''''}} などがある。前者の {{math|rot}} 系の用語・記法を用いる流儀はヨーロッパ諸国の系統に多く、[[ナブラ]]や[[交叉積]]を用いる記法はそれ以外の系統で使われる傾向にある。

[[勾配 (ベクトル解析)|勾配]]や[[発散 (ベクトル解析)|発散]]とは異なり、回転の概念を単純に高次元化することはできない。ただし、三次元に限らないある種の[[#一般化|一般化]]は可能で、それはベクトル場の回転がまたベクトル場となるように幾何学的に定義される。これは三次元[[交叉積]]がそうであるのと同様の現象であり、このことは回転を “{{math|∇&times;}}” で表す記法にも表れている。

回転 “{{math|curl}}” の名を最初に提示したものは[[ジェームズ・クラーク・マクスウェル]]で1871年のことである<ref>[http://www.clerkmaxwellfoundation.org/MathematicalClassificationofPhysicalQuantities_Maxwell.pdf Proceedings of the London Mathematical Society, March 9th, 1871]</ref>。

== 定義 ==
<!---DEL CROSS F IS NOT A DEFINITION, IT'S AN ALTERNATIVE NOTATION.  IT DOESN'T MEAN ANYTHING SO YOU CAN'T BASE A DEFINITION ON IT----->ベクトル場 {{mvar|'''F'''}} の回転は、{{math|curl&thinsp;'''''F'''''}} または {{math|∇ × '''''F'''''}} と書かれ、各点での値はその点を通る無数の直線の上への射影によって定義される。その点を始点とする任意の単位ベクトル {{mvar|'''n̂'''}} に対し、{{mvar|'''F'''}} の回転の {{mvar|'''n̂'''}} の上への射影は {{mvar|'''n̂'''}} に直交する平面内の[[周回積分|閉路上の積分]]を積分路が囲む面積で割った値の、積分路をその点へ無限に近づけるときの極限値として定義される。こうして定義される回転作用素 {{math|curl}} は[[滑らかな函数|{{math|''C''<sup>1</sup>}}-級]]写像 {{math|'''R'''<sup>3</sup> → '''R'''<sup>3</sup>}} を {{math|''C''<sup>0</sup>}}-級写像 {{math|'''R'''<sup>3</sup> → '''R'''<sup>3</sup>}} へ写す。
[[file:Curlorient.svg|200px|right|thumb|線積分におけるベクトルの向きの規約]]

同じことだが式で書けば、
: <math>(\operatorname{curl} \boldsymbol{F}) \cdot \hat{\boldsymbol{n}} := \lim_{A \to 0}\left( \frac{1}{|A|}\oint_{C} \boldsymbol{F} \cdot d\boldsymbol{r}\right)</math>
によって {{math|curl}} は陰に定義されるのである<ref>Mathematical methods for physics and engineering, K.F. Riley, M.P. Hobson, S.J. Bence, Cambridge University Press, 2010, ISBN 978-0-521-86153-3</ref><ref>Vector Analysis (2nd Edition), M.R. Spiegel, S. Lipcshutz, D. Spellman, Schaum’s Outlines, McGraw Hill (USA), 2009, ISBN 978-0-07-161545-7</ref>。ここで右辺の <math display="inline">\oint_{C} \boldsymbol{F} \cdot d\boldsymbol{r}</math> は、問題の領域の[[境界 (位相空間論)|境界]]に沿った[[線積分]]であり、{{math|{{abs|''A''}}}} はその領域の面積の大きさである。{{mvar|'''ν̂'''}} が領域の外側を向いた平面内の法線のとき、{{mvar|'''n̂'''}} がこの平面に直交する[[単位ベクトル]]である限りにおいて、積分路 {{mvar|C}} の[[向き]]は、{{mvar|C}} の[[接ベクトル]] {{mvar|'''ω̂'''}} が正の向きであることを、三つ組 {{math|('''''n̂''''', '''''ν̂''''', '''''ω̂''''')}} が {{mvar|'''R'''<sup>3</sup>}} の正に向き付けられた基底（[[右手系]]）を成すことを以って定める。

上記の公式は、ベクトル場の回転というものが、その場の「循環」の無限小[[面積密度]]として定義されることを意味するものである。この定義は自然に、
* 対応する大域公式としての[[ケルビン・ストークスの定理]]、
* 以下に挙げる曲線[[直交座標系]]における「覚えやすい」定義
とも適合する。後者の座標系の話は、例えば[[デカルト座標系]]、[[球面座標系]]、[[円筒座標系]]、あるいは{{仮リンク|楕円座標系|en|Elliptic_coordinate_system}}や{{仮リンク|抛物座標系|en|Parabolic_coordinates}}の場合にも
:<math>(\operatorname{curl}\boldsymbol{F})_3 = \frac{1}{a_1 a_2}\left (\frac{\partial (a_2 F_2)}{\partial u_1} - \frac{\partial (a_1 F_1)}{\partial u_2}\right )</math>
が成り立つ。ここで、{{math|(''x''<sub>1</sub>, ''x''<sub>2</sub>, ''x''<sub>3</sub>)}} が[[デカルト座標系]]で {{math|(''u''<sub>1</sub>, ''u''<sub>2</sub>, ''u''<sub>3</sub>)}} が直交座標系ならば、
:<math>a_i = \sqrt{\sum_{j = 1}^{3} \left( \frac{\partial x_j}{\partial u_i} \right)^2}</math>
は {{mvar|u<sub>i</sub>}} に対応する座標ベクトルの長さである。他の成分に関しても、添字の[[巡回置換|輪環の順]]で 3,1,2 → 1,2,3 → 2,3,1 と置き換えれば同様である。

=== 直観的解釈 ===
ベクトル場が（[[液体]]や[[気体]]の巨大タンクのような）[[流量]]の[[速度場]]を記述するもので、その流体の中に（中心が特定の点に固定された）小さなボールが浮かんでいると仮定する。ボールの表面がデコボコならば、そこを通過する流体によってボールは回転するはずである。その回転軸は（向きは右手系に従うものとして）ボールの中心から場の回転ベクトルの方向を指し、回転の角速度はその点における回転ベクトルの大きさの半分に等しい<ref>{{citation|first1=Josiah Willard |last1=Gibbs|authorlink1=Josiah Willard Gibbs|first2=Edwin Bidwell|last2=Wilson|authorlink2=Edwin Bidwell Wilson|title=Vector analysis|url=https://books.google.co.jp/books?id=R5IKAAAAYAAJ&printsec=frontcover&redir_esc=y&hl=ja|year=1902}}</ref>。

== 用語法について ==
実用に際しては、ほぼ全ての場合において適当な{{仮リンク|曲線座標系|en|Curvilinear_coordinates}}の下で回転[[作用素 (関数解析学)|作用素]]を適用することになり、その場合はより平易な表現を導出することができるので、上記の定義をそのまま適用する場面と言うのは希である。

記法 {{math|∇ × '''''F'''''}} は三次元[[交叉積]]との類推が元になっており、{{math|[[∇]]}} をベクトル[[微分作用素]]の[[ナブラ]]と考えれば[[直交座標系]]における回転作用素の表示に対する[[記憶術]]として有効なものである。作用素に対する演算を施すような記法は[[物理学]]や[[代数学]]では広く用いられる。しかし、ある種の複雑な座標系、例えば（プラズマ物理学で一般的な）極トロイド座標系 {{lang|en|(polar-toroidal coordinates)}} などを考えているときには、記法 {{math|∇ × '''''F'''''}} を斯くの如き作用素同士の演算と解釈したのでは誤った結果を導くことになる。

[[直交座標系]]に関して {{math|∇ &times; '''''F'''''}} を展開すれば、ベクトル場 {{math|'''''F''''' {{=}} (''F''<sub>''x''</sub>, ''F''<sub>''y''</sub>, ''F''<sub>''z''</sub>)}} に対して、
: <math>\nabla\times\boldsymbol{F} = \begin{vmatrix}
  \boldsymbol{i} & \boldsymbol{j} & \boldsymbol{k} \\[5pt]
  \dfrac{\partial}{\partial x} & \dfrac{\partial}{\partial y} & \dfrac{\partial}{\partial z} \\[5pt]
  F_x & F_y & F_z
\end{vmatrix}</math>
と書くことができる。ただし、{{math|'''''i''''', '''''j''''', '''''k'''''}} はそれぞれ {{mvar|x}}-軸、{{mvar|y}}-軸、{{mvar|z}}-軸方向の[[単位ベクトル]]である。

これは
: <math>\left(\frac{\partial F_z}{\partial y}  - \frac{\partial F_y}{\partial z}\right) \boldsymbol{i} + \left(\frac{\partial F_x}{\partial z} - \frac{\partial F_z}{\partial x}\right) \boldsymbol{j} + \left(\frac{\partial F_y}{\partial x} - \frac{\partial F_x}{\partial y}\right) \boldsymbol{k}</math>
と書くことと同じである<ref>Arfken, p. 43.</ref>。これは座標を用いた表示だけれども、この式が座標軸に関する真の回転に対しては不変であり、座標軸に関する鏡映では符号が反転することが確認できる。

一般の座標系における回転は
: <math>(\nabla \times \boldsymbol{F} )^k = \varepsilon^{k\ell m} \partial_\ell F_m</math>
で与えられる<ref name="Mathworld">{{MathWorld |title=Curl |urlname=Curl}}</ref>。ここで、{{mvar|ε}} は[[エディントンのイプシロン]]であり、この[[計量テンソル]]は {{mvar|'''F'''}} の下付き添字に対するものとして用いられる。また[[アインシュタインの和の規約]]に従って和の記号は省略した。

この式はつまり、各座標ベクトル場を {{mvar|'''e'''<sub>k</sub>}} とすれば
: <math>\nabla \times \boldsymbol{F} = \boldsymbol{e}_k \varepsilon^{k\ell m} \partial_\ell F_m</math>
であることを言っているのである。

これはまた、[[外微分]]を用いて
: <math> \nabla \times \boldsymbol{F} = \bigl[ {\star}( \boldsymbol{d} F^\flat) \bigr]^\sharp </math>
と書くこともできる。ここで、<math display="inline">\flat</math> と <math display="inline">\sharp</math> は{{仮リンク|音符同型|en|musical isomorphism|label=添字の上げ下げ同型}}であり、<math display="inline">\star</math> は[[ホッジスター|ホッジ・スター]]とする。

この公式を見れば一般座標系で {{mvar|'''F'''}} の回転をどのように計算すべきかがわかり、回転作用素を任意の[[向き付け可能性|向きを持つ]]三次元[[リーマン多様体]]に対して一般化することができる。これは向きに依存するから、回転は{{仮リンク|キラリティー (数学)|en|Chirality (mathematics)|label=掌性}}演算、即ち向きを逆にすれば回転の向きも同じく逆になる。

== 例 ==
=== 単純なベクトル場 ===
{{mvar|x}} と {{mvar|y}} に線型に依存するベクトル場
: <math>\boldsymbol{F}(x,y,z) = y \hat{\boldsymbol{x}} - x \hat{\boldsymbol{y}}</math>
をとれば、これは
[[Image:Uniform curl.svg|center|250px|{{math|'''''F'''''(''x'', ''y'', ''z'') {{=}} ''y'''x̂''''' − ''x'''ŷ'''''}}]]
のような様子で、見た目通りこの場が「回転」していることがわかる。この場に、どこでもよいから[[外輪]] {{lang|en|(paddle wheel)}} を置けば、外輪が時計回りに回転することはすぐに分かる。[[右手系]]に従うならば、この「回転」は、画面に向かって垂直に入る向きであることが期待される。右手系に座標系を取るのであれば、画面へ垂直に向かっていく方向は負の {{mvar|z}}-方向である。ここに {{math|''x'', ''y''}} が出てこない（{{mvar|xy}}-平面に直交する）ことは交叉積と同様である。

さて、この場の回転を計算すれば、
:<math>\nabla \times \boldsymbol{F} = 0 \hat{\boldsymbol{x}} + 0 \hat{\boldsymbol{y}} + \left[ \frac{\partial}{\partial x} (-x) -\frac{\partial}{\partial y} y \right] \hat{\boldsymbol{z}} = -2 \hat{\boldsymbol{z}}
</math>
となり、これは期待した通り、実際に負の {{mvar|z}} 方向を指す。上記の回転量はどの点 {{math|(''x'', ''y'')}} でも同じであり、{{mvar|'''F'''}} の回転を図にしたものは非常につまらないものになる：
[[file:Curl of uniform curl.png|center|250px|{{math|∇ × '''''F''''' {{=}} −2'''''ẑ'''''}}]]

=== 少し複雑な例 ===
少し状況を複雑にして、ベクトル場
: <math>\boldsymbol{F}(x,y,z) = -x^2 \hat{\boldsymbol{y}}</math>
を考える。これは以下の図
[[file:Nonuniform curl.svg|250px|center| {{math|'''''F'''''(''x'', ''y'', ''z'') {{=}} −''x''{{sub|2}}'''''ŷ'''''}}]]
のような場である。これは一見して回転を見つけることができないかもしれないが、例えば右側をよく見ると、この場は {{math|''x'' {{=}} 3}}における値よりも {{math|''x'' {{=}} 4}} における値の方が大きい。直観的にはこの部分に小さな外輪を置けば、右側の流量が大きいので時計回りに回転し始めることがわかる。これは回転ベクトルが {{mvar|z}} が負の向きを持つことを意味する。対照的に左の方を見れば、ここに外輪を置いたとき左側の流量が多いので、外輪は反時計回りに回転し、回転ベクトルは {{mvar|z}} が正の向きを持つ。これらの直観を裏打ちするように、
: <math>\nabla \times \boldsymbol{F} = 0 \hat{\boldsymbol{x}} + 0 \hat{\boldsymbol{y}} + \frac{\partial}{\partial x} \bigl( {-}x^2 \bigr) \hat{\boldsymbol{z}} = -2x \hat{\boldsymbol{z}}
</math>
が成り立ち、期待した通り実際にこの回転場は負の {{mvar|x}} に対して {{mvar|z}} の正方向を持ち、正の {{mvar|x}} に対して {{mvar|z}} の負方向を持つ。この回転はどこでも同じではないから、少しは意味のある形になる：
[[file:Curl of nonuniform curl.png|250px|center| {{math|∇ × '''''F''''' {{=}} −2''x'''ẑ'''''}}]]

この回転場の図が当然の如く {{mvar|y}} にも {{mvar|z}} にも依存しないものになっていること、および正の {{mvar|x}} に対して負の {{mvar|z}}-方向、負の {{mvar|x}} に対して正の {{mvar|z}}-方向を向いていることに注意。

=== 主な恒等式 ===
{{Main|{{仮リンク|ベクトル解析における公式の一覧|en|Vector calculus identities}}}}
例えば {{math|∇ ×('''''v''''' × '''''F''''')}} を考える。デカルト座標系に従えば、これは
: <math>\nabla\times(\boldsymbol{v}\times\boldsymbol{F}) = \bigl[ (\nabla\cdot\boldsymbol{F}) + \boldsymbol{F}\cdot\nabla \bigr] \boldsymbol{v} - \bigl[ (\nabla\cdot\boldsymbol{v}) + \boldsymbol{v}\cdot\nabla \bigr]\boldsymbol{F}</math>
となることが示される。この場合はベクトル場 {{math|'''v'''}} と {{math|∇}} とを入れ替えて
: <math>\boldsymbol{v}\times(\nabla\times\boldsymbol{F}) = \nabla_\boldsymbol{F}(\boldsymbol{v}\cdot\boldsymbol{F}) - (\boldsymbol{v}\cdot\nabla)\boldsymbol{F}</math>
とすることができる。ここで、ファインマンの下付き添字記法 {{math|∇<sub>'''''F'''''</sub>}} を用いた。これは下付きにした勾配作用を因子 {{mvar|'''F'''}} のみに対して施すことを意味する。

他には例えば、{{math|∇ ×(∇ × '''F''')}} を考えれば、これはデカルト座標系で
: <math> \nabla \times (\nabla\times\boldsymbol{F}) = \nabla(\nabla\cdot\boldsymbol{F}) - \nabla^2 \boldsymbol{F}</math>
となり、これを前の例で {{math|'''''v''''' &rarr; &nabla;}} とした特別の場合として考えることができる。（この場合、
{{math|∇<sup>2</sup>'''''F'''''}} は、問題のベクトルの各成分に対して個別に[[ラプラス作用素]]を施したベクトルであることに注意）。

任意の[[スカラー場]] {{mvar|ϕ}} に対し、その[[勾配 (ベクトル解析)|勾配]]の回転は常に[[零ベクトル]]、即ち
:<math>\nabla \times (\nabla\phi)  = \boldsymbol{0}</math>
が成り立つ。また、{{mvar|ϕ}} がスカラー値で {{mvar|'''F'''}} がベクトル場ならば、
:<math>\nabla \times (\phi\boldsymbol{F}) = \nabla\phi\times\boldsymbol{F} + \phi\nabla \times \boldsymbol{F}</math>
が成り立つ。

=== 記述的な例 ===
* 回転円板の各部の直線速度を記述するベクトル場において、回転は各点において同じ値を取る。
* 四つの[[マクスウェルの方程式]]のうちの二つ、[[ファラデーの電磁誘導の法則|ファラデーの法則]]と[[アンペールの法則]]は、回転を使って簡潔に書くことができる。ファラデーの法則は電場の回転が磁場の時間変化率のマイナス倍に等しいことを主唱するものであり、またアンペールの法則は磁場の回転が電流および電場の時間変化率に関係することを述べるものである。

== 一般化 ==
ベクトル解析における演算 [[勾配 (ベクトル解析)|{{math|grad}}]], {{math|curl}}, [[発散 (ベクトル解析)|{{math|div}}]] を一般化することは、いくつかの段階を踏んで、微分形式の文脈で考えるのが最も容易に理解できる。簡単に言ってしまえば、各演算はそれぞれ順に、0-形式、1-形式、2-形式の微分に対応するのである。回転の幾何学的解釈は、三次元における{{仮リンク|二重ベクトル|en|Bivector}} (2-ベクトル) の全体を無限小回転（座標をとれば 3 &times; 3 歪対称行列）の全体である[[回転群|特殊直交リー環]] {{math|so(3)}} と同一視することに相当する。いっぽう、ベクトルによる回転の表現は、1-ベクトル（2-ベクトルで考えても同じだが）の全体を {{math|so(3)}} と同一視することに対応する（これらは何れも三次元空間になる）。

=== 微分形式による定式化 ===
{{main|微分形式}}
三次元において、各係数は実函数であるものとして、
* 微分零次形式 (0-form) は、単なる函数 {{math|''f''(''x'', ''y'', ''z'')}}
* 微分一次形式 (1-form) は、一次結合 <math>a_1\,dx + a_2\,dy + a_3\,dz</math>
* 微分二次形式 (2-form) は、形式和 <math>a_{12}\,dx\wedge dy + a_{13}\,dx\wedge dz + a_{23}\,dy\wedge dz</math>
* 微分三次形式 (3-form) は、単項式 <math>a_{123}\,dx\wedge dy\wedge dz</math>
で与えられる。ここで、{{math|''dx'' &and; ''dy''}} などの「楔積」は
: <math>dx\wedge dy=-dy\wedge dx</math>
などを満たし、ある種の有向（あるいは符号付き）面積として理解できる。{{math|'''R'''<sup>3</sup>}} における {{mvar|k}}-形式の[[外微分]]は天下り式に {{math|(''k''+1)}}-形式として与えられ（これは {{math|'''R'''<sup>''n''</sup>}} でも、例えば
: <math>\omega^{(k)} = \sum_{i_1 < i_2 < \dotsb < i_k ; \atop \forall i_\nu \in 1, \dotsc, n} a_{i_1, \dotsc,  i_k} \, dx_{i_1} \wedge \dotsb \wedge dx_{i_k}</math>
に外微分 {{mvar|d}} を施したものが
: <math> d\omega^{(k)} = \sum_{j=1;\atop
i_1 < \dotsb < i_k}^n \frac{\partial a_{i_1, \dotsc, i_k}}{\partial x_j} \,dx_j \wedge dx_{i_1} \wedge \dotsb \wedge dx_{i_k}</math>
で与えられ）、従って 1-形式の外微分は 2-形式、2-形式の外微分は 3-形式となる。一方、
: <math>\frac{\partial^2}{\partial x \, \partial y} = \frac{\partial^2}{\partial y \, \partial x}</math>
など、混合微分の交換可能性 {{lang|en|(interchangeability)}} が成り立つから、外微分を二度施したものは必ず {{math|0}} になる ({{math|''d''<sup>2</sup> {{=}} 0}})。

従って、{{mvar|k}}-形式全体の成す空間を {{math|&Omega;<sup>''k''</sup>('''R'''<sup>3</sup>)}} と書くと、外微分 {{mvar|d}} によって系列
:<math>0 \overset{d}{{}\to{}} \Omega^0(\mathbf{R}^3) \overset{d}{{}\to{}} \Omega^1(\mathbf{R}^3) \overset{d}{{}\to{}} \Omega^2(\mathbf{R}^3)\overset{d}{{}\to{}} \Omega^3(\mathbf{R}^3)\overset{d}{{}\to{}} 0</math>
が得られる。ここで、空間 {{math|&Omega;<sup>''k''</sup>('''R'''<sup>''n''</sup>)}} は {{math|'''R'''<sup>''n''</sup>}} 上の[[ベクトル束]]である[[外積代数]] <math display="inline">\bigwedge^{k}(\mathbf{R}^n)</math> の切断全体の成す空間に一致し、この外積代数の次元が[[二項係数]] <math display="inline">\binom{n}{k}</math> であるから、{{math|''k'' &gt; 3}} または {{math|''k'' &lt; 0}} のとき {{math|&Omega;<sup>''k''</sup>('''R'''<sup>3</sup>) {{=}} 0}} に注意して、次元のみ見れば[[パスカルの三角形]]の中の一行
: 0 → 1 → 3 → 3 → 1 → 0
が出てくる。一次元ファイバーが函数に対応し、三次元ファイバーがベクトル場に対応する（後述）。適当な[[違いを除いて|同一視で割って]]、外微分から {{math|grad}}, {{math|curl}}, {{math|div}} に対応する三つの非自明な演算が導かれることに注意。

微分形式や微分は任意のユークリッド空間（あるいは実際は任意の多様体）の上でリーマン計量を使わずに定義することができるが、[[リーマン多様体]]（あるいはより一般の[[擬リーマン多様体]]）の上では、{{mvar|k}}-形式を[[pベクトル| {{mvar|k}}-ベクトル]]場と同一視することができる（{{mvar|k}}-形式は {{mvar|k}}-階共変ベクトルであり、擬リーマン計量がベクトルと共変ベクトルとの間の同型を与える）。また、「向き付けられた」ベクトル空間が[[非退化形式]]（ベクトルと共変ベクトルとの間の同型）を持つならば、{{mvar|k}}-ベクトルと {{math|(''n'' &minus; ''k'')}}-ベクトルとの間に同型対応が存在し、特に向き付けられた擬リーマン多様体（の接空間）の上にそのような対応が入る。従って、向き付けられた擬リーマン多様体上では、{{mvar|k}}-形式、{{mvar|k}}-ベクトル場、{{math|(''n'' &minus; ''k'')}}-形式、{{math|(''n'' &minus; ''k'')}}-ベクトル場を互いに入れ替えるような操作が許される（[[ホッジ双対|ホッジ双対性]]と呼ばれる）。具体的に {{math|'''R'''<sup>3</sup>}} 上で考えると、
; 1-形式と 1-ベクトル場との交換: <math>a_x\,dx + a_y\,dy + a_z\,dz \quad \leftrightarrow\quad (a_x, a_y, a_z).</math>
; 1-形式と 2-形式の交換: {{math|''dx'', ''dy'', ''dz''}} は向きに注意してそれぞれ「双対」形式
:: <math>dy \wedge dz,\quad dz \wedge dx \; (= -dx \wedge dz),\quad dx \wedge dy</math>
: に対応する。従って一般に
:: <math>a_x\,dx + a_y\,dy + a_z\,dz\quad\leftrightarrow\quad a_z\,dx\wedge dy + a_y\,dz\wedge dx + a_x\,dy\wedge dz.</math>

以上から、0-形式と 3-形式は函数に、1-形式と 2-形式はベクトル場に対応し、
* grad は函数 (0-form) をベクトル場 (1-form) に、
* curl はベクトル場 (1-form) をベクトル場 (2-form) に、
* div はベクトル場 (2-form) を函数 (3-form) に
それぞれ写す演算として理解できる。一方、{{math|''d''<sup>2</sup> {{=}} 0}} なる事実に対応するのは、函数 {{mvar|f}} およびベクトル場 {{mvar|'''v'''}} に対する二つの恒等式 {{math|curl&thinsp;grad&thinsp;''f'' {{=}} 0}} および {{math|div&thinsp;curl&thinsp;'''''v''''' {{=}} 0}} である。

{{math|grad}} と {{math|div}} に関しては上と同じ幾何学的解釈のもとでそのまま任意の向き付けられた擬リーマン多様体に対して一般化できる。これは、0-形式の空間と {{mvar|n}}-形式の空間が常に（ファイバーごとに）一次元でスカラー値函数の空間と同一視でき、かつ 1-形式の空間と {{math|(''n'' &minus; 1)}}-形式の空間が常に（ファイバーごとに）{{mvar|n}}-次元でベクトル場の空間と同一視できることによる。しかし、{{math|curl}} はこの方法で四次元やより高次元の場合へ（あるいは二次元やより低次元の場合へ）一般化することはできない。四次元の場合の微分形式の空間の次元は
: 0 → 1 → 4 → 6 → 4 → 1 → 0
であるから、（ファイバーごとに四次元な）1-ベクトル場の回転は、ファイバーごとに六次元な '''2-ベクトル場'''
: <math>\omega^{(2)} = \sum_{i<k=1,\dotsc,4} a_{i,k} \, dx_i \wedge dx_k</math>
となり、これは確かに六つの線型独立な項を持つ和で、1-ベクトル場と同一視することはできない。また、{{math|''d''<sup>2</sup> {{=}} 0}} となることから、1-ベクトルを 2-ベクトルを経て 3-ベクトルへ写すことに意味を持たせることができない。従って、先の論法によってベクトル場をベクトル場へ写す回転作用素 {{math|curl}} を他の次元において得ることはできないことがわかる。

しかし、ベクトル場の回転を '''2-ベクトル場'''として定義することは一般に可能である（後述）。

=== 微分幾何学的な意味での回転 ===
二重ベクトル（2-ベクトル）の集合は二次の外冪 <math display="inline">\bigwedge^{2}V</math> に対応し、これは内積と座標系をとれば歪対称行列の全体であって、幾何学的には無限小回転全体の成す[[回転群|特殊直交リー環]] {{math|so(''V'')}} と見做される。これは <math display="inline">\binom{n}{2}=\frac{1}{2}n(n-1)</math> 次元であり、また無限小回転として 2-ベクトルを 1-ベクトル場の微分と解釈できるようになる。（自明な零次元の場合を除けば）三次元だけが <math display="inline">n=\binom{n}{2}</math> を満たすから、この場合が最もすっきりと述べられ、よく用いられる。零次元と一次元では非自明な 2-ベクトルがないから、ベクトル場の回転は常に 0 である。二次元の場合、ベクトル場の回転はベクトル場ではなく、回転角によって与えられる函数（スカラー場）になってしまう（回転角には、時計回りと反時計回りの何れを正の向きとするかという「向き」が必要である）。これはスカラー場であるが、{{math|div}} とは別の場であり、特に両者は互いに直交することに注意。三次元の場合は、従前の通りベクトル場の回転はベクトル場になる。一方、四次元の場合のベクトル場の回転は、幾何学的には各点において六次元のリー環 {{math|so(4)}} の元が対応する。

二つの座標（例えば {{mvar|x}} と {{mvar|y}}）のみに依存する三次元ベクトル場の回転は、単なる（{{mvar|z}}-方向の）垂直ベクトル場で、その大きさが（本項で例に挙げた）二次元ベクトル場の回転によって与えられるものとなることに注意。

回転を二重ベクトル場（反対称二階テンソル）と考えることは、ベクトル解析とそれに関連する物理学を高次元化するのに用いられている<ref>[https://arxiv.org/abs/hep-ph/0609260 Generalizing Cross Products and Maxwell's Equations to Universal Extra Dimensions], A.W. McDavid, C.D. McMullen, 2006</ref>。

== 脚注 ==
{{脚注ヘルプ}}
{{Reflist}}

== 参考文献 ==
* Arfken, George B. and Hans J. Weber. ''Mathematical Methods For Physicists'', Academic Press; 6 edition (June 21, 2005). ISBN 978-0-12-059876-2.
* {{cite book |author=Korn, Granino Arthur and Theresa M. Korn  |title=Mathematical Handbook for Scientists and Engineers: Definitions, Theorems, and Formulas for Reference and Review |publisher=Dover Publications |location=New York |year= |pages=157–160 |isbn=0-486-41147-8 |oclc= |doi=}}

== 関連項目 ==
* [[ナブラ]]
* [[勾配 (ベクトル解析)]]
* [[発散 (ベクトル解析)]]
* {{仮リンク|円柱座標系および球面座標系におけるナブラ演算子|en|Nabla in cylindrical and spherical coordinates}}
* [[渦度]]
* [[ベクトル三重積]]
* [[ヘルムホルツ分解]]

== 外部リンク ==
* {{SpringerEOM|title=Curl|urlname=Curl}}
* [http://mathinsight.org/curl_idea The idea of curl of a vector field]
* [http://betterexplained.com/articles/vector-calculus-understanding-circulation-and-curl Curl BetterExplained]

{{DEFAULTSORT:かいてん}}
[[Category:ベクトル解析]]
[[Category:解析幾何学]]
[[Category:数学に関する記事]]