Ensemble stationnaire

En mathématiques, en particulier en théorie des ensembles et en théorie des modèles, un ensemble stationnaire est un ensemble qui n'est pas trop petit dans le sens où il croise tous les ensembles clubs, et est analogue à un ensemble de mesure non nulle en théorie des mesures.

Définition et propriétés

Si est un cardinal de cofinalité indénombrable, et intersecte chaque club situé dans alors est appelé un ensemble stationnaire[1]. Si un ensemble n'est pas stationnaire, alors on l'appelle ensemble mince.

Si est un ensemble stationnaire et est un ensemble club, alors leur intersection est également stationnaire.

La restriction à la cofinalité indénombrable est pour éviter les trivialités : Supposons a une cofinalité dénombrable. Alors est stationnaire dans si et seulement si est borné dans . En particulier, si la cofinalité de est , alors deux sous-ensembles stationnaires quelconques de ont une intersection stationnaire.

Ce n'est plus le cas si la cofinalité de est indénombrable. En fait, supposons est de plus régulier et est stationnaire. Alors peut être partitionné en plusieurs ensembles stationnaires disjoints. Ce résultat est dû à Solovay. Si 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 , chaque sous-ensemble stationnaire de contient un sous-ensemble fermé d'ordre de type .

Article connexe

Références

  1. Jech (2003) p.91
  • 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, no 1,‎ , p. 190–192 (DOI 10.2307/2039353 Accès libre, JSTOR 2039353, zbMATH 0299.04003)
  • Thomas Jech, Set Theory, Berlin, New York, Springer-Verlag, coll. « Springer Monographs in Mathematics », , Third Millennium éd. (ISBN 978-3-540-44085-7, zbMATH 1007.03002)