(順序体についてお詫びと訂正 - くるるの数学ノートに補足あり)続・順序体入門 実数体の部分体以外に(極大)順序体の実例はあるのか？ 結論から言えばあります。ただ、かがみさんが無意識的に無視したようなものかもしれませんが…。 まず最初に、超準解析で用…

というわけで予告していたやつです。実数の非可算集合Xで、全てのmeager setとの共通部分が可算となるものをLuzin setと呼びます。そして、全てのLebesgue測度0集合との共通部分が可算となるものはSierpinski setといいます。連続体仮説を仮定すると、どちら…

数学は美しいか - くるるの数学ノート 私が言いたいのはこの部分です。 いろんな人がいた方が研究者コミュニティは豊かになると思うので、「数学は美しくなんかない！」って言い切る人も、「数学楽しいね、きれいだね」っていう人も共存できるのが一番かなと…