選択公理、使ってますか？ 使ってますよね。 僕が意識していなかった選択公理の使用例をいろいろ書いていこうと思います。 全射なら右逆写像が存在する 全射なら右逆写像が存在する 意識していませんでした。 全射 があるとき、 を満たす写像 を構成するのに…

note.com fはyの関数、yはxの関数だから、fはxの関数 みたいなのを聞いたことありませんか？僕はあるし、いままで「まあfはxできまるんだしそうだよな」と思っていました。 しかし、ふと考え直すと、よくわかりません。集合論の世界では、写像は始域と終域、…