直積集合

股関節おじさんの勉強部屋

直積集合と関係と写像のドツボ

「関係」という概念のドツボにハマりました。まあでも、ここを走り抜けば何か見えてくるはず。 「関係」「直積集合」「写像」のそれぞれの概念を定義する議論は理解していると僕は思っています。なので、それぞれを眺めているだけなら何かを感じることはない...
股関節おじさんの勉強部屋

写像は関係の一種?

集合論の理解を進めようとする度に起こる僕の混乱を共有します。 「『=』は集合AとBの対応を表す写像なんだ!」と納得して順序関係に進もうと「≦」を見た瞬間に気が付きましたが、大小”関係”を表す「≦」は写像の定義満たしてません。 写像の定義では...