ユークリッド空間の直交系・正規直交系の性質

・定理：直交系からの正規直交系の生成　
・定理：直交系・正規直交系は一次独立
・定理：ベクトル和のノルムの2乗
・定理：ベッセルの不等式　
をノートしたユークリッド空間Rⁿの直交系・正規直交系の性質。
大枠のみリフォーム。