ここではベクトルの集合について議論していこう.
ベクトルではベクトルどうしの和に加えてスカラー倍という演算が定義される.
スカラー倍を抽象化するために群の作用を定義する.
急ぐ読者はベクトル空間の定義まで飛ばしても差し支えない.
を群, を集合とする.
写像 が と の間の演算 を定めていて公理
- の単位元 と任意の に対して .
- 任意の と任意の に対して .
を満たすとき を群 の集合 への左群作用 (left group action) といい, のことを左 集合という.
写像 が と の間の演算 を定めていて公理
- の単位元 と任意の に対して .
- 任意の と任意の に対して .
を満たすときは を群 の集合 への右群作用 (right group action) といい, のことを右 集合という.
特に群 が可換群の場合は任意の に対し と定めることで2つの演算を同一視できる.
このときは左右の接頭辞を除いて群作用という.
たとえば符号の集合が乗法に関してなす群 と整数全体 を考えると,明らかにこれらは群作用の公理を満たす.
つまり群作用は整数の符号に関する演算で は単位元, は符号の反転に対応する.
群作用の定義において集合 として特に可換群 をとる.
写像 が と の間の演算 を定めていて公理
- は の への左群作用である.
- 任意の と任意の に対して .
を満たすとき を左 加群 (left G-module) という.
右 加群も右群作用に置き換えれば同様に定義できる.
の加法 は可換群であり任意の整数 に対し が成り立つ.
ゆえに とすると は左G加群である.
では加群の概念を環に対して拡張しよう.
環 と可換群 を考える.
演算 が と の間の演算 を定めていて公理
- の乗法の単位元 と に対して .
- と に対し : 乗法の結合律
- と に対し : 分配律
- と に対し : 分配律
を満たすとき を環 上の左 加群という.
右 加群も左右を入れ替えた演算 に置き換えれば同様に定義できる.
さらに が可換環の場合は接頭辞を除いて単に 加群という.
物理学で重要なのは体 上の加群である.
体は可換環であるから左加群と右加群は一致する.
を可換群として,体 上の加群 のことをベクトル空間という.
加群 には4つの演算が登場する;群上で定義された演算 と体 上で定義された加法 と乗法 ,そして である.
このうち がベクトルどうしの和に対応しており慣習的に を用いる.
がベクトルのスカラー倍に対応しており演算記号 を用いるがしばしば省略される.
そして はスカラーどうしの演算であるがこちらも記号を重複させて を使う.
また体 といっても物理学で扱うベクトル空間のほとんどは実数体 か複素数体 である.
このことを念頭に置くと理解しやすい.
ベクトルとスカラーを区別するためにベクトルは太字で などと表記する.
ベクトル空間の定義を標準的な記法で丁寧に与えておこう.
を体とし を集合とする.
と に加法 とスカラー倍 が定められていて公理
- に対し, :結合律
- があって, に対し, :加法の単位元の存在
- に対し, があって, :加法の逆元の存在
- に対し, :交換律
- があって, に対し, :スカラー倍の単位元の存在
- と に対し, :スカラー倍の結合律
- と に対し, : 上の加法の分配律
- と に対し, :加法の分配律
を満たすとき を体 上のベクトル空間 (vector space) または線型空間 (linear space) という.
またベクトル空間の元のことをベクトルという.
公理の前半の4つは が可換群であることを定めている.
後半の4つはスカラー倍としての体 の への作用を定めている.
を 上のベクトル空間とするとき次が成立する:
- の加法の単位元 と に対し .
- と に対し .
(i)を示すには であることと分配律から任意の に対し
両辺に の逆元 を加えると右辺は になり左辺は結合律により
が導かれる.
(ii)を示すには任意の に対し
(i)のことから となる.
交換律と併せてこれは の逆元が であることを意味している.
群の逆元は一意なので がわかる.
ベクトル空間の例をいくつか挙げていこう.
まず実数体 は体 上のベクトル空間である.
また実数体 個の直積集合 も 上で加法とスカラー倍を
で定義するとベクトル空間になる.
を数ベクトル空間という.
複素数体 に対しても同様に数ベクトル空間を定義できる.
複素数体 については任意の複素数が と書けることから実数体 上で加法とスカラー倍を
で定義すると実数上のベクトル空間になる.
実数の数列全体の集合 に対して 上で加法とスカラー倍を
で定義するとベクトル空間になる.
平面上の有向線分(矢印)の集合 を考える.
ただし有向線分の始点を固定して長さと向きだけに着目する.
2つの有向線分のスカラー倍 はその線分の長さを 倍した線分とする.
また和 は2つの有向線分とその対辺で作られる平行四辺形の対角線と重なる有向線分を返すとする.
このとき は 上のベクトル空間となる.
個のベクトルの組み とスカラー に対し
のように書かれるベクトルを の線型結合 (linear combination) という.
ベクトル空間の公理から任意の線型結合はふたたびベクトルである.
この性質を物理学では重ね合わせの原理 (superposition principle) という.
個のベクトルの組み が線型独立 (linearly independent) (または一次独立)とはそれらの線型結合が
を満たすことである.
線型独立ではないときは線型従属といい, のとき少なくとも1つのスカラーが である.
線型独立なベクトルの組み について,任意のベクトル に対してあるスカラーの組み が存在して
と書けるとき はベクトル空間 を生成する,または張るといい,
と書く.
証明は省略するが任意のベクトル空間 について を張る線型独立なベクトルの組みが存在する.
このベクトルの組みを基底 (basis) という.
基底はベクトル空間について一意ではなくさまざまな取り方がありうる.
しかしその個数は常に一定である.
基底の個数 をベクトル空間 の次元 (dimension) という.
やはり証明は省略するが 次元のベクトル空間で線型独立な 個のベクトルが存在したとき,それらは基底である.
基底の線型結合でベクトルを表すことを展開するといい,そのときのスカラー係数 をそのベクトルの 成分 (component) という.
実数体3つの直積集合 を例として考えよう.
直積集合の元は横に並べて のように書くがベクトル空間の場合演算の見やすさのために縦に並べて
と表記する.
これを縦ベクトルという.
表記の都合上,文中で縦ベクトルは書けないので と書いて縦ベクトルを意味するものとする.
の基底のうち最初に思いつくのは
である.
任意の縦ベクトル はこれらを用いて
と表すことができる.
加法の単位元は であり, ならば もすぐにわかる.
基底の個数は なので の次元は である.
物理学ではこうして定義した のベクトル を位置ベクトルと呼ぶ.
別の基底はいくらでも思いつく.
たとえば
は線型独立であり の基底となる.
線型結合 ならば3つの方程式 が立てられる.
これから なのでたしかに3つのベクトルは線型独立である.
を一般化して としても同様である.
基底としては 番目だけ であるベクトル をとって任意のベクトルは
と展開できる.
Next
- 線型写像