「昨日の」記事では 2 次形式 / 対称双線型形式の具わった空間の概念を導入し、その同等性を説明しました。そのあと、2 次形式が非退化であるとはどういうことかを定義しました。なので、2次形式つきベクトル空間 (V,q) と対称双線型形式つきベクトル空間 (V…