線形代数II/まとめ

(1525d) 更新

線形代数II

線形代数とは

ベクトル空間が持つ代数的構造を学ぶ学問

抽象線形空間

ベクトル空間とは

適切に定義された「ベクトルの和」と「スカラー倍」に対して「閉じた」集合

部分空間とは

あるベクトル空間 V の部分集合 W が、 「ベクトルの和」と「スカラー倍」に対して閉じていれば、 その集合 W もベクトル空間となる。 W V の部分空間という。

$n$ 次以下の $x$ の多項式

n 次以下の x の多項式の集合 P^n[x] は自然に定義される和と定数倍に対してベクトル空間となる

一次独立・従属

\bm x_1,\bm x_2,\dots,\bm x_n が一次独立 \leftrightarrow\ \Big(\sum_{i=1}^n c_i\bm x_i=\bm 0\ \to\ c_1=c_2=\dots=c_n=0\Big)

いくつかのベクトルの一次結合がゼロであるという式から、その係数がすべてゼロであることを導けるとき、これらのベクトルは一次独立であるという。

逆に、1つでもゼロでない係数に対して一次結合がゼロになるなら一次従属である、という。

張る空間

ベクトル \bm x_1,\bm x_2,\dots,\bm x_n が張る空間とは、 それらの一次結合で表せるベクトルからなる集合のこと。ベクトル空間となる。

[\bm x_1,\bm x_2,\dots,\bm x_n]=\set{\bm x|\bm x=\sum_{i=1}^n c_i\bm x_i}

張る空間の形

  • 1つのベクトルが張る空間は通常直線的(1次元的)
  • 2つのベクトルが張る空間は通常平面的(2次元的)
  • 3つのベクトルが張る空間は通常空間的(3次元的)

ただし、それらが一次従属だとそうとも言えない

基底・次元

あるベクトルの組 X=\set{\bm x_1,\bm x_2,\dots,\bm x_n} が あるベクトル空間 V を張り ( V=[\bm x_1,\bm x_2,\dots,\bm x_n] )、なおかつ一次独立であるとき、 X V の基底と呼ぶ。

基底を構成するベクトルの数 n V の次元と呼ぶ( \dim V=n )。

数ベクトル表現

\bm x=x_1\bm b_1+x_2\bm b_2+\dots+x_n\bm b_n=\big(\bm b_1\ \bm b_2\ \cdots\ \bm b_n\big)\begin{pmatrix}x_1\\x_2\\\vdots\\x_n\end{pmatrix}  の時の  \bm x_B=\begin{pmatrix}x_1\\x_2\\\vdots\\x_n\end{pmatrix}  のこと。

数ベクトル表現はベクトル和やスカラー倍に対して保存するため( \bm x+\bm y=\bm z のとき \bm x_B+\bm y_B=\bm z_B k\bm x=\bm y のとき k\bm x_B=\bm y_B )、 任意の n 次元ベクトル空間は n 次元数ベクトル空間と強い類似性を持つ。

写像

f:U\to U' は、集合 U の要素1つ1つに U' の元を1つずつ対応させる写像。 \bm x\in U に対して f(\bm x)\in U'

f:\bm x\mapsto f(\bm x) の形にも書く。 \to \mapsto を使い分けることに注意。

線形写像

任意の \bm x, \bm y, a, b について f(a\bm x+b\bm y)=af(\bm x)+bf(\bm y) が成り立つとき、写像 f は線形であるという。

n 次以下の x の多項式からなる集合では 微分演算 f:\bm x\mapsto\frac{d}{dx}\bm x や積分演算 f:\bm x\mapsto\int_0^x\bm x dx 、変数変換 T:f(x)\mapsto f(x+c) は線形変換となる。

像 $\Image T$

写像 T:V\to V' の「値域」にあたる集合を T の像と呼び、 \Image T あるいは T(V) と書く。

image.png

階数

線形写像の像は線形空間となる。 その像の次元を写像 T の階数 (rank) と呼ぶ。

\rank T=\dim\big(\Image T\big)

T:V\to V' のとき、 \rank T<\dim V かつ \rank T<\dim V' である。

全射(上への写像)

写像 T:V\to V' \Image T=V' を満たすことをいう。 つまり、 V' のすべての元について、そのベクトルへ移ってくる V の元が1つ以上あるということ。

上への写像.png

単射(1対1写像)

写像 T について、 \bm x\ne \bm y であれば T(\bm x)\ne T(\bm y) であることをいう。異なるベクトルが移った先で重ならないような写像のこと。

写像.png

全単射(上への1対1写像)

写像が単射かつ全射であること。

逆写像

全単射の時に限って、 T:V\to V' に対して、逆写像 T^{-1}:V'\to V を定義できる。

T^{-1}:T(\bm x)\mapsto \bm x

同型

2つの線形空間 V V' の間に線形な全単射 T:V\to V' を定義できるとき、 V V' は同型であるといい、 V\simeq V' と書く。

数ベクトル表現への写像は同型写像であるから、 任意の n 次元空間は n 次元数ベクトル空間と同型である。

核 $\Kernel T$

線形写像 T:V\to V' の核 (Kernel) は T によりゼロに移るベクトルの集合。

\Kernel T\equiv\set{\bm x\in V|T\bm x=\bm 0}

核は線形空間となる。

\Kernel T=\set{\bm 0} T が単射であるための必要十分条件となる。

次元定理

線形写像についてまとめると:

次元定理.png

  • \Kernel T V の、 \Image T V' の、部分空間である
  • \Kernel T に含まれる元は \bm 0 に移る
  • V-\Kernel T に含まれる元は \Image T-\set{\bm 0} に移る

線形写像の次元定理: \dim V-\dim(\Kernel T)=\dim(\Image T)

基底の変換

基底の変換行列

基底の変換.png

B から A への基底の変換行列 P_{ B\to A} は、 基底 B に右から掛けることで基底 A に変換する。

\begin{pmatrix}\bm a_1&\bm a_2&\dots&\bm a_n\end{pmatrix}= \begin{pmatrix}\bm b_1&\bm b_2&\dots&\bm b_n\end{pmatrix}P_{ B\to A}

A に対する表現に 基底 B から基底 A への基底の変換行列 P_{ B\to A} を左から掛けると B に対する表現が得られる。

\bm x_B=P_{ B\to A} \bm x_A

両方合わせると、

\bm x&=\begin{pmatrix}\bm a_1&\bm a_2&\dots&\bm a_n\end{pmatrix}\bm x_{ A}\\ &=\lefteqn{\overbrace{\phantom{\begin{pmatrix}\bm b_1&\bm b_2&\dots&\bm b_n\end{pmatrix}P_{ B\to A}}}}\begin{pmatrix}\bm b_1&\bm b_2&\dots&\bm b_n\end{pmatrix}\underbrace{P_{ B\to A}\bm x_{ A}}\\ &=\begin{pmatrix}\bm b_1&\bm b_2&\dots&\bm b_n\end{pmatrix}\bm x_{ B}

線形写像の行列表現

写像の表現行列.png

\bm y=T\bm x の時 \bm y_B=T_{BA}\bm x_A が成り立つような T_{BA} が行列表現。

具体的な形は、 (\bm b_1\ \bm b_2\ \dots\ \bm b_n)T_{BA}&=T(\bm a_1\ \bm a_2\ \dots\ \bm a_n) により求められる。

\bm y&=T\bm x\\ (\bm b_1\ \bm b_2\ \dots\ \bm b_n)\bm y_B&=T\Big((\bm a_1\ \bm a_2\ \dots\ \bm a_n)\bm x_A\Big)\\ (\bm b_1\ \bm b_2\ \dots\ \bm b_n)T_{BA}\bm x_A&=(T\bm a_1\ T\bm a_2\ \dots\ T\bm a_n)\bm x_A\\ (\bm b_1\ \bm b_2\ \dots\ \bm b_n)T_{BA}&=T(\bm a_1\ \bm a_2\ \dots\ \bm a_n)

線形写像の基底変換

\bm y_B=T_{BA}\bm x_A に、 \bm x_A=P_{A\to A'}\bm x_{A'} \bm y_B=P_{B\to B'}\bm y_{B'} を適用すれば、

P_{B\to B'}\bm y_{B'}=T_{BA}P_{A\to A'}\bm x_{A'}

より、 T_{B'A'}=(P_{B\to B'})^{-1}T_{BA}(P_{A\to A'})

線形写像の階数

表現行列の階数と等しい

線形変換の基底変換

B=A の時、 T_{AA}=T_A と書いて、

T_{A'}=(P_{A\to A'})^{-1}T_A(P_{A\to A'})

相似変換となる。

線形変換のトレース、行列式、固有値

表現行列のトレース、行列式、固有値は基底の取り方に依らず定まるため、
線形変換のトレース、行列式、固有値を定義可能

内積と計量空間

線形空間に内積 (\bm x,\bm y) を定義すると、ベクトルのノルム \|\bm x\| 、 2つのベクトルの間の角度 (\bm x,\bm y)=\|\bm x\|\|\bm y\|\cos\theta 、 直交 \bm x\perp\bm y\leftrightarrow(\bm x,\bm y) が定義される。

内積を持つ線形空間を計量空間と呼ぶ。

複素内積

(\bm x,c\bm y)=c(\bm x,\bm y) であるが、
(c\bm x,\bm y)=\overline{c}(\bm x,\bm y)

また、 (\bm y,\bm x)=\overline{(\bm x,\bm y)}

に注意せよ。

正規直交系

  • 正規性: (\bm e_i,\bm e_i)=1 つまり \|\bm e_i\|=1
  • 直交性: (\bm e_i,\bm e_j)=0 つまり \bm e_i\perp\bm e_j ( i\ne j )

合わせて、 (\bm e_i,\bm e_j)=\delta_{ij}

クロネッカーのデルタ

\delta_{ij}=\left\{\begin{array}{ll} 1 & (i=j)\\ 0 & (i\ne j) \end{array}\right .

重要な性質: \sum_i f(i)\delta_{ij}=f(j)

比較せよ:  \int dx f(x)\delta(x-a)=f(a)

成分の取り出し

\set{\bm e_1,\bm e_2,\dots,\bm e_n} が正規直交基底のとき、 \bm x=x_1\bm e_1+x_2\bm e_2+\dots+x_n\bm e_n に対して、

(\bm e_i,\bm x)=x_i  一方、 (\bm x,\bm e_i)=\bar x_i であるから注意

複素数ベクトルの標準内積

(\bm x,\bm y)=\bar x_1y_1+\bar x_2y_2+\dots+\bar x_ny_n={}^t\bar{\bm x} \bm y=\bm x^\dagger \bm y 左側のベクトルの複素共役を取る

エルミート共役

A^\dagger={}^t\!\bar A \bm x^\dagger={}^t\!\bar {\bm x}

  • (AB)^\dagger=B^\dagger A^\dagger 順番が入れ替わる
  • (\bm x,\bm y)=\bm x^\dagger \bm y
  • (\bm x,A\bm y)=(A^\dagger\bm x,\bm y)

エルミート行列・ユニタリ行列

A が実行列のとき A^\dagger=^t\!\!A である。

実行列では複素行列では
対称行列 ^t\!S=S エルミート行列 H^\dagger=H
直交行列 ^t\!R=R^{-1} ユニタリ行列 U^\dagger=U^{-1}

性質:

  • 対称行列 S について (\bm x,S\bm y)=(S\bm x,\bm y)  (実内積)
  • エルミート行列 H について (\bm x,H\bm y)=(H\bm x,\bm y)  (複素内積)

性質:

  • 直交行列 R により内積が保存される (R\bm x,R\bm y)=(\bm x,\bm y)  (実内積)
  • ユニタリ行列 U により複素内積が保存される (U\bm x,U\bm y)=(\bm x,\bm y)  (複素内積)

正規行列

A^\dagger A=AA^\dagger を満たす行列を正規行列と呼ぶ。 エルミート行列、ユニタリ行列は正規行列であるが、他にもたくさんある。

「ユニタリ行列により対角化できること」と「正規行列であること」とは同値である。

関数空間

数ベクトル \bm a=\begin{pmatrix}a_1\\a_2\\\vdots\\a_n\end{pmatrix} は、見方を変えると整数値 k=1\sim n から a_k への関数である

添字 k に対して a_k をプロットすれば、 「ベクトルのグラフ」を表示できる。

vector1.png

区間 [a,b] で定義された関数 f は、実数値 x=a\sim b から f(x) への関数で、通常の和と定数倍に対してベクトル空間を為す

function.png

内積

数ベクトルでは成分毎に掛けて和を取ったが、関数空間では積分になる

標準内積: (f,g)=\int_a^bdx \overline{f(x)}g(x)

重み付き内積: (f,g)=\int_a^bdx \rho(x)\overline{f(x)}g(x)  ただし、 \rho(x)>0

内積によりノルム、角度、直交も定義される

完全性

関数系 \set{\phi_1,\phi_2,\dots} が任意の f\in U f(x)=\sum_{1}^\infty f_i\phi_i(x) として表せる時、 U において完全であると言う。 通常のベクトル空間における「張る」という概念に相当する。

ある関数系を、与えられた関数系の和で表わすことを、「展開する」ということがある。 テーラー展開、マクローリン展開、ローラン展開、フーリエ級数展開・・・

正規直交系と成分

関数系 \set{\phi_1,\phi_2,\dots} が正規直交であれば、上記のように展開した際の係数を、

f_i=(\phi_i,f)=\int_a^bdx \rho(x)\overline{\phi_i(x)}f(x)

として求められる。完全形では

f(x)&=\sum_{i=1}^\infty (\phi_i,f)\phi_i(x)\\ &=\sum_{i=1}^\infty \int_a^bdx \rho(x)\overline{\phi_i(x)}f(x)\phi_i(x)\\ &=\int_a^bdx' \Big[\sum_{i=1}^\infty \rho(x')\overline{\phi_i(x')}\phi_i(x)\Big]f(x')\\

より、 \sum_{i=1}^\infty \rho(x')\overline{\phi_i(x')}\phi_i(x)=\delta(x) となる。

パーセバルの等式・ベッセルの不等式

正規直交関数系 \set{\phi_1,\phi_2,\dots} が完全であるとき、

\|f\|^2=\sum_{i=1}^\infty f_i^2

が成り立つ。完全でない時も含めると、一般に

\|f\|^2\geqq\sum_{i=1}^\infty f_i^2

ルジャンドル(Legendre)多項式

内積の積分範囲を [-1,1] に、また、重み関数 \rho(x)=1 において \set{1,x,x^2,x^3,\dots} をシュミットの直交化法を用いて直交化して得られる関数系。 (厳密には係数分だけ異なる)

\Big\{1,x,\frac{1}{2}(3x^2-1),\frac{1}{2}(5x^3-3x),\frac{1}{8}(35x^4-30x^2+3),\dots\Big\}

実フーリエ級数展開

区間 [-\pi,\pi] を定義域とする実関数空間に、 重み関数 = 1 として内積を導入するとき、

\Big\{ a_0(x)&=\frac{1}{\sqrt{2\pi}}, \\ a_1(x)&=\frac{1}{\sqrt \pi}\cos x, b_1(x)=\frac{1}{\sqrt \pi}\sin x, \\ a_2(x)&=\frac{1}{\sqrt \pi}\cos 2x, b_2(x)=\frac{1}{\sqrt \pi}\sin 2x, \dots,\\ a_k(x)&=\frac{1}{\sqrt \pi}\cos kx, b_k(x)=\frac{1}{\sqrt \pi}\sin kx,\dots\Big\}

複素フーリエ級数展開

区間 [-\pi,\pi] を定義域とする複素関数空間に、 重み関数 = 1 として内積を導入するとき、

\Big\{ \phi_0(x)&=\frac{1}{\sqrt{2\pi}}, \\ \phi_1(x)&=\frac{1}{\sqrt {2\pi}}e^{ix}, \phi_{-1}(x)=\frac{1}{\sqrt {2\pi}}e^{-ix}, \\ \phi_2(x)&=\frac{1}{\sqrt {2\pi}}e^{2ix}, \phi_{-2}(x)=\frac{1}{\sqrt {2\pi}}e^{-2ix}, \dots,\\ \phi_k(x)&=\frac{1}{\sqrt {2\pi}}e^{kix}, \phi_{-k}(x)=\frac{1}{\sqrt {2\pi}}e^{-kix}, \dots\Big\}


Counter: 4022 (from 2010/06/03), today: 3, yesterday: 0