No.1ベストアンサー
- 回答日時:
なんか以前にもこの質問をしていましたね。
もうそのときに解決したのだろうと思っていましたが、よく読んでみるとそうじゃないみたいですね。
基本的に行列のサイズの帰納法で示します。
行列Aがn次の上三角行列で、
(A^*)A=A(A^*) ---[n]
をみたすとします。Aの(i,j)成分をa(i,j)と書くことにします。
すると、等式[n]の(n,n)成分を比較することにより、次の等式を得ます。
ただし、[ ]~は[ ]内の式の複素共役を意味します。
[a(1,n)]~a(1,n)+ … +[a(n-1,n-1)]~a(n-1,n-1)+[a(n,n)]~a(n,n)
=a(n,n)[a(n,n)]~
これより、両辺から[a(n,n)]~a(n,n)をひいて、
[a(1,n)]~a(1,n)+ … +[a(n-1,n-1)]~a(n-1,n-1)=0
を得ます。しかし、これは、
|a(1,n)|^2+ … +|a(n-1,n-1)|^2=0
と書くとわかるように、|a(1,n)|=0、…、|a(n-1,n-1)|=0を導きます。
よって、a(1,n)=0、…、a(n-1,n-1)=0を得ます。
こうして、行列Aは、(n-1)主小行列Bと(n,n)成分cに分解されることが
わかります。
A=|B0|
|0c|
ただし、c=a(n,n)。
すると、等式[n]は、(n-1)次の上三角行列Bに関する等式[n-1]を与えます。
ここで、帰納法の仮定を用いると行列Bは対角行列ですので、結局、行列Aも
対角行列になります。n=1のときに成り立つのはあきらかですね。
以上で証明が完了です。
基本的に行列のサイズの帰納法で示します。
行列Aがn次の上三角行列で、
(A^*)A=A(A^*) ---[n]
をみたすとします。Aの(i,j)成分をa(i,j)と書くことにします。
すると、等式[n]の(n,n)成分を比較することにより、次の等式を得ます。
ただし、[ ]~は[ ]内の式の複素共役を意味します。
[a(1,n)]~a(1,n)+ … +[a(n-1,n)]~a(n-1,n)+[a(n,n)]~a(n,n)
=a(n,n)[a(n,n)]~
これより、両辺から[a(n,n)]~a(n,n)をひいて、
[a(1,n)]~a(1,n)+ … +[a(n-1,n)]~a(n-1,n)=0
を得ます。しかし、これは、
|a(1,n)|^2+ … +|a(n-1,n)|^2=0
と書くとわかるように、|a(1,n)|=0、…、|a(n-1,n)|=0を導きます。
よって、a(1,n)=0、…、a(n-1,n)=0を得ます。
こうして、行列Aは、(n-1)主小行列Bと(n,n)成分cに分解されることが
わかります。
A=|B0|
|0c|
ただし、c=a(n,n)。
すると、等式[n]は、(n-1)次の上三角行列Bに関する等式[n-1]を与えます。
ここで、帰納法の仮定を用いると行列Bは対角行列ですので、結局、行列Aも
対角行列になります。n=1のときに成り立つのはあきらかですね。
以上で証明が完了です。
ということですね
読みやすいように書き直してみました
しかし私の本では[n]の成分比較によって直ちに分かると書いてあったのですが
要するに対角成分だけを比較すればよいのですね
もうすこし丁寧に一言多くその本が書いてあればすぐ分かったのに残念です
肝心なことを書いていないと余計な成分まで比較してしまいますからね
よく理解できました
どうもありがとうございました
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 電車・路線・地下鉄 日本列島は危機に瀕していますか? 一億二千六百万人の命を救うために今日何ができるでしょうか? 承知の 5 2023/03/21 18:49
- Excel(エクセル) capeofdragonと申します Excel2016を使っておりまして 半角又は全角の任意文字列が 2 2022/10/31 13:51
- 数学 行列について 2 2023/01/19 21:47
- 数学 直交行列 1 2023/01/22 22:37
- 数学 角度当てクイズVol.225の解き方おしえてください 1 2023/06/23 17:45
- 数学 直交行列について 1 2023/01/22 15:07
- 数学 三角比の相互関係「sinA^2+cosA^2=1」が直角でなくても成り立つ理由について。 これは、三 8 2022/03/31 09:22
- 数学 線形代数 正則 階数 3 2023/03/22 07:52
- 数学 対角化 1 2023/01/22 17:46
- 邦楽 【西成のジャズシンガーの坂田佳子さんは西成のジャンヌダルクと言われていて、】西成の三角 1 2023/08/15 15:16
おすすめ情報
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
おすすめ情報