計量実ベクトル空間の直交系・正規直交系の性質

計量実ベクトル空間の直交系・正規直交系の性質
(直交系からの正規直交系の生成/直交系・正規直交系は一次独立 /ベクトル和のノルムの2乗/ベッセルの不等式)
大枠のみリフォーム。