57
N, Z, R, C はそれぞれ, 自然数全体の集合, 整数全体の集合, 実数全体の集合, 複素数全体の集合を表すものとする. I を単位行列とする. 0. 準備 §1. 列ベクトル 定義 0.1.1 a 1 a 2 a 3 のように成分を縦に並べたベクトルを列ベクトル (column vector) と呼ぶ. [ a 1 , a 2 , a 3 ] のように成分を横に並べたベクトルを行ベクトル (row vector) と呼ぶ. Remark 0.1.2 行列 a 11 ... a 1n . . . . . . . . . a m1 ... a mn を列ベクトル a 1 = a 11 . . . a m1 , ..., a n = a 1n . . . a mn を並べて [ a 1 , ... , a n ] と表すことも多い. 定義 0.1.3 R 2 = x y x, y R 2 次元ベクトル空間 (vector space) という. Example 0.1.4 1 Example 0.1.4 V = t 1 1 t R を考える. このようなベクトルの集合はイメージがわきにくい. そこで, ベクトルを位置ベクトル として終点の集合とみなすと, V は図 1 y = x のグラフとして可視化でき便利であ . Remark 0.1.5 R 3 は空間とみなして考えるとよい. 定義 0.1.6 R n = x 1 x 2 . . . x n x 1 , x 2 , ..., x n R n 次元ベクトル空間という. Remark 0.1.7 n 次元ベクトル空間は定義 2 2 次元ベクトル空間の拡張に過ぎない. Remark 0.1.8 n 次元ベクトル空間は初学者は戸惑いやすいので, n = 2, n = 3(つまり, 平面, 空間) としてイメージすれば分かりやすい.

0.準備 - Doshishakmizoha/lin2/2012lin2.pdf1 2 5 2 3 8 などを, 拡大係数行列(enlarged coefficient matrix) という. Remark 0.4.3 Example 0.4.1 の方法なら, 途中で列基本変形を混ぜてはいけない

  • Upload
    others

  • View
    0

  • Download
    0

Embed Size (px)

Citation preview

Page 1: 0.準備 - Doshishakmizoha/lin2/2012lin2.pdf1 2 5 2 3 8 などを, 拡大係数行列(enlarged coefficient matrix) という. Remark 0.4.3 Example 0.4.1 の方法なら, 途中で列基本変形を混ぜてはいけない

N, Z, R, Cはそれぞれ,自然数全体の集合,整数全体の集合,実数全体の集合,複素数全体の集合を表すものとする.

I を単位行列とする.

0.準備§1. 列ベクトル

定義 0.1.1� �

a1

a2

a3

のように成分を縦に並べたベクトルを列ベクトル (column vector)と呼ぶ.

[a1 , a2 , a3

]のように成分を横に並べたベクトルを行ベクトル (row vector)と呼ぶ.� �

Remark 0.1.2

行列

a11 . . . a1n

.... . .

...

am1 . . . amn

を列ベクトル a1 =

a11

...

am1

, . . . , an =

a1n

...

amn

を並べて[

a1 , . . . , an

]と表すことも多い.

定義 0.1.3� �R2 =

x

y

∣∣∣∣∣∣∣ x, y ∈ R

を 2次元ベクトル空間 (vector space)という.

� �Example 0.1.4

図 1 Example 0.1.4

V =

t

1

1

∣∣∣∣∣∣∣ t ∈ R

を考える.

このようなベクトルの集合はイメージがわきにくい.そこで,ベクトルを位置ベクトル

として終点の集合とみなすと, V は図 1の y = xのグラフとして可視化でき便利であ

る.

Remark 0.1.5R3は空間とみなして考えるとよい.

定義 0.1.6� �

Rn =

x1

x2

...

xn

∣∣∣∣∣∣∣∣∣∣∣∣∣∣∣∣x1, x2, . . . , xn ∈ R

を n次元ベクトル空間という.

� �Remark 0.1.7n次元ベクトル空間は定義 2の 2次元ベクトル空間の拡張に過ぎない.

Remark 0.1.8n次元ベクトル空間は初学者は戸惑いやすいので, n = 2, n = 3(つまり,平面,空間)としてイメージすれば分かりやすい.

Page 2: 0.準備 - Doshishakmizoha/lin2/2012lin2.pdf1 2 5 2 3 8 などを, 拡大係数行列(enlarged coefficient matrix) という. Remark 0.4.3 Example 0.4.1 の方法なら, 途中で列基本変形を混ぜてはいけない

§2. 行列のベクトルによる表示

(m, n)行列 A, (n, l)行列 Bに対し, Aを行ベクトル a1, a2, . . . , amで, Bを列ベクトル b1, b2, . . . , bl で表すと,

A =

a1

a2...

am

, B =[

b1 ,, b2 , . . . , bl

]

であるから,AB= A

[b1 ,, b2 , . . . , bl

]=

[Ab1 ,, Ab2 , . . . , Abl

]である.すなわち, ABの第 j 列は, Ab j である.さらに,この Ab j は

Ab j =

a1

a2...

am

b j =

a1b j

a2b j...

amb j

であるから, ABの (i, j)成分は ai b j である.よって, AB全体では.

AB=

a1

a2...

am

[

b1 ,, b2 , . . . , bl

]=

a1b1 a1b2 . . . a1bn

a2b1 a2b2 . . . a2bn...

.... . .

...anb1 anb2 . . . anbn

となる.

§3. 線形結合

A =

1 2 3

4 5 6

7 8 9

, x =

x1

x2

x3

に対し,

Ax =

1 2 34 5 67 8 9

x1

x2

x3

= x1 + 2x2 + 3x3

4x1 + 5x2 + 6x3

7x1 + 82 + 9x3

= x1

147

+ x2

258

+ x3

369

である.また, a1 =

1

4

7

, a2 =

2

5

8

, a3 =

3

6

9

とおくと, A =[

a1 , a2 , a3

]である.よって,

Ax =[

a1 , a2 , a3

] x1

x2

x3

= x1a1 + x2a2 + x3a3

と書ける.

定義 0.3.1� �ベクトル cがベクトル a1, a2, . . . , an で c = c1a1 + c2a2 + · · · + cnan (c1, c2, . . . , cn ∈ R) の形に書けるとき, cは

a1, a2, . . . , anの線形結合 (linear combination)で書ける,という.� �Remark 0.3.2線形結合は一次結合ともいう.

Page 3: 0.準備 - Doshishakmizoha/lin2/2012lin2.pdf1 2 5 2 3 8 などを, 拡大係数行列(enlarged coefficient matrix) という. Remark 0.4.3 Example 0.4.1 の方法なら, 途中で列基本変形を混ぜてはいけない

Remark 0.3.3b ∈ R3に対し,連立方程式 Ax = bの解を求めることは, Aの列ベクトル a1, a2, a3の線形結合 x1a1 + x2a2 + x3a3が bと

なる係数 x1, x2, x3を求めることに相当する.

これを一般化すると, (m, n)行列 Aに対し, n元 1次連立方程式

Ax = b⇔[

a1 ,, a2 , . . . , an

] x1

x2...xn

= b

⇔x1a1 + x2a2 + · · · + xnan = b

の解を求めることは, Aの列ベクトル a1, . . . , anの線形結合 x1a1 + · · · + xnanが bとなる係数 x1, . . . , xnを求めることに相

当する.

§4. 連立一次方程式の解き方

行基本変形とは,次の (1) ∼ (3)の行列の変形のことである.(1) 2つの行を入れ替える.

(2) ある行を a倍する. (a , 0)

(3) ある行の a倍を別の行に加える.

Example 0.4.1

行基本変形により,

2x+ 3y = 8

x+ 2y = 5を解け. 2x+ 3y = 8

x+ 2y = 5

2 3 8

1 2 5

←係数成分 2 3

1 2

が簡単になるように以下,行基本変形を施す x+ 2y = 5

2x+ 3y = 8

1 2 5

2 3 8

←第 1行と第 2行を入れ替えた (行基本変形 (1)) x+ 2y = 5

−y = −2

1 2 5

0 −1 −2

←第 1行の −2倍を第 2行に加えた (行基本変形 (3)) x = 1

−y = −2

1 0 1

0 −1 −2

←第 2行の 2倍を第 1行に加えた (行基本変形 (3)) x = 1

y = 2

1 0 1

0 1 2

←第 2行を −1倍した (行基本変形 (2))

Remark 0.4.2

連立方程式を行列に直した

1 2 5

2 3 8

, 1 2 5

2 3 8

などを,拡大係数行列 (enlarged coefficient matrix)という.

Remark 0.4.3Example 0.4.1の方法なら,途中で列基本変形を混ぜてはいけない.列基本変形を施すことによって,元の連立方程式でおか

しな操作をしていることを確認せよ.

Page 4: 0.準備 - Doshishakmizoha/lin2/2012lin2.pdf1 2 5 2 3 8 などを, 拡大係数行列(enlarged coefficient matrix) という. Remark 0.4.3 Example 0.4.1 の方法なら, 途中で列基本変形を混ぜてはいけない

1.rank(階数)§1. rank(階数)

定義 1.1.1� �次の 2条件を満たす行列を階段行列という.

(1) 行ベクトルで零ベクトルがあれば,その下に零ベクトルでない行ベクトルは存在しない.

(2) 第 k行が零ベクトルでないとする.ベクトルの零でない最初の成分 (主成分という)を akik とすると, i1 < i2 < i3 <

. . . となる.

A =

a1i1 ∗ ∗ ∗ ∗0 a2i2 ∗ ∗ ∗...

. . .. . .

......

0 . . . 0 ari r ∗0 . . . 0 0 0...

......

......

0 . . . 0 0 0

� �Example 1.1.21 2 3 4

0 1 0 2

0 0 0 3

,

0 1 5 8

0 0 3 2

0 0 0 0

は階段行列である.

定理 1.1.3� �任意の行列 A は (行)基本変形を有限回繰り返すことにより,階段行列になる.� �定義 1.1.4� �定義 1.1において,零ベクトルでない行の個数を rank(階数)といい, rank(A)と表す.� �Remark 1.1.5階数は各行列に固有であるが,階段行列は一意でない.そこで,階段行列を一意性のあるように新たに定義したい.それが次

の簡約な行列である.

定義 1.1.6� �次の 2条件を満たす階段行列を簡約な行列という.

(1) 主成分が全て 1

(2) 主成分を含む列が主成分以外全て 0� �Example 1.1.71 0 0 0

0 1 0 0

0 0 0 1

,

0 1 0 2

0 0 1 3

0 0 0 0

は簡約な行列である.

Page 5: 0.準備 - Doshishakmizoha/lin2/2012lin2.pdf1 2 5 2 3 8 などを, 拡大係数行列(enlarged coefficient matrix) という. Remark 0.4.3 Example 0.4.1 の方法なら, 途中で列基本変形を混ぜてはいけない

定理 1.1.8� �任意の行列は (行)基本変形を有限回繰り返すことによって,簡約な行列になる.簡約な行列は各行列に一意である.� �Remark 1.1.9Aを基本変形して簡約な行列 Bになったとき, Aの簡約化は Bである,という.

§2. 連立方程式と rank

定理 1.2.1� �連立一次方程式 Ax = bに対し,次が成り立つ.

(1) rank(A) , rank [A, b ] ⇔解をもたない.

(2) rank(A) = rank [A, b ] ⇔解をもつ.

ただし, [ A, b ] は Ax = bの拡大係数行列である.� �Example 1.2.2 x+ y+ z= 2

2x+ 2y+ 2z= 5を解け.

拡大係数行列は, [1 1 1 22 2 2 5

]→

[1 1 1 20 0 0 1

]となるから, {

x+ y+ z= 20 = 1

であり,どんな (x, y, z)であっても第 2式を満たさないから解をもたない.

このとき,確かに rank(A) = 1, rank [A, b ] = 2であるから, rank(A) , rank [A, b ] となっている.

Example 1.2.3x+ y+ 2z= 4

2x+ y+ z= 3

3x+ 2y+ 3z= 7

を解け.

拡大係数行列は, 1 1 2 42 1 1 33 2 3 7

→ 1 1 2 4

0 −1 −3 −50 −1 −3 −5

→ 1 0 −1 −1

0 1 3 50 0 0 0

となるから, {

x− z= −1y+ 3z= 5

であり, z= c (c ∈ R)とすると, (x, y, z) = (−1+ c, 5− 3c, c)として解をもつ.

このとき,確かに rank(A) = 2, rank [A, b ] = 2であり, rank(A) = rank [A, b ] となっている.

Remark 1.2.4一般に主成分を含まない列に対応する変数 (Example 1.2.3の場合, 3列目に主成分は存在しないので z)に任意定数を与え

ると,主成分を含む列に対応する変数 (Example 1.2.3の場合, 1, 2列目に主成分は存在するので x, y)の値が一意に決まる.

次に,定理 1.2.1(2)をさらに詳しくした定理 1.2.5を述べる.

Page 6: 0.準備 - Doshishakmizoha/lin2/2012lin2.pdf1 2 5 2 3 8 などを, 拡大係数行列(enlarged coefficient matrix) という. Remark 0.4.3 Example 0.4.1 の方法なら, 途中で列基本変形を混ぜてはいけない

定理 1.2.5� �A は n列の行列とする (すなわち,未知数は n個).連立一次方程式 Ax = bについて,次が成り立つ.

(1) rank(A) = rank [A, b ] = n⇔解は一意(2) rank(A) = rank [A, b ] = k < n⇔解は無数で (n− k)個の任意定数を含む� �Remark 1.2.6任意定数の個数を解の自由度という.

これは,階段行列に変形したとき,主成分を含まない列 (n− k個ある)に対応する変数に任意定数を与えると構成できる.

Example 1.2.7Example 1.2.3の場合, rank(A) = rank [A, b ] = 2であり, Aは 3列の行列なので,自由度は 3− 2 = 1である.

実際,解 (x, y, z) = (−1+ c, 5− 3c, c) (cは任意定数)は任意定数が 1個である.

Example 1.2.8x+ y+ 2z= 0の解を求めよ.

拡大係数行列 A = [ 1, 1, 2 ]とすると, [ A, 0 ]の主成分が存在しない列は 2, 3列目なので, y, zを任意定数に置けばよい.

y = c1, z= c2 (c1, c2 ∈ R)とすると, (x, y, z) = (−c1 − 2c2, c1, c2)である.

このとき,確かに rank(A) = rank [A, 0 ] = 1であり, Aは 3列の行列なので,自由度は 3− 1 = 2となっている.

Remark 1.2.9定理 1.2.5の b = oの場合は,常に解 x = oをもつ.これを,自明な解 (trivial solution)という.自明な解でない解を非自明

な解という.

定理 1.2.10� �A は n列の行列とする.連立一次方程式 Ax = oについて,次が成り立つ.

(1) rank(A) = n⇔自明な解のみをもつ.

(2) rank(A) = k < n⇔自由度 (n− k)の非自明な解をもつ.� �Example 1.2.11Example 1.2.8は非自明な解をもつ.実際, c1 = c2 = 0のときの解は自明な解 x = y = z= 0である.

Remark 1.2.12当然,定理 1.2.10(2)の場合も自明な解をもつ.

Page 7: 0.準備 - Doshishakmizoha/lin2/2012lin2.pdf1 2 5 2 3 8 などを, 拡大係数行列(enlarged coefficient matrix) という. Remark 0.4.3 Example 0.4.1 の方法なら, 途中で列基本変形を混ぜてはいけない

2.行列式§1. 正則行列

定理 2.1.1� �Aは n次平方行列とする.次の (縲i縲) ∼ (縲iv縲)は同値である.

(1) Aは正則である.

(2) rank(A) = n

(3) 連立方程式 Ax = bは唯一つの解をもつ.

(4) 連立方程式 Ax = oは自明な解のみもつ.� �Remark 2.1.2Aが正則⇔ Aの簡約化は Eである.

§2. 2次正方行列の行列式

行列式は,その行列が正則であるかどうかを判定するのに非常に役立つものである.一般の行列式の定義は置換という概念

を用いてなされる.しかし,一般の場合はひとまず措いて,ここでは 2次正方行列の場合をみる.

定義 2.2.1� �2次平方行列 A =

a b

c d

に対し, ad− bcを Aの行列式 (determinant)という. Aの行列式は |A |や detAなどと表され

る. :

|A | = detA =

∣∣∣∣∣∣ a bc d

∣∣∣∣∣∣ = ad− bc� �

図 2 a1, a2が張る平行四辺形

Example 2.2.2

実数 a, b, c, dに対し, A =

a b

c d

, a1 =

a

c

, a2 =

b

d

とおく.

detA = 0のとき, Aはどのような性質をもつか.

(1) rankについて

a1, a2 が張る平行四辺形の面積は | ad− bc| である (図 2)から, detA = 0⇔ ad− bc = 0

は a1, a2が張る平行四辺形の面積が 0,すなわち, a1, a2が平行,または少なくとも一方が

零ベクトルであることを示す.

a1 = oのとき,

A =[

o , a2

]=

[0 b0 d

]→

[0 10 0

]a1 , oのとき,ある k ∈ Rが存在して, ka1 = a2を満たすので,

A =[

a1 , a2

]=

[a1 , ka1

]→

[a1 , o

]=

[a 0c 0

]→

[0 10 0

]であるから, rank(A) = 1である.

(2) ベクトルの変換について

任意の実数 x, yに対し,ベクトル x =

x

y

をとる. Aを xに作用させると,

Ax = xa1 + ya2 = kxa2 + ya2 = (kx+ y) a2

より, a2に平行なベクトルに移る.すなわち,任意のベクトルが Aの列ベクトルに平行な向きのベクトルに変換される. �

Page 8: 0.準備 - Doshishakmizoha/lin2/2012lin2.pdf1 2 5 2 3 8 などを, 拡大係数行列(enlarged coefficient matrix) という. Remark 0.4.3 Example 0.4.1 の方法なら, 途中で列基本変形を混ぜてはいけない

§3. 置換

定義 2.3.1� �n ∈ Nに対し,集合 M = {1, 2, . . . , n}を考える. Mから M への全単射 (通常, σで表す)を置換 (permutation)という.こ

れを次のように表す.

σ =

(1 2 . . . nσ(n) σ(n) . . . σ(n)

)� �

Example 2.3.2

置換 σ =

1 2 3

3 2 1

は σ(1) = 3, σ(2) = 2, σ(3) = 1である.

Example 2.3.3

置換 σ =

3 2 4 1

2 3 1 4

は σ(1) = 4, σ(2) = 3, σ(3) = 2, σ(4) = 1である.

Remark 2.3.4M の全ての元を動かさない置換を単位置換 (identity permutation)と呼ぶ.

単位置換を εとすると, ε =

1 2 . . . n

1 2 . . . n

である.

定義 2.3.5� �置換 σ, τの積 (product)σ·τを σ·τ(i) = σ(τ(i)) (合成写像)で定義する.� �Example 2.3.6

σ =

1 2 3

2 1 3

, τ = 1 2 3

3 1 2

とする.

σ·τ(1) = σ (τ(1)) = σ(3) = 3

σ·τ(2) = σ (τ(2)) = σ(1) = 2

σ·τ(3) = σ (τ(3)) = σ(2) = 1

τ·σ(1) = τ (σ(1)) = τ(2) = 1

τ·σ(2) = τ (σ(2)) = τ(1) = 3

τ·σ(3) = τ (σ(3)) = τ(3) = 2

であるから,

σ·τ =(

1 2 33 2 1

), τ·σ =

(1 2 31 3 2

)である.

Remark 2.3.7Example 2.3.6からも分かるように,一般に置換の積は可換でない.

Remark 2.3.8置換は全単射なので逆写像が存在する.

定義 2.3.9� �置換 σの逆写像を σ−1と表す.� �

Page 9: 0.準備 - Doshishakmizoha/lin2/2012lin2.pdf1 2 5 2 3 8 などを, 拡大係数行列(enlarged coefficient matrix) という. Remark 0.4.3 Example 0.4.1 の方法なら, 途中で列基本変形を混ぜてはいけない

Example 2.3.10

置換 σ =

1 2 3

3 1 2

に対し, σ−1 =

3 1 2

1 2 3

= 1 2 3

2 3 1

である.

Remark 2.3.11

置換 σ =

1 2 . . . n

σ(1) σ(2) . . . σ(n)

に対し, σ−1 =

σ(1) σ(2) . . . σ(n)

1 2 . . . n

である.

Remark 2.3.12任意の置換 σに対し, σ·σ−1 = σ−1·σ = ε (

εは単位置換)である.

定義 2.3.13� �M = {1, 2, . . . , n}上の置換

σ =

(k1 k2 . . . kr−1 kr kr+1 . . . kn

k2 k3 . . . kr k1 kr+1 . . . kn

)を巡回置換と呼び,これを σ = (k1, k2, . . . , kn)と表す.� �Example 2.3.14M = {1, 2, 3, 4, 5, 6}に対し,巡回置換 σ = (1, 2, 4)をとると,

σ =

(1 2 4 3 5 62 4 1 3 5 6

)=

(1 2 3 4 5 62 4 3 1 5 6

)である.すなわち, σは 1, 2, 4は一つずつずれ, 3, 5, 6はそのままの置換である.

定理 2.3.15� �任意の置換は共通の整数を含まない巡回置換の積として表される.� �Example 2.3.16

置換 σ =

1 2 3 4 5 6 7 8

3 6 4 1 2 5 8 7

を巡回置換の積で表せ.

まず, 1に繰り返し σを施すと, 1→ 3→ 4→ 1となり, 1, 3, 4で循環することが分かる.

次に, 1, 3, 4でない数,例えば, 2に繰り返し σを施すと, 2→ 6→ 5→ 2となり, 2, 6, 5で循環することが分かる.

さらに, 1, 3, 4, 2, 6, 5でない数,例えば, 7に繰り返し σを施すと, 7→ 8→ 7となり, 7, 8で循環することが分かる.

以上より, σ = (1, 3, 4)(2, 5, 6)(7, 8)として巡回置換の積で表される.

Remark 2.3.17巡回置換の積は可換である.

Example 2.3.16の場合, σをなす巡回置換 (1, 3, 4), (2, 5, 6), (7, 8)は入れ替えても同値である.すなわち,

σ =(1, 3, 4)(2, 5, 6)(7, 8)

=(1, 3, 4)(7, 8)(2, 5, 6)

=(2, 5, 6)(1, 3, 4)(7, 8)

=(7, 8)(1, 3, 4)(2, 5, 6)

=(2, 5, 6)(7, 8)(1, 3, 4)

=(7, 8)(2, 5, 6)(1, 3, 4)

である.

Page 10: 0.準備 - Doshishakmizoha/lin2/2012lin2.pdf1 2 5 2 3 8 などを, 拡大係数行列(enlarged coefficient matrix) という. Remark 0.4.3 Example 0.4.1 の方法なら, 途中で列基本変形を混ぜてはいけない

定義 2.3.18� �置換のうち, 2つの元のみを入れ替える置換を互換 (transposition)と呼び, (i, j)で表す.� �Remark 2.3.19互換は 2つの元を循環させる巡回置換に等しい.

定理 2.3.20� �任意の巡回置換は互換の積として表される.� �Example 2.3.21巡回置換 σ = (1, 2, 3, 4)を互換の積として,

σ = (3, 4)(2, 3)(1, 2)

などと表される.

Remark 2.3.22Example 2.8の場合,巡回置換 σは互換の積として, σ = (1, 2)(1, 3)(1, 4)としても表される.

すなわち,一般に巡回置換を互換の積で表す表し方は一意ではない.

Remark 2.3.23互換の積は非可換である.

Remark 2.3.22より,巡回置換は互換の積としての一意性はない.しかし,かけ合わされる互換の個数の偶奇に一意性をも

つ.すなわち,次の定理が成り立つ.

定理 2.3.24� �置換を互換の積で表すとき,その互換の個数が偶数個であるか奇数個であるかは,はじめに与えられた置換によって決

まり,互換の積として表す表し方によらない.� �Example 2.3.25Example 2.3.20, Remark 2.3.21より,巡回置換 σ = (1, 2, 3, 4)は互換の積として,

σ = (3, 4)(2, 3)(1, 2) = (1, 2)(1, 3)(1, 4)

などと表される (他にも表し方はある)が,確かに互換の個数は奇数である.

定義 2.3.26� �σがm個の互換の積として表されるとき, sgn(σ)を

sgn(σ) =

{1 :

(m : 偶数

)−1 :

(m : 奇数

)と定める. sgn(σ)を σの符号といい, sgn(σ) = 1となるとき, σを偶置換 (even permutation), sgn(σ) = −1となるとき,

σを奇置換 (odd permutation)という.� �

Page 11: 0.準備 - Doshishakmizoha/lin2/2012lin2.pdf1 2 5 2 3 8 などを, 拡大係数行列(enlarged coefficient matrix) という. Remark 0.4.3 Example 0.4.1 の方法なら, 途中で列基本変形を混ぜてはいけない

Example 2.3.27単位置換 εは互換の積の個数は常に偶数なので, sgn(ε) = 1である.

§4. 一般の行列式

いまみてきた置換を用いて,一般の行列式を定義する.

定義 2.4.1� �σを {1, 2, . . . , n}の置換全体の集合を Snとする. n次正方行列 A = (ai j )に対し,

|A | =∑σ∈Sn

sgn(σ) a1σ(1)a2σ(2) . . . anσ(n)

を Aの行列式 (determinant)という.� �Example 2.4.2

n = 2の場合を考える. S2は {1, 2}の置換全体の集合であるから S2 =

1 2

1 2

, 1 2

2 1

である.

ε =

1 2

1 2

, σ1 =

1 2

2 1

とすると,

εは単位置換なので, sgn(ε) = 1,

σ1 = (2, 3)なので, sgn(σ1) = −1

である.よって,

|A | =∑σ∈S2

sgn(σ) a1σ(1)a2σ(2)

=sgn(ε) a1ε(1)a2ε(2) + sgn(σ1) a1σ1(1)a2σ1(2)

=a11a22 − a12a21

Example 2.4.3n = 3の場合を考える. S3は {1, 2, 3}の置換全体の集合であるから

Sn =

1 2 3

1 2 3

, 1 2 3

1 3 2

, 1 2 3

2 1 3

, 1 2 3

3 1 2

, 1 2 3

2 3 1

, 1 2 3

3 2 1

である.

ε =

1 2 3

1 2 3

, σ1 =

1 2 3

1 3 2

, σ2 =

1 2 3

2 1 3

, σ3 =

1 2 3

3 1 2

, σ4 =

1 2 3

2 3 1

, σ5 =

1 2 3

3 2 1

とすると,

εは単位置換なので, sgn(ε) = 1,

σ1 = (2, 3) (奇数個の互換の積)なので, sgn(σ1) = −1

σ2 = (1, 2) (奇数個の互換の積)なので, sgn(σ2) = −1

σ3 = (2, 3)(1, 2) (偶数個の互換の積)なので, sgn(σ3) = 1

σ4 = (1, 3)(1, 2) (偶数個の互換の積)なので, sgn(σ4) = 1

σ5 = (1, 3) (奇数個の互換の積)なので, sgn(σ5) = −1

である.よって,

|A | =∑σ∈S3

sgn(σ) a1σ(1)a2σ(2)a3σ(3)

=sgn(ε) a1ε(1)a2ε(2)a3ε(3) + sgn(σ1) a1σ1(1)a2σ1(2)a3σ1(3) + sgn(σ2) a1σ2(1)a2σ2(2)a3σ2(3)

+ sgn(σ3) a1σ3(1)a2σ3(2)a3σ3(3) + sgn(σ4) a1σ4(1)a2σ4(2)a3σ4(3) + sgn(σ5) a1σ5(1)a2σ5(2)a3σ5(3)

=a11a22a33 + a12a23a31 + a13a21a32 − a11a23a32 − a13a22a31 − a12a21a33

Page 12: 0.準備 - Doshishakmizoha/lin2/2012lin2.pdf1 2 5 2 3 8 などを, 拡大係数行列(enlarged coefficient matrix) という. Remark 0.4.3 Example 0.4.1 の方法なら, 途中で列基本変形を混ぜてはいけない

定理 2.4.4� �第 1列が第 1成分を除いて全て 0である n次正方行列 A = (ai j )に対し,

|A | =

∣∣∣∣∣∣∣∣∣∣∣∣a11 a12 . . . a1n

0 a22 . . . a2n...

.... . .

...0 an2 . . . ann

∣∣∣∣∣∣∣∣∣∣∣∣ = a11

∣∣∣∣∣∣∣∣∣∣a22 . . . a2n.... . .

...an2 . . . ann

∣∣∣∣∣∣∣∣∣∣が成り立つ.� �

⟨証明 ⟩行列式の定義を用いる.∣∣∣∣∣∣∣∣∣∣∣∣

a11 a12 . . . a1n

0 a22 . . . a2n...

.... . .

...0 an2 . . . ann

∣∣∣∣∣∣∣∣∣∣∣∣ =∑σ∈Sn

sgn(σ) a1σ(1)a2σ(2) . . .anσ(n)

=∑

σ∈Sn, σ(1)=1

sgn(σ) a11a2σ(2) . . . anσ(n) (∵ k = 2, 3, . . . , nに対し, ak1 = 0)

= a11

∑σ∈Sn, σ(1)=1

sgn(σ) a2σ(2) . . . anσ(n)

= a11

∣∣∣∣∣∣∣∣∣∣a22 . . . a2n.... . .

...an2 . . . ann

∣∣∣∣∣∣∣∣∣∣ (∵ σ ∈ Sn, σ(1) = 1は {2, . . . , n}の置換全体の集合)

Example 2.4.5∣∣∣∣∣∣∣∣∣∣∣3 2 4

0 1 2

0 1 1

∣∣∣∣∣∣∣∣∣∣∣ = 3

∣∣∣∣∣∣∣ 1 2

1 1

∣∣∣∣∣∣∣ = −3

Remark 2.4.6定理 2.4.4は行列式を求めるために非常に有効な方法である.しかし,これを用いるには, a21 = a31 = · · · = an1 = 0であるこ

とが必要なので,この形に変形する必要がある.次の定理はその変形に関する定理である.

定理 2.4.7� �(1)隣り合う 2行を入れ替えると行列式の値は −1倍になる.

(2)任意の行を c倍すると,行列式の値は c倍になる.

(3)任意の行に他の行の何倍かを加えても行列式の値は変わらない.

また,上の (1) ∼ (3)は行を列に読み替えても正しい.� �Example 2.13

∣∣∣∣∣∣∣∣∣∣∣3 −2 5 12 −5 −1 42 6 4 10−3 2 3 2

∣∣∣∣∣∣∣∣∣∣∣ =2

∣∣∣∣∣∣∣∣∣∣∣3 −2 5 12 −5 −1 41 3 2 5−3 2 3 2

∣∣∣∣∣∣∣∣∣∣∣ = 2

∣∣∣∣∣∣∣∣∣∣∣0 −11 −1 −140 −11 −5 −61 3 2 50 11 9 17

∣∣∣∣∣∣∣∣∣∣∣ = −2

∣∣∣∣∣∣∣∣∣∣∣0 −11 −1 −141 3 2 50 −11 −5 −60 11 9 17

∣∣∣∣∣∣∣∣∣∣∣=2

∣∣∣∣∣∣∣∣∣∣∣1 3 2 50 −11 −1 −140 −11 −5 −60 11 9 17

∣∣∣∣∣∣∣∣∣∣∣ = 2

∣∣∣∣∣∣∣∣−11 −1 −14−11 −5 −6

1 9 17

∣∣∣∣∣∣∣∣ = 22

∣∣∣∣∣∣∣∣−1 −1 −14−1 −5 −61 9 17

∣∣∣∣∣∣∣∣ = 22

∣∣∣∣∣∣∣∣1 1 141 5 61 9 17

∣∣∣∣∣∣∣∣

Page 13: 0.準備 - Doshishakmizoha/lin2/2012lin2.pdf1 2 5 2 3 8 などを, 拡大係数行列(enlarged coefficient matrix) という. Remark 0.4.3 Example 0.4.1 の方法なら, 途中で列基本変形を混ぜてはいけない

= 22

∣∣∣∣∣∣∣∣1 1 14 1 56 1 9

∣∣∣∣∣∣∣∣ 17= 22

∣∣∣∣∣∣∣∣1 1 140 4 −80 8 3

∣∣∣∣∣∣∣∣ = 22·1∣∣∣∣∣∣ 4 −88 3

∣∣∣∣∣∣ = 22·(4·3− (−8)·8) = 1672

定理 2.3.14� �任意の正方行列 Aに対し,

∣∣∣ tA∣∣∣ = |A |が成り立つ.� �

定理 2.3.15� �任意の n次行列 A, Bに対し, |AB| = |A | | B |が成り立つ.� �§4. 余因子

定義 2.4.1� �正方行列 Aに対して, Aの第 i 行と第 j 列を取り除いて出来る行列を Ai j と表す.� �Remark 2.4.2このあたりは本によって表記が異なるので注意!

Example 2.4.3

A =

1 2 3

4 5 6

7 8 9

とすると,例えば,

A12 =

[4 67 9

], A33 =

[1 24 5

]である.

定義 2.4.4� �正方行列 Aに対し, (−1)i+ j

∣∣∣ Ai j

∣∣∣を Aの (i, j)余因子 (cofactor)という.� �Remark 2.4.5以下, (i, j)余因子 (−1)i+ j

∣∣∣ Ai j

∣∣∣を a∗i j と書くことにする.

Example 2.4.6

A =

1 2 3

4 5 6

7 8 9

とすると,例えば,

a∗12 = (−1)1+2 |A12 | = (−1)3∣∣∣∣∣∣ 4 67 9

∣∣∣∣∣∣ = 6,

a∗33 = (−1)3+3A23 = (−1)6∣∣∣∣∣∣ 1 24 5

∣∣∣∣∣∣ = −3

である.

Page 14: 0.準備 - Doshishakmizoha/lin2/2012lin2.pdf1 2 5 2 3 8 などを, 拡大係数行列(enlarged coefficient matrix) という. Remark 0.4.3 Example 0.4.1 の方法なら, 途中で列基本変形を混ぜてはいけない

定理 2.4.7� �n次行列の行列式は次の (1), (2)のように展開できる.この展開のことを余因子展開という.

(1)行に関して ∣∣∣∣∣∣∣∣∣∣∣∣∣∣∣∣∣

a11 a12 . . . a1n...

.... . .

...ai1 ai2 . . . ain...

.... . .

...an1 an2 . . . ann

∣∣∣∣∣∣∣∣∣∣∣∣∣∣∣∣∣= ai1a∗i1 + ai2a∗i2 + · · · + aina∗in (i = 1, 2, . . . , n)

(2)列に関して ∣∣∣∣∣∣∣∣∣∣∣∣a11 . . . a1i . . . a1n

a21 . . . a2i . . . a2n.... . .

.... . .

...an1 . . . ani . . . ann

∣∣∣∣∣∣∣∣∣∣∣∣ = a1ia∗1i + a2ia

∗2i + · · · + ania

∗ni (i = 1, 2, . . . , n)

� �Remark 2.4.8定理 2.4は定理 2.8の (2)の i = 1かつ a2i = · · · = ani = 0の特別な場合である.

Example 2.4.9ここでは全く実用的ではないが, Example 2.13は定理 2.8を用いて次のようにも計算できる.∣∣∣∣∣∣∣∣∣∣∣3 −2 5 12 −5 −1 42 6 4 10−3 2 3 2

∣∣∣∣∣∣∣∣∣∣∣ =(−1)1+13

∣∣∣∣∣∣∣∣−5 −1 46 4 102 3 2

∣∣∣∣∣∣∣∣ + (−1)1+22

∣∣∣∣∣∣∣∣−2 5 16 4 102 3 2

∣∣∣∣∣∣∣∣ + (−1)1+32

∣∣∣∣∣∣∣∣−2 5 1−5 1 42 3 2

∣∣∣∣∣∣∣∣ + (−1)1+4(−3)

∣∣∣∣∣∣∣∣−2 5 1−5 −1 46 4 10

∣∣∣∣∣∣∣∣=3

∣∣∣∣∣∣∣∣−5 −1 46 4 102 3 2

∣∣∣∣∣∣∣∣ − 2

∣∣∣∣∣∣∣∣−2 5 16 4 102 3 2

∣∣∣∣∣∣∣∣ + 2

∣∣∣∣∣∣∣∣−2 5 1−5 −1 42 3 2

∣∣∣∣∣∣∣∣ + 3

∣∣∣∣∣∣∣∣−2 5 1−5 −1 46 4 10

∣∣∣∣∣∣∣∣=3

((−1)1+1(−5)

∣∣∣∣∣∣ 4 103 2

∣∣∣∣∣∣ + (−1)1+26

∣∣∣∣∣∣ −1 43 2

∣∣∣∣∣∣ + (−1)1+32

∣∣∣∣∣∣ −1 44 10

∣∣∣∣∣∣)

− 2

((−1)1+1(−2)

∣∣∣∣∣∣ 4 103 2

∣∣∣∣∣∣ + (−1)1+26

∣∣∣∣∣∣ 5 13 2

∣∣∣∣∣∣ + (−1)1+32

∣∣∣∣∣∣ 5 14 10

∣∣∣∣∣∣)

+ 2

((−1)1+1(−2)

∣∣∣∣∣∣ −1 43 2

∣∣∣∣∣∣ + (−1)1+2(−5)

∣∣∣∣∣∣ 5 13 2

∣∣∣∣∣∣ + (−1)1+32

∣∣∣∣∣∣ 5 1−1 4

∣∣∣∣∣∣)

+ 3

((−1)1+1(−2)

∣∣∣∣∣∣ −1 44 10

∣∣∣∣∣∣ + (−1)1+2(−5)

∣∣∣∣∣∣ 5 14 10

∣∣∣∣∣∣ + (−1)1+36

∣∣∣∣∣∣ 5 1−1 4

∣∣∣∣∣∣)

= · · · = 1672

§5. 逆行列とクラメールの公式

定理 2.5.1� �n次行列 Aに対し,次の (1) ∼ (3)は同値である.

(1) Aは正則.

(2) rank(A) = n

(3) |A | , 0

これを満たすとき,さらに次が成り立つ.

A−1 =1|A |

a∗11 . . . a∗n1.... . .

...a∗1n . . . a∗nn

� �

Page 15: 0.準備 - Doshishakmizoha/lin2/2012lin2.pdf1 2 5 2 3 8 などを, 拡大係数行列(enlarged coefficient matrix) という. Remark 0.4.3 Example 0.4.1 の方法なら, 途中で列基本変形を混ぜてはいけない

定理 2.5.2 (クラメール (Cramer)の公式)� �Aを正則な n次行列とする. A =

[a1 , . . . , an

], x =

x1

...

xn

とおくとき,連立方程式 Ax = bの解は,次で与えられる.

xi =1|A | det [a1, . . . , ai−1, b, ai+1, . . . , an ] (i = 1, . . . , n)� �

Example 2.5.3

x, y, zに関する連立方程式

ax+ by+ cz= 1

bx+ cy+ az= 0

cx+ ay+ bz= 0

を解け.

係数行列を Aとする.

|A | =

∣∣∣∣∣∣∣∣a b cb c ac a b

∣∣∣∣∣∣∣∣= − a3 − b3 − c3 + 3abc

= − 12

(a+ b+ c){(a− b)2 + (b− c)2 + (c− a)2

}a+ b+ c = 0とすると, 3式足して (a+ b+ c)(x+ y+ z) = 1⇔ 0 = 1となり不適.

a = b = cとすると, (第 1式)⇔ ax+ ay+ az= 1, (第 2式)⇔ ax+ ay+ az= 0となり不適.

よって, |A | , 0である.

したがって, Cramerの公式より,

x =1|A |

∣∣∣∣∣∣∣∣1 b c0 c a0 a b

∣∣∣∣∣∣∣∣ = a2 − bca3 + b3 + c3 − 3abc

y =1|A |

∣∣∣∣∣∣∣∣a 1 cb 0 ac 0 b

∣∣∣∣∣∣∣∣ = b2 − caa3 + b3 + c3 − 3abc

z=1|A |

∣∣∣∣∣∣∣∣a b 1b c 0c a 0

∣∣∣∣∣∣∣∣ = c2 − aba3 + b3 + c3 − 3abc

である.

Page 16: 0.準備 - Doshishakmizoha/lin2/2012lin2.pdf1 2 5 2 3 8 などを, 拡大係数行列(enlarged coefficient matrix) という. Remark 0.4.3 Example 0.4.1 の方法なら, 途中で列基本変形を混ぜてはいけない

3.線形空間 (ベクトル空間)§1. 線形結合

c1, c2, c3 ∈ Rとする. a, b ∈ Rに関する連立方程式 1 00 10 0

[

ab

]=

c1

c2

c3

が解 (a, b)をもつ c1, c2, c3の条件を考える.

定理 1.2.1より,解をもつ必要十分条件は c3 = 0と分かるが,ここでは他の見方をする. 1 00 10 0

[

ab

]= a

100

+ b

010

であるから,左辺は a, bを係数とするベクトルの和とみることができる.

定理 3.1.1� �n元 1次連立方程式 x1a1 + x2a2 + · · · + xnan = b (x1, x2, . . . , xn ∈ R)が解をもつ条件は,

S= {x1a1 + x2a2 + · · · + xnan | x1, x2, . . . , xn ∈ R} (ベクトルの和全体の集合)に対し, b ∈ Sとなることである.� �

図 3 Eample 3.1.2

Example 3.1.2

冒頭の例で考える. c =

c1

c2

c3

とすると,

1 00 10 0

[

ab

]= c⇔ a

100

+ b

010

= c

であるから,

e1 =

100

, e2 =

010

とすると,

S= { ae1 + be2 | a, b ∈ R }

である.

e1, e2は図 3のように,それぞれ x軸, y軸に平行なベクトルであり, a, bは任意の実数をとるので, ae1 + be2を位置ベクトル

の終点と同一視すれば, Sは xy平面となることが分かる. すなわち, Sは z= 0である.

ae1 + be2 = cはベクトル ae1 + be2とベクトル cの一致を表すので, ae1 + be2が張る xy平面上に cがあれば良い.

よって, cの第 3成分が 0であれば,うまく a, bをとって ae1 + be2 = cとできる.したがって, c3 = 0である.

Remark 3.1.3いま, Sは次の (1), (2)を満たしている.

(1) a1, a2 ∈ S⇒ a1 + a2 ∈ S (和に関して閉じている)

(2) a ∈ S, k ∈ R⇒ ka ∈ S (スカラー倍に閉じている)このとき, Sをベクトル空間という.

次は,これを一般化する.

Page 17: 0.準備 - Doshishakmizoha/lin2/2012lin2.pdf1 2 5 2 3 8 などを, 拡大係数行列(enlarged coefficient matrix) という. Remark 0.4.3 Example 0.4.1 の方法なら, 途中で列基本変形を混ぜてはいけない

§2. 線形空間

定義 3.2.1� �数の集合 K に四則演算が定義されていて,そのすべてで K が閉じている場合 K を体 (field)という.

すなわち,次の (1) ∼ (4)を満たす.ただし, (4)については y , 0とする.

(1) x, y ∈ K ⇒ x+ y ∈ K

(2) x, y ∈ K ⇒ x− y ∈ K

(3) x, y ∈ K ⇒ x× y ∈ K

(4) x, y ∈ K ⇒ xy∈ K� �

Remark 3.2.2この講義では実数体 R,複素数体 Cのみ扱う.

定義 3.2.3� �集合 V と体 K に対し,次の (1), (2)を満たすとする.

(1) u, v ∈ V ⇒ u + v ∈ V

(2) u ∈ V, c ∈ K ⇒ cu ∈ V

さらに,次の (3) ∼ (10)を満たすとき, V を体 K 上の線形空間 (ベクトル空間, linear space)と呼び, V の元をベクトルと

いう.

u, v, w ∈ V a, b ∈ K

(3) u + v = v+ u (交換法則)

(4) (u + v) + w = u + (v+ w) (結合法則)

(5) ∃o u+ o= o+ u = u (零ベクトル oの存在)

(6) (ab)u = a(bu)

(7) (a+ b)u = au + bu

(8) a(u + v) = au + av

(9) 1u = u

(10) 0u = o� �Remark 3.2.4任意のベクトルに対し,逆ベクトル (inverse vector) (ベクトル uに対し, u + u′ = oとなる u′)が存在する.実際,任意のベ

クトル uに対し,o= 0u = (1− 1)u = 1u + (−1)u = u + (−1u)

となるから, uの逆ベクトル −1uが存在する.逆ベクトルを −uと書く.

Remark 3.2.5簡単のため,以後,特に断らない限り K = Rとする.

Remark 3.2.6定義 3.2.3の (1) ∼ (10)は全て覚える必要は無い.次の (1) ∼ (3)でしっかりと理解すること.

(1) 和に関して閉じている.

(2) スカラー倍について閉じている.

(3) 零ベクトル oが具体的に何かが分かる.

Page 18: 0.準備 - Doshishakmizoha/lin2/2012lin2.pdf1 2 5 2 3 8 などを, 拡大係数行列(enlarged coefficient matrix) という. Remark 0.4.3 Example 0.4.1 の方法なら, 途中で列基本変形を混ぜてはいけない

Example 3.2.7V = Rnは線形空間である.

実際, a, b ∈ Rn, c ∈ Rとし, a =

a1

...

an

, b =

b1

...

bn

とすると,

a+ b =

a1 + b1...

an + bn

∈ V, ca =

ca1...

can

∈ V, o=

0...0

であることが分かり,和,スカラー倍に関して閉じていて, oが具体的に分かる.

Example 3.2.8V = Mm×n(R)

(実数成分の (m, n)行列

)は線形空間である.

実際, A, B ∈ V, c ∈ Rとし, A =

a11 . . . a1n

.... . .

...

am1 . . . amn

, B =

b11 . . . b1n

.... . .

...

bm1 . . . bmn

とすると,

A+ B =

a11 + b11 . . . a1n + b1n...

. . ....

am1 + bm1 . . . amn+ bmn

∈ V, cA=

ca11 . . . ca1n...

. . ....

cam1 . . . camn

∈ V, o=

0 . . . 0.... . .

...0 . . . 0

であることが分かり,和,スカラー倍に関して閉じていて, oが具体的に分かる.

Example 3.2.9R [ x ]2 =

{c0 + c1x+ c2x2

∣∣∣ c0, c1, c2 ∈ R}

(2次式の多項式の空間)は線形空間である. (1) ∼ (3)を満たしていることを確

かめよ.

定義 3.2.10� �線形空間 V の部分集合W (W ⊂ V)が次の (1), (2)を満たすとき, Wを V の部分空間 (subspace)という.

(1) u, v ∈W⇒ u + v ∈W (和に関して閉じている)

(2) u ∈W, c ∈ R⇒ cu ∈W (スカラー倍に関して閉じている)� �Remark 3.2.11(2)よりただちに o ∈Wであることが分かる.このことは,重要なので必ず覚えておくこと.

Remark 3.2.12Wも線形空間である. Wが線形空間の定義を満たしていることを確かめよ.

Example 3.2.13

S=

x

y

z

∣∣∣∣∣∣∣∣∣∣∣ z= 0

(平面 z= 0)は R3の部分空間である.

実際, a, b ∈ S, c ∈ Rとし, a =

a1

a2

0

, b =

b1

b2

0

とすると,

a+ b =

a1 + b1

a2 + b2

0

∈ S, ca =

ca1

ca2

0

∈ S

Page 19: 0.準備 - Doshishakmizoha/lin2/2012lin2.pdf1 2 5 2 3 8 などを, 拡大係数行列(enlarged coefficient matrix) という. Remark 0.4.3 Example 0.4.1 の方法なら, 途中で列基本変形を混ぜてはいけない

を満たす.

Example 3.2.14V =

{x ∈ Rn | Ax = o, A : (m, n)行列

}は Rnの部分空間である.

実際, a, b ∈ S, c ∈ Rとし, a =

a1

a2

a3

, b =

b1

b2

b3

とすると,

A (a+ b) = Aa+ Ab = o+ o= o, A (ca) = cAa = co= o

より, a+ b, ca ∈ Sを満たす.

Example 3.2.15

W =

x

y

z

∣∣∣∣∣∣∣∣∣∣∣ 2 3 −1

1 −2 3

x

y

z

= 0

0

は R3の部分空間である.

実際, [2 3 −1 01 −2 3 0

]→

[1 −2 3 02 3 −1 0

]→

[1 −2 3 00 7 −7 0

]→

[1 −2 3 00 1 −1 0

]→

[1 0 1 00 1 −1 0

]より, (x, y, z) = (−c, c, c) (c ∈ R)なので,

W =

x

yz

∣∣∣∣∣∣∣∣ x = −c, y = c, z= c, c ∈ R

=

−ccc

∣∣∣∣∣∣∣∣ c ∈ R

= c

−111

∣∣∣∣∣∣∣∣ c ∈ R

であるから, a, b ∈W, c ∈ Rとし, a = a

−1

1

1

, b = b

−1

1

1

とすると,

a+ b = (a+ b)

−111

∈W, ca = ca

−111

∈W

を満たす.

§3. R3における直線の式

図 4 直線の式

直線 Lがあって, Lに平行なベクトルを Lの方向ベクトルという.

Lが点 Q(a, b, c)を通り, Lの方向ベクトルが n =

l

m

n

(lmn, 0)である

とする. L上の任意の点 P(x, y, z)に対し,

−−→OP=

−−→OQ+

−−→QP

が成り立つ.いま,実数 tを用いて,−−→QP= tnと表せるので, x

yz

= a

bc

+ t

lmn

(直線上の点 Pのパラメータ表示

)が成り立つ.これより, Lの直線の式は, tを消去することで,

x− al=

y− bm=

z− cn

となる.

まとめると,点 Q(a, b)を通り,方向ベクトルが

l

m

n

(lmn, 0)の直線の式は,

l (x− a) +m(y− b) + n (z− c) = 0

Page 20: 0.準備 - Doshishakmizoha/lin2/2012lin2.pdf1 2 5 2 3 8 などを, 拡大係数行列(enlarged coefficient matrix) という. Remark 0.4.3 Example 0.4.1 の方法なら, 途中で列基本変形を混ぜてはいけない

となる.

Remark 3.3.1この直線の式は lmn, 0の場合なので,次に lmn= 0の場合を考える.

例えば, l = 0, mn, 0ならば, Lは x軸方向の向きを持たないので, Lは平面 x = a上にある.よって,

x = a,y− b

m=

z− cn

である.他の場合は各自考えよ.

§4. R3における平面の式

図 5 平面の式

平面 Sは点 Q(a, b, c)を含み,−→n =

l

m

n

を法線ベクトルにもつとすると,

−→n は Sに平行なベクトル

−−→QP=

x− a

y− a

z− c

と直交するので,

lmn

· x− a

y− az− c

= 0⇔ l (x− a) +m(y− b) + n (z− c) = 0

まとめると,点 Q(a, b, c)を含み,法線ベクトルが

l

m

n

の平面の式は,

l (x− a) +m(y− b) + n (z− c) = 0

となる.

§5. 基底と次元

定義 3.5.1� �線形空間 Vのベクトル v1, v2, . . . , vnの線形結合全体,すなわち, W = { c1v1 + · · · + cnvn | c1, . . . , cn ∈ R }を, v1, . . . , vn

が生成する (generate)空間,または,張る (span)空間,といい

W = span(v1, . . . , vn)

と表す.� �Remark 3.5.2Wは V の部分空間なので, Wも線形空間である.

定義 3.5.3� �ベクトル v1, . . . vn に対し, c1v1 + · · · + cnvn = 0⇒ c1 = · · · = cn = 0が成り立つとき, v1, . . . vn は線形独立 (一次独立,

linearly independent)である,という.

v1, . . . vnが線形独立でないとき, v1, . . . vnは線形従属 (一次従属, linearly dependent)である,という.� �

Page 21: 0.準備 - Doshishakmizoha/lin2/2012lin2.pdf1 2 5 2 3 8 などを, 拡大係数行列(enlarged coefficient matrix) という. Remark 0.4.3 Example 0.4.1 の方法なら, 途中で列基本変形を混ぜてはいけない

定義 3.5.4� �線形空間 V のベクトル v1, . . . , vnが V の基底 (basis)であるとは,次の (1), (2)を満たすことである.

(1) V = span(v1, . . . , vn)

(2) v1, . . . , vnが線形独立である.

さらに,基底に含まれるベクトルの個数 nを V の次元 (dimension)といい, dimV と表す.� �Remark 3.5.5本によっては張ることを spanでなく V =< v1, . . . , vn >と表している

Example 3.5.6V = R2で考える.

例えば, e1 =

1

0

, e2 =

0

1

とすると,任意の a =

a1

a2

∈ R2に対し,

a = a1e1 + a2e2

より, R2 = span(e1, e2)であるし, e1, e2は線形独立であるから, ⟨e1, e2⟩は V の基底である.

また v1 =

1

2

v2 =

2

1

とすると,任意の a =

a1

a2

∈ R2に対し,

a =2a2 − a1

3v1 +

2a1 − a2

3v2

より, R2 = span(v1, v2)であるし, v1, v2は線形独立であるから, ⟨v1, v2⟩は V の基底である.

Remark 3.5.7Example 3.5.6より,基底は一つとは限らないことが分かる.

Remark 3.5.8Example 3.5.6の前半の基底 ⟨e1, e2⟩のように, Rnは基底 ⟨e1, e2, . . . , en⟩をもつ.

この Rnの基底 ⟨e1, e2, . . . , en⟩を標準基底という.

Example 3.5.9Example 3.5.6では,基底 ⟨e1, e2⟩, ⟨v1, v2⟩はともに 2個のベクトルからなる.

では, R2の基底の個数が 2個以外となることもあるのだろうか.

ここでは, R2をベクトル v1, . . . , vn ∈ R2を用いて, R2 = span(v1, . . . , vn)と表すことを考える.

[ 1 ] n = 1のとき,

v1 =

a

b

とする.このとき, R2 = span(v1)となるので, R2の元である

a

b+ 1

を v1の線形結合で表せるはずである.

よって,

a

b+ 1

= c1v1となる c1が存在する.

しかし,

a

b+ 1

= c1

a

b

となる c1は存在しない. (∵第 1成分より c1 = 1となるが, c1 = 1は第 2成分で矛盾. )

よって,ただ 1つのベクトルで R2を張ることはできない.

[ 2 ] n = 2のとき,

v1 = e1 =

1

0

, v2 = e2 =

0

1

とする. (v1, v2は線形独立)

このとき, R2の任意の元

a

b

は a

b

= av1 + bv2と表せる.

よって, R2 = span(v1, v2)である.

いま, v1, v2は線形独立なので,上の定義より ⟨v1, v2⟩は R2の基底である.

[ 3 ] n ≥ 3のとき,

Page 22: 0.準備 - Doshishakmizoha/lin2/2012lin2.pdf1 2 5 2 3 8 などを, 拡大係数行列(enlarged coefficient matrix) という. Remark 0.4.3 Example 0.4.1 の方法なら, 途中で列基本変形を混ぜてはいけない

v1 = e1 =

1

0

, v=e2 =

0

1

とする. (他のベクトル v3, . . . vnは任意にとる)

このとき, R2の任意の元

a

b

は a

b

= av1 + bv2 + 0v3 + · · · + 0vnと表せる.

よって, R2 = span(v1, . . . , vn)である.

しかし, [ 2 ]の場合とは違って, v1, . . . , vnは線形独立ではないから,基底ではない.

定理 3.5.10� �v1, . . . vnが線形従属⇔いずれかのベクトル vi が他の (n− 1)個のベクトルの線形結合となる.� �定理 3.5.11� �n列の行列 Aに対し,

連立方程式 Ax = oが自明な解のみ持つ. ⇔ rank(A) = n� �Example 3.5.12Example 3.5.9で, R2 上の 3個以上のベクトルは線形従属であることをみたが,定理 3.5.11を用いても線形従属であるこ

とが分かる.

R2の 3個のベクトル a, b, cをとり,線形関係 c1a+ c2b+ c3c = o⇔[

a , b , c]

c1

c2

c3

= oを考える.

いま, Aは (2, 3)行列であるから, rank(A) ≤ 2 < 3なので, rank(A) = 3とならない.

よって,定理 3.5.12より,非自明解

c1

c2

c3

をもつ.すなわち,

c1

c2

c3

, 0となるので,線形従属である.

Example 3.5.13

v1 =

2

1

−3

1

, v2 =

1

0

1

0

, v3 =

3

1

2

2

は線形独立か.

A = [ v1, v2, v3 ] とおく.

A =

2 1 31 0 1−3 1 21 0 2

0 1 11 0 10 1 50 0 1

0 1 11 0 10 0 40 0 1

0 1 01 0 00 0 00 0 1

1 0 00 1 00 0 10 0 0

より, rank(A) = 3である.また, Aは 3列の行列である.

よって, v1, v2, v3は線形独立.

§6. 線形独立なベクトルの最大個数

定義 3.6.1� �ベクトルの集合 Xの中に線形独立なベクトルが r 個存在して,どの r + 1個のベクトルを取っても,線形従属となると

き, r を Xの線形独立なベクトルの最大個数,という.� �

Page 23: 0.準備 - Doshishakmizoha/lin2/2012lin2.pdf1 2 5 2 3 8 などを, 拡大係数行列(enlarged coefficient matrix) という. Remark 0.4.3 Example 0.4.1 の方法なら, 途中で列基本変形を混ぜてはいけない

Remark 3.6.2定理 3.6.1は次のようにも考えられる.

v1, . . . vnの線形独立なベクトルの最大個数が r

⇔線形独立なベクトルが r 個あり, 他の (n− r)個はその線形結合で書ける.

Example 3.6.3次の a1, a2, . . . , a5の線形独立なベクトルの最大個数 r と,その r 個の線形独立なベクトルを求めよ.

a1 =

1130

, a2 =

120−1

, a3 =

13−3−2

, a4 =

−2−41−1

, a5 =

−1−470

A =

[a1 , a2 , a3 , a4 , a5

]とおく.行基本変形では,各列ベクトルの線形関係は保たれるので,

A行基本変形−−−−−−−−→

1 0 −1 0 20 1 −2 0 −10 0 0 1 10 0 0 0 0

= B

より, B =[

b1 , b2 , b3 , b4 , b5

]とすると, a1, . . . a5の線形関係と b1, . . . , b5の線形関係は同じである.

いま, b1, b2, b3は線形独立で, {b3 = −b1 − 2b2

b5 = 2b1 − b2 + b4

である.よって, a1, a2, a3は線形独立で, {a3 = −a1 − 2a2

a5 = 2a1 − a2 + a4

と分かる.

Remark 3.6.4列基本変形では,各列ベクトルの線形関係は保たれないので Example 3.11の基本変形は行基本変形でなければならない.

Remark 3.6.5Example 3.6.3より,

(Aの列ベクトルの, 線形独立なベクトルの最大個数)

=(Bの主成分の個数)

=rank(A)

となっていることが分かる.

定理 3.6.6� �n次正方行列 Aに対し,次の (1) ∼ (5)は同値である.

(1) Aが正則

(2) rank(A) = n

(3) |A | , 0

(4) Aの n個の列ベクトルは線形独立

(5) Aの n個の行ベクトルは線形独立

� �

Page 24: 0.準備 - Doshishakmizoha/lin2/2012lin2.pdf1 2 5 2 3 8 などを, 拡大係数行列(enlarged coefficient matrix) という. Remark 0.4.3 Example 0.4.1 の方法なら, 途中で列基本変形を混ぜてはいけない

定理 3.6.7� �ベクトル空間 V の基底に含まれるベクトルの個数は,基底の取り方によらず一定である.� �定理 3.6.8� �ベクトル空間 V の基底のベクトルの個数は, V に属する線形独立なベクトルの最大個数.� �§7. 列ベクトルでないベクトル

いままで列ベクトル (すなわち Rn)ばかり扱ってきたが,列ベクトル以外はどう考えればよいだろうか.

Example 3.7.1

2次正方行列の空間 V = M22

(R2

)=

a b

c d

∣∣∣∣∣∣∣ a, b, c, d ∈ R

の基底と次元を求めよ.

基底 : ⟨ 1 0

0 0

, 0 1

0 0

, 0 0

1 0

, 0 0

0 1

⟩, dimV = 4

Example 3.7.22次以下の多項式空間 V = R [ x ]2 =

{c0 + c1x+ c2x2

∣∣∣ c0, c1, c2 ∈ R}の次元と基底求めよ.

基底 : ⟨1, x, x2⟩, dimV = 3

Example 3.7.3ベクトル v1, . . . , vnがベクトル u1, . . . , unの線形結合で表されるとき, vk = a1ku1 + · · · + ankun (k = 1, . . . , n)とおける

ので, [v1 , . . . , vn

]=

[a11u1 + · · · + an1un , . . . , a1nu1 + · · · + annun

]=

[u1 , . . . , un

] a11 . . . a1n...

...an1 . . . ann

=A

=[

u1 , . . . , un

]A

と書ける.

Remark 3.7.4この Example 3.7.3の表記に関して,次の定理 3.7.5は重要である.

定理 3.7.5� �(n, m)行列 A,列ベクトル v1, . . . , vm, u1, . . . , unが[

v1 , . . . , vm

]=

[u1 , . . . , un

]A

を満たすとする.このとき u1, . . . , unが線形独立なら, v1, . . . , vmの線形関係は Aの列ベクトルの線形関係と等しい.� �⟨証明 ⟩v1, . . . , vmの線形関係は

0 = c1v1 + c2v2 + · · · + cnvm⇔ 0 =[

v1 , . . . , vn

] c1

c2...

cn

=[

v1 , . . . , vn

]c

Page 25: 0.準備 - Doshishakmizoha/lin2/2012lin2.pdf1 2 5 2 3 8 などを, 拡大係数行列(enlarged coefficient matrix) という. Remark 0.4.3 Example 0.4.1 の方法なら, 途中で列基本変形を混ぜてはいけない

⇔ 0 =[

u1 , . . . , un

]Ac

となる. u1, . . . , unは線形独立なので,[

u1 , . . . , un

]は正則だから,両辺に左から

[u1 , . . . , un

]−1をかけて,

0 = Ac⇔0 =[

a1 , . . . , an

] c1...

cn

⇔0 = c1a1 + . . . cnan

より,{v1, . . . , vm}の線形関係と {a1, . . . , an}の線形関係は等しい.

系 3.7.6� �n次正方行列 A, n次列ベクトル v1, . . . , vn, u1, . . . , unが[

v1 , . . . , vn

]=

[u1 , . . . , un

]A

を満たすとする. u1, . . . , unが線形独立なとき,次が成り立つ.

v1, . . . , vnが線形独立⇔ Aが正則� �Example 3.7.7V = R [ x ]2の要素 f1, f2, f3を, f1(x) = 1+ x, f2(x) = 1+ x2, f3(x) = 3+ 2x+ x2で定める. f1, f2, f3の線形独立なベクト

ルの最大個数を求めよ.[f1(x) , f2(x) , f3(x)

]=

[1+ x , 1+ x2 , 3+ 2x+ x2

]=

[1 , x , x2

] 1 1 31 0 20 1 1

= [1 , x , x2

] 1 1 31 0 20 1 1

A

であり, Aを行基本変形で簡約化すると, Aの列ベクトルの線形関係は保たれ,

A =

1 1 31 0 20 1 1

→ 1 0 2

0 1 10 0 0

= B

より,b3 = 2b1 + b2

(b1, b2は線形独立

)なので,

a3 = 2a1 + a2(a1, a2は線形独立

)である.

[1 , x , x2

]は線形独立で,定理 3.7より, a1, a2, a3と f1(x), f2(x), f3(x)の線形関係も保たれているので,

f3(x) = 2 f1(x) + f2(x)(f1, f2は線形独立

)よって, f1, f2, f3の線形独立なベクトルの最大個数は 2である.

§8. 線形写像

定義 3.8.1� �線形空間 U, V に対し,写像 T : U → V が次の 2条件を満たすとき, T を線形写像 (linear mapping)という.

(1) T (a+ b) = T (a) + T (b) (a, b ∈ U)

(2) T (ca) = cT (a) (a ∈ U)� �Remark 3.8.2線形空間 U, V に対し,T : U → V が線形写像ならば,零ベクトル o ∈ U は零ベクトル o′ ∈ V に移される.

実際, T (o+ o) = T (o) + T (o)かつ T (o+ o) = T (o)より, T (o) + T (o) = T (o)なので, T (o) = o′

Page 26: 0.準備 - Doshishakmizoha/lin2/2012lin2.pdf1 2 5 2 3 8 などを, 拡大係数行列(enlarged coefficient matrix) という. Remark 0.4.3 Example 0.4.1 の方法なら, 途中で列基本変形を混ぜてはいけない

Example 3.8.3

図 6 Example 3.8.3

T : R→ Rを T : x 7→ 2xで定める.このとき T は線形写像である.

実際, Rの任意の 2元 x, yに対し,

T (x+ y) = 2(x+ y) = 2x+ 2y = T (x) + T (y)

T (cx) = 2cx= c× 2x = cT (x)

より,定義を満たす.

Example 3.8.4

図 7 Example 3.8.4

T : R→ Rを T (x) = x2で定める. T は線形写像でない.

実際,T (1+ 1) = T (2) = 4 , 2 = 1+ 1 = T (1) + T (1)

より,定義を満たさない.

Example 3.8.5

図 8 Example 3.8.5

T : R→ Rを T (x) = x+ 1で定める. T は線形写像でない.

実際,T (0) = 1 , 0

より,定義を満たさない.

Example 3.8.6(m, n)行列 Aに対し, TAを TA : Rn → Rmを TA (x) = Axで定める. T は線形写像である.実際, Rnの任意の 2元 x, yに

対し,

TA (x + y) = A (x + y) = Ax + Ay = TA (x) + TA (y)

TA (cx) = A (cx) = c× Ax = cTA (x)

より,定義を満たす.

Remark 3.8.7以後,行列 Aに対し TAと書けば, TAは TA (x) = Axで定まる線形写像とする.

定義 3.8.8� �線形空間 U, V に対し, Uから V への写像 T を線形写像とする.このとき, Ker(T) , Ima(T)を定める.

Ker(T) = { u ∈ U | T (u) = o}Ima(T) = { T (u) | u ∈ U }

Ker(T) , Ima(T)をそれぞれ T の核 (Kernel),像 (image)という.� �Remark 3.8.9Ker(T) , Im (T)はそれぞれ Uと V の部分空間である.

Example 3.8.10

行列 A =

2 −1 1 5 0

1 3 4 −1 7

1 0 1 7 1

に対し,線形写像 TAをとる. Ker(TA) , Ima(TA)の次元と基底を求めよ.

Page 27: 0.準備 - Doshishakmizoha/lin2/2012lin2.pdf1 2 5 2 3 8 などを, 拡大係数行列(enlarged coefficient matrix) という. Remark 0.4.3 Example 0.4.1 の方法なら, 途中で列基本変形を混ぜてはいけない

⟨Ker(TA)について ⟩Ker(TA)は TA (x) = oの解空間であるから, TA (x) = oを解く.

行基本変形により, A =

2 −1 1 5 0

1 3 4 −1 7

1 0 1 7 1

1 0 1 2 1

0 1 1 −1 −2

0 0 0 0 0

となるから,

TA (x) = o⇔

x1 = −c3 − 2c4 − c5

x2 = −c1 + c2 − 2c3

x3 = c3

x4 = c4

x5 = c5

(c3, c4, c5 ∈ R)

である.よって,

Ker(TA) =

−c3 − 2c4 − c5

−c3 + c4 − 2c5

c3

c4

c5

∣∣∣∣∣∣∣∣∣∣∣∣∣∣c3, c4, c5 ∈ R

=

c3

−1−1100

+ c4

−21010

+ c5

−1−2001

∣∣∣∣∣∣∣∣∣∣∣∣∣∣c3, c4, c5 ∈ R

= span

−1−1100

=v1

,

−21010

=v2

,

−1−2001

=v3

である.いま, v1, v2, v3は線形独立なので, Ker(TA)の基底 : ⟨v1, v2, v3⟩, dim(Ker(TA)) = 3

⟨Im (TA)について ⟩Im (TA)は TAによる R5の移り先なので, T

(R5

)を考える.

Im (TA) ={

Ax | x ∈ R5}

= { x1a1 + x2a2 + x3a3 + x4a4 + x5a5 | x1, x2, x3, x4, x5 ∈ R }= span(a1, a2, a3, a4, a5)

である. Aを行基本変形により簡約化すると, Aの列ベクトルの線形関係が保たれる.

Bの列ベクトルの線形関係は, b3 = b1 + b2

b4 = 2b1 − b2

b5 = b1 + 2b2

b1, b2は線形独立

より, a3 = a1 + a2

a4 = 2a1 − a2

a5 = a1 + 2a2

a1, a2は線形独立

なので, Im (TA)の基底 : ⟨a1, a2⟩, dim(Im (TA)) = 2

Example 3.8.11

A =

1 2

2 4

に対し,線形写像 TAをとる. Ker(TA) , Im (TA)の次元と基底を求めよ.

⟨Ker(TA)について ⟩Ker(TA)は TA (x) = oの解空間であるから, TA (x) = oを解く.

行基本変形により, [1 2 02 4 0

]→

[1 2 00 0 0

]

Page 28: 0.準備 - Doshishakmizoha/lin2/2012lin2.pdf1 2 5 2 3 8 などを, 拡大係数行列(enlarged coefficient matrix) という. Remark 0.4.3 Example 0.4.1 の方法なら, 途中で列基本変形を混ぜてはいけない

より, x+ 2y = 0.よって, y = cとおくと, x = −2cなので,

Ker(TA) =

{ [−2c

c

] ∣∣∣∣∣∣ c ∈ R}=

{c

[−21

] ∣∣∣∣∣∣ c ∈ R}= span

([−21

])である.

よって, Ker(TA)の基底 : ⟨ −2

1

⟩, dim(Ker(TA)) = 1

⟨Im (TA)について ⟩

Im (TA) = span

1

2

, 2

4

= span

1

2

∵ 1

2

, 2

4

の線形独立なベクトルの最大個数は 1

よって, Im (TA)の基底 : ⟨

1

2

⟩, dim(Im (TA)) = 2

Example 3.8.12

A =

0 0 0

0 0 0

0 0 1

に対し, TAをとる. Ker(TA) , Im (TA)の次元と基底を求めよ.

⟨Ker(TA)について ⟩Ker(TA)は TA (x) = oの解空間であるから, x, y ∈ R, z= 0

Ker(TA) =

c1

c2

0

∣∣∣∣∣∣∣∣ c1, c2 ∈ R

= c1

100

+ c2

010

∣∣∣∣∣∣∣∣ c1, c2 ∈ R

= span

1

00

, 0

10

である.

よって, Ker(Ta)の基底 : ⟨

1

0

0

,

0

1

0

⟩, dim(Ker(TA)) = 2

⟨Im (TA)について ⟩

Im (TA) = span

0

0

1

である.

よって, Im (TA)の基底 : ⟨

0

0

1

⟩, dim(Im (TA)) = 1

定理 3.8.13 (次元公式)� �有限次元線形空間 U, V に対し, T : U → V が線形写像ならば,

dim(Im (T)) + dim(Ker(T)) = dimU

が成り立つ.� �⟨証明 ⟩Ker(T) = r, Im (T) = s, Ker(T)の基底 : ⟨u1, . . . ur⟩, Im (T)の基底 : ⟨v1, . . . vs⟩とする.

さらに, ur+1, . . . , ur+sを T (ur+1) = v1, . . . , T (ur+s) = vsを満たすようにとる.ここで, {u1, . . . ur+s}が U の基底であること

を示せれば, dimU = r + sとなり,題意が示される.

まず, U = span(u1, . . . ur+s)を示す.

∀u ∈ U T (u) ∈ V より,

∃b1, . . . , bs ∈ R T (u) = b1v1 + · · · + bsvsである.よって,

T (u − b1ur+1 − · · · − bsur+s) =T (u) − b1T (ur+1) − · · · − bsT (ur+s)

=T (u − b1v1 − · · · − bsvs)

=o

Page 29: 0.準備 - Doshishakmizoha/lin2/2012lin2.pdf1 2 5 2 3 8 などを, 拡大係数行列(enlarged coefficient matrix) という. Remark 0.4.3 Example 0.4.1 の方法なら, 途中で列基本変形を混ぜてはいけない

なので, u − b1ur+1 − · · · − bsur+s ∈ Ker(T)である. u − b1ur+1 − · · · − bsur+s ∈ U でもあるから,

u − b1ur+1 − · · · − bsur+s = a1u1 + · · · + asur ⇔ u = a1u1 + · · · + asur + b1ur+1 + · · · + bsur+s

つぎに, u1, . . . ur+sが線形独立であることを示す.

a1u1 + · · · + bsur + b1ur+1 + · · · + bsur+s = oを考える.両辺に T を作用させて,

T (a1u1 + · · · + asur + b1ur+1 + · · · + bsur+s) = T (o)

⇔T (b1ur+1 + · · · + bsur+s) = T (o)(∵ ⟨u1, . . . ur⟩は Ker(T)の基底

)⇔b1u1 + · · · + bsus = o

⇔b1 = · · · = bs = 0

⇒a1 = · · · = ar = 0

定義 3.8.14� �線形空間 V, V′ に対し, T : V → V′ が線形独立であるとする. T が全単射のとき, V と V′ は同型 (isomorphic)である,

といい, V � V′ と表す.� �定理 3.8.15� �線形空間 V, V′ に対し,次が成り立つ.

dimV = dimV′ ⇒ V � V′� �⟨証明 ⟩dimV = dimV′ = n, V の基底 : ⟨v1, . . . , vn⟩, V′ の基底 : ⟨u1, . . . , un⟩とする.

V の任意のベクトル c1v1 + · · · + cnvnに対し, T : V → V′ を

T (c1v1 + · · · + cnvn) = c1v′1 + · · · + cnv′n

と定める.この T が V から V′ への全単射であることを示す.すなわち, T が次の (縲i縲) ∼ (縲iii縲)を満たすことを示す.

(1) T は線形写像である.

(2) T は全射である.(⇔ Im (T) = V′

)(3) T は単射である. (T (a) = T (b)⇒ a = b)

(1)の証明

a = c1v1 + · · · + cnvn, b = d1v1 + · · · + dnvnとする.

T (a+ b) =T ((c1 + d1) v1 + · · · + (cn + dn) vn)

= (c1 + d1) v′1 + · · · + (cn + dn) v′n= (c1v′1 + · · · + cnv′n) + (d1v′1 + · · · + dnv′n)

=T (a) + T (b)

T (ca) =T (cc1v1 + · · · + ccnvn)

=cc1v′1 + · · · + ccnv′n=c (c1v′1 + · · · + cnv′n)

=cT (a)

(2)の証明

任意の v′ = c1v′1 + · · · + v′n ∈ V′ に対し, v = c1v1 + · · · + vn ∈ V とおくと,

T (v) = v′

Page 30: 0.準備 - Doshishakmizoha/lin2/2012lin2.pdf1 2 5 2 3 8 などを, 拡大係数行列(enlarged coefficient matrix) という. Remark 0.4.3 Example 0.4.1 の方法なら, 途中で列基本変形を混ぜてはいけない

(3)の証明

a = c1v1 + · · · + cnvn, b = d1v1 + · · · + dnvn, T (a) = T (b)とする.

T (a) − T (b) = o⇔T (c1v1 + · · · + cnvn) − T (d1v1 + · · · + dnvn) = o

⇔ (c1v′1 + · · · + cnv′n) − (d1v′1 + · · · + dnv′n) = o

⇔ (c1 − d1) v′1 + · · · + (cn − dn) v′n = o

⇔c1 − d1 = · · · = cn − dn = 0

⇔c1 = d1, . . . , cn = dn

Remark 3.8.15定理 3.8.14の逆 V � V′ ⇒ dimV = dimV′ も成り立つ.

これを示すには,V から V′ への全単射な線形写像を T とし, V の基底を v1, . . . , vnとしたときに, T (v1) , . . . , T (vn)が V′

の基底であることをいえばよい.

定理 3.8.16(同型写像の基本定理)� �線形空間 V, V′ に対し,次が成り立つ.

dimV = dimV′ ⇔ V � V′� �Remark 3.8.17dimRn = nなので, dimV = n⇒ V � Rn

Example 3.8.18

V =

a 0

0 b

∣∣∣∣∣∣∣ a, b ∈ R

とすると, dimV = 2である.

Vの基底は 1 0

0 0

, 0 0

0 1

よって, V � R2である.例えば, f :

a 0

0 b

7→ a

b

は V から R2への全単射である.

V :

[a1 00 b1

]+

[a2 00 b2

]=

[a1 + a2 0

0 b1 + b2

]↕ ↕ ↕

R2 :

[a1

b1

]+

[a2

b2

]=

[a1 + a2

b1 + b2

]

Example 3.8.19V = R [ x ]1 = { a+ bx| a, b ∈ R }とすると, dimV = 2である.

(Vの基底は {1, x})

よって, V � R2である.例えば, f : a+ bx 7→ a

b

は V から R2への全単射である.

V : (a1 + b1x) + (a2 + b2x) = (a1 + a2) + (b1 + b2) x

↕ ↕ ↕

R2 :

[a1

b1

]+

[a2

b2

]=

[a1 + a2

b1 + b2

]

Remark 3.8.20

V = Mmn(R) =

a11 . . . a1n

......

am1 . . . amn

∣∣∣∣∣∣∣∣∣∣∣∣ ai j ∈ R

とすると, dimV = mnである.

Vの基底は ⟨

1 0 . . .

0 0 . . ........ . .

,

0 1 0 . . .

0 0 0 . . ........... . .

, . . . ⟩

Page 31: 0.準備 - Doshishakmizoha/lin2/2012lin2.pdf1 2 5 2 3 8 などを, 拡大係数行列(enlarged coefficient matrix) という. Remark 0.4.3 Example 0.4.1 の方法なら, 途中で列基本変形を混ぜてはいけない

したがって, V � Rmnである.

§9. 和空間

定義 3.9.1� �V を線形空間とし, V1と V2は V の部分空間とする.

V1と V2の和を V1 + V2 = { v1 + v2 | v1 ∈ V1v2 ∈ V2 }で定義する.

このとき, V1 + V2は V の部分空間となり,この V1 + V2を V1と V2の和空間 (sum of subspace)という.� �定理 3.9.2� �線形空間 V1, V2に対し,次が成り立つ.

dim(V1 + V2) = dimV1 + dimV2 − dim(V1 ∩ V2)� �定義 3.9.3� �V を線形空間とし, V1と V2は V の部分空間とする.

任意の v ∈ V が v = v1 + v2 (v1 ∈ V1, v2 ∈ V2)と一意に表されるとき, V は V1と V2の直和 (direct sum)であるといい,

V = V1 ⊕ V2

と表す.� �定理 3.9.4� �線形空間 V と V の部分空間 V1, V2に対し, V = V1 ⊕ V2であることの必要十分条件は

V = V1 + V2 かつ V1 ∩ V2 = {o}

である.� �Example 3.9.5

図 9 3.9.5

V = R3, V1 =

x

y

0

∣∣∣∣∣∣∣∣∣∣∣ x, y ∈ R

, V2 =

0

0

z

∣∣∣∣∣∣∣∣∣∣∣ z ∈ R

とすると,任意の

a

b

c

∈ V に

対し, abc

= a

b0

+ 0

0c

かつ V1 ∩ V2 = {o}

である.よって,V = V1 ⊕ V2

§10. 線形写像の表現行列

線形写像を行列で表現することを目指す.

一般の線形写像を行列で表現することができるが,ここでは簡単のために, V から V 自身への線形写像 (線形変換)T を扱う.

Page 32: 0.準備 - Doshishakmizoha/lin2/2012lin2.pdf1 2 5 2 3 8 などを, 拡大係数行列(enlarged coefficient matrix) という. Remark 0.4.3 Example 0.4.1 の方法なら, 途中で列基本変形を混ぜてはいけない

定義 3.10.1� �線形空間 V に対し, V の基底を E = ⟨v1, v2, . . . , vn⟩とする.[

T (v1) , . . . , T (vn)]=

[v1 , . . . , vn

]A

により定義される行列 Aを Eに関する線形変換 T の表現行列という.� �Example 3.10.2R2から R2への線形変換 T を

T (x) =

[cosθ − sinθsinθ cosθ

]x

で定める. V の基底 ⟨e1, e2⟩を Eとする. T の Eに関する表現行列 Aを求めよ.

T (e1) =

cosθ

sinθ

, T (e2) =

− sinθ

cosθ

より, Aは,

[T (e1) , T (e2)

]=

[e1 , e2

]A

⇔[ [

cosθsinθ

],

[− sinθcosθ

] ]=

[ [10

],

[01

] ]A

⇔[

cosθ − sinθsinθ cosθ

]=

[1 00 1

]A

⇔[

cosθ − sinθsinθ cosθ

]= A

と分かる.

Remark 3.10.3n次正方行列 Aに対し,線形変換 TA : Rn → Rnをとる. Rnの標準基底 E = ⟨e1, . . . , en⟩に関する TAの表現行列は, Aで

ある.

実際, Eに関する TAの表現行列を Pとし, A =[

a1 , . . . , an

]とおくと,[

T(e1) , . . . , T(en)]=

[e1 , . . . , en

]P⇔

[Ae1 , . . . , Aen

]=

[e1 , . . . , en

]P

⇔A[

e1 , . . . , en

]=

[e1 , . . . , en

]P

⇔AI = IP

⇔P = A

Example 3.10.42 次以下の実数係数多項式の空間 V = R [ x ]2 =

{a0 + a1x+ a2x2

∣∣∣ a0, a1, a2 ∈ R}から, V 自身への線形変換 T を

T : f (x)→ f (x+ b)で定める. R [ x ]2の基底 ⟨1, x, x2⟩に関する T の表現行列 Aを求めよ.

T (1) = 1, T (x) = x+ b, T(x2

)= (x+ b)2 = x2 + 2bx+ b2より, Aは[

T (1) , T (x) , T(x2

) ]=

[1 , x , x2

]A

⇔[

1 , x+ b , x2 + 2bx+ b2]=

[1 , x , x2

]A

をみたすから, A =

1 b b2

0 1 2b

0 0 1

である.

定義 3.10.5� �dimV = nをみたす線形空間 V に対し, V の 2基底 E = ⟨v1, . . . , vn⟩, E′ = ⟨u1, . . . , un⟩をとる.

(u1, . . . , un) = (v1, . . . , vn) Pで Pを定めると, Pは正則である.この Pを E→ E′ の基底の変換行列という.� �

Page 33: 0.準備 - Doshishakmizoha/lin2/2012lin2.pdf1 2 5 2 3 8 などを, 拡大係数行列(enlarged coefficient matrix) という. Remark 0.4.3 Example 0.4.1 の方法なら, 途中で列基本変形を混ぜてはいけない

Example 3.10.6

図 10

v1 =

1√

21√

2

, v2 =

− 1√

21√

2

とする. R2 の基底を E = ⟨e1, e2⟩, E′ = ⟨v1, v2⟩とす

る. E→ E′ の基底の変換行列 Pは,

(v1, v2) = (e1, e2) P⇔

1√

2− 1√

21√

2

1√

2

=[

1 00 1

]P

⇔P =

1√

2− 1√

21√

2

1√

2

である.

Remark 3.10.7定義 3.10.5で, 線形変換 T を T (e1) = v1, T (e2) = v2 で定めると, Pは R2 の基底

⟨e1, e2⟩に関する T の表現行列である,とも言える.

一般に,基底 E = ⟨v1, . . . , vn⟩, E′ = ⟨u1, . . . , un⟩としたときの E→ E′ の基底の変換行列は, T (v1) = u1, . . . , T (vn) = un

で定まる線形変換 T の基底 Eに関する表現行列に一致する.

定義 3.10.8� �Rnの基底を E = ⟨v1, . . . , vn⟩とする.

x ∈ Rnが x = c1v1 + · · · + cnvnと表されるとき, [ x ]E =

c1

...

cn

を Eに関する xの座標 (coordinate)という.

� �定理 3.10.9� �Rnの 2基底を E = ⟨v1, . . . , vn⟩, E′ = ⟨v′1, . . . , v′n⟩とする. E→ E′ の基底の変換行列を Pとすると,次が成り立つ.

P [ x ]E′ = [ x ]E� �⟨証明 ⟩[

v′1 , . . . , v′n]=

[v1 , . . . , vn

]Pで, Pは正則なので

[v1 , . . . , vn

]=

[v′1 , . . . , v′n

]P−1であるから,

x = c1v1 + · · · + cnvn

とすると,

x =[

v1 , . . . , vn

] c1...

cn

= [v′1 , . . . , v′n

]P−1

c1...

cn

となる.したがって, [ x ]E′ = P−1 [ x ]E ⇔ P [ x ]E′ = [ x ]E であることが分かる.

Example 3.10.10

v1 =

1√

21√

2

, v2 =

− 1√

21√

2

とする. R2の標準基底 Eと E′ = ⟨v1, v2⟩をとる.このとき,例えば, x =

1√

21√

2

は,

x =1√

2e1 +

1√

2e2, x = 1·v1 + 0·v2

Page 34: 0.準備 - Doshishakmizoha/lin2/2012lin2.pdf1 2 5 2 3 8 などを, 拡大係数行列(enlarged coefficient matrix) という. Remark 0.4.3 Example 0.4.1 の方法なら, 途中で列基本変形を混ぜてはいけない

と表せる.よって,[ x ]E =

1√

21√

2

, [ x ]E′ =

1

0

である.また,E→ E′ の基底の変換行列 Pは,

[v1 , v2

]=

[e1 , e2

]P⇔ P =

1√

2− 1√

21√

2

1√

2

である.よって,確かに,

P [ x ]E′ = P

[10

]=

1√

2− 1√

21√

2

1√

2

[

10

]=

1√

21√

2

= [ x ]E

を満たしている.

定理 3.10.11� �V の基底 E = ⟨v1, . . . , vn⟩, E′ = ⟨v′1, . . . , v′n⟩をとる. E → E′ の基底の取り換え行列を Pとする. V の線形変換 T の

Eに関する表現行列を A, E′ に関する表現行列を Bをする.このとき,次が成り立つ.

B = P−1AP� �⟨証明 ⟩P =

(pi j

)とする. [

v1 , . . . , vn

]PB=

[v′1 , . . . , v′n

]B

=[

T (v′1) , . . . , T (v′n)]

=[

T (p11v1 + · · · + pn1vn) , . . . , T (p1nv1 + · · · + pnnvn)]

=[

p11T (v1) + · · · + pn1T (vn) , . . . , p1nT (v1) + · · · + pnnT (vn)]

=[

T (v1) , . . . , T (vn)]P

=[

v1 , . . . , vn

]AP

である. v1, . . . , vnは線形独立なので,[

v1 , . . . , vn

]は正則.両辺左から

[v1 , . . . , vn

]−1をかけて, PB= APを得る.

さらに, Pは正則なので,両辺左から P−1をかけて B = P−1APである.

Example 3.10.12

図 11 3.10.12

A =

4 1

1 4

に対し, TA : R2→ R2をとる. TAはどのような変換か.

v1 =

1√

21√

2

, v2 =

− 1√

21√

2

とする.

標準基底 Eに関する TAの表現行列 Aは, A =

4 1

1 4

である.

また,基底 E′ = ⟨v1, v2⟩に関する TAの表現行列 Bは,

(T (v1) , T (v2)) = (v1, v2) B⇔

5√

2− 3√

25√

2

3√

2

=

1√

2− 1√

21√

2

1√

2

B

⇔[

5 −35 3

]=

[1 −11 1

]B

⇔B =

[5 00 3

]

Page 35: 0.準備 - Doshishakmizoha/lin2/2012lin2.pdf1 2 5 2 3 8 などを, 拡大係数行列(enlarged coefficient matrix) という. Remark 0.4.3 Example 0.4.1 の方法なら, 途中で列基本変形を混ぜてはいけない

である.また, E→ E′ の基底の変換行列を Pとすると,

[v1 , v2

]=

[e1 , e2

]P⇔

1√

2− 1√

21√

2

1√

2

=[

1 00 1

]P

⇔P =

cosπ

4− sin

π

4sinπ

4cosπ

4

である.よって,

B = P−1AP⇔A = PBP−1

⇔[

4 11 4

]=

cosπ

4− sin

π

4sinπ

4cosπ

4

[

5 00 3

] cos(− π

4

)− sin

(− π

4

)sin

(− π

4

)cos

(− π

4

) となり, TAは xを − π

4の回転移動させ, x軸方向に 5倍, y軸方向に 3倍させ, − π

4の回転移動させる変換であると分かる.

Remark 3.10.13

図 12 Remark 3.10.13の変換 TA

または,定理 3.10.9の考え方を用いれば, TAは xを基底 ⟨e1, e2⟩の座標から基底 ⟨v1, v2⟩の座標へ移し, v1方向に 5倍, v2方向に 3倍させ,再び基

底 ⟨e1, e2⟩の座標へ戻す変換ともいえる.

Remark 3.10.14Example 3.10.12では,基底 E′ に関する表現行列が対角行列となったが,

このような基底は普通はなかなか思い付かない.

次の固有値,固有ベクトルの章でこのような E′ の見つけ方を学ぶ.

Page 36: 0.準備 - Doshishakmizoha/lin2/2012lin2.pdf1 2 5 2 3 8 などを, 拡大係数行列(enlarged coefficient matrix) という. Remark 0.4.3 Example 0.4.1 の方法なら, 途中で列基本変形を混ぜてはいけない

4.固有値,固有ベクトル§1. 固有値,固有ベクトル

定義 4.1.1� �線形空間 V,線形変換 T : V → V をとる.

T (v) = λv (v , o)

を満たす λ, vをそれぞれ T の固有値 (eigenvalue),固有ベクトル (eigenvector)という.� �Example 4.1.2Example 3.10.12をみると,

TA (v1) =

[4 11 4

] 1√

21√

2

=

5√

25√

2

= 5v1

TA (v2) =

[4 11 4

] 1√

2

− 1√

2

=

3√

2

− 3√

2

= 3v2

であるから, v1は固有値 5に属する固有ベクトル, v2は固有値 3に属する固有ベクトルである.

実は v1, v2はともに, TAの固有ベクトルだったのである.

定理 4.1.3� �線形変換 T の固有値を λ1, . . . , λnとする. v1, . . . , vnをそれぞれ λ1, . . . , λnに属する固有ベクトルとする.

このとき, v1, . . . , vnが線形独立ならば,正則行列 P =[

v1 , . . . , vn

]をとると, P−1APは対角行列となる.� �

⟨証明 ⟩

AP=A[

v1 , . . . , vn

]=

[Av1 , . . . , Avn

]=

[λ1v1 , . . . , λnvn

]

=[

v1 , . . . , vn

]λ1 0 . . . 0

0 λ2. . .

....... . .

. . . 00 . . . 0 λn

=P

λ1 0 . . . 0

0 λ2. . .

....... . .

. . . 00 . . . 0 λn

よって, P−1AP=

λ1 0 . . . 0

0 λ2. . .

....... . .

. . . 0

0 . . . 0 λn

は対角行列である.

Page 37: 0.準備 - Doshishakmizoha/lin2/2012lin2.pdf1 2 5 2 3 8 などを, 拡大係数行列(enlarged coefficient matrix) という. Remark 0.4.3 Example 0.4.1 の方法なら, 途中で列基本変形を混ぜてはいけない

Example 4.1.4

行列 A =

4 1

1 4

に対し, TAをとる.TAの固有値,固有ベクトルを求めよ.

T (x) = λx⇔Ax = λI x

⇔ (λI − A) x = o

⇔[λ − 4 −1−4 λ − 1

] [x1

x2

]=

[00

]. . . (∗)

である. 固有ベクトルの定義より, 固有ベクトルは零ベクトルでないから, x が固有ベクトルとなるには, (∗) が非自明解(x1, x2)をもつことが必要十分.

すなわち, ∣∣∣∣∣∣λ − 4 −1−1 λ − 4

∣∣∣∣∣∣ = 0⇔(λ − 4)(λ − 4)− (−1)(−1) = 0

⇔λ2 − 8λ + 15= 0

⇔λ = 3, 5

である.よって,固有値は 3, 5.

固有値は 3に属する固有ベクトルは,

1 −1

−1 1

x1

x2

= oの非自明解で,

x1

x2

= a

1

1

(a ∈ R − {0})である.

例えば, a = 1として,

1

1

は固有ベクトルの一つである.

固有値は 3に属する固有ベクトルは,

−1 −1

−1 −1

x1

x2

= oの非自明解で,

x1

x2

= b

−1

1

(b ∈ R − {0})である.

例えば, b = 1として,

−1

1

は固有ベクトルの一つである.

Remark 4.1.5Example 4.2では a, bを動かせば,それぞれの固有値に対して無数の固有ベクトルが存在することが分かる.

Example 3.10.12では, a

1

1

, b

−1

1

の大きさが 1となるように,すなわち,√

2 a =√

2 b = 1⇔ a = b =1√

2として

a, bを取り, P =

a −b

a b

が回転行列となるようにしたのである. (ただし, Pがいつも回転行列になるわけではない)

Example 4.1.6

A =

7 −6

3 −2

に対し,線形変換 TAをとる. TAの固有値,固有ベクトルを求めよ.

TA (x) = λx⇔Ax = λI x

⇔ (λI − A) x = o

⇔[λ − 7 6−3 λ + 2

] [x1

x2

]=

[00

]. . . (∗)

であり, 固有ベクトルの定義より, 固有ベクトルは零ベクトルでないから, x が固有ベクトルとなるには, (∗) が非自明解(x1, x2)をもつことが必要十分.

すなわち, ∣∣∣∣∣∣ λ − 7 6−3 λ + 2

∣∣∣∣∣∣ = 0⇔(λ − 7)(λ + 2)− (−3)·6 = 0

⇔λ2 − 5λ + 4 = 0

⇔λ = 1, 4

であるから,固有値は 1, 4である.

固有値は 1に属する固有ベクトルは,

−6 6

−3 3

x1

x2

= oの非自明解で,

x1

x2

= a

1

1

(a ∈ R − {0})である.

Page 38: 0.準備 - Doshishakmizoha/lin2/2012lin2.pdf1 2 5 2 3 8 などを, 拡大係数行列(enlarged coefficient matrix) という. Remark 0.4.3 Example 0.4.1 の方法なら, 途中で列基本変形を混ぜてはいけない

例えば, a = 1として,

1

1

は固有ベクトルの一つである.

固有値は 4に属する固有ベクトルは,

−3 6

−3 6

x1

x2

= oの非自明解で,

x1

x2

= b

2

1

(b ∈ R − {0})である.

例えば, b = 1として,

2

1

は固有ベクトルの一つである.

§2. 固有多項式

定義 4.2.1� �n次正方行列 Aに対して,

gA (x) = | xI − A | (n次多項式

)を行列 Aの固有多項式 (characteristic polynomial)といい, gA (x) = 0を固有方程式 (characteristic equation)という.固

有方程式の根を Aの固有値という.� �定理 4.2.2� �n次正方行列 Aの固有値を λ1, . . . , λnとする.このとき,次の (1) ∼ (3)が成り立つ.

(1) a11 + · · · + ann = λ1 + · · · + λn

(2) |A | = λ1 . . . λn

(3) Aが正則⇔ λi , 0 (i = 1, 2, . . . , n)� �⟨証明 ⟩Aの固有値が λ1, . . . , λnなので, gA = (x− λ1) . . . (x− λn)である.

よって, | xI − A | = (x− λ1) . . . (x− λn)である.

(1)

| xI − A | = (x− λ1) . . . (x− λn)

∣∣∣∣∣∣∣∣∣∣∣∣∣∣

x− a11 ∗ . . . ∗

∗ x− a22. . . ∗

.... . .

. . ....

∗ . . . ∗ x− ann

∣∣∣∣∣∣∣∣∣∣∣∣∣∣= (x− λ1) . . . (x− λn) · · · (∗)

であり, (∗)の両辺の xn−1の係数を比較して, a11 + · · · + ann = λ1 + · · · + λnを得る.

(2) x = 0として,

| 0I − A | = (0− λ1) . . . (0− λn)⇔|−A | = (−λ1) . . . (−λn)

⇔(−1)n |A | = (−1)nλ . . . λn

⇔|A | = λ . . . λn

を得る.

(3) (2)より,自明.

定理 4.2.3� �n次正方行列 Aに対し,線形変換 TAをとる.このとき,次の (1) , (2)は同値である.

(1) λが T の固有値

(2) λが gA = 0の根� �

Page 39: 0.準備 - Doshishakmizoha/lin2/2012lin2.pdf1 2 5 2 3 8 などを, 拡大係数行列(enlarged coefficient matrix) という. Remark 0.4.3 Example 0.4.1 の方法なら, 途中で列基本変形を混ぜてはいけない

Remark 4.2.4定理 4.2.3は,定義 4.1.1と定義 4.2.1で別々に定義した変換と行列の固有値が,実は一致する,ということを主張している.

Remark 4.2.5今まで, R上のベクトル空間 (主に Rn)を扱ってきた.

しかし,この定理は R上だけで考えていては成り立たない場合が存在する.

例えば, A =

0 −1

1 0

で定まる線形変換 TAは,正方向へπ

2回転させる線形変換である.

よって, Rを成分とするどんなベクトルも T を施せば実数倍とはならず,固有値,固有ベクトルが存在しない.

この原因は, R上のみで考えたことにある.

そこで, Cにまで広げて考えることにより,固有値,固有ベクトルを考えることができる.

Example 4.2.6

A =

0 −1

1 0

に対し,線形変換 TAをとる. TAの固有値,固有ベクトルを求めよ.

固有方程式の根が固有値なので,

| xI − A | = 0⇔∣∣∣∣∣∣ x 1−1 x

∣∣∣∣∣∣ = 0

⇔x2 + 1 = 0

⇔x = ±i

より,固有値は x = ±i である.

固有値 x = i に属する固有ベクトルは,

i 1

−1 i

x1

x2

= oの非自明解で,

x1

x2

= a

1

−i

(a ∈ R − {0})である.

例えば, a = 1として,

1

−i

は固有値の一つである.

固有値 x = −i に属する固有ベクトルは,

−i 1

−1 −i

x1

x2

= oの非自明解で,

x1

x2

= b

1

i

(b ∈ R − {0})である.

例えば, b = 1として,

1

i

は固有値の一つである.

Remark 4.2.7Remark 4.2.5で述べたように,定理 4.3は C上で成立するのであるが,やや複雑になるのでしばらくは固有値がすべて R

となるもので議論する.

定義 4.2.8� �線形空間 V に対し, V から V への線形変換を T とする.

λを T の固有値とし, λに属する固有ベクトル全体の集合に oを加えた集合をW (λ ; T)とすると, W (λ ; T)は V の部

分空間となる.このW (λ ; T)を固有空間 (eigenspace)という.� �Example 4.2.9

A =

7 −6

3 −2

に対し, TAをとる.それぞれの固有値 λの固有空間W (λ ; T)の基底と次元を求めよ.

Example 4.1.6より,

固有値 1に属する固有ベクトル全体の集合は,

x1

x2

= a

1

1

(a ∈ R − {0})で,これに零ベクトル oを加えたものが固有値 1

の固有空間である.

よって, W (1 ; T) =

a

1

1

∣∣∣∣∣∣∣ a ∈ R

であるから,基底:

1

1

,次元:1である.

Page 40: 0.準備 - Doshishakmizoha/lin2/2012lin2.pdf1 2 5 2 3 8 などを, 拡大係数行列(enlarged coefficient matrix) という. Remark 0.4.3 Example 0.4.1 の方法なら, 途中で列基本変形を混ぜてはいけない

固有値 4に属する固有ベクトル全体の集合は,

x1

x2

= b

2

1

(b ∈ R − {0})で,これに零ベクトル oを加えたものが固有値 4

の固有空間である.

よって, W (4 ; T) =

b

2

1

∣∣∣∣∣∣∣ b ∈ R

であるから,基底:

2

1

,次元:1である.

定理 4.2.10 (ケーリー-ハミルトン (Cayley-Hamilton)の定理)� �行列 Aの固有多項式 gA(x)に対し, gA(A) = 0が成り立つ.� �Example 4.2.11

A =

a b

c d

とすると,

gA(x) = | xI − A |

=

∣∣∣∣∣∣x− a −b−c x− d

∣∣∣∣∣∣=x2 − (a+ d) x+ (ad− bc)

より,A2 − (a+ d) A+ (ad− bc) I = O

が成り立つ.

定義 4.2.12� �線形空間 V に対し, V から V への線形変換 T をとる.

V の任意の基底に関する T の表現行列 A の固有多項式, 固有方程式をそれぞれ, T の固有多項式 (characteristic

polynomial),固有方程式 (characteristic equation)という.

T の固有多項式を gT (x)で表す.� �Remark 4.2.13定義 4.2.12で,「V の任意の基底」と述べた.

すなわち,どの V の基底をとっても, T の固有多項式,固有方程式は同じでなければ,この定義は意味を為さない.

よって,どの V の基底をとっても, T の固有多項式,固有方程式が同じであることを示す. :

Eに関する T の表現行列を A, E′ に関する T の表現行列を Bとする.

E→ E′ の基底の変換行列を Pとする. : B = P−1AP

Aの固有多項式を gA (x), Bの固有多項式を gB (x)とする.

gA (x) = | xI − A |=

∣∣∣ P−1∣∣∣ | xI − A | |P |

=∣∣∣ xP−1IP − P−1AP

∣∣∣= | xI − B |=gB (x)

よって, V の任意の基底に関する T の固有多項式が一致することが分かった.

これより, T の固有方程式が一致することは明らかであろう.

Page 41: 0.準備 - Doshishakmizoha/lin2/2012lin2.pdf1 2 5 2 3 8 などを, 拡大係数行列(enlarged coefficient matrix) という. Remark 0.4.3 Example 0.4.1 の方法なら, 途中で列基本変形を混ぜてはいけない

定理 4.2.14� �線形空間 V に対し, V から V への線形変換 T をとる.このとき,

λは T の固有値⇔ gT(λ) = 0

である.� �Remark 4.2.15定理 4.5により,線形空間 V が Rnの部分空間でなくとも,線形変換 T の固有値,固有ベクトルを容易に求めることができ

る.

Example 4.2.162 次以下の多項式全体の空間 V = R [ x ]2 =

{c0 + c1x+ c2x2

∣∣∣ c0, c1, c2 ∈ R}に対し, V の線形変換 T を T ( f (x)) =

f (1+ 2x)で定める. T の固有値,固有ベクトル,固有空間を求めよ.

T の固有値は, V の任意の基底に関する T の表現行列の固有値と一致するから, V の基底として E ={1, x, x2

}をとって, T

の Eに関する表現行列の固有値を求める.

Eに関する T の表現ベクトル Aは [T(1), T(x), T

(x2

) ]=

[1, 1+ 2x, 1+ 4x+ 4x2

]=

[1, x, x2

] 1 1 10 2 40 0 4

より, A =

1 1 1

0 2 4

0 0 4

である.よって, T の固有値 λは,

gT(λ) = 0⇔gA(λ) = 0

⇔| λI − A | = 0

∣∣∣∣∣∣∣∣λ − 1 −1 −1

0 λ − 2 −40 0 λ − 4

∣∣∣∣∣∣∣∣ = 0

⇔(λ − 1)(λ − 2)(λ − 4) = 0

⇔λ = 1, 2, 4

である.

固有値 1に属する Aの固有ベクトルは,

0 −1 −1

0 −1 −4

0 0 −3

x1

x2

x3

= oの非自明解で,

x1

x2

x3

= a

1

0

0

(a ∈ R − {0})である.

例えば a = 1として,

1

0

0

は Aの固有ベクトルの一つである.

よって,[1, x, x2

] 1

0

0

= 1は T の固有ベクトルの一つである. Aの固有ベクトル全体の集合に零ベクトル oを加えたものが

Aの固有値 1の固有空間であるから,

W (1 ; T) =

a

1

0

0

∣∣∣∣∣∣∣∣∣∣∣ a ∈ R

で, W (1 ; T)の基底:⟨1⟩,次元:1である.

固有値 2に属する Aの固有ベクトルは,

1 −1 −1

0 0 −4

0 0 −2

x1

x2

x3

= oの非自明解で,

x1

x2

x3

= b

1

1

0

(b ∈ R − {0})である.

Page 42: 0.準備 - Doshishakmizoha/lin2/2012lin2.pdf1 2 5 2 3 8 などを, 拡大係数行列(enlarged coefficient matrix) という. Remark 0.4.3 Example 0.4.1 の方法なら, 途中で列基本変形を混ぜてはいけない

例えば b = 1として,

1

1

0

は Aは固有ベクトルの一つである.

よって,[1, x, x2

] 1

1

0

= 1+ xは T の固有ベクトルの一つである. Aの固有ベクトル全体の集合に零ベクトル oを加えたも

のが Aの固有値 2の固有空間であるから,

W (2 ; T) =

b

1

1

0

∣∣∣∣∣∣∣∣∣∣∣ b ∈ R

で, W (2 ; T)の基底:⟨1+ x⟩,次元:1である.

固有値 4に属する固有ベクトルは,

3 −1 −1

0 2 −4

0 0 0

x1

x2

x3

= oの非自明解で,

x1

x2

x3

= c

1

2

1

(c ∈ R − {0})である.

例えば c = 1として,

1

2

1

は Aの固有ベクトルの一つである.

よって,[1, x, x2

] 1

2

1

= 1+ 2x+ x2は T の固有ベクトルの一つである. Aの固有ベクトル全体の集合に零ベクトル oを加

えたものが Aの固有値 4の固有空間であるから,

W (4 ; T) =

c

1

2

1

∣∣∣∣∣∣∣∣∣∣∣ c ∈ R

で,基底:⟨1+ 2x+ x2⟩,次元:1である.

§3. 行列の対角化

定義 4.3.1� �n次正方行列 Aに対して,適当な正則行列 Pを用いて P−1APを対角行列 (diagonal matrix)

P−1AP=

λ1 0 . . . 0

0. . .

. . ....

.... . .

. . . 00 . . . 0 λn

とせしめることを Aの対角化という.� �定理 4.3.2� �Aの相異なる固有値 λ1, λ2に属する固有ベクトルをそれぞれ v1, v2とすると, v1, v2は線形独立である.� �

⟨証明 ⟩線形関係 c1v1 + c2v2 = oを考える.

両辺左から A をかけて,

c1Av1 + c2Av2 = o⇔c1λ1v1 + c2λ2v2 = o

また, (∗)の両辺に λ1をかけて,c1λ1v1 + c2λ1v2 = o

2式の辺々引いて,c2(λ2 − λ1)v2 = o

Page 43: 0.準備 - Doshishakmizoha/lin2/2012lin2.pdf1 2 5 2 3 8 などを, 拡大係数行列(enlarged coefficient matrix) という. Remark 0.4.3 Example 0.4.1 の方法なら, 途中で列基本変形を混ぜてはいけない

であり, v2 , oより, c2(λ2 − λ1) = 0. λ1 , λ2より, c2 = 0.

よって, c1v1 = 0であり, v1 , oより, c1 = 0.

定理 4.3.3� �n次正方行列 Aが n個の線形独立な固有ベクトルをもつとき, Aは対角化可能.� �定理 4.3.4� �n次正方行列 Aに対して,

gA(λ) = (λ − λ1)n1 . . . (λ − λn)nr (n1 + · · · + nr = n)

が成り立つとき,1 ≤ dim(W(λi ; TA)) ≤ ni (i = 1, . . . r)

が成り立つ.更に,Aが対角化可能⇔ dimW(λi ; TA) = ni

である.� �⟨証明 ⟩後半は定理 4.3.3より明らかなので,前半を示す.

dim(W(λ ; TA)) = di とおく. (λi I − A) x = oは非自明な解をもつので di ≥ 1

次に, W(λ ; TA)の基底を ⟨v1, . . . , vdi ⟩とする.

これを拡張して, ⟨v1, . . . , vdi , vdi+1, . . . , vn⟩が Rn(本当は Cnであるが,初学者のために Rnとする)の基底となるようにとる.

P =[v1, . . . , vdi , vdi+1, . . . , vn

]とおくと,

P−1(λI − A)P =λP−1IP − P−1AP

=λI − P−1AP

=[λe1 , . . . , λen

]−

[P−1Av1, . . . , P−1Avdi , P−1Avdi+1, . . . , P−1Avn

]=

[λe1 , . . . , λen

]−

[P−1λiv1, . . . , P−1λivdi , P−1Avdi+1, . . . , P−1Avn

]=

[λe1 , . . . , λen

]−

[λie1, . . . , λiedi , P−1Avdi+1, . . . , P−1Avn

](∵ I = P−1P =

[P−1v1, . . . , P−1vn

]より, ej = P−1v j ( j = 1, . . . , n)

)=

[(λ − λi)e1, . . . , (λ − λi)en, ed+i − P−1Avdi+1, . . . , en − P−1Avn

]なので,

| λI − A | =∣∣∣ P−1

∣∣∣ | λI − A | |P |=

∣∣∣ P−1(λI − A)P∣∣∣

=∣∣∣ (λ − λi)e1, . . . , (λ − λi)edi , ed+i − P−1Avdi+1, . . . , en − P−1Avn

∣∣∣=(λ − λi)

di[e1, . . . , edi , ed+i − P−1Avdi+1, . . . , en − P−1Avn

]より, di ≤ ni である.

Remark 4.3.5定理 4.3.4より, Aが対角化可能なとき,各固有値 λi に属する線形独立な固有ベクトルが ni 個存在する.

すなわち,これらを vi1, . . . , vini とすると, W(λi ; TA) = span(vi1, . . . , vini

)となる.

よって,P

[v11, . . . , v1n1, v21, . . . , v2n2, . . . , vr1, . . . , vrnr

]

Page 44: 0.準備 - Doshishakmizoha/lin2/2012lin2.pdf1 2 5 2 3 8 などを, 拡大係数行列(enlarged coefficient matrix) という. Remark 0.4.3 Example 0.4.1 の方法なら, 途中で列基本変形を混ぜてはいけない

とおけば,

P−1AP=

λ1

. . .

λ1 Oλ2

. . .

λ2

. . .

O λn

. . .

λn

となる.

Example 4.3.6

A =

1 3 2

0 −1 0

1 2 0

が対角化可能なら対角化せよ.

gA(λ) = | λI − A |

=

∣∣∣∣∣∣∣∣λ − 1 −3 −2

0 λ + 1 0−1 −2 λ

∣∣∣∣∣∣∣∣=(−1)2+2(λ + 1)

∣∣∣∣∣∣ λ − 1 −2−1 λ

∣∣∣∣∣∣=(λ + 1)(λ2 − λ − 2)

=(λ + 1)2(λ − 2)

であるから, Aの固有値は −1, 2である.

ところが,固有値 −1に属する固有ベクトルは

−2 −3 −2

0 0 0

−1 −2 −1

x1

x2

x3

= oの非自明解で,

x1

x2

x3

= a

1

0

−1

(a ∈ R − {0})である.

よって, W (4 ; T) =

a

1

0

−1

∣∣∣∣∣∣∣∣∣∣∣ a ∈ R

であるから,次元は 1である.

よって,定理 4.8より, Aは対角化不可能である.

Remark 4.3.7gA(λ)を因数分解した式の因数の肩に乗っている数が 1でないときは注意せよ.

Example 4.3.8

A =

5 6 0

−1 0 0

1 2 2

が対角化可能なら対角化せよ.

gA(λ) =

∣∣∣∣∣∣∣∣λ − 5 −6 0

1 λ 0−1 −2 λ − 2

∣∣∣∣∣∣∣∣=(−1)3+3(λ − 2)

∣∣∣∣∣∣ λ − 5 −61 λ

∣∣∣∣∣∣=(λ − 2)

(λ2 − 5λ + 6

)=(λ − 2)2(λ − 3)

Page 45: 0.準備 - Doshishakmizoha/lin2/2012lin2.pdf1 2 5 2 3 8 などを, 拡大係数行列(enlarged coefficient matrix) という. Remark 0.4.3 Example 0.4.1 の方法なら, 途中で列基本変形を混ぜてはいけない

なので, Aの固有値は 2, 3である.

固有値 2に属する固有ベクトルは

−3 −6 0

1 2 0

−1 −2 0

x1

x2

x3

= oの非自明解で,

x1

x2

x3

= a

2

1

0

+ b

0

0

1

(a, b ∈ R − {0})である.

よって, W (2 ; T) =

a

2

1

0

+ b

0

0

1

∣∣∣∣∣∣∣∣∣∣∣ a, b ∈ R

である.

固有値 3に属する固有ベクトルは

−2 −6 0

1 3 0

−1 −2 1

x1

x2

x3

= oの非自明解で,

x1

x2

x3

= c

3

−1

1

(c ∈ R − {0})である.

よって, W (3 ; T) =

c

3

−1

1

∣∣∣∣∣∣∣∣∣∣∣ c ∈ R

である.

よって,定理 4.8より,対角化可能.

(a, b) = (1, 0) , (0, 1)として,固有値 2の固有ベクトル v1 =

2

1

0

, v2 =

0

0

1

をとる.

c = 1として,固有値 3の固有ベクトル v3 =

3

−1

1

をとる.

Remark 4.8より, P = [ v1, v2, v3 ] =

2 0 3

1 0 −1

0 1 1

とおくと, P−1AP=

2 0 0

0 2 0

0 0 3

となる.

Remark 4.3.9座標で考えると, Aの対角化は次のようになっている.

P−1AP= Bとし, P =[

v1 , . . . , vn

], B =

λ1 0 . . . 0

0. . .

. . ....

.... . .

. . . 0

0 . . . 0 λn

とおく.

xが Aによってどのように移るかを考える.

Ax = PBP−1xで,まず P−1によって基底 ⟨v1, . . . , vn⟩の座標に変換し, Bによって各軸方向に固有値倍し, Pによって元の座

標に戻している.

Remark 4.3.10座標変換するなら, ⟨v1, . . . , vn⟩に Rnの標準基底 ⟨e1, . . . , en⟩と同じ性質を持ってほしい.

すなわち,各 vi の長さが 1,任意の vi , v j が直交する,という性質が欲しい.

次の節では長さ,直交といった概念を一般的に定義する.

Page 46: 0.準備 - Doshishakmizoha/lin2/2012lin2.pdf1 2 5 2 3 8 などを, 拡大係数行列(enlarged coefficient matrix) という. Remark 0.4.3 Example 0.4.1 の方法なら, 途中で列基本変形を混ぜてはいけない

§4. 内積空間

定義 4.4.1� �ベクトル空間 V の任意の 2つの元 v, uに対し, 1つの実数が対応するとする.

これを, (v, u)で表し, ( , )が次の (縲i縲) ∼ (縲iv縲)をみたすとき, ( , )を内積 (inner product)とよび,内積をもつベクト

ル空間を内積空間 (inner product space)という.

(1) (v+ v′, u) = (v, u) + (v′, u)

(2) (cv, u) = c(v, u)

(3) (v, u) = (u, v)

(縲iv縲) (v, v)は 0または正の実数であり, (v, v) = 0となるのは v = 0のときに限る.

� �Remark 4.4.2内積空間を本によっては計量線形空間 (metric inner space)ということもある.

Example 4.4.3Rnにおいて, (x, y) = x1y1 + · · · + xnynとすると,定義の (縲i縲) ∼ (縲iv縲)をみたすので,これは内積である.

これを,標準的内積という.

Remark 4.4.4以後,注意が無ければ, Rnにおける内積は全て標準的内積とする.

定義 4.4.5� �内積空間 V 上のベクトル vに対して,

√(v, v) を vのノルム (norm)または長さといい, || v ||で表す.� �

Example 4.4.6

v =

3

4

∈ R2に対し, || v || =√

(v, v) = 5である.

定理 4.4.7� �内積空間 V のベクトル a, bに対して,次の (縲i縲) ∼ (縲iv縲)が成り立つ.

(1) || a || = 0⇔ a = o

(2) || ca || = | c | || a ||(3) | (a, b) | ≤ || a || || b || (Cauchy-Schwarzの不等式)

(縲iv縲) || a+ b || ≤ || a || + || b || (三角不等式)� �定義 4.4.8� �内積空間 V のベクトル a, bが (a, b)を満たすとき, a, bは直交する,といい a ⊥ bと表す.� �

Page 47: 0.準備 - Doshishakmizoha/lin2/2012lin2.pdf1 2 5 2 3 8 などを, 拡大係数行列(enlarged coefficient matrix) という. Remark 0.4.3 Example 0.4.1 の方法なら, 途中で列基本変形を混ぜてはいけない

定義 4.4.9� �内積空間 V の部分空間Wに対して, W⊥ を

W⊥ = { v ∈ V | ∀w ∈W (w, v) = 0 }

で定めると, W⊥ は V の部分空間となる.これを V におけるWの直交補空間 (orthogonal complement)という.� �Example 4.4.10

V = R3とし, V の部分空間WをW =

0

0

z

∣∣∣∣∣∣∣∣∣∣∣ z ∈ R

で定める. V におけるWの直交補空間を求めよ.

W⊥ の要素を

a

b

c

(a, b, c ∈ R)とする. Wの任意の要素

0

0

z

(zは任意)と直交するので,

a

bc

, 0

0z

= 0⇔a·0+ b·0+ c·z= 0

⇔cz= 0 . . . (∗)⇔c = 0 (∵ 任意の z ∈ Rに対して, (∗)が成立)

よって,

W⊥ =

a

bc

∣∣∣∣∣∣∣∣ a, b ∈ R, c = 0

=

a

b0

∣∣∣∣∣∣∣∣ a, b ∈ R

である.

定理 4.4.11� �内積空間で v1, . . . , vn(vi , o, i = 1, . . . , n)が互いに直交すれば, v1, . . . , vnは線形独立.� �

⟨証明 ⟩線形関係 c1v1 + · · · + cnvn = oを考え,両辺同じもので内積をとる.

(vi , v j

)= 0なので,

(c1v1 + · · · + cnvn, c1v1 + · · · + cnvn) = (o, o)

⇔c12 || v1 ||2 + · · · + cn

2 || vn ||2 = 0

⇔c1 = · · · = cn = 0

定義 4.4.12� �内積空間 V の基底 E = ⟨v1, . . . , vn⟩が (

vi , v j

)= δi j

を満たすとき,基底 Eを正規直交基底 (orthonormal basis)という.� �Remark 4.4.13δi j はクロネッカーのデルタといい,

δi j =

{1 (i = j)0 (i , j)

Page 48: 0.準備 - Doshishakmizoha/lin2/2012lin2.pdf1 2 5 2 3 8 などを, 拡大係数行列(enlarged coefficient matrix) という. Remark 0.4.3 Example 0.4.1 の方法なら, 途中で列基本変形を混ぜてはいけない

である.よって,定義 4.10によれば,例えば, (v2, v4) = δ24 = 0であるし, (v3, v3) = δ33 = 1である.

すなわち,自分自身と内積を取れば 1となり (ノルムが 1となり),ほかのものと内積を取れば 0となる (直交する)ような基

底のことを正規直交基底と呼ぶのである.

Remark 4.4.14この正規直交基底が前節の最後に述べた,標準基底と同じく,長さが 1で,互いに直交するような基底である.

Example 4.4.15R3の標準基底 ⟨e1, e2, e3⟩は,もちろん R3の正規直交基底である.

Example 4.4.16

R3の基底

1√

2

− 1√

20

,

1√

31√

31√

3

,

1√

61√

6

− 2√

6

は R3の正規直交基底である.

定義 4.4.17� �V の r 次元部分空間Wを考える. Wの正規直交基底を ⟨w1, . . . , wr⟩とする.このとき,任意の v ∈ V に対して,

v =r∑

i=1

(v, wi)wi + v2

と一意に表せる.ただし, v2 ∈W⊥ である.このとき, v1を vのWへの正射影 (orthogonal projection)という.� �Remark 4.4.18点から平面へ垂線を下すとき,正射影を求めることにより垂線の足がすぐ分かる.

定義 4.4.19� �内積空間 V の線形変換 T が任意の u, v ∈ V に対して, (T(u), T(v)) = (u, v)を満たすとき, T を直交変換 (orhotogonal

transformation)という.� �Remark 4.4.20u = vとすると,

||T(u) || = || u ||

なので,直交変換において,長さは不変,かつ 2ベクトルのなす角は不変である.

Remark 4.4.21

回転の変換は直交変換の代表例である. 実際, R2 から R2 への回転の変換 T を T(x) =

cosθ − sinθ

sinθ cosθ

x で定めると,

u =

u1

u2

, v =

v1

v2

に対し,

(T(u), T(v)) =

([u1 cosθ − u2 sinθu1 sinθ + u2 cosθ

],

[v1 cosθ − v2 sinθv1 sinθ + v2 cosθ

])= (u1 cosθ − u2 sinθ) (v1 cosθ − v2 sinθ) + (u1 sinθ + u2 cosθ) (v1 sinθ + v2 cosθ)

=u1v1 + u2v2 =

([u1

u2

],

[v1

v2

])= (u, v)

よって, T は直交変換である.

Page 49: 0.準備 - Doshishakmizoha/lin2/2012lin2.pdf1 2 5 2 3 8 などを, 拡大係数行列(enlarged coefficient matrix) という. Remark 0.4.3 Example 0.4.1 の方法なら, 途中で列基本変形を混ぜてはいけない

定理 4.4.22� �⟩v1, . . . , vn⟨を内積空間 V の正規直交基底とする.このとき次が成り立つ.

V上の線形変換 T が直交変換⇔{T(v1), . . . , T(vn)}がVの正規直交基底� �⟨証明 ⟩(⇒)の証明

(T(vi), T(v j)) =(vi , v j)

=δi j

(⇐)の証明

a, b ∈ V を a = a1v1 + · · · + anvn, b = b1v1 + · · · + bnvnとする.

(T(a), T(b)) = (T(a1v1 + · · · + anvn), T(b1v1 + · · · + bnvn))

= (a1T(v1) + · · · + anT(vn), b1T(v1) + · · · + bnT(vn))

=a1b1 + · · · + anbn

= (a, b)

定義 4.4.23� �n次正方行列 Pが tPP= I を満たすとき, Pを直交行列 (orthogonal matrix)という.� �Remark 4.4.24Pが直交行列なら, P−1 = tPである.

Example 4.4.25

P =

cosθ − sinθ

sinθ cosθ

は直交行列である.実際,

tPP=

[cosθ sinθ− sinθ cosθ

] [cosθ − sinθsinθ cosθ

]= I

である.回転行列であることを意識すれば,

tP =

[cosθ sinθ− sinθ cosθ

]=

[cos(−θ) − sin(−θ)sin(−θ) cos(−θ)

]= P−1

としても分かる.

定理 4.4.26� �正方行列 Aと, Aに対して線形変換 TAをとれば,次が成り立つ.

Aが直交行列⇔ TAが直交変換� �⟨証明 ⟩A = [ a1, . . . , an ] とすると, TA(e1) = a1, . . . , TA(en) = anであるから,

TAが直交変換⇔{a1, . . . , an}は Rnの正規直交基底

⇔(ai , a j

)= δi j (i, j = 1, . . . , n)

⇔tai a j = δi j

Page 50: 0.準備 - Doshishakmizoha/lin2/2012lin2.pdf1 2 5 2 3 8 などを, 拡大係数行列(enlarged coefficient matrix) という. Remark 0.4.3 Example 0.4.1 の方法なら, 途中で列基本変形を混ぜてはいけない

より,

tAA=

ta1...

tan

[ a1 , . . . , an

]=

ta1a1 . . . ta1an...

. . ....

tana1 . . . tanan

= I

Remark 4.4.27この証明により,次の定理も分かる.

定理 4.4.28� �正方行列 Aを A = [ a1, . . . , an ] とおくと,次が成り立つ.

Aが直交行列⇔ {a1, . . . , an}は Rnの正規直交基底� �Example 4.4.29

A =

cosθ − sinθ

sinθ cosθ

とする. tAA= I より Aは直交行列.回転の変換なので, TAは直交変換.

A = [ a1, a2 ] とすると, (a1, a2) = 0かつ || a1 || = || a2 || = 1であるから, a1, a2は R2の正規直交基底.

§5. グラム-シュミットの直交化法

内積空間 V の任意の基底 a1, . . . , an から正規直交基底 v1, . . . , vn を次のようにして作ることができる.この方法をグラ

ム-シュミットの直交化法 (Gram-Schmidt orthonormalization)という.

(1) v1 =a1

|| a1 ||とする.

このとき, || v1 || = 1となっている.

(2) a′2 = a2 − (a2, v1)v1とし, v2 =a′2|| a′2 ||

とする.

このとき, (a2, v1)v1 は a2 の span(v1)への正射影なので, a′2 は a2 から a2 の span(v1)への正射影を除いたもの.すなわち,

a′2は v1に直交する.さらに, || v2 || = 1となっている.

(3) a′3 = a3 − {(a3, v1)v1 + (a3, v2)v2}とし, v3 =a′3|| a′3 ||

とする.

このとき, (a3, v1)v1 + (a3, v2)v2は a3の span(v1, v2)への正射影なので, a′3は a3から a2の span(v1, v2)への正射影を除い

たもの.すなわち, a′3は v1, v2に直交する.さらに, || v3 || = 1となっている.

(4) 以下,同様に繰り返すことで,正規直交基底 {v1, . . . , vn}を作ることができる.

Remark 4.5.1a′r+1 = ar+1 − {(ar+1, v1)v1 + · · · + (ar+1, vr )vr }が v1, . . . , vr と直交することは次のようにしても分かる.

a′r+1と vi (i = 1, . . . , r)との内積をとると,

(a′r+1, vi) =(ar+1 − {(ar+1, v1)v1 + · · · + (ar+1, vr )vr } , vi)

=(ar+1, vi) − {(vr+1, v1)(v1, vi) + · · · + (ar+1, vi)(vi , vi) + · · · + (ar+1, vr )(vr , vi)}=(ar+1, vi) − (ar+1, vi)

=0

Example 4.5.2

R3の基底 a1 =

1

0

1

, a2 =

1

1

0

, a3 =

1

2

1

から,正規直交基底を作れ.

v1 =a1

|| a1 ||=

1√

2

1

0

1

とする.

Page 51: 0.準備 - Doshishakmizoha/lin2/2012lin2.pdf1 2 5 2 3 8 などを, 拡大係数行列(enlarged coefficient matrix) という. Remark 0.4.3 Example 0.4.1 の方法なら, 途中で列基本変形を混ぜてはいけない

a′2 = a2 − (a2, v1)v1 =

110

− 1√

2· 1√

2

101

= 12

12−1

とし,

v2 =a′2|| a′2 ||

=1√

6=

12−1

とする.

a′3 = a3 − {(a3, v1)v1 + (a3, v2)v2} =

121

− 2√

2

1√

2

101

+ 4√

6

1√

6

12−1

= 2

3

−111

とし,

v3 =a′3|| a′3 ||

=1√

3

−111

とする.

このとき, {v1, v2, v3}は R3の正規直交基底である.

§6. 対称行列の対角化

定義 4.6.1� �tA = Aすなわち, ai j = a ji を満たす行列を対称行列 (symmetric matrix)という.� �Example 4.6.2

A =

1 4 5

4 2 6

5 6 3

は対称行列である.

定理 4.6.3� �対称行列の異なる固有値に属する固有ベクトルは直交する.� �定理 4.6.4� �対称行列の固有値は実数.� �定理 4.6.5� �対称行列は直交行列を用いて対角化可能.� �Example 4.6.6

A =

1 1 3

1 5 1

6 1 1

を直交行列を用いて対角化せよ.

Page 52: 0.準備 - Doshishakmizoha/lin2/2012lin2.pdf1 2 5 2 3 8 などを, 拡大係数行列(enlarged coefficient matrix) という. Remark 0.4.3 Example 0.4.1 の方法なら, 途中で列基本変形を混ぜてはいけない

Aは対称行列なので直交行列により,対角化可能である.

gA(t) = | tI − A |

=

∣∣∣∣∣∣∣∣t − 1 −1 −3−1 t − 5 −1−3 −1 t − 1

∣∣∣∣∣∣∣∣=(t + 2)(t − 3)(t − 6)

より, Aの固有値は −2, 3, 6である.異なる固有値に属する固有ベクトルは全て直交するから,各固有値に属する固有ベクト

ルで長さが 1のものを取ればよい.固有値 −2に属する固有ベクトルは,

−2I − A =

−3 −1 −3−1 −7 −1−3 −1 −3

→ 3 1 3

1 7 10 0 0

→ 0 −20 0

1 7 10 0 0

→ 0 1 0

1 0 10 0 0

より, a

1

0

−1

(a ∈ R − {0})で,長さが 1のものを v1とすると, v1 =1√

2

1

0

−1

.固有値 3に属する固有ベクトルは,

3I − A =

2 −1 −3−1 −2 −1−3 −1 2

→ 2 −1 −3

1 2 10 0 0

→ 0 −5 −5

1 2 10 0 0

→ 0 1 1

1 1 00 0 0

より, b

1

−1

1

(b ∈ R − {0})で,長さが 1のものを v2とすると, v2 =1√

3

1

−1

1

.固有値 6に属する固有ベクトルは,

6I − A =

5 −1 −3−1 1 −1−3 −1 5

→ 0 4 −8−1 1 −10 −4 8

→ 0 −1 2−1 1 −10 0 0

→ 0 −1 2−1 0 10 0 0

より, c

1

2

1

(c ∈ R − {0})で,長さが 1のものを v3とすると, v3 =1√

6

1

2

1

.

以上より, ⟨v1, v2, v3⟩は正規直交基底なので, P = [ v1, v2, v3 ] =

1√

2

1√

3

1√

6

0 − 1√

3

2√

6

− 1√

2

1√

3

1√

6

とおくと Pは直交行列で,

P−1AP=

−2 0 00 3 00 0 6

は対角行列となる.

Example 4.6.7

A =

1 2 −1

2 −2 2

−1 2 1

を直交行列を用いて対角化せよ.

Aは対称行列なので直交行列により対角化可能.

gA(t) = | tI − A |

=

∣∣∣∣∣∣∣∣t − 1 −2 1−2 t + 2 −21 −2 t − 1

∣∣∣∣∣∣∣∣=(t − 2)2(t + 4)

Page 53: 0.準備 - Doshishakmizoha/lin2/2012lin2.pdf1 2 5 2 3 8 などを, 拡大係数行列(enlarged coefficient matrix) という. Remark 0.4.3 Example 0.4.1 の方法なら, 途中で列基本変形を混ぜてはいけない

より, Aの固有値は 2, −4である.異なる固有値に属する固有ベクトルは全て直交するから,各固有値に属する固有ベクトル

で長さが 1かつ直交するものを取ればよい.

固有値 2の固有空間W (2 ; TA)は,

2I − A =

1 −2 1−2 4 −21 −2 1

→ 1 −2 1

0 0 00 0 0

より, W (2 ; TA) = a

2

1

0

+ b

1

0

−1

(a, b ∈ R)で, W (2 ; TA)の基底 ⟨a1, a2⟩を, a1 =

2

1

0

, a2 =

−1

0

1

でとる.

この基底から,グラムシュミットの直交化法により, W (2 ; TA)の正規直交基底 ⟨v1, v2⟩を作る.

v1 =a1

|| a1 ||=

1√

5

2

1

0

とする.

a′1 = a1 − (a1, v1)v1 =

−1

0

1

− (− 2√

5)· 1√

5

2

1

0

= 15

−1

2

5

とし, v2 =a′2|| a′2 ||

=1√

30

−1

2

5

とする.

⟨v1, v2⟩はW(2 ; TA)の正規直交基底である.

固有値-4に属する固有ベクトルは,

−4I − A =

−5 −2 1−2 −2 −21 −2 −5

→ 0 3 6

1 1 10 −3 −6

→ 0 1 2

1 0 −10 0 0

より, c

1

−2

1

(c ∈ R − {0})で,長さが 1のものを v3とすると, v3 =1√

6

1

−2

1

.

以上より, ⟨v1, v2, v3⟩は R3 の正規直交基底なので, P = [ v1, v2, v3 ] =

2√

5− 1√

30

1√

61√

5

2√

30− 2√

6

05√

30

1√

6

とおくと Pは直交行

列で,

P−1AP=

2 0 00 2 00 0 −4

は対角行列となる.

Remark 4.6.8一般に,次のようになる.

n次正方対称行列 Aを直交行列にを用いて対角化せよ.

gA(t) = (t − λ1)n1 . . . (t − λ1)nr (n1 + · · · + nr = n, 各λiは相異なる実数)

と因数分解できる.

(1) ni = 1のとき,固有ベクトルを一つ vi1見つけ,長さを 1にする. ({vi1}は固有値 λi の固有空間の正規直交基底と思える)

(2) ni ≤ 2のとき,固有空間の基底 ⟨ai1, . . . , aini ⟩を見つけ,グラムシュミットの直交化法により,正規直交基底 ⟨vi1, . . . , vini ⟩を作る.

(1), (2)で求めた各固有空間の正規直交基底を並べ,

P =[v11, . . . , v1n1, . . . , vr1, . . . , vrnr

]

Page 54: 0.準備 - Doshishakmizoha/lin2/2012lin2.pdf1 2 5 2 3 8 などを, 拡大係数行列(enlarged coefficient matrix) という. Remark 0.4.3 Example 0.4.1 の方法なら, 途中で列基本変形を混ぜてはいけない

とすると,

P−1AP=

λ1

. . . Oλ1

. . .

λr

O. . .

λr

となる.

§7. 二次形式

定義 4.7.1� �n個の変数 x1, . . . , x2に対して,実数係数の二次の項のみをもつ二次式 (斉二次式)を二次形式 (quadratic form)という.� �任意の二次形式は xi x j の係数を ai j とし, ai j = a ji とすると,

n∑i=1

n∑j=1

ai j xi x j

と一意に書け, x =

x1

...

xn

, A = (ai j )とおくと,

n∑i=1

n∑j=1

ai j xi x j =[

x1 , . . . , xn

] a11 . . . a1n.... . .

...an1 . . . ann

x1...xn

= txAx

と表せる.

Remark 4.7.2ai j = a ji より, Aは対称行列である.

定理 4.7.3 (二次形式の標準化)� �Aは対称行列なので直交行列 Pを用いて対角化可能である. B = P−1AP, Py = xで B, yを定めると,

txAx =tyBy

=λ1y12 + · · · + λnyn

2

となる.これを,二次形式の標準化という.� �⟨証明 ⟩

いま, Bは対角行列 B =

λ1 0 . . . 0

0. . .

. . ....

.... . .

. . . 0

0 . . . 0 λn

である. (λ1, . . . , λnは Aの固有値)

また, Py = x⇔ y = P−1xであるから,

Page 55: 0.準備 - Doshishakmizoha/lin2/2012lin2.pdf1 2 5 2 3 8 などを, 拡大係数行列(enlarged coefficient matrix) という. Remark 0.4.3 Example 0.4.1 の方法なら, 途中で列基本変形を混ぜてはいけない

txAx =txPBP−1x

=t(tPx

)BP−1x

=t(P−1x

)BP−1x

=tyBy

=λ1y12 + · · · + λnyn

2

となる.

Example 4.7.45x2 + 5y2 + 6xy= 8は R2においてどのようなグラフか.

x =

x

y

とすると, 5x2 + 5y2 + 6xy= tx

5 3

3 5

xである. A =

5 3

3 5

とする.

gA(t) = (t − 2)(t − 8)より, Aの固有値は 2, 8である.

固有値 2に属する長さ 1の固有ベクトル v1は,

−3 −3

−3 −3

→ 1 1

0 0

より, v1 =1√

2

−1

1

固有値 8に属する長さ 1の固有ベクトル v2は,

3 −3

3 −3

→ 1 −1

0 0

より, v2 =1√

2

1

1

よって, P =

[v1 , v2

]により Aは対角化可能で, P−1AP=

2 0

0 8

である.

よって, y =

X

Y

を y = P−1xで定めると,

図 13

y = P−1x⇔ x = Py⇔

x =

1√

2X +

1√

2Y

y = − 1√

2X +

1√

2Y

また,

5x2 + 5y2 + 6xy= 8⇔ty[

2 00 8

]y = 8

⇔2X2 + 8Y2 = 8

⇔ X2

4+ Y2 = 1

よって,図 10のようなグラフになる.

§8. 複素行列

定義 4.8.1� �成分が複素数の行列を複素行列という.

また,複素行列 Aに対し, Aの全ての成分を共役複素数に置き換えた行列を Aの共役行列といい, Aで表す.� �Example 4.8.2

A =

1+ i 2i

3 2− 2i

は複素行列であり, A =

1− i −2i

3 2+ 2i

である.

定義 4.8.3� �C上の線形空間を複素線形空間 (complex linear space)という.� �

Page 56: 0.準備 - Doshishakmizoha/lin2/2012lin2.pdf1 2 5 2 3 8 などを, 拡大係数行列(enlarged coefficient matrix) という. Remark 0.4.3 Example 0.4.1 の方法なら, 途中で列基本変形を混ぜてはいけない

Remark 4.8.4複素内積空間に対して, R上の線形空間を実線形空間 (real linear space)という.

Example 4.8.5

Cn =

c1

...

cn

∣∣∣∣∣∣∣∣∣∣∣∣ c1, . . . , cn ∈ C

に対し, Rnと同じく標準基底 ⟨e1, . . . , en⟩は基底の一つである.よって, dimCn = nである.

Remark 4.8.6複素線形空間の固有値,固有ベクトル,対角化可能性の定義は実線形空間と変わらない.

定義 4.8.7� �複素線形空間 V の任意の 2つの元 v, u に対し, 1つの複素数が対応するとする.これを, (v, u) で表し, ( , ) が次の

(1) ∼ (4)をみたすとき, ( , )をエルミート内積 (hermitian product)とよび,エルミート内積をもつ複素線形空間をユ

ニタリ空間 (unitary space)または複素内積空間という.

(1) (v+ v′, u) = (v, u) + (v′, u)

(2) (cv, u) = c(v, u) (c ∈ C)

(3) (v, u) = (u, v)

(4) (v, v)は 0または正の実数であり, (v, v) = 0となるのは v = 0のときに限る.

� �Example 4.8.8Cnにおいて, (x, y) = x1y1 + · · · + xnynとすると,定義の (1) ∼ (4)をみたすので,これはエルミート内積である.

これを,標準的内積という.

Remark 4.8.9以後,注意が無ければ, Cnにおける内積は全て標準的内積とする.

定理 4.8.10� �⟨v1, . . . , vn⟩は複素線形空間 V の正規直交基底とする.このとき,次の (1), (4)を満たす.

(1) 任意の v ∈ V に対し,v = (v, v1)v1 + · · · + (v, vn)vn

(2) 任意の v ∈ V に対し, ai = (v, vi) (i = 1, . . . , n)とすると,

|| v ||2 = a12 + · · · + an

2� �定理 4.8.11� �Cを成分とする行列 Aに対し, tAを Aの随伴行列 (adjoint matrix)またはエルミート共役 (hermitian matrix)という.tAが tAA= I を満たすとき, Aをユニタリ行列 (unitary matrix)という.

複素内積空間 V の線形変換 T がエルミート内積において, (T(v), T(u)) = (v, u) を満たすとき, T をユニタリ変換

(unitary transformation)という.� �

Page 57: 0.準備 - Doshishakmizoha/lin2/2012lin2.pdf1 2 5 2 3 8 などを, 拡大係数行列(enlarged coefficient matrix) という. Remark 0.4.3 Example 0.4.1 の方法なら, 途中で列基本変形を混ぜてはいけない

定理 4.8.12� �複素行列 A =

[a1 , . . . , an

]について,次の (縲i縲) ∼ (縲iii縲)は同値である.

(1) Aはユニタリ行列

(2) ⟨a1, . . . , an⟩が Cnの正規直交基底

(3) TA : Cn→ Cnはユニタリ変換� �定義 4.8.13� �

tA = Aを満たす行列をエルミート行列 (hermitian matrix)という.(ai j = a ji

)� �

Remark 4.8.14aii = aii より,エルミート行列の対角成分は実数である.

Example 4.8.151 1+ i 3

1− i −2 2− 2i

3 2+ 2i 3

はエルミート行列である.

定理 4.8.16� �エルミート行列の固有値はすべて実数で,異なる固有値に属する固有ベクトルは直交する.また,エルミート行列は適当

なユニタリ行列を用いて対角化できる.� �