waraby0ginger https://blog.hatena.ne.jp/waraby0ginger/ ゆくゆくは有へと https://iuk.hateblo.jp/ 独自考察 雑記・雑感 twitterでウニャウニャ話してたからそのメモとして。 「対応」は集合Aと集合Bを用意して、集合Aの元に対してBの複数の元を割り当てるという（広義の）一対多の関係のことだよね。 でも、数学はふつう単指示的で、記号は１つのものを指すようにできているので、実に素朴な一対多関係を表せない。 なので、集合を用いて、単指示の下で、集合Aの元に対してBの部分集合を割り当てるという「みかけの一対多」で表現することになる。 でもこれは実際的には、Aの１つの元に対してBの１つの部分集合（Bのべき集合の１つの元）の関係として書き下している（写像的に表現している）ので、素朴な表現方法ではない。 素朴な表現方法…と… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fiuk.hateblo.jp%2Fentry%2F2016%2F08%2F02%2F232632" title="「対応」 - ゆくゆくは有へと" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://cdn-ak.f.st-hatena.com/images/fotolife/w/waraby0ginger/20160802/20160802231030.png Hatena Blog https://hatena.blog 2016-08-02 23:26:32 rich https://iuk.hateblo.jp/entry/2016/08/02/232632 1.0 100%