computeralgebra https://blog.hatena.ne.jp/computeralgebra/ 非専門的シンギュラリティー研究所 https://computeralgebra.hatenablog.com/ 写像の性質の続き 前回の議論では足りないところがあるので追加していきます。証明はまとめることができると思うのですが、できませんでした。集合論の中の自然数論のような話題だと思うので、まとめて書かれているところがあると思うのですが、見つけることはできませんでしたので必要と思われるものを書いていきます。 全射・単射 を集合、 を写像とします。任意の に対して ならば であるとき、 を単射と呼びます。任意の に対して となる が存在するとき、 を全射と呼びます。 が全射かつ単射であるとき全単射と呼びます。 に対して を とおきます( は の部分集合全体の集合)。 (MP1) (MP2) (MP3) と… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcomputeralgebra.hatenablog.com%2Fentry%2F2021%2F05%2F15%2F133212" title="エレファントな整数論(22) - 非専門的シンギュラリティー研究所" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://m.media-amazon.com/images/I/41wNdIpkBWL._SL500_.jpg Hatena Blog https://hatena.blog 2021-05-15 13:32:12 rich https://computeralgebra.hatenablog.com/entry/2021/05/15/133212 1.0 100%