パスワードを忘れた? アカウント作成
14066607 journal
日記

taggaの日記: デカルト積

日記 by tagga

直積の方が訳語として使われているのだろうか。

ふつうの数学だと、ものを区別するときの一番楽な道具立てが、順序対で、その集合がデカルト積(直積)。

んで、f: A×B → C の形の写像があって、これが ∀a∀b[f(a, b) = f(b, a)] を満たしているからって、 (a, b) 〜 (b, a) の同値関係考えて、 g: A×B/〜 → C なんてうざい感じのものから始める気する? きれいじゃないじゃん。 プログラムに落し込むときなら、そういうことするかもしれないけど。

順序対から始めているわけだから、 定義内に可換を含ませるより、 公理か定理で可換ですという、2段階の方がきれいな気が絶対すると思う。

この議論は賞味期限が切れたので、アーカイブ化されています。 新たにコメントを付けることはできません。
typodupeerror

192.168.0.1は、私が使っている IPアドレスですので勝手に使わないでください --- ある通りすがり

読み込み中...