「V 上の双線型形式を与えることは V からの V* への線型写像を与えること」
— さのたけと (@taketo1024) 2024年12月1日
は、
「V × V → R のカリー化で V → (V → R) が得られ、前者の双線形性から後者は線形写像となる」
というと一部の人には受け入れやすいかも。前者が非退化であるとは、後者が線形同型であることを言う。 https://t.co/vdORs3zsit
こういう操作に名前があるとは知らんかった．カリー(curry)は Haskell Brooks Curry の人名から．プログラムの Haskell はこの人に因む．
