直交行列の性質

実数体上の正方行列に関する様々な定義に、
直交行列の性質を付加。