m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 “お膳立て”というより、証明そのものの話、しかも小ネタ。なのでオマケとします。内容： 像と逆像に関する、とある命題 集合の内包的記法なら証明できる？ 何が問題なのか 半分なら証明できる 仮定にある存在命題の使い方 追記： コメントへの応答 （2020-05-15） 何を問題視しているのか？（よくわからない） {f(x) | x∈A} の正当性・厳密性 置換公理 第1回とシリーズ目次 像と逆像に関する、とある命題A, Bは集合、f:X→Y は写像、A⊆X, B⊆Y とします。このとき、次の命題は一般的には成立しません。 f(f-1(B)) = B f-1(B)は、Yの部分集合Bの逆像で、f(A)… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F20171120%2F1511157150" title="証明の“お膳立て”のやり方 オマケ1： 集合の内包的記法の困惑 - 檜山正幸のキマイラ飼育記 (はてなBlog)" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://chart.apis.google.com/chart?cht=tx&chl=%5Cemptyset Hatena Blog https://hatena.blog 2017-11-20 14:52:30 rich https://m-hiyama.hatenablog.com/entry/20171120/1511157150 1.0 100%