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 $\kappa$ est un cardinal de cofinalité indénombrable, $S\subseteq \kappa ,$ et $S$ intersecte chaque club situé dans $\kappa ,$ alors $S$ est appelé un ensemble stationnaire. Si un ensemble n'est pas stationnaire, alors on l'appelle ensemble mince.

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

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

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

Article connexe

• Lemme de Fodor

Références

• 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., Modèle:Nobr, américain. Math. Soc., Providence, RI. Modèle:P.. Fichier à
• Modèle:Article
• Modèle:Ouvrage