>>261
なんでベクトル空間を定義するのに直交変換だけを考えたいんだろう。

>>260
>>210 によると「直交座標系」なる用語が導入されてますが、
内積なしでどう定義するんですか？