スペクトルの実数化