Лема Расьової — Сікорського

Лема Расьової — Сікорського — в аксіоматиці теорії множин (названа в честь Гелени Расьової та Романа Сікорського) один з основних фактів для техніки форсінга.

Використаємо визначення щільної множина та загального фільтра:

• Підмножина E частково впорядкованої множини (P, ≤) називається щільною, якщо:

$\mathrm{\forall }p\in P\mathrm{\exists }e\in E:e\le p.$

• Якщо D є сімейством щільних підмножин P, тоді фільтр F в P називається D-загальним, якщо:

F ∩ E ≠ ∅ for all E ∈ D.

Лема

Якщо p ∈ P, а D — зліченне сімейство щільних підмножин P, тоді існує D-загальний фільтр F в P, що p ∈ F.

Доведення

Якщо D — зліченне, тоді пронумеруємо його елементи як D₁, D₂, ….

За визначенням щільності, існують p₁ ∈ D₁ : p₁ ≤ p. І так далі … ≤ p₂ ≤ p₁ ≤ p де p_i ∈ D_i.

Тоді G = { q ∈ P: ∃ i, q ≥ p_i} є D-загальним фільтром.

Ця лема є слабщою версією аксіоми Мартіна, а саме вона є MA(${\mathrm{\aleph }}_0$).

Джерела

• Шаблон:Куратовский.Мостовский.Теория множеств