問:次の2つの命題は同値か?
~~~~~~~~~~~~~~~~~~~~~~~~~~~
・AはBをCする
・BはAにCされる
~~~~~~~~~~~~~~~~~~~~~~~~~~~
この問いに答えるには次のような条件が足らないかもしれない
・A,B,Cとは何か
・A,B,Cとは、1つか、複数か
・そもそも同値の定義とは何か
など
これらが完全に決まり、2つの命題が同値である場合、その同値は双対関係を与える
例(フーリエ向井変換):
~~~~~~~~~~~~~~~~~~~~~~~~~~~
・生成子は変数を発展する
・変数は生成子に発展させられる
~~~~~~~~~~~~~~~~~~~~~~~~~~~
~~~~~~~~~~~~~~~~~~~~~~~~~~~
・AはBをCする
・BはAにCされる
~~~~~~~~~~~~~~~~~~~~~~~~~~~
この問いに答えるには次のような条件が足らないかもしれない
・A,B,Cとは何か
・A,B,Cとは、1つか、複数か
・そもそも同値の定義とは何か
など
これらが完全に決まり、2つの命題が同値である場合、その同値は双対関係を与える
例(フーリエ向井変換):
~~~~~~~~~~~~~~~~~~~~~~~~~~~
・生成子は変数を発展する
・変数は生成子に発展させられる
~~~~~~~~~~~~~~~~~~~~~~~~~~~