X を係数体が実数または複素数で次元が 1 以上の有限である線形空間とし内積空間でもあるとする. f を X 上の線形変換とし, 一通りの正規直交基底で考える時の f の表現行列を M とする.M が unitary 行列で対角化可能ならば, ||f|| は M の固有値の絶対値で

続きを読む