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

出典: フリー百科事典『ウィキペディア(Wikipedia)』
移動: 案内検索
ベクトル v赤色)の表現。
• 曲線上(黒色)の接基底ベクトル黄色、図左:e1, e2, e3
• 面(灰色)に対して法線をなす双対基底(青色, 図右: e1, e2, e3
一般の3次元曲線座標系英語版において、実空間上の数の組 (q1, q2, q3)によって示される。 基底とその双対基底は、基底が直交基底でない限りは一致しない[1]

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

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

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

  • ベクトルが基底に依存しない不変量であるためには、ベクトルの成分は基底の変化を補うように反対に変換されなければならない。つまり、ベクトルを変換する行列は基底を変換する行列の逆行列になっていなければならない。ベクトルの成分は反変であるという。反変な成分を持つベクトルにはたとえば、観測者に対する物体の相対的な位置や、速度、加速度躍度など位置の時間微分がある。アインシュタインの縮約を用いると、反変成分は上付き添字を用いて以下のように表される。
\mathbf{v} = v^i \mathbf{e}_i .
  • 余ベクトルが基底に依存しないためには、余ベクトルの成分は基底の変換に対して、同じ余ベクトルとして表されるように、共に変化しなければならない。つまり、余ベクトルの変換は基底の変換と同じ行列によってなされる必要がある。余ベクトルの成分は共変であるという。共変ベクトルは、関数の勾配としてしばしば現れる。共変成分は下付き添字を用いて以下のように表される。
\mathbf{v} = v_i \mathbf{e}^i .

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

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

定義[編集]

共変性反変性は一般に、基底変換の下での座標ベクトル英語版の成分がどのように変換されるかによって構成される。 Vスカラー S 上の n 次元ベクトル空間とし、f = (X 1,...,Xn ) および f' = (Y 1,...,Yn )V基底とする[注 1]。また f から f' への基底変換は、n × n正則行列 A の成分 aij について、次のように与えられる。

\mathbf{f}\mapsto \mathbf{f}' = \left(\sum_i a^i_1X_i,\dots,\sum_i a^i_nX_i\right) = \mathbf{f}A

 

 

 

 

(1)

ここで f' を基底とするベクトル Yj はそれぞれ f を基底とするベクトル Xj線形結合となる。つまり、

Y_j=\sum_i a^i_jX_i.

反変変換[編集]

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

v = \sum_i v^i[\mathbf{f}]X_i.

 

 

 

 

(2)

ここで vi [f]S のスカラーであり、ベクトル v の基底を f にとったときの成分 (components, entries ) と呼ばれる。v の成分を行ベクトル v[f] で表すと次のようになる:

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

これにより (2) は行列の積の形に書き直せる。

v = \mathbf{f}\, \mathbf{v}[\mathbf{f}].

ベクトル vf' を基底として表現すると、次のようになる。

v = \mathbf{f}'\, \mathbf{v}[\mathbf{f}'].

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

\mathbf{f}\, \mathbf{v}[\mathbf{f}] = v = \mathbf{f}'\, \mathbf{v}[\mathbf{f}'].

v の不変性と (1) の基底 ff' の関係を組み合わせれば、以下の関係から、

\mathbf{f}\, \mathbf{v}[\mathbf{f}] = \mathbf{f}A\, \mathbf{v}[\mathbf{f}A],

次の変換規則を得る。

\mathbf{v}[\mathbf{f}A] = A^{-1}\mathbf{v}[\mathbf{f}].

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

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

ここで係数 \tilde{a}^i_jA逆行列i, j 成分である。

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

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

\begin{array}{ccc}
\mathbf{f} & \longrightarrow & \mathbf{f}'\\
v[\mathbf{f}] & \longleftarrow & v[\mathbf{f}']
\end{array}

共変変換[編集]

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

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

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

f から f' への基底変換 (1) の下で、α の成分は次のように変換される。

\begin{array} {rcl}
\alpha_i[\mathbf{f}A] & = & \alpha(Y_i) \\
& = & \alpha\left(\sum_j a^j_i X_j\right) \\
& = & \sum_j a^j_i \alpha(X_j) \\
& = & \sum_j  a^j_i \alpha_j[\mathbf{f}]
\end{array}.

 

 

 

 

(3)

α の成分は行ベクトル α[f] を用いて次のように書き表せる:

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

これより (3) の関係は行列の積として書き直すことができる。

\alpha[\mathbf{f}A] = \alpha[\mathbf{f}]A.

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

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

\begin{array}{ccc}
\mathbf{f} & \longrightarrow & \mathbf{f}'\\
\alpha[\mathbf{f}] & \longrightarrow & \alpha[\mathbf{f}']
\end{array}

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

\alpha^\mathrm{T}[\mathbf{f}A] = A^\mathrm{T}\alpha^\mathrm{T}[\mathbf{f}].

関連項目[編集]

脚注[編集]

注釈[編集]

  1. ^ ここで基底 f実数空間 Rn から V への線型な同型写像と見なすことができる。f行ベクトルと見れば、f成分は基底 f Xn であり、対応する線型同型写像は \scriptstyle \mathbf{x}\mapsto \mathbf{f}\mathbf{x} である。

引用[編集]

参考文献[編集]

外部リンク[編集]