正規直交基と直交行列

この節でも V は内積 ( , ) を持つ R 上の有限次元 vector 空間を表すものとする. また Rⁿ は標準内積を持つ内積空間を表すものとする.

定義8.2.1 dim(V) = n とする. {u₁, · · ·, u_n} は V の基で (8.2.2) (u_i,u_j) = δ_ij ( 1≤i, j ≤n)

を満たすとする. この様な基を正規直交基と称する. 実際, 8.1.8, 6.5.17, および仮定 dim(V) = n により, (8.2.2) が成り立てば,{u₁, · · · , u_n} は基となることに注意せよ.

命題8.2.3 ( Gram-Schmidtの直交化²⁾) {v₁,· · · ,v_n} を V の基とする. このとき V の 正規直交基 {u₁, · · · , u_n} で

hv₁, · · · , v_riR =hu₁, · · ·, u_riR (1≤r≤n) となるものが存在する. (記号については6.5.1を見よ. )

証明 まづu₁ = _||v¹

1||v₁ としてr = 1 の場合が成り立つ. 次に v^′₂ =v₂−(v₂,u₁)u₁, u₂ = _||v¹_′

2||v^′₂

とおくと (u₂,u₁) = 0, ||u₂|| = 1 となることがわかるから r = 2 のときも成り立つ. 一般に u₁, · · ·, u_r が所望の条件を満たすとき,

v^′_r+1 =v_r+1− Xr

i=1

(v_r+1,u_i)u_i, u_r+1 = _||v′¹

r+1||v^′_r+1 とおけば (u_r+1,u_i) = 0 (i≤i≤r) であり,u_r+1 の作り方から

hu₁,· · · , u_r, u_r+1iR =hu₁,· · · , u_r, v_r+1iR=hv₁, · · · ,v_r, v_r+1iR

となる.

定義8.2.4 内積空間 V 上の線形変換T が, 任意の u,v ∈V に対して, 等式 (T(u), T(v)) = (u,v)

を満たすならば, T は直交変換と呼ばれる.

注意8.2.5 Vector空間V における2つのvectors u,v の距離をku−vkと見做せば, 8.2.4と 8.1.12(2)から分る様に,直交変換T : V →V とは,_:::::::任意の

::2:::::::::::::::::::::::::::::::::::点間の距離を変へない写像のこと である. ( 8.2.17も見よ. )

注意8.2.6 {u₁, · · · , u_n} を内積空間 V の正規直交基とする. u = a₁u₁+· · ·+a_nu_n, v = b₁u₁+· · ·+b_nu_n と書くとき,

(u,v) = Xn

j=1

Xn i=1

a_ib_j(u_i,u_j) =a₁b₁+· · ·+a_nb_n.

2)Jørgen Pedersen Gram (1850-1916) Denmark生まれ. Erhard Schmidt (1876-1959) Estonia生まれ.

命題8.2.7 {u₁, · · · , u_n}を内積空間 V の正規直交基とする. V の線形変換 T が直交変 換であるためには, {T(u1), · · · , T(un)} が内積空間 V の正規直交基であることが必要十 分である.

証明 (必要性) T は直交変換だから

(T(u_i), T(u_j)) =δ_ij (1≤i, j ≤n)

である. dimV =n であるから, {T(u₁),· · · , T(u_n)} は正規直交基である.

(十分性) u, v ∈V とし, u =a1u1+· · ·+anun, v =b1u1+· · ·+bnun とすれば, 8.2.6 によ つて

(u,v) =a₁b₁+· · ·+a_nb_n.

しかるにT(u) =a₁T(u₁) +· · ·+a_nT(u_n),T(v) =b₁T(u₁) +· · ·+b_nT(u_n)でもあるから,仮 定により

(T(u), T(v)) = a₁b₁+· · ·+a_nb_n= (u,v) を得,T が直交変換であることがわかる.

注意8.2.8 高校までで学ぶ 3 次元以下 Euclid 空間において, 原点を中心とする回転移動や, 原点を通る1本の直線あるいは 1枚の平面に関する対称移動, さらにそれらの合成変換は任意 の 2 点間の距離を変へない. 直交変換はそれを内積空間 (Euclid 空間の自然な一般化) へ拡張 したものに他ならない. 余談であるが,距離は変更を受けるれども,角度は変はらない様な写像 (等角 写像と呼ぶ) も詳しく調べられてゐる. その例は複素函数論で学ぶであらう.

定義8.2.9 実正方行列 A が ^tAA=I を満たすときA は直交行列であるといはれる.

問8.2.10 次の行列は直交行列であることを確かめよ.

h cosθ −sinθ sinθ cosθ

i ,

" 0 1 0 0 0 1

−1 0 0

# ,

" cosϕ −sinϕ 0 cosθsinϕ cosθcosϕ −sinθ sinθsinϕ sinθcosϕ cosθ

# .

問8.2.11 直交行列の行列式は 1 または−1 であることを示せ.

命題8.2.12 A= [a₁ · · · a_n]∈Mat(n,R) について, 次の4 つは同値. (1) A は直交行列.

(2) A は正則であり ^tA=A⁻¹.

(3) {a₁, · · · ,a_n} が Rⁿ の正規直交基. (4) TA は直交変換.

証明 (1) ⇔ (2). ^tAA=I ならば3.5.2 によりA^tA=I で ^tA=A⁻¹ である. 逆は明らか. (1)

⇔ (3). A^tA = [(a_i,a_j)] であることからわかる.

(3) ⇔ (4). 8.2.7 を V =Rⁿ, {u₁, · · · , u_n}={e₁, · · · , e_n}, T =T_A として適用せよ.

演 習 問 題 8.2

8.2.13 R⁴ における 3つの vectors







−1 1 1 1







,







 1 3 3

−1







,







 1

−3 3 5









の生成する部分空間を W とする. この vectors を, この順序に関して Gram-Schmidt の直交 化により, 直交化し, W の直交基を求めよ.

8.2.14 R[x]₂ を 8.1.4 の内積に関する内積空間とする. このとき, 基 {1, x, x²} を

Gram-Schmidt の方法で正規直交化せよ.

8.2.15 P が直交行列であれば P⁻¹ も直交行列であることを示せ.

8.2.16 2 つの直交行列の積もまた直交行列であることを示せ.

8.2.17 T を V の線形変換とする. T が直交変換であるためには kT(u)k= kuk が全ての u∈V について成り立つことが必要十分であることを示せ.

8.2.18 交代行列 H ∈Mat(n,R)は −1 を固有値に持たないことを示せ.

( Hint : u とAu との標準内積を利用して Au=−uならば u=0 となることを示せ. )

8.2.19 直交行列 A∈ Mat(n,R) について |A|= −1 ならば −1 は A の固有値であることを 証明せよ.

( Hint : 行列式が−1であるいくつかの直交行列の固有多項式を挙げておく:

t³−³₇t²−³₇t+ 1, t⁴+⁴₉t³−⁴₉t−1, t⁵−³₅t⁴−²₅t³−²₅t²−³₅t+ 1. 7.5.13も使ふ. )

8.2.20 H が成分を有理数とする交代行列のときf(H) = (I−H)(I+H)⁻¹ は, −1を固有値 に持たず, しかも成分がすべて有理数である様な直交行列であることを示せ. さらに,f は

{H ∈Mat(n,Q)|H は交代行列} から

{T ∈Mat(n,Q)|T は |T|= 1 かつ −1を固有値に持たない直交行列}

への全単射であることを示し, これの逆の対応を求めよ. (f はCayley変換と呼ばれる. )