ベクトルの共変性と反変性

ファイル:Vector 1-form.svg

ベクトル v（赤色）の表現。
• 曲線上（黒色）の接基底ベクトル（黄色、図左：e₁, e₂, e₃）
• 面（灰色）に対して法線をなす双対基底(青色, 図右： e¹, e², e³）
一般の3次元曲線座標系において、実空間上の点は数の組 (q¹, q², q³)によって示される。 基底とその双対基底は、基底が直交基底でない限りは一致しない。

多重線型代数やテンソル解析における共変性（英: covariance）と反変性（英: contravariance）とは、ある幾何学的または物理的な対象に基底変換を施した際に、それがどのように変化をするかを表す。物理学では、基底は基準とする座標系の軸としばしば同一視される。

座標系のスケール変換は単位系の変更に関連する。たとえば、メートル m からセンチメートル cm にスケールを変更すると（つまり長さのスケールを 100 で割ると）、速度ベクトルの成分は 100 倍される。このように、座標系のスケール変換をしたとき、それとは逆 にベクトルのスケールが変換される振る舞いを示すことを反変性という。結果として、ベクトルは長さや長さと他の次元の積の次元を持つ。対照的にその双対ベクトル（余ベクトルと呼ばれる）の次元は一般に、長さの逆かそれに別の次元を掛けたものになる。

双対ベクトルの例としては勾配が挙げられる。勾配は空間微分によって定義され、長さの逆の次元を持つ。双対ベクトルの成分は座標系のスケールと同様に 変換される。このような振る舞いを共変性という。ベクトルおよび余ベクトルの成分は、一般の基底の変換に対しても同じような規則で変換される。

• ベクトルが基底に依存しない不変量であるためには、ベクトルの成分は基底の変化を補うように反対に変換されなければならない。つまり、ベクトルを変換する行列は基底を変換する行列の逆行列になっていなければならない。ベクトルの成分は反変であるという。反変な成分を持つベクトルにはたとえば、観測者に対する物体の相対的な位置や、速度、加速度、躍度など位置の時間微分がある。アインシュタインの縮約を用いると、反変成分は上付き添字を用いて以下のように表される。

[math]\boldsymbol{v} = v^i \boldsymbol{e}_i .[/math]

• 余ベクトルが基底に依存しないためには、余ベクトルの成分は基底の変換に対して、同じ余ベクトルとして表されるように、共に変化しなければならない。つまり、余ベクトルの変換は基底の変換と同じ行列によってなされる必要がある。余ベクトルの成分は共変であるという。共変ベクトルは、関数の勾配としてしばしば現れる。共変成分は下付き添字を用いて以下のように表される。

[math]\boldsymbol{v} = v_i \boldsymbol{e}^i .[/math]

物理学や幾何学においては、円筒座標や球座標などの曲線座標系がしばしば用いられる。空間の各点でのベクトルに対する基底を自然なものに取ることと、ベクトルの共変性および反変性には深い関わりがあり、ベクトルの座標表示が座標系を移したときどのように変化するかということを理解する上で特に重要である。

covariant （共変）および contravariant （反変）という語はジェームス・ジョセフ・シルベスターによって1853年に代数的な不変式論の研究のために導入された。 不変式論の文脈ではたとえば、斉次方程式は変数変換に対して反変である。多重線型代数におけるテンソルは共変でありかつ反変であり得る。多重線型代数における共変性および反変性は、圏論における関手に対する用法の特別な例である。

定義

共変性と反変性は一般に、基底変換の下での座標ベクトルの成分がどのように変換されるかによって構成される。 V をスカラー体 S 上の n 次元のベクトル空間とし、f = (X ₁,...,X_n ) および fテンプレート:' = (Y ₁,...,Y_n ) を V の基底とする。また f から fテンプレート:' への基底変換は、n × n の正則行列 A の成分 aⁱ_j について、次のように与えられる。 テンプレート:NumBlk

ここで fテンプレート:' を基底とするベクトル Y_j はそれぞれ f を基底とするベクトル X_j の線形結合となる。つまり、

[math]Y_j=\sum_i a^i_jX_i.[/math]

反変変換

V のベクトル v は基底 f の元の線形結合として一意に表される。

ここで vⁱ [fテンプレート:)! は S のスカラーであり、ベクトル v の基底を f にとったときの成分 (components, entries ) と呼ばれる。v の成分を列ベクトル v[fテンプレート:)! で表すと次のようになる：

[math]\boldsymbol{v}[\boldsymbol{f}] = \begin{bmatrix}v^1[\boldsymbol{f}]\\v^2[\boldsymbol{f}]\\\vdots\\v^n[\boldsymbol{f}]\end{bmatrix}[/math]

これにより (テンプレート:EquationNote) は行列の積の形に書き直せる。

[math]v = \boldsymbol{f} \boldsymbol{v}[\boldsymbol{f}].[/math]

ベクトル v を fテンプレート:' を基底として表現すると、次のようになる。

[math]v = \boldsymbol{f}' \boldsymbol{v}[\boldsymbol{f}'].[/math]

ただし、ベクトル v そのものは基底の選び方によらず不変であるので、二つの表現は互いに等しい。

[math]\boldsymbol{f} \boldsymbol{v}[\boldsymbol{f}] = v = \boldsymbol{f}' \boldsymbol{v}[\boldsymbol{f}'].[/math]

v の不変性と (テンプレート:EquationNote) の基底 f と fテンプレート:' の関係を組み合わせれば、以下の関係から、

[math]\boldsymbol{f} \boldsymbol{v}[\boldsymbol{f}] = \boldsymbol{f} \boldsymbol{A} \boldsymbol{v}[\boldsymbol{f} \boldsymbol{A}],[/math]

次の変換規則を得る。

[math]\boldsymbol{v}[\boldsymbol{f} \boldsymbol{A}] = \boldsymbol{A}^{-1}\boldsymbol{v}[\boldsymbol{f}].[/math]

また、成分表示では次のように書ける。

[math]v^i[\boldsymbol{f}\boldsymbol{A}] = \sum_j \tilde{a}^i_jv^j[\boldsymbol{f}].[/math]

ここで係数 [math]\tilde{a}^i_j[/math] は A の逆行列の i, j 成分である。

ベクトル v の成分は基底を変換する行列 A の逆行列によって変換されるため、ベクトルの成分は基底の変換に対して反変である (transform contravariantly ) という。

変換 A によって結び付けられる基底とベクトルの組は、矢印を使った図で次のようにラフに表現される。反対向きの矢印は反変変換を示す：

[math]\begin{array}{ccc} \boldsymbol{f} & \longrightarrow & \boldsymbol{f}'\\ v[\boldsymbol{f}] & \longleftarrow & v[\boldsymbol{f}'] \end{array}[/math]

共変変換

ベクトル空間 V 上の線型汎関数 α は基底 f の成分（係数体 S のスカラー）を用いて一意に表すことができる。

[math]\alpha(X_i) = \alpha_i[\boldsymbol{f}] , \quad i=1,2,\dots,n.[/math]

これらの成分は 基底 f の元 X_i 上の α の作用である。

f から fテンプレート:' への基底変換 (テンプレート:EquationNote) の下で、α の成分は次のように変換される。

α の成分は行ベクトル α[fテンプレート:)! を用いて次のように書き表せる：

[math]\boldsymbol{\alpha}[\boldsymbol{f}] = \begin{bmatrix}\alpha_1[\boldsymbol{f}],\alpha_2[\boldsymbol{f}],\dots,\alpha_n[\boldsymbol{f}]\end{bmatrix}[/math]

これより (テンプレート:EquationNote) の関係は行列の積として書き直すことができる。

[math]\alpha[\boldsymbol{f}A] = \alpha[\boldsymbol{f}]A.[/math]

線型汎関数 α の成分は基底の変換 A に従って変換されるため、α の成分は基底の変換に対して共変である (transform covariantly ) という。

変換 A によって結ばれる基底と共変ベクトルの組は矢印を使った図で次のようにラフに表される。共変性は基底の変換と同じ向きの矢印で表現される：

[math]\begin{array}{ccc} \boldsymbol{f} & \longrightarrow & \boldsymbol{f}'\\ \alpha[\boldsymbol{f}] & \longrightarrow & \alpha[\boldsymbol{f}'] \end{array}[/math]

行ベクトルの代わりに列ベクトルを用いて表現する場合、変換規則は転置を用いて次のように表される。

[math]\alpha^\intercal [\boldsymbol{f}A] = \boldsymbol{A}^\intercal \alpha^\intercal [\boldsymbol{f}].[/math]

関連項目

• 多重線型代数
• テンソル
• 基底変換
• en:Active and passive transformation

参考文献

• J.A. Wheeler, C. Misner, K.S. Thorne (1973). Gravitation. W.H. Freeman & Co. ISBN 0-7167-0344-0. 
• Bowen, Ray (2008年). “Introduction to Vectors and Tensors”. Dover. pp. 78, 79, 81. . 2014閲覧.
• Arfken, George B.; Weber, Hans J. (2005), Mathematical Methods for Physicists (6th ed.), San Diego: Harcourt, ISBN 0-12-059876-0 .
• Dodson, C. T. J.; Poston, T. (1991), Tensor geometry, Graduate Texts in Mathematics, 130 (2nd ed.), Berlin, New York: Springer-Verlag, ISBN 978-3-540-52018-4, MR 1223091 .
• Greub, Werner Hildbert (1967), Multilinear algebra, Die Grundlehren der Mathematischen Wissenschaften, Band 136, Springer-Verlag New York, Inc., New York, MR 0224623 .
• Sternberg, Shlomo (1983), Lectures on differential geometry, New York: Chelsea, ISBN 978-0-8284-0316-0 .
• Sylvester, J.J. (1853), “On a Theory of the Syzygetic Relations of Two Rational Integral Functions, Comprising an Application to the Theory of Sturm's Functions, and That of the Greatest Algebraical Common Measure”, Philosophical Transactions of the Royal Society of London (The Royal Society) 143: 407–548, doi:10.1098/rstl.1853.0018, JSTOR 108572, http://jstor.org/stable/108572 .

外部リンク

• テンプレート:Springer
• テンプレート:Springer
• Weisstein, Eric W. “Covariant Tensor”. MathWorld（英語）.
• Weisstein, Eric W. “Contravariant Tensor”. MathWorld（英語）.
• Invariance, Contravariance, and Covariance