最終更新日:2022/12/24
The eigenvectors of an orthogonal or unitary operator, corresponding to different eigenvalues, are orthogonal.
編集履歴(0)
The eigenvectors of an orthogonal or unitary operator, corresponding to different eigenvalues, are orthogonal.