直交系・直交基底と内積

計量実ベクトル空間における直交系・直交基底と内積。
(直交系の一次結合のあいだの内積 / 正規直交系の一次結合のあいだの内積/直交基底の一次結合のあいだの内積 / 正規直交基底の一次結合のあいだの内積)
大枠のみリフォーム。