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

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

概要

ベクトル テンプレート:Math（赤色）の表現。
• 曲線上（黒色）の接基底ベクトル（黄色、図左：テンプレート:Math）
• 面（灰色）に対して法線をなす双対基底(青色, 図右： テンプレート:Math）
一般の3次元テンプレート:仮リンクにおいて、実空間上の点は数の組 (テンプレート:Math)によって示される。 基底とその双対基底は、基底が直交基底でない限りは一致しないテンプレート:Sfnp。

座標系のスケール変換は単位系の変更に関連する。

たとえば長さのスケールを考える。単位をメートル m からセンチメートル cm に変更する、すなわち長さの基準を 1/100倍に変える。このとき、長さの値は100倍になる。同様に位置ベクトルや速度ベクトルの各成分も テンプレート:Math 倍となる。このように、座標系の基準スケールを変えたときに、基準の変化とは逆の変化を要請することを反変性という。

この種のベクトルは長さや長さと他の次元の積の次元を持つ。対照的にその双対ベクトル（余ベクトルと呼ばれる）の次元は長さの逆か、それに別の次元を掛けたものになる。

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

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

$𝒗=v^i{𝒆}_i$

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

$𝒗=v_i{𝒆}^i$

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

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

定義

共変性と反変性は一般に、基底変換の下でのテンプレート:仮リンクの成分がどのように変換されるかによって構成される。 テンプレート:Mvar をスカラー体 テンプレート:Mvar 上の テンプレート:Mvar 次元のベクトル空間とし、テンプレート:Math および テンプレート:Math を テンプレート:Mvar の基底とする。また テンプレート:Math から テンプレート:Math への基底変換は、テンプレート:Math の正則行列 テンプレート:Mvar の成分 テンプレート:Mvar について、次のように与えられる。 テンプレート:NumBlk

基底 テンプレート:Math を構成するベクトル テンプレート:Mvar はそれぞれ、基底 テンプレート:Math を構成するベクトル テンプレート:Mvar の線形結合となる。つまり、

$Y_j=\sum _i{a}_j^i{X}_i$

反変変換

テンプレート:Mvar のベクトル テンプレート:Mvar は基底 テンプレート:Math を構成する各 テンプレート:Mvar の線形結合として一意に表される。

ここで テンプレート:Math は テンプレート:Mvar のスカラーであり、ベクトル テンプレート:Mvar の基底を テンプレート:Math にとったときの成分 (テンプレート:En ) と呼ばれる。テンプレート:Mvar の成分を列ベクトル テンプレート:Math で表すと次のようになる：

$𝒗[𝒇]=\left[\begin{array}{c}{v}^1[𝒇]\\ v^2[𝒇]\\ ⋮\\ v^n[𝒇]\end{array}\right]$

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

$v=𝒇𝒗[𝒇]$

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

$v={𝒇}^{\prime }𝒗[{𝒇}^{\prime }]$

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

$𝒇𝒗[𝒇]=v={𝒇}^{\prime }𝒗[{𝒇}^{\prime }]$

このテンプレート:Mvar の不変性と、 (テンプレート:EquationNote) の基底 テンプレート:Math と テンプレート:Math の関係を組み合わせて、

$𝒇𝒗[𝒇]=𝒇A𝒗[𝒇A]$

ここから次の変換規則を得る。

$𝒗[𝒇A]=A^{-1}𝒗[𝒇]$

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

$v^i[{𝒇}^{\prime }]=\sum _j{\tilde{a}}_j^i{v}^j[𝒇]$

ここで係数 テンプレート:Mvar は テンプレート:Mvar の逆行列の テンプレート:Math 成分である。

ベクトル テンプレート:Mvar の成分は基底を変換する行列 テンプレート:Mvar の逆行列によって変換されるため、ベクトルの成分は基底の変換に対して反変である (テンプレート:En) という。

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

$\begin{array}{ccc}𝒇& ⟶& {𝒇}^{\prime }\\ 𝒗[𝒇]& ⟵& 𝒗[{𝒇}^{\prime }]\end{array}$

共変変換

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

$\alpha (X_i)={\alpha }_i[𝒇],i=1,2,\dots ,n$

これらの成分は 基底 テンプレート:Mvar の元 テンプレート:Mvar 上の テンプレート:Mvar の作用である。

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

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

$\mathit{\alpha }[𝒇]=[{\alpha }_1[𝒇],{\alpha }_2[𝒇],\dots ,{\alpha }_n[𝒇]]$

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

$\alpha [𝒇A]=\alpha [𝒇]A$

線型汎関数 テンプレート:Mvar の成分は基底の変換 テンプレート:Mvar に従って変換されるため、テンプレート:Mvar の成分は基底の変換に対して共変である (テンプレート:En) という。

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

$\begin{array}{ccc}𝒇& ⟶& {𝒇}^{\prime }\\ \alpha [𝒇]& ⟶& \alpha [{𝒇}^{\prime }]\end{array}$

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

${\alpha }^{\mathrm{\top }}[𝒇A]=A^{\mathrm{\top }}{\alpha }^{\mathrm{\top }}[𝒇]$

関連項目

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

参考文献

• テンプレート:Cite book
• テンプレート:Cite webテンプレート:リンク切れ
• テンプレート:Citation.
• テンプレート:Citation.
• テンプレート:Citation.
• テンプレート:Citation.
• テンプレート:Citation.

外部リンク

• テンプレート:SpringerEOM
• テンプレート:SpringerEOM
• テンプレート:MathWorld
• テンプレート:MathWorld
• Invariance, Contravariance, and Covariance

テンプレート:Tensors