線形代数II/内積と計量空間 の履歴(No.22)
更新- 履歴一覧
- 差分 を表示
- 現在との差分 を表示
- ソース を表示
- 線形代数II/内積と計量空間 へ行く。
目次†
本授業で採用している内積の公理はかけ算の順番が一般的な物と異なるため注意せよ。
内積†
上の線形空間 の任意の2つの元 の間に、 次の公理を満たす演算 が定義されるとき、この演算を内積と呼ぶ。
このとき、以下の定理を証明可能:
-
の時は
∵ に対して
-
∵1. と 3. より
-
∵2. と 3. より
- 任意の
に対して
∵ および 3.
- ノルム
を定義可能
∵4. より
→ 絶対値と区別するため でなく と書く*1例えば関数ベクトルのノルム と関数値の絶対値 とを区別する場面がありうるため
- シュワルツの不等式が成り立つ
あるいは
∵4. より任意の に対して
判別式はゼロまたは負であり
ここで と取れば与式を得る*2シュワルツの不等式で等号が成り立つとき、ある複素数値 に対して となる。すなわち である。この逆も証明可能。
- 三角不等式が成り立つ
∵シュワルツの不等式を使って
&math(\big(\|\bm x\|+\|\bm y\|\big)^2-\|\bm x+\bm y\|^2 &=2\big(\|\bm x\|\|\bm y\|-\mathrm{Re}\big\{(\bm x,\bm y)\big\}\big)\\ &\geqq2\big(\|\bm x\|\|\bm y\|-|(\bm x,\bm y)|\big)\geqq 0); *3三角不等式で等号が成り立つとき左辺はゼロとなり、シュワルツの不等式でも等号が成り立つため 。この逆も証明可能。
- 実ベクトルでは2つのベクトルの間の角度
を定義可能
- 複素ベクトルにおいてもベクトルの直交を定義可能
&math(\bm x\perp\bm y&\Leftrightarrow (\bm x,\bm y)=0 \\ &\Leftrightarrow (\bm y,\bm x)=0);
→ は任意のベクトルと直交する
内積が定義された線形空間を計量線形空間という。
(ベクトルの大きさ(ノルム)および直交性が定義された線形空間ということ)
注意†
実は上記内積の公理のうち2番目は、
ではなく、
とする流儀もあり、実は こちらの方が一般的である。
この2つの定義の間には、
あるいは
の関係がある。
量子力学に出てくるディラックのブラ・ケット記法との整合性を重視して この授業では(数学では比較的マイナーな)前者を採用している。
本授業の受講者が他の教科書やWebページを参照する場合、あるいは他の教科書で学ぶ学生が本Webページを読む場合にはこの差に十分に注意すること。
正規直交系†
が
- 正規性: つまり
- 直交性: つまり ( )
を満たすとき、正規直交系を為すという。あるいはまとめて、
とも書ける。
ここで、
&math(\delta_{ij}=\left\{\begin{array}{ll} 1 & (i=j)\\ 0 & (i\ne j) \end{array}\right .);
はクロネッカーのデルタである。
正規直交系は一次独立である†
とすると、左から を掛けることで、
&math( (左辺) &=\Big(\bm e_j,\sum_{i=1}^nc_i\bm e_i\Big)\\ &=\Big(\bm e_j,\sum_{i=1}^nc_i\bm e_i\Big)\\ &=\sum_{i=1}^nc_i\left(\bm e_j,\bm e_i\right)\\ &=\sum_{i=1}^nc_i\delta_{ij}\\ &=c_j );
一方
&math( (右辺)=(\bm e_j,\bm 0)=0 );
したがって、任意の に対して
正規直交基底†
ある基底が正規直交系を為すとき、正規直交基底と呼ぶ。
数ベクトルの標準内積†
実数ベクトル†
標準内積(自然内積):
&math(\bm x=\begin{pmatrix}x_1\\\vdots\\x_n\end{pmatrix},
\bm y=\begin{pmatrix}y_1\\\vdots\\y_n\end{pmatrix}); に対して
&math((\bm x,\bm y)&=x_1y_1+x_2y_2+\dots+x_ny_n\\
&=\sum_{k=1}^nx_ky_k={}^t\!\bm x\bm y);
ただし、 は の転置
は内積の公理を満たす。
ノルムの正値性:
基本ベクトル:
,
- 標準内積に対して の正規直交基底となる。
複素数に関する復習†
複素数 | ただし |
実部 | |
虚部 | |
つまり | |
和 | |
積 | |
複素共役 | |
絶対値 | |
絶対値と複素共役 | |
商 |
複素数ベクトル†
実ベクトルと同様に内積を定義しようとすると、
は必ずしも正の実数にならない!
そこで標準内積(自然内積)を
と定義する。
のとき、
に注目!
- 標準内積に対して、上記の基本ベクトルはやはり の正規直交基底となる。
- 実ベクトルに対する複素内積は実内積と一致する
標準でない内積の例†
例えば、各項がすべて正であるような数列 を重みとして、内積を
と定義すると、これは内積の公理を満たす。
他にも様々な形で内積を定義可能。((一般に、正定値(固有値が全て正)のエルミート行列 に対して は内積となる。))
ノルムの値やベクトルの為す角、直交するかどうかなどは、 内積の具体的な定義に依存して決まるため、 異なる内積を持ち込めば結果も異なる。
正規直交基底に対する内積の成分表示†
ある内積の下で が正規直交基底であるとする。
基底 に対するベクトル の表現を , とすれば、 , であるから、
この内積に対して、
&math( (\bm x,\bm y)&=\Big(\sum_{i=0}^n x_i\bm e_i,\bm y\Big)\\ &=\sum_{i=1}^n\overline x_i\Big(\bm e_i, \sum_{j=1}^n y_j\bm e_j\Big)\\ &=\sum_{i=1}^n\sum_{j=1}^n\overline x_iy_j(\bm e_i, \bm e_j)\\ &=\sum_{i=1}^n\sum_{j=1}^n\overline x_iy_j\delta_{ij}\\ &=\sum_{i=1}^n\overline x_iy_i\\ &={}^t\overline{\bm x_E}\bm y_E );
を得る。
すなわち、正規直交基底に対する内積の成分表示 は 「標準内積」 となる
逆に、正規直交ではない基底を用いると内積の数値表現が複雑になるため、 計量空間に基底を取るときには通常正規直交基底を選ぶ(便利だから)。
行列のエルミート共役†
行列 に対して、
- 転置行列:
- 複素共役:
- エルミート共役:
特に、列ベクトル に対しては、
- 転置:
- 複素共役:
- エルミート共役:
エルミート共役は、次の性質を持つ。
- (転置行列と同じ → )
エルミート共役 を の随伴行列とも呼ぶ。
対称行列、直交行列 と エルミート行列、ユニタリ行列†
が実行列のとき である。
実行列・ベクトルについて | 複素行列・ベクトルについて |
対称行列 | エルミート行列 |
直交行列 | ユニタリ行列 |
性質:
- 対称行列 について (実内積)
- エルミート行列 について (複素内積)
性質:
- 直交行列 により内積が保存される
- ユニタリ行列 により複素内積が保存される
転置や複素共役の表記法†
: 複素共役
: 転置
: エルミート共役
のように書くことも多い。
この方が統一感がある
正規行列†
を満たす行列を正規行列と呼ぶ。
エルミート行列、ユニタリ行列は正規行列であるが、他にもたくさんある。
1年生の時、直交行列により対角化できる行列と、できない行列があることを学んだ。
実は「ユニタリ行列により対角化できること」と「正規行列であること」とは同値である。 証明は後ほど。
質問・コメント†
内積の証明†
とうか ()
(f,g)=∫a→b {f(x)}*g(x)dxにより定義された複素数(f,g)が(f,f)≧0 (ただし等号はfがf:x→0となる関数に限る)の性質を満たすことの示し方についてお答え願います。
フロウベニスノルム†
hshs ()
管理人様,
たびたび質問申し訳ありません.
‖A - B‖F = ‖A‖F - ‖B‖F
(F:フロウベニスノルム)
は成り立ちますか?
*1 例えば関数ベクトルのノルム と関数値の絶対値 とを区別する場面がありうるため
*2 シュワルツの不等式で等号が成り立つとき、ある複素数値 に対して となる。すなわち である。この逆も証明可能。
*3 三角不等式で等号が成り立つとき左辺はゼロとなり、シュワルツの不等式でも等号が成り立つため 。この逆も証明可能。