20180212

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