空間のベクトルの空間の一次写像と行列

2022-05-04

ここでは空間のベクトルの空間 $$ の一次写像について考えます。前回に説明した平面のベクトルの空間 $$ の場合と同様な話が成り立つことがわかります。

$$の一次写像

空間のベクトルの空間 $$ のどのベクトルに対してもある新しいベクトルを対応させる決まり $$ のうち

$$ という性質をもつものを $$ の一次写像といいます。

例

空間の中のどこかに原点 $$ を定めておきます。図を描いたりして想像すればわかりますが、次の「決まり」はどれも $$ の一次写像です。

• $$ のベクトル $$ に対して $$ に関して（点）対象なベクトルを対応させる。（原点に関する対称移動）
• $$ を通るある平面 $$ を考え、$$ のベクトル $$ に対して $$ に関し（面）対象なベクトルを対応させる。（ある平面に関する鏡映）
• $$ を通るある向きのついた直線 $$ を考え、$$ のベクトル $$ に対して 、$$ から $$ の進む方向を見て$$ を軸として反時計回りに$$ 回転させたベクトルを対応させる。（ある直線に関する回転移動）

例えば、原点に関する対称移動は、

• 2つのベクトルを足してから原点に関して対称移動したものと、2つのベクトルをそれぞれ原点に関して対称移動してから足したものは一致する
• あるベクトルを何とか倍してから原点に関する対称移動をしたものと、あるベクトルを原点に関して対称移動してからナントカ倍したものは一致する

という性質をもっていることは、図を想像したりすれば悟ることができるでしょう。

座標系を設けて $$ の一次写像を行列で表現する

$$ の幾何ベクトルを数ベクトルで扱う

空間に、必ずしも直交していない座標系を設けることにしましょう。

$$ 軸と $$ 軸を含む平面を $$ 面、$$ 軸と $$ 軸を含む平面を $$ 面、$$ 軸と $$ 軸を含む平面を $$ 面と呼ぶことにします。

たとえ軸どうしが直交していないとしても、この座標系を使うと以下説明するようにして $$ の幾何ベクトルに数ベクトルを対応させることができます。

$$ を $$ の幾何ベクトルとし、原点を始点とする矢印で代表させます。

この矢印の終点を通り $$ 面に平行な平面を考えます。この平面と $$ 軸はある場所で交わりますが 交点で $$ 軸の目盛りを読み取ります。

同様にして、終点を通り$$ 面に平行な平面と $$ 軸との交点の目盛り、終点を通り$$ 面に平行な平面と $$ 軸との交点の目盛りを読み取ります。

以上のようにすると3つの数が得られますがここではそれらを $$ であらわすことにします。

そしてこれら3つの数を縦に並べ、カッコでくくることにより $$ に対応する数ベクトル $$ が得られます。

（座標系を違うものに取り替えると、得られる数ベクトルも異なるものになることは容易に想像できるでしょう。）

$$ の対称移動を行列で表現する

ではここで、$$ の一次写像の例として原点 $$ に関する対称移動を考えることにします。そしてこの一次写像を $$ であらわすことにします。

空間の中に必ずしも直交していない座標系を設けておきます。そして$$ をあらわす数ベクトルと $$ ををあらわす数ベクトルをそれぞれ、

とおくことにします。

座標系の描かれている図を自分で描いてみるととわかりますが、$$ は $$ を $$ に関して対称移動したものなので、それぞれの数ベクトルの間には

の関係があります。（これは、原点に関する対称移動はどの幾何ベクトルも長さを変えずに逆向きに移動することを考えてみればほとんど明らかでしょう。）

この関係は行列をもちいてあらわすと、

であることがわかります。

$$ の回転を行列で表現する

では別の一次写像の例として、空間に右手系の正規直交座標系を設定して、 $$ 軸に関する角 $$ の回転のことを考えてみることにしましょう。

この回転をあらわす一次写像を $$ とし、幾何ベクトル $$ に対応する数ベクトルと 幾何ベクトル $$ に対応する数ベクトルをそれぞれ、

$$ とおくことにします。

右手系の正規直交座標系が描かれている図を自分で描いてみるとわかりますが、$$ の終点が $$ 軸に関して角 $$ だけ回転して $$ の終点ができるわけですから $$ の値は変わりません。ですから、$$ と $$ がどうなるかということを $$ 平面の回転を思い出して考えれば十分です。そうすると、それぞれの数ベクトルの間には

$$ の関係がありことがわかります。

この関係は行列をもちいてあらわすと、 $$

であることがわかります。

基底を用いて $$ の一次写像を行列で表現する

$$ の一次写像 $$ があるとします。

$$ の基底 $$ を用意します。（零ベクトルではない 3つのベクトル $$ でどのように平行移動してもある1つの平面には乗せられないものを用意すれば良いわけですね。）

$$ のどんなベクトル $$ も適切な 3つの数 $$ を用いて、 $$ のように一意に書くことができます。そして、この基底 $$ を使ったときの $$ に対応する数ベクトルは

となっています。

また、$$ も $$ のベクトルですから 適切な 3つの数 $$ を用いて、$$ と一意に書けるはずです。そうすると、基底 $$ を使ったときの $$ に対応する数ベクトルは $$ とあらわされます。

$$ は $$ の一次写像ですから、 $$

という計算が成り立ちます。 この式は、どんなベクトル $$ の $$ による行き先 $$も、基底として選んだ 3つのベクトル $$ の行き先 $$ によって決定されるということを主張しています。

そしてこの式にあらわれる $$ は $$ のベクトルですから、全部で 9つの適当な数 $$ を用いて、

とあらわされるはずです。

ですから、

と計算できます。 そして、 基底 $$ を使ったときの $$ に対応する数ベクトルは

となります。 以上より、

であることがわかりますが、行列の計算を知っていれば、これは

と書いてあるのと同じであることがわかるでしょう。

ここに現れた行列 $$ を一次最後 $$ をあらわす行列といいます。

ここで注目したいのは、一次写像 $$ あらわす行列の第一列には $$ に対応する数ベクトル、第二列には $$ に対応する数ベクトル、第三列には $$ に対応する数ベクトルが現れているということです。

$$ 軸のまわりの回転をあらわす行列

ではここで、回転を取り扱うのに都合の良い基底 $$ を使うことにします。（これらはそれぞれ、直交する $$ 軸にそって正の向きに長さ $$ だけ進む矢印であらわされるベクトルです。） そして、これを使って、$$ 軸に関する角 $$ の回転 $$ を行列であらわすとどうなるのか考えてみたいと思います。

$$ 軸方向のベクトル $$ は動かないままで、$$ と $$ は $$ 平面内で原点の周りに各 $$ 回転するだけなので図を描いてみると、

となることがわかります。 これから $$ をあらわす式は $$

となることがわかります。

まとめ

空間のベクトルの空間 $$ のどのベクトルに対してもある新しいベクトルを対応させる決まり $$ のうち

という性質をもつものを $$ の一次写像といいます。

空間に何らかの座標系を設けることにより、幾何ベクトルは数ベクトルで、一次写像は行列であらわすことができます。

$$ に何らかの 基底$$ を決めておくと、一次写像 $$ の 挙動は $$ がどんなベクトルになるのかを調べればすべてわかってしまいます。

$$ の何らかの基底を（座標系の代わりに）決めることにより、幾何ベクトルは数ベクトルで、一次写像は行列であらわすことができます。

幾何ベクトルを（縦に数が並んだ）数ベクトルであらわし、一次変換を行列であらわす場合、ベクトルに行列を左から掛けることにより変換後の数ベクトルが得られます。

右手系の直交座標系や基底 $$ を使うと 回転を考えるときに便利です。