集合
を
この記法には文句ないのだが...
差集合の記法として減算の記号を用いて
これには怒り心頭に発する!
その理由を以下に述べていく。
もし可能ならば、読者様にはこれらの理由に対する反論あるいは上回る合理性があればご教授いただきたい。
まず譲歩として、差集合の「差」という言葉面を借りて減算の記号を用いたいという気持ちには大いに納得する。
しかし、同じ記号を用いるからにはそれまでの用いられ方と少なからず合理性がなければいけないと考える。
そこで、かの引き算すなわち算数における引き算を引き合いに出す。
この演算を集合に対応させるのならば以下のようになるのが自然ではないだろうか。
このときは確かに
しかし、これは本来の差集合より限定的な用い方である。
もちろん、算数を飛び出し負の数も含めて数を拡張することにより、引く数が引かれる数よりも大きい場合にも引き算をすることができる。
先ほど同様に対応させると
となるが、これはどうだろうか。
であり、
さらに、以下のような場合にはどのように対応させようと手も足も出ない。
私がこの記法を認めてもよいと思うのは、はじめにあげた場合のみである。
つまり
とするべきであるということだ。
かの引き算と自然にアナロジーできるかつ合理的で、納得できる。
集合の演算においては、差だけでなく和も当然存在した。
こちらはどうだったかを見ておこう。
集合
を
差集合に減算の記号を用いることを認めるならば、和集合において加算の記号を用いて
しかし、この表記は一般的にはすでに異なる意味付けがされている。
こちらは
それならば!差集合において減算の記号を用いるときに条件付きで定義しておくのが統一的であろう。
よって無条件で
さらに、
「
確かにその通りだと思います。
しかし、私は
剰余類については割り算の意味合いから合理的に記号が定められているので、(右)剰余類の方に