計量実ベクトル空間に定義された内積の性質

計量実ベクトル空間に定義された内積の性質(シュヴァルツの不等式、三角不等式)。
大枠のみリフォーム。