数学とか 選択公理が要請された理由
非可算な実無限有限の感覚が崩壊する無限の世界観ベルンシュタインの定理を勉強していく過程で「実無限」の面白さや奇妙さついて少しだけ知ることができました。「実数の隙間を無くしたい」という数学者の切実な欲求が、無限を実体化（実無限）させ、その結果...
無限
数学とか 
数学とか 有理数の大小関係
加法の大小関係デデキント切断の準備をします。感覚的には「任意の正数xに任意の正数y足した値はxより大きくなる」は自加法律を見れば自明です。ただ、年の為に確認します。0<1,x(仮定)0+x<1+x(加法律)x<1+x(単位元)0<1,x⇒x...
数学とか 頭の体操四
可付番集合可算集合とは N と濃度が等しい集合のことである。すなわち、集合 S が可算であるとは、自然数全体の集合 N との間に全単射が存在することをいうウィキペディア自然数との全単射性が認められる集合が可付番。偶数は可付番偶数2n∀n∈ℕ...
数学とか 素朴集合論の集合の定義
集合と元の素朴な定義について学んでいきます。公理的集合論では厳密に集合を定義するようですが、慌てずに素朴集合論の定義から学びます。集合集合の定義けっこうあっさりしていて「集合とはものの集まりである」です。整数、自然数、有理数などが集合の例に...