Concept
En théorie des ensembles, une partie d'un ordinal limite est dite club (de l'anglais closed unbounded) si elle est fermée pour la topologie de l'ordre et non bornée. Les clubs sont des objets combinatoires importants en théorie des ensembles. Soit un ordinal limite et soit une partie de . On dit que est une partie club dans , ou encore est club dans , ou juste est club s'il n'y a pas d’ambiguïté, si les deux conditions suivantes sont satisfaites : est fermée pour la topologie de l'ordre sur , c'est-à-dire que pour tout , si , alors . Autrement dit : si on peut approcher par en-dessous un ordinal par des éléments de , alors est dans . est non bornée, c'est-à-dire que pour tout , il existe tel que . Voici quelques exemples : Si est une fonction normale, c'est-à-dire continue et strictement croissante, et si n'est pas de cofinalité dénombrable, alors l'ensemble des points fixes de est un club. Si est une fonction normale, alors son est un club. est un cardinal limite si et seulement si l'ensemble des cardinaux strictement inférieurs à est un club dans . l'ensemble des ordinaux limites dénombrables est un club dans . On peut définir de la même manière le fait d'être club pour une classe d'ordinaux. Soit un ordinal limite de cofinalité non dénombrable . Si et si est une suite de clubs dans , alors on peut montrer que est encore un club. En particulier, si est un cardinal régulier, alors l'ensemble des parties de contenant un club est un filtre -complet non principal sur , appelé filtre club. Ce filtre est également clos par intersection diagonale, c'est-à-dire que si est une suite de clubs, alors l'intersection diagonale est encore un club. Réciproquement, un filtre sur qui est -complet, non principal et clos par intersection diagonale contient nécessairement tous les clubs. Comme les ensembles clubs engendrent un filtre, on peut dire informellement qu'une partie qui contient un club est une grosse partie, en analogie avec le filtre des parties de mesure 1 d'un espace probabilisé.