ラショーヴァ＝シコルスキの補題

数学基礎論で、ラショーヴァ＝シコルスキの補題（ヘレナ・ラショーヴァとローマン・シコルスキの名に因む）とは、強制法関連のテクニックで使われるもっとも基本的な補題の一つである。強制法の議論で、強制概念(P, ≤)の部分集合 D が P 内で稠密であるとは、p ∈ P であるなら d ≤ p となる d ∈ D が存在することである。

P のフィルターF がD-ジェネリックであるとは、

F ∩ E ≠ ∅ for all E ∈ D

となることである。ここで、ラショーヴァ＝シコルスキの補題とは、:

「(P, ≤) を半順序で p ∈ Pとする。D がP の稠密集合の可算個の族であるならば、p ∈ FとなるP のD-ジェネリックフィルターF が存在する。」

という命題のことである。

証明

証明は以下のように為される。： D は可算であるから、D の要素であるP の稠密部分集合にD₁, D₂, …と名前を付けていくことができる。 仮定から、p ∈ P が存在する。するとDの要素の稠密性から、 p₁ ≤ p となるように p₁ ∈ D₁ を取ることができる。 同様にして … ≤ p₂ ≤ p₁ ≤ p （ただし、p_i ∈ D_i） となるように取れる。

そこで、G = { q ∈ P : ∃ i, q ≥ p_i} とおくと、 これは条件を満たす D-ジェネリックフィルターである。//

この補題はMA(${\mathrm{\aleph }}_0$)と同値である。

例

• (P, ≥) = (Func(X, Y), ⊂)と、XからYへの部分関数の半順序を定義する。D_x = {s ∈ P: x ∈ dom(s)}とする。Xが可算なら、この補題により、 {D_x: x ∈ X}-ジェネリックフィルター F を生成でき、また、∪ Fは関数 ∪ F: X → Yとなる。

• D が非可算のときは、それが$2^{{\mathrm{\aleph }}_0}$より真に小さい濃度をもち、半順序P が 可算鎖条件を満たすなら、マーティンの公理の議論に置き換えることができる。

関連項目

• ジェネリックフィルター
• マーティンの公理

参考

• Set Theory for the Working Mathematician. Ciesielski, Krzysztof. Cambridge University Press, 1997. ISBN 0-521-59465-0
• テンプレート:Cite book

外部リンク

• Tim Chow's newsgroup の記事 Forcing for dummies はテクニカルな詳細を省いて、強制法の裏にあるメインとなるアイデア・概念への良い導入を与えている。