はてなの続き。最初に断っておくと、Woodinなどがをプッシュしている理由は今回書くものよりもはるかに高度なものです。まあ、よく知られている現象ということで。 えーと、脚注についているのは同業者じゃないとわからない内容だと思うのでわからなくても無…

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