シリーズ記事として丁寧に読むといいよ。我ながら面白いこと書いている。 ラムダ計算とイプシロン計算を使って線形代数の計算 -- 随伴の例 ベクトル空間の二重の双対はどうなるか 片側非退化性から両側非退化性を導く 2つのベクトルとコベクトルの三位一体 …