計量線形空間 - wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b cl c d a b d cl c ab + cd...

111
数学IV 計量線形空間

Upload: others

Post on 16-Oct-2020

0 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

数学IV

計量線形空間

Page 2: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

計量線形空間

Page 3: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

内積の公理

Page 4: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

ベクトルのノルム

Page 5: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

内積の命題

Page 6: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

ベクトルのなす角

Page 7: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

直交と線形独立

Page 8: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

正規直交系

Page 9: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

ユークリッド空間

Page 10: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

証明

Page 11: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

問題

Page 12: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

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

Page 13: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

幾何学的意味

Page 14: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

Page 15: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

ユークリッド空間

Page 16: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

問題

Page 17: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

問題

Page 18: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

問題

Page 19: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

エルミート共役行列

Page 20: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

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

Page 21: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

問題

Page 22: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

ユニタリー行列

Page 23: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

問題

Page 24: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

命題1 ユニタリー行列

Page 25: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

命題2 ユニタリー行列

Page 26: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

命題2の証明

Page 27: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

問題設定

Page 28: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

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

Page 29: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

問題設定

Page 30: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

定理1

Page 31: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

定理2

Page 32: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

命題3

Page 33: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

正規行列

Page 34: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

命題4

Page 35: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

命題4補題

Page 36: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

まとめ

Page 37: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

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

Page 38: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

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

Page 39: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

Page 40: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

例つづき

Page 41: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

問題

Page 42: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

Appendix A 対角化の手続き

Page 43: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

Appendix A 対角化の手続き

Page 44: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

Appendix B

Page 45: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

Appendix B

Page 46: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

Appendix B

Page 47: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

Appendix C

Page 48: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

Appendix C

Page 49: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

Appendix D

Page 50: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

例題

Page 51: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

Page 52: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

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

Page 53: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

一般固有値問題の解法

Page 54: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

一般固有値問題の解法

Page 55: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

例題

Page 56: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

Page 57: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

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

Page 58: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

運動方程式

Page 59: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

Page 60: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

一般固有値問題

Page 61: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

一般固有値問題

Page 62: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

連成振動

Page 63: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

連成振動

Page 64: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

連成振動

Page 65: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

Page 66: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

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

Page 67: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

命題

Page 68: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

Page 69: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

Page 70: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

エルミート形式

Page 71: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

Page 72: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

命題

Page 73: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

定義

Page 74: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

例題

Page 75: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

実線形空間

Page 76: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

Page 77: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

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

Page 78: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

二次形式の固有値問題

Page 79: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

ユニタリー変換

Page 80: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

Page 81: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

Page 82: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

代数曲面

Page 83: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

二次曲面

Page 84: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

二次曲線

Page 85: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

分類

Page 86: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

二次曲面の中心

Page 87: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

有心・無心

Page 88: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

定義方程式の変換

Page 89: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

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

Page 90: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

変化しないもので分類

Page 91: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

エルミート形式の符号

Page 92: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

エルミート形式の符号

Page 93: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

二次曲面の分類

Page 94: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

二次曲面の分類

Page 95: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

二次曲面の分類

Page 96: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

例題

Page 97: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

例題

Page 98: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

Page 99: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

二次曲線の分類

Page 100: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

二次曲線の分類

Page 101: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

例題

Page 102: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

例題

Page 103: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

Page 104: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

曲線群

Page 105: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

曲線群

Page 106: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

Page 107: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

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

Page 108: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

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

Page 109: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

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

Page 110: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0

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

Page 111: 計量線形空間 - Wakhokwakhok.ac.jp/~asami/linalge/2/math2-08.pdfa b Cl C d a b d Cl C ab + cd =1... (1) ab + cd sin O',d — 1 0 0 1 ab +cd (2) a = cos = sin — cos O' k Z 0