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

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

note.com 高木貞治 著『近世数学史談』に載っているフーリエによる二次方程式の解法が、全く何をやっているか分からなかった。 結論から言えば、これは位取り記数法がわかっていればわかるようだ。どういうことかを理解した後も、たしかにそうだなと思った。…

note.com 以前Twitterで呟いた「カノニカルって何？」に多くの方に答えていただきました。いろんな方に言われたことは、「圏論のuniversal mapping propertyをやるとよい」ということです https://twitter.com/study_unnatural/status/1658101671761784833?s…