2 iweb.econ.keio.ac.jp/staff/tose/cours/2020/slin/2dimorth...第yd講義 直交行 戸瀬 信...

9
…¥ 講義直交行໑ 戸瀬 信ః ‘'o¢P r~obPI' 経済数学入ฉ,‹…qm …W ‹¥ ;“ ]I 戸瀬 信ః t‘'o¢P r~obPI'u …¥ 講義直交行໑ 経済数学入ฉ,‹…qm …W ‹¥ ;“ ]I §q SL L 0 4 Part 0 2 . 2 I.PE M ( 1 1 2 ) ( PEPE ) = ( もて ) ( もて E ) Pi 通交

Upload: others

Post on 10-Sep-2020

0 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: 2 Iweb.econ.keio.ac.jp/staff/tose/cours/2020/slin/2dimorth...第yd講義 直交行 戸瀬 信 AhPa1S_PC1*h 経済数学入, kyRN ûy8月kd日 i>*戸瀬 信 UAhPa1S_PC1*hV第yd講義

第 yd講義Ĝ直交行列

戸瀬 信之

AhPa1 S_PC1*h

経済数学入⾨,kyRN年 y8月 kd日 �i >*

戸瀬 信之 UAhPa1 S_PC1*hV 第 yd 講義Ĝ直交行列経済数学入⾨,kyRN 年 y8 月 kd 日 �i >* R

f R

SL L 04 Part 0 2.

2次

I.PEM。 (112)

(PEPE ) = (もて ) (もて Eば)→ Pi 通交 。

Page 2: 2 Iweb.econ.keio.ac.jp/staff/tose/cours/2020/slin/2dimorth...第yd講義 直交行 戸瀬 信 AhPa1S_PC1*h 経済数学入, kyRN ûy8月kd日 i>*戸瀬 信 UAhPa1S_PC1*hV第yd講義

に で歩い ※バ(RIRで ) = (ら が ) 心

iT ※Too

=七 R Rい g

CRに ws20 +バ0=3130 IIR が 1に 1 1 で 11

こ ( use-0) - sine

," 心に い て い

sincea) wsに0 ) くも げ ) = 1 1 で 11.11で 11TEO

WS f.

Cのなかで ) = は、

「 RRで ) = 心 は心 ) = (で心 )と RR = が R は、

Page 3: 2 Iweb.econ.keio.ac.jp/staff/tose/cours/2020/slin/2dimorth...第yd講義 直交行 戸瀬 信 AhPa1S_PC1*h 経済数学入, kyRN ûy8月kd日 i>*戸瀬 信 UAhPa1S_PC1*hV第yd講義

が (○嵓 喁。○)が。

(Q が、QT) = しも ど ) へ

の?姿だ器 =が た無"

ta =出品した

。 ) = Q .

wsg = ws にい

ryQ は対称 いか 1に い Q で い

QEに は、 taa で )

いでに NQで い

た ( で、 QQ で ) = (か だ ) = くるな

Page 4: 2 Iweb.econ.keio.ac.jp/staff/tose/cours/2020/slin/2dimorth...第yd講義 直交行 戸瀬 信 AhPa1S_PC1*h 経済数学入, kyRN ûy8月kd日 i>*戸瀬 信 UAhPa1S_PC1*hV第yd講義

内積を保つ行列

2次正⽅行列

P =

✓a1 b1a2 b2

◆=⇣~a ~b⌘

P は内積を保つ

(P~x, P~y) = (~x, ~y) (~x, ~y 2 R2)

この条件はtPP = I2

と必要十分である。

戸瀬 信之 UAhPa1 S_PC1*hV 第 yd 講義Ĝ直交行列経済数学入⾨,kyRN 年 y8 月 kd 日 �i >* k

f R

I

Page 5: 2 Iweb.econ.keio.ac.jp/staff/tose/cours/2020/slin/2dimorth...第yd講義 直交行 戸瀬 信 AhPa1S_PC1*h 経済数学入, kyRN ûy8月kd日 i>*戸瀬 信 UAhPa1S_PC1*hV第yd講義

準備

すべてのベクトルに直交するベクトルは

(~a, ~x) = 0 (~x 2 Rn) , ~a = ~0

A m ⇥ n行列とすると

A~x = ~0 (~x 2 Rn) , A = 0m,n

戸瀬 信之 UAhPa1 S_PC1*hV 第 yd 講義Ĝ直交行列経済数学入⾨,kyRN 年 y8 月 kd 日 �i >* j

f R

1しかいて

た=E とする .ca?E)=o~sE=

が Eばく- 0k.

.

rire et

che= CT - En )

が 街な ぼ こ なこかばいい

へ) A = 10 . . S )= 0 m

,n.

Page 6: 2 Iweb.econ.keio.ac.jp/staff/tose/cours/2020/slin/2dimorth...第yd講義 直交行 戸瀬 信 AhPa1S_PC1*h 経済数学入, kyRN ûy8月kd日 i>*戸瀬 信 UAhPa1S_PC1*hV第yd講義

必要十分であるのは

(P~x, P~y) = (~x, ~y) , (tPP~x, ~y) = (~x, ~y)

, (tPP~x � ~x, ~y) = 0

, ((tPP � I2)~x, ~y) = 0

これが任意の ~y 2 R2で成⽴するから

(tPP � I2)~x = ~0

これが任意の ~x 2 R2で成⽴するから

tPP = I2

戸瀬 信之 UAhPa1 S_PC1*hV 第 yd 講義Ĝ直交行列経済数学入⾨,kyRN 年 y8 月 kd 日 �i >* 9

f R

JET~ ~

ru ru

~ 小nnn

Page 7: 2 Iweb.econ.keio.ac.jp/staff/tose/cours/2020/slin/2dimorth...第yd講義 直交行 戸瀬 信 AhPa1S_PC1*h 経済数学入, kyRN ûy8月kd日 i>*戸瀬 信 UAhPa1S_PC1*hV第yd講義

tPP = I2について

P = (~a ~b)が tPP = I2を満たすとき

✓t~at~b

◆⇣~a ~b

⌘=

(~a,~a) (~a,~b)

(~b,~a) (~b,~b)

!=

✓1 00 1

これから tPP = I2は

||~a||2 = ||~b||2 = 1, (~a,~b) = 0

と必要十分である。

戸瀬 信之 UAhPa1 S_PC1*hV 第 yd 講義Ĝ直交行列経済数学入⾨,kyRN 年 y8 月 kd 日 �i >* 8

f R

11でいて くる E )t に した影 (ぼ ) いない )

ness/1

-Pの グラム sfefs寧系となる°

→t で も = CIE )CIE e が )

Page 8: 2 Iweb.econ.keio.ac.jp/staff/tose/cours/2020/slin/2dimorth...第yd講義 直交行 戸瀬 信 AhPa1S_PC1*h 経済数学入, kyRN ûy8月kd日 i>*戸瀬 信 UAhPa1S_PC1*hV第yd講義

||~a||2 = ||~b||2 = 1, (~a,~b) = 0

~a =

✓cos ✓sin ✓

◆とすると

~b =

✓� sin ✓cos ✓

◆P_✓

sin ✓� cos ✓

P =

✓cos ✓ sin ✓sin ✓ � cos ✓

◆は y = tan ✓

2xに関する折り返し

戸瀬 信之 UAhPa1 S_PC1*hV 第 yd 講義Ĝ直交行列経済数学入⾨,kyRN 年 y8 月 kd 日 �i >* e

f R

はな) に「将が

-_-権。

心でい

た (どだこも ) Q (した こと)1 RI = 1 IQに - 1

.

Page 9: 2 Iweb.econ.keio.ac.jp/staff/tose/cours/2020/slin/2dimorth...第yd講義 直交行 戸瀬 信 AhPa1S_PC1*h 経済数学入, kyRN ûy8月kd日 i>*戸瀬 信 UAhPa1S_PC1*hV第yd講義

まとめ

次の同値な条件を満たすとき P = (~a ~b)を直交行列という

(P~x, P~y) = (~x, ~y) (~x, ~y 2 R2)

, ||P~x|| = ||~x|| (~x 2 R2)

, tPP = P tP = I2

, ||~a||2 = ||~b||2 = 1, (~a,~b) = 0

戸瀬 信之 UAhPa1 S_PC1*hV 第 yd 講義Ĝ直交行列経済数学入⾨,kyRN 年 y8 月 kd 日 �i >* d

f R

pense i!日

も いかでいて もいたが = は.が

小 小