線形代数II/まとめ

ベクトル空間とは †

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

部分空間とは †

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

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

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

一次独立・従属 †

が一次独立

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

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

張る空間 †

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

張る空間の形 †

• １つのベクトルが張る空間は通常直線的（１次元的）
• ２つのベクトルが張る空間は通常平面的（２次元的）
• ３つのベクトルが張る空間は通常空間的（３次元的）

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

基底・次元 †

あるベクトルの組 が あるベクトル空間 を張り （ ）、なおかつ一次独立であるとき、 を の基底と呼ぶ。

基底を構成するベクトルの数 を の次元と呼ぶ（ ）。

数ベクトル表現 †

　の時の　 　のこと。

数ベクトル表現はベクトル和やスカラー倍に対して保存するため（ のとき 、 のとき ）、 任意の 次元ベクトル空間は 次元数ベクトル空間と強い類似性を持つ。

線形写像 †

任意の について が成り立つとき、写像 は線形であるという。

次以下の の多項式からなる集合では 微分演算 や積分演算 、変数変換 は線形変換となる。

像 $\mathrm{Im}\,T$ †

写像 の「値域」にあたる集合を の像と呼び、 あるいは と書く。

階数 †

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

のとき、 かつ である。

全射（上への写像） †

写像 が を満たすことをいう。 つまり、 のすべての元について、そのベクトルへ移ってくる の元が１つ以上あるということ。

単射（１対１写像） †

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

全単射（上への１対１写像） †

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

逆写像 †

全単射の時に限って、 に対して、逆写像 を定義できる。

同型 †

２つの線形空間 と の間に線形な全単射 を定義できるとき、 と は同型であるといい、 と書く。

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

核 $\mathrm{Ker}\,T$ †

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

核は線形空間となる。

は が単射であるための必要十分条件となる。

次元定理 †

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

• は の、 は の、部分空間である
• に含まれる元は に移る
• に含まれる元は に移る

線形写像の次元定理：

基底の変換行列 †

から への基底の変換行列 は、 基底 に右から掛けることで基底 に変換する。

に対する表現に 基底 から基底 への基底の変換行列 を左から掛けると に対する表現が得られる。

両方合わせると、

線形写像の行列表現 †

の時 が成り立つような が行列表現。

具体的な形は、 により求められる。

線形写像の基底変換 †

に、 、 を適用すれば、

より、

線形写像の階数 †

表現行列の階数と等しい

線形変換の基底変換 †

の時、 と書いて、

相似変換となる。

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

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

複素内積 †

であるが、

また、

に注意せよ。

正規直交系 †

• 正規性： つまり
• 直交性： つまり ( )

合わせて、

クロネッカーのデルタ †

重要な性質：

比較せよ：　

成分の取り出し †

が正規直交基底のとき、 に対して、

　一方、 であるから注意

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

左側のベクトルの複素共役を取る

エルミート共役 †

、

• 順番が入れ替わる

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

が実行列のとき である。

性質：

• 対称行列 について 　（実内積）
• エルミート行列 について 　（複素内積）

性質：

• 直交行列 により内積が保存される 　（実内積）
• ユニタリ行列 により複素内積が保存される 　（複素内積）

正規行列 †

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

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

内積 †

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

標準内積：

重み付き内積： 　ただし、

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

完全性 †

関数系 が任意の を として表せる時、 において完全であると言う。 通常のベクトル空間における「張る」という概念に相当する。

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

正規直交系と成分 †

関数系 が正規直交であれば、上記のように展開した際の係数を、

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

より、 となる。

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

正規直交関数系 が完全であるとき、

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

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

内積の積分範囲を に、また、重み関数 において をシュミットの直交化法を用いて直交化して得られる関数系。 （厳密には係数分だけ異なる）

実フーリエ級数展開 †

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

複素フーリエ級数展開 †

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