Ensemble stationnaire

Si ${\displaystyle \kappa }$ est un cardinal de cofinalité indénombrable, ${\displaystyle S\subseteq \kappa ,}$ et ${\displaystyle S}$ intersecte chaque club situé dans ${\displaystyle \kappa ,}$ alors ${\displaystyle S}$ est appelé un ensemble stationnaire^[1]. Si un ensemble n'est pas stationnaire, alors on l'appelle ensemble mince.

Si ${\displaystyle S}$ est un ensemble stationnaire et ${\displaystyle C}$ est un ensemble club, alors leur intersection ${\displaystyle S\cap C}$ est également stationnaire.

La restriction à la cofinalité indénombrable est pour éviter les trivialités : Supposons ${\displaystyle \kappa }$ a une cofinalité dénombrable. Alors ${\displaystyle S\subseteq \kappa }$ est stationnaire dans ${\displaystyle \kappa }$ si et seulement si ${\displaystyle \kappa \setminus S}$ est borné dans ${\displaystyle \kappa }$. En particulier, si la cofinalité de ${\displaystyle \kappa }$ est ${\displaystyle \omega =\aleph _{0}}$, alors deux sous-ensembles stationnaires quelconques de ${\displaystyle \kappa }$ ont une intersection stationnaire.

Ce n'est plus le cas si la cofinalité de ${\displaystyle \kappa }$ est indénombrable. En fait, supposons ${\displaystyle \kappa }$ est de plus régulier et ${\displaystyle S\subseteq \kappa }$ est stationnaire. Alors ${\displaystyle S}$ peut être partitionné en ${\displaystyle \kappa }$ plusieurs ensembles stationnaires disjoints. Ce résultat est dû à Solovay. Si ${\displaystyle \kappa }$ est un cardinal successeur, ce résultat est dû à Ulam et se montre facilement au moyen de ce qu'on appelle une matrice de Ulam.

H. Friedman a montré que pour tout ordinal successeur dénombrable ${\displaystyle \beta }$, chaque sous-ensemble stationnaire de ${\displaystyle \omega _{1}}$ contient un sous-ensemble fermé d'ordre de type ${\displaystyle \beta }$.

• Lemme de Fodor

• (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Stationary set » (voir la liste des auteurs).

• Foreman, Matthew (2002) Ensembles stationnaires, conjecture de Chang et théorie des partitions, dans Set Theory (The Hajnal Conference) DIMACS Ser. Mathématiques discrètes. Théorique. Comp. Sci., 58 ans, américain. Math. Soc., Providence, RI. p. 73–94. Fichier à
• Harvey Friedman, « On closed sets of ordinals », Proc. Am. Math. Soc., vol. 43, n^o 1,‎ 1974, p. 190–192 (DOI 10.2307/2039353 , JSTOR 2039353, zbMATH 0299.04003)
• Thomas Jech, Set Theory, Berlin, New York, Springer-Verlag, coll. « Springer Monographs in Mathematics », 2003, Third Millennium éd. (ISBN 978-3-540-44085-7, zbMATH 1007.03002)

• Portail de la logique