Kuina-chan

くいなちゃん2018年10月19日


6さいからの数学」第10話では、複数の数をひとまとめに扱う方法について説明します!

ベクトル

数ベクトル

3次元の点pl,3,comma,sub,2,comma,4,prl_z軸を中心に4,5度回転させたあとの、座標を求めたいとします。 この場合、x,eq,3,comma,y,eq,sub,2,comma,z,eq,4それぞれに対して計算すると3回計算が必要になり、回転操作を関数で表すとf,sub_x,pl,x,pr,comma,f,sub_y,pl,y,pr,comma,f,sub_z,pl,z,pr3つの関数が必要になります。
これが4次元なら4回の計算が必要で、1,0,0次元なら1,0,0回の計算が必要になるため、少し煩雑です。
そこで、複数の数をひとまとめにしてbm_v,eq,pl,3,comma,sub,2,comma,4,prのように書き、それを1つの数とみなすことにします。 すると何次元であっても単純にf,pl,bm_v,prのように1つの関数で扱えるようになります。 このbm_vのように複数の数を並べてまとめたものを「すうベクトル」といいます。

幾何ベクトル

数ベクトルは複数の数をまとめただけですが、それを「向きと大きさを持つ矢印」と解釈して扱うことが、物理学や工学で多く行われています。 この矢印を「幾何きかベクトル」といい、物体の速度や、力や、流体の流れなどを扱うのに使われます(幾何ベクトル)。
幾何ベクトル
幾何ベクトル

ベクトルの基本的な演算

このような数ベクトルや幾何ベクトルを、他の整数や実数のように1つの数とみなして、加算や減算を考えます。
数ベクトルや幾何ベクトル同士の加算は、各要素を加算したものとします。 例えば、bm_a,eq,pl,1,comma,2,pr,comma,bm_b,eq,pl,3,comma,1,prとしたとき、これらを加算するとベクトルの加算のようになります。
ベクトルの加算
ベクトルの加算
幾何ベクトルの加算は特に、物理学において2つの速度や2つの力を合成したときの結果と一致するため応用上便利です。 同様に、数ベクトルや幾何ベクトル同士の減算は、各要素を減算したものとします。
また、数ベクトルや幾何ベクトルには「スカラー倍」が行えるものとします。 「スカラーばい」とは、実数との掛け算です。 数ベクトルや幾何ベクトルのスカラー倍は、各要素に実数を掛けることとします(ベクトルのスカラー倍)。
ベクトルのスカラー倍
ベクトルのスカラー倍
例えば、物理学において力を3倍にすることは、力の幾何ベクトルに実数の3を掛けた結果と一致するため、このスカラー倍も応用上便利です。

ベクトル空間

さてここまで、数ベクトルや幾何ベクトルとはいくつかの数をひとまとめにしたもので、それらに加算とスカラー倍が行えることを説明しました。 逆に考えると、加算とスカラー倍さえ行えれば中身が何であっても、数ベクトルや幾何ベクトルと同じように扱えそうです。
そこで任意の集合に対し、加算とスカラー倍を定義したものを「ベクトル空間くうかん」といい、その集合の元を「ベクトル」ということにします。 「ベクトル空間」の「空間」とは、第5話の距離空間と同様、集合と何かしらのルールをセットにしたものです。
例えば、集合bm_lx,eq,bclイヌcommaネコcommaウサギcomma,dots,bcrに対して、加算とスカラー倍が問題なく行えるように定義すると、bm_lxはベクトル空間となり、「イヌ」「ネコ」「ウサギ」はそれぞれベクトルとなります。 「3イヌadd,2ネコeqウサギ」などとできるイメージです。

内積と計量ベクトル空間

ベクトル空間は加算とスカラー倍ができるものとして定義したため、数ベクトルを扱う場合には十分でしたが、加算とスカラー倍だけでは幾何ベクトルの長さや角度といったものが表現できません(幾何ベクトルの長さと角度)。
幾何ベクトルの長さと角度
幾何ベクトルの長さと角度
そこでベクトル空間に、長さや角度が求まる仕組みを追加したものを考えます。 この仕組みを「内積ないせき」といい、内積が追加されたベクトル空間を「計量けいりょうベクトル空間くうかん」といいます。
内積とは、幾何ベクトルの「長さ」も「角度」も両方求まるような仕組みを追求すると現れる演算で、2つの幾何ベクトルbm_a,eq,pl,a,sub_1,comma,a,sub_2,comma,dots,comma,a,sub_n,pr,comma,bm_b,eq,pl,b,sub_1,comma,b,sub_2,comma,dots,comma,b,sub_n,prの内積は、「anglel,bm_a,comma,bm_b,angler,eq,a,sub_1,b,sub_1,add,a,sub_2,b,sub_2,add,dots,add,a,sub_n,b,sub_n」と定義されます。 例えば、bm_a,eq,pl,1,comma,2,comma,3,pr,comma,bm_b,eq,pl,4,comma,5,comma,6,prのとき、これらの内積はanglel,bm_a,comma,bm_b,angler,eq,1,mul,4,add,2,mul,5,add,3,mul,6,eq,3,2です。
なぜこの内積で長さや角度が求まるかといいますと、この内積「anglel,bm_a,comma,bm_b,angler」を計算していくと、「bm_aの長さと、bm_bの長さと、bm_a,comma,bm_bの間の角度の余弦との積」と一致するためです。 つまり、bm_a,comma,bm_bの長さをそれぞれabs,bm_a,abs,comma,abs,bm_b,absで表し、間の角度をthetaとするとき、「anglel,bm_a,comma,bm_b,angler,eq,abs,bm_a,abs,abs,bm_b,abs,tc,to,ts,theta」が成り立ちます(幾何ベクトルの内積)。
幾何ベクトルの内積
幾何ベクトルの内積
このとき、同じベクトル同士の内積を計算すると「anglel,a,comma,a,angler,eq,abs,a,abs,abs,a,abs,tc,to,ts,0,eq,abs,a,abs,sup_2」になることから、ベクトルの長さ(の2乗)が算出できます。 また式を変形することで「theta,eq,tc,to,ts,sup_sub,sup_1,pl,anglel,a,comma,b,angler,slash,abs,a,abs,abs,b,abs,pr」となり角度が求まります。 そのように内積から幾何ベクトルの長さや角度が求められます。
話がややこしくなりましたが要点としては、ベクトル空間に内積という仕組みを追加することで、ベクトルの長さや角度といったものが導けるようになり、そのようにしたベクトル空間を「計量ベクトル空間」と呼ぶということです。
一般のベクトルに関しては、抽象化された公理を満たすものが内積として定義されますが、まずは幾何ベクトルの内積「anglel,bm_a,comma,bm_b,angler,eq,a,sub_1,b,sub_1,add,a,sub_2,b,sub_2,add,dots,add,a,sub_n,b,sub_n,eq,abs,a,abs,abs,b,abs,tc,to,ts,theta」だけ憶えておけば十分です。
ちなみにこの「anglel,bm_a,comma,bm_b,angler,eq,a,sub_1,b,sub_1,add,a,sub_2,b,sub_2,add,dots,add,a,sub_n,b,sub_n,eq,abs,a,abs,abs,b,abs,tc,to,ts,theta」で計算される内積anglel,bm_a,comma,bm_b,anglerは、「ドットせき」と呼ばれ、「bm_a,cdot,bm_b」とも表記されます。

行列

行列

数ベクトルは、複数の数を並べてひとまとめにしたものでしたが、縦横に並べるようにしたものを「行列ぎょうれつ」といいます(行列)。
行列
行列
数を縦横に並べたたけでは何の役に立つのかが分かりにくいですが、冒頭で述べた「3次元の点をl_z軸を中心に4,5度回転させる操作」といった、数ベクトルを変換させる操作は行列で表すことができ、物理学やコンピュータグラフィックスなどの分野でよく使われます。
縦にn個、横にm個の数が並んだ行列を、「n,mul,m行列ぎょうれつ」といい、横のラインを「ぎょう」、縦のラインを「れつ」といいます。 つまりn,mul,m行列には、行がn個、列がm個存在します。
行列は、数ベクトルの並べ方を縦横にしたようなものなので、数ベクトルと同様に加算とスカラー倍が定義されます。 例えば3,mul,3行列の加算とスカラー倍は行列の加算とスカラー倍の通りです。
行列の加算とスカラー倍
行列の加算とスカラー倍
行列には加算とスカラー倍が定義されているため、行列もベクトル空間だといえます。
1行しかない行列、つまり1,mul,m行列は、数ベクトルの一種になるため、「ぎょうベクトル」と呼ばれます。 同様に、1列しかないn,mul,1行列も数ベクトルの一種で、「れつベクトル」と呼ばれます。

行列の積

これに加え、行列には積が定義されます。 この積は重要で、ベクトルbm_vに対して変換操作「f,pl,bm_v,pr」をすることは、行列bm_laを使うと「bm_la,bm_v」という積で表現できます。 また2つの操作を表す行列bm_la,comma,bm_lbに対して積「bm_lc,eq,bm_lb,bm_la」を求めると、bm_lcは、bm_laを行ってからbm_lbを行う操作と等しくなります。
さて、2つの行列bm_la,comma,bm_lbの積「bm_la,bm_lb」は、bm_lai行目の行ベクトルと、bm_lbj列目の列ベクトルとの内積が、ij列になるように計算されます(行列の積)。
行列の積
行列の積
mul」の記号は別の演算を表すことがあるため、行列の積には「mul」は普通使いません。 また、整数や実数などの積ではx,y,eq,y,xが成り立ちましたが、行列の積では一般に成り立ちません。 bm_la,bm_lb,neq,bm_lb,bm_laとなることがあります。
それでは、3次元の点pl,3,comma,sub,2,comma,4,prl_z軸を中心に4,5度回転させたあとの、座標を求めてみましょう。 点の座標を列ベクトルbm_vで表し、回転操作を行列bm_lrで表すと、行列によるベクトルの変換のようになります。
行列によるベクトルの変換
行列によるベクトルの変換
計算の結果、点はpl,5,sqrt_2,comma,sqrt_2,comma,4,prの座標に移動することが分かりました。

行列式

行列が与えられたとき、それがどのような変換をもたらすのかという特徴を知る方法として、「行列式ぎょうれつしき」や「固有値こゆうち」や「固有こゆうベクトル」があります。
「行列式」を使うと、変換によって上下や左右に反転するかどうかが判ったり、図形の面積が何倍に変換されるかが求まります。 行列式は、行と列の個数が一致した行列にのみ定義され、行列bm_laに対して行列式はabs,bm_la,absもしくはtd,te,tt,bm_laと表します(行列式)。
行列式
行列式
図のように行列式は、操作によって2つのベクトルが作る平行四辺形の面積が何倍になるかが求まり、また裏返る場合には負の値で求まります。
行列式の定義を厳密に書くと難しいのですが、計算はできます。 1,mul,1行列の行列式は、bm_la,eq,pl,a,prのとき、abs,bm_la,abs,eq,aで求まります。
2,mul,2行列の行列式は、「11列目の数」と「1行目と1列目を除いた部分の行列式」との積から、「21列目の数」と「2行目と1列目を除いた部分の行列式」との積を引いたものです。
以下、n,mul,n行列の行列式も同様に、i1,comma,2,comma,dots,nに順番に変えながら、「i行目の数」と「i行目と1列目を除いた部分の行列式」との積を求め、iが奇数なら足して、iが偶数なら引くと、行列式が求まります(行列式の計算)。
行列式の計算
行列式の計算
この図では、3,mul,3行列の行列式を求めています。

固有値と固有ベクトル

一方「固有ベクトル」を使うと、ベクトルを変換するときに、スカラー倍にしかならないベクトルを得ることができます。 スカラー倍にしかならないとは、幾何ベクトルの場合、変換によって向きが変わらないベクトルということです。 例えば回転操作の場合、回転の軸を意味します。
固有ベクトルの長さが何倍になるのかを表した数を、「固有値」といいます(固有値と固有ベクトル)。
固有値と固有ベクトル
固有値と固有ベクトル
図の左側は回転操作をする行列を表しています。 このとき回転軸を向いているすべてのベクトルは、回転操作を行っても向きが変わらないためすべて固有ベクトルになります。 また、回転操作で長さも変わらないため、これらの固有ベクトルの固有値は1です。
図の右側はl_x軸方向に3倍する行列を表しています。 このときl_x軸を向いているすべてのベクトルは向きが変わらないためすべて固有ベクトルになり、長さは3倍になるため固有値は3です。 また、l_y軸とl_z軸が作る平面上のすべてのベクトルは方向も長さも変わらないため、すべて固有値1の固有ベクトルになります。
変換する行列をbm_la、固有ベクトルをbm_x、固有値をaとすると、固有ベクトルは変換によってスカラー倍(固有値倍)になることより「bm_la,bm_x,eq,a,bm_x」が成り立ちます。 これは方程式になっていて、これを解くことで固有ベクトルbm_xと固有値aが求まります。

単位行列と逆行列

n,mul,n行列において、11列目からnn列目の斜めの要素が1で、それ以外の要素が0の場合、この行列はベクトルを何も変化させない変換となります。 この行列を「単位行列たんいぎょうれつ」といい、bm_libm_leの記号で表されます。 例えば4,mul,4の単位行列は単位行列の通りです。
単位行列
単位行列
ある変換を行う行列bm_laに対し、その変換を戻す行列をbm_laの「逆行列ぎゃくぎょうれつ」といい、「bm_la,sup_sub,sup_1」と表します。 ある操作を行ったあとに、それを戻す操作を行うことは、結局何も変化させない操作に等しいため「bm_la,bm_la,sup_sub,sup_1,eq,bm_la,sup_sub,sup_1,bm_la,eq,bm_li」が成り立ちます。
ただしすべての行列に逆行列が存在するわけではなく、ベクトルが作る図形の面積を0にするような操作は元に戻せないため逆行列が存在しません。 つまり、abs,bm_la,abs,eq,0の行列には逆行列が存在しません。 abs,bm_la,abs,neq,0n,mul,n行列には逆行列が必ず存在します。

クロス積と外積

クロス積

最後に、物理学や工学での応用上重要な演算として、クロス積を説明します。
クロス積は、3次元の幾何ベクトルに定義される演算で、2つのベクトルに直交するベクトルを求めることができます(クロス積)。
クロス積
クロス積
bm_a,mul,bm_b,eq,bm_cとしたときのベクトルbm_cは、bm_abm_bに直交する向きとなり、長さはbm_abm_bが作る平行四辺形の面積と一致します。 また、右ねじをbm_aからbm_bの向きに回すときに右ねじの進む向きがbm_a,mul,bm_bの方向になります。
mul(クロス)」の記号を使うため「クロス積」と呼ばれますが、物理学や工学では「外積がいせき」と呼ばれることも多いです。 ただし「外積」は、「ウェッジ積」や「テンソル積」という演算も指すこともあり紛らわしいため、ここでは「クロス積」と呼んでおきます。

外積代数

クロス積は3次元の幾何ベクトルに定義される演算と説明しましたが、これを一般の次元に拡張することは実は困難です。 そこで、あるベクトル空間bm_lvにおけるクロス積の結果は、bm_lvとは別の集合に含まれるとしてクロス積は多次元に拡張されました。 この分野は「外積代数がいせきだいすう」と呼ばれ、外積代数における拡張されたクロス積のことを「ウェッジせき」といい「and」の記号で表します。
このウェッジ積と、同じく外積代数で定義される「ホッジ作用素さようそ」と呼ばれるものを組み合わせると、3次元幾何ベクトルではクロス積と一致します。
今回は、複数の数をひとまとめに扱う方法として、ベクトルや行列を説明しました。 次回は、2乗すると負になる数を解説します!
1539958595jaf