直交行列について
A~A=AA~=Iを満たすAは直交行列(~は転置
n次元の正規直交基底をn個並べたものは直交行列 とあります
正規直交基底a1,a2,,,,anを並べた行列をAとすると
A~Aは各ベクトルの内積を考えることになって
ノルムは1 直交するから0→単位行列だってのはわかりますが
AA~は内積を考えてるわけではないです
でも計算してみると内積っぽい形をしているわけで
y1をa1,a2,a3...anの第一成分を並べたベクトル
ynをa1,a2,a3...anの第n成分を並べたベクトル
と見れば
AA~はyi(i=1,2,3...n)
の各内積を考えることになり
これも単位行列になるんだから結局yiも正規直交基底になっています
これはなんでですか?
A~A=AA~=Iだからで片付けられるとなんだか面白くないので
他に証明のやりかたあったら教えてください