シェルピンスキー集合

数学において、シェルピンスキー集合（シェルピンスキーしゅうごう、Sierpiński set）とは実ベクトル空間の不可算な部分集合であって、全てのルベーグ零集合との交わりが高々可算であるものである。シェルピンスキー集合の存在性はZFCの公理と独立である。 Sierpiński (1924)では連続体仮説が真であれば存在することが示されている。その一方で、ℵ₁に対するマーティンの公理が成立するとき、存在しないことが証明されている。シェルピンスキー集合は弱ルジン集合であるが、ルジン集合ではない(Kunen 2011, p. 376)。

シェルピンスキー集合の例

2^ℵ₀ 個の R の測度0の部分集合の族であって、どんな測度0の集合も族の要素どれかの部分集合になっているようなものを選ぶ。連続体仮説によって、可算順序数 α に対しての S_α として番号付けできる。各可算順序数 β に対して実数 x_β を α<β である S_α のどこにも入っていないものとして選ぶ。これは R 全体が測度0の集合の可算な和にならないことから可能である。不可算な集合 X を x_β 全体で定義すると、これは各 S_α と可算にしか交わらない、すなわちシェルピンスキー集合になっている。

シェルピンスキー集合で加法についての部分群であるようなものも構成できる。上の構成で実数 x_β を選ぶときにそれが(S_α + X)/n (ただし α < β )の形のどの集合にも属さないように取ればよい、ここで n は正の整数であり、 X は x_α (ただし α < β )の整数係数線型結合である。この形の集合は可算個しかないので可能である。そこで、選んだ数によって生成される群はシェルピンスキー集合であって加法についての群になっている。こういった構成のさらに複雑なバリエーションによって、シェルピンスキー集合であって実数空間の部分体や実閉部分体であるものが構成できる。

参考文献

Kunen, Kenneth (2011), Set theory, Studies in Logic, 34, London: College Publications, ISBN 978-1-84890-050-9, MR2905394, Zbl 1262.03001
Sierpiński, W. (1924), “Sur l'hypothèse du continu (2^ℵ₀ = ℵ₁)”, Fundamenta Mathematicae 5 (1): 177–187, doi:10.4064/fm-5-1-177-187