cluba) zbioru Zbiór jest niestacjonarnym podzbiorem jeśli nie jest stacjonarny, czyli gdy dla pewnego cluba
Własności i przykłady Niech będzie nieprzeliczalną regularną liczbą kardynalną. Zbiór wszystkich granicznych liczb porządkowych mniejszych niż jest clubem, podobnie jak i zbiór wszystkich granic liczb granicznych. Zbiór wszystkich granicznych liczb porządkowych o przeliczalnej współkońcowości jest stacjonarnym podzbiorem Dla każdej funkcji zbiór jest clubem w Jeśli jest rodziną clubów na to przekrój też jest clubem. Z powyższej obserwacji wynika, że rodzina dla pewnego cluba jest -zupełnym filtrem podzbiorów Rodzina wszystkich niestacjonarnych podzbiorów tworzy -zupełny ideał podzbiorów Lemat Fodora mówi, że jeśli jest stacjonarnym podzbiorem oraz jest funkcją taką, że to funkcja jest stała na pewnym stacjonarnym podzbiorze zbioru (Odwrotnie, jeśli jest niestacjonarnym podzbiorem to istnieje funkcja taka, że która nie jest stała na żadnym nieograniczonym podzbiorze zbioru ).
Zobacz też diament Jensena miara Dieudonnégo
Przypisy
Kategoria:Liczby kardynalne