|
|
157 行 |
157 行 |
|
|
|
|
|
==基底の直交化== |
|
==基底の直交化== |
|
|
|
|
|
==== 正規直交系 ==== |
|
|
計量ベクトル空間<math>V</math>のベクトル<math>x_1,x_2,\cdots,x_n</math>が互いに直交し、ノルムが1であるとき、つまり、<math>(x_i,x_j) = \begin{cases} 1& (i=j) \\0 & (i\neq j) \end{cases}</math>であるとき、ベクトル<math>x_1,x_2,\cdots,x_n</math>は'''正規直交系'''(orthonormal system)であるという。 |
|
|
|
|
|
==== 正規直交基底 ==== |
|
|
計量ベクトル空間<math>V</math>の正規直交系<math>x_1,x_2,\cdots,x_n</math>が、<math>\left \langle x_1,x_2,\cdots,x_n \right \rangle = V</math>であるとき、<math>x_1,x_2,\cdots,x_n</math>は、'''正規直交基底'''(orthonormal system)であるという。 |
|
|
|
|
|
==== グラム・シュミットの直交化法 ==== |
|
|
[[ファイル:Gram-Schmidt orthonormalization process.gif|サムネイル]] |
|
|
計量ベクトル空間<math>V</math>の線形独立なベクトル<math>v_1,v_2,\cdots,v_n</math>を使って正規直交系を作ることができる。 |
|
|
|
|
|
<math>\begin{align} |
|
|
\boldsymbol u_1 &= \boldsymbol v_1 |
|
|
\\ |
|
|
\boldsymbol u_2 &= \boldsymbol v_2 - \frac{(\boldsymbol u_1, \boldsymbol v_2)}{(\boldsymbol u_1, \boldsymbol u_1)} \boldsymbol u_1 |
|
|
\\ |
|
|
\boldsymbol u_3 &= \boldsymbol v_3 - \frac{(\boldsymbol u_1, \boldsymbol v_3)}{(\boldsymbol u_1, \boldsymbol u_1)}\boldsymbol u_1 - \frac{(\boldsymbol u_2, \boldsymbol v_3)}{(\boldsymbol u_2, \boldsymbol u_2)} \boldsymbol u_2 |
|
|
\\ |
|
|
&\vdots |
|
|
\\ |
|
|
\boldsymbol u_n &= \boldsymbol v_n - \frac{(\boldsymbol u_1, \boldsymbol v_n)}{(\boldsymbol u_1, \boldsymbol u_1)} \boldsymbol u_1 |
|
|
- \frac{(\boldsymbol u_2, \boldsymbol v_n)}{(\boldsymbol u_2, \boldsymbol u_2)} \boldsymbol u_2 |
|
|
- \dotsb - \frac{(\boldsymbol u_{n-1}, \boldsymbol v_n)}{(\boldsymbol u_{n-1}, \boldsymbol u_{n-1})} \boldsymbol u_{n-1}\\ |
|
|
\end{align}</math> |
|
|
|
|
|
とすると、<math>u_1,u_2,\cdots,u_n</math>は互いに直行するベクトルとなる。 |
|
|
|
|
|
<math>e_i = \frac{u_i}{||u_i||}</math>とすると、<math>e_1,e_2,\cdots,e_n</math>は正規直交系となる。 |
|
|
|
|
|
これをグラムシュミットの直交化法という。 |
|
|
|
|
==種々の特徴的な変換== |
|
==種々の特徴的な変換== |
|
===随伴変換=== |
|
===随伴変換=== |
このページでは、2、3次元の数ベクトルの長さや内積を拡張し、一般の線型空間のベクトルについても、長さ(ノルム)や内積を定義する。
2、3次元の数ベクトルの場合は、高等学校数学B ベクトルを参照のこと。
数ベクトルのノルム・内積
ノルム
ベクトルには大きさも定義される。ふつうそれはで表され、
と定義される。これをaのノルム (norm)と言う。
例
演習
- 次のベクトルのノルムを求めよ
内積
ここでは実ベクトルの場合に関して述べる。
をaとbの内積 (inner product)という。
特に2,3次元空間ベクトルaとbとの内積は、aとbのなす角をθとすると、
と表される。逆に、一般のn次元実ベクトルのなす角という概念を、この関係式によって定義することができる。
内積については、次の性質が成り立つ。いずれも証明は易しい。
- (a,a)=||a||2
- aとbが直交する⇔(a,b)=0[1]
- c(a,b)=(ca,b)=(a,cb)
- (a,b+c)=(a,b)+(a,c)
- (a+b,c)=(a,c)+(b,c)
- (a,b)=(b,a)
- ||a||+||b||≧||a+b||(三角不等式)
- |(a,b)|≦||a||||b||(シュワルツの不等式)
- ^ なす角について上で述べたのと同様に、これは二次元・三次元の実ベクトルについては「性質」である。逆に、それ以外のベクトルではこれは直交の「定義」である。
演習
空間ベクトル
とのなす角がであり、かつ
とのなす角がであるようなノルムが1のベクトルを求めよ。
注)そのようなベクトルはただひとつではない。
上の線型空間でのノルム・内積
次に、上で書いたような数ベクトルのノルム・内積の概念をさらに拡張しよう。
定義
をまたは上の線型空間とする。(以下、 は一般の体ではなく、実数体 または複素数体 を指すことにする )
に対して、 の元をかえすような演算が次の(Ⅰ)~(Ⅳ)の性質をみたすとき、を内積という。
- (Ⅰ)
- (Ⅱ)
- (は の複素共役)
- (Ⅲ)
- (Ⅳ)
- が成り立つのは、 のときに限る。
また、
で定義される量をxのノルムという。
このように、内積が定義された線型空間を計量ベクトル空間(計量線型空間)という。
例
1. のとき、
とすれば、これは内積になっている。
2. のとき、
とすれば、これは内積になっている。(Trについては行列概論を参照)
3.{上連続な関数} , は上連続な関数のとき、
とすれば、これは内積になっている。
三角不等式・シュワルツの不等式
ここで定義した内積・ノルムに関しても数ベクトルの場合と同様に三角不等式・シュワルツの不等式が成り立つ。
定理 に対して、次の(1),(2)の不等式が成り立つ。
(1)(シュワルツの不等式)
等号が成り立つのは、と書ける場合のみ。
(2)
等号が成り立つのは、実数 を用いて、 と書ける場合のみ。
(証明)(1) とすると
ここで、 とおけば、
両辺を で割り、正の平方根をとれば、
となる。
等号が成り立つのは、 すなわち、 となるときだから、 と書ける。
逆にこれが成り立つとき、不等号は等号になる□
(2)
したがって、正の平方根をとれば となる。
1つ目の等号は が非負の実数となるときに成り立ち、2つ目の等号は と書けるとき成り立つ。この2つの条件から、実数 を用いて、 と書けるときのみ等号が成立する□
基底の直交化
正規直交系
計量ベクトル空間のベクトルが互いに直交し、ノルムが1であるとき、つまり、であるとき、ベクトルは正規直交系(orthonormal system)であるという。
正規直交基底
計量ベクトル空間の正規直交系が、であるとき、は、正規直交基底(orthonormal system)であるという。
グラム・シュミットの直交化法
計量ベクトル空間の線形独立なベクトルを使って正規直交系を作ることができる。
とすると、は互いに直行するベクトルとなる。
とすると、は正規直交系となる。
これをグラムシュミットの直交化法という。
種々の特徴的な変換
随伴変換
ユニタリ変換と直交変換
エルミート変換と対称変換