Lemat Katětova

Z Wikipedii, wolnej encyklopedii
Przejdź do nawigacji Przejdź do wyszukiwania

Lemat Katětova – twierdzenie dotyczące kombinatoryki zbiorów nieskończonych udowodnione w 1967 roku przez Miroslava Katětova. Lemat Katětova bywa wykorzystywany do dowodu słabej antysymetrii porządku Rudin-Keislera.

Twierdzenie[edytuj | edytuj kod]

Niech będzie nieskończoną liczbą kardynalną. Dla każdej funkcji istnieją takie zbiory parami rozłączne że

oraz dla każdego

a ponadto

dla każdego

Bibliografia[edytuj | edytuj kod]