直交行列

「直交行列」という呼び名はちょっと物足りないですよね。

 

「正規直交行列」って呼べば「正規直交基底」と対応ができて良いのに。