計量線形空間 - wakhokasami/linalge/2/math2-08.pdf ·...

111
数学IV 計量線形空間

Upload: others

Post on 28-Jun-2020

0 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

数学IV

計量線形空間

Page 2: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

計量線形空間

Page 3: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

内積の公理

Page 4: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

ベクトルのノルム

Page 5: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

内積の命題

Page 6: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

ベクトルのなす角

Page 7: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

直交と線形独立

Page 8: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

正規直交系

Page 9: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

ユークリッド空間

Page 10: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

証明

Page 11: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

問題

Page 12: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

グラム-シュミットの直交化法

Page 13: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

幾何学的意味

Page 14: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

Page 15: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

ユークリッド空間

Page 16: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

問題

Page 17: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

問題

Page 18: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

問題

Page 19: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

エルミート共役行列

Page 20: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

エルミート行列と実対称行列

Page 21: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

問題

Page 22: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

ユニタリー行列

Page 23: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

問題

Page 24: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

命題1 ユニタリー行列

Page 25: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

命題2 ユニタリー行列

Page 26: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

命題2の証明

Page 27: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

問題設定

Page 28: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

ユークリッド空間における対角化

Page 29: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

問題設定

Page 30: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

定理1

Page 31: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

定理2

Page 32: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

命題3

Page 33: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

正規行列

Page 34: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

命題4

Page 35: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

命題4補題

Page 36: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

まとめ

Page 37: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

正規行列をユニタリー行列で対角化

Page 38: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

正規行列をユニタリー行列で対角化

Page 39: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

Page 40: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

例つづき

Page 41: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

問題

Page 42: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

Appendix A 対角化の手続き

Page 43: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

Appendix A 対角化の手続き

Page 44: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

Appendix B

Page 45: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

Appendix B

Page 46: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

Appendix B

Page 47: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

Appendix C

Page 48: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

Appendix C

Page 49: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

Appendix D

Page 50: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

例題

Page 51: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

Page 52: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

実対称行列 と正値実対象行列

Page 53: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

一般固有値問題の解法

Page 54: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

一般固有値問題の解法

Page 55: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

例題

Page 56: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

Page 57: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

力学系における固有値問題

Page 58: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

運動方程式

Page 59: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

Page 60: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

一般固有値問題

Page 61: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

一般固有値問題

Page 62: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

連成振動

Page 63: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

連成振動

Page 64: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

連成振動

Page 65: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

Page 66: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

共役双一次形式・エルミート双一次形式

Page 67: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

命題

Page 68: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

Page 69: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

Page 70: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

エルミート形式

Page 71: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

Page 72: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

命題

Page 73: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

定義

Page 74: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

例題

Page 75: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

実線形空間

Page 76: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

Page 77: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

基底変換による表現行列の変化

Page 78: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

二次形式の固有値問題

Page 79: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

ユニタリー変換

Page 80: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

Page 81: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

Page 82: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

代数曲面

Page 83: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

二次曲面

Page 84: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

二次曲線

Page 85: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

分類

Page 86: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

二次曲面の中心

Page 87: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

有心・無心

Page 88: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

定義方程式の変換

Page 89: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

定義方程式の座標変換による変化

Page 90: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

変化しないもので分類

Page 91: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

エルミート形式の符号

Page 92: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

エルミート形式の符号

Page 93: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

二次曲面の分類

Page 94: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

二次曲面の分類

Page 95: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

二次曲面の分類

Page 96: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

例題

Page 97: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

例題

Page 98: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

Page 99: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

二次曲線の分類

Page 100: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

二次曲線の分類

Page 101: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

例題

Page 102: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

例題

Page 103: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

Page 104: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

曲線群

Page 105: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

曲線群

Page 106: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

Page 107: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

Appendix A (ラグランジュの方法)

Page 108: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

Appendix A (ラグランジュの方法)

Page 109: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

Appendix A (ラグランジュの方法)

Page 110: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号

Appendix A (ラグランジュの方法)

Page 111: 計量線形空間 - Wakhokasami/linalge/2/math2-08.pdf · 定義方程式の座標変換による変化. 変化しないもので分類. エルミート形式の符号