問:次の2つの命題は同値か?

~~~~~~~~~~~~~~~~~~~~~~~~~~~

・AはBをCする

・BはAにCされる

~~~~~~~~~~~~~~~~~~~~~~~~~~~

この問いに答えるには次のような条件が足らないかもしれない

・A,B,Cとは何か

・A,B,Cとは、1つか、複数か

・そもそも同値の定義とは何か

など

これらが完全に決まり、2つの命題が同値である場合、その同値は双対関係を与える


例(フーリエ向井変換):

~~~~~~~~~~~~~~~~~~~~~~~~~~~

・生成子は変数を発展する

・変数は生成子に発展させられる

~~~~~~~~~~~~~~~~~~~~~~~~~~~