Axiome de détermination
L'axiome de détermination est un axiome alternatif de la théorie des ensembles affirmant que certains jeux (au sens de la théorie des jeux) infinis sont déterminés.
Cet axiome n'est pas compatible avec l'axiome du choix mais implique l'axiome du choix dénombrable pour les familles d'ensembles de réels et implique également une forme faible de l'hypothèse du continu.
Énoncé de l'axiome
[modifier | modifier le code]Tout ensemble A de suites infinies d'entiers naturels définit le jeu JA suivant entre deux joueurs I et II :
- I commence par choisir un entier naturel a0, puis II réplique en choisissant un autre entier naturel b0, puis I choisit encore un autre entier naturel a1, II réplique de nouveau par le choix d'un entier naturel b1 et ainsi de suite. Chaque joueur a connaissance des coups joués par son adversaire. Si la suite résultante (a0, b0, a1, b1, ...) est dans A alors I gagne la partie, sinon II gagne la partie.
- Une stratégie pour le joueur I est une application définie sur l'ensemble des suites finies d'entiers constituées d'un nombre pair de termes (y compris la suite vide), à valeurs entières. Si les coups (a0, b0, a1, b1, ..., an, bn) ont été successivement joués par les deux joueurs, alors l'entier indique au joueur I quel est le prochain coup à jouer en suivant la stratégie .
- On définit de même ce qu'est une stratégie pour le joueur II, l'application étant cette fois définie sur l'ensemble des suites finies d'entiers constituées d'un nombre impair de termes. Si les deux joueurs adoptent une stratégie, alors la suite des coups est unique, définie par l'utilisation alternative des deux stratégies. On dit que la stratégie adoptée par le joueur I est gagnante si, pour toute stratégie adoptée par le joueur II, la suite définie par l'utilisation des deux stratégies appartient à A. Ainsi, le joueur I est certain de gagner, quels que soient les coups joués par son adversaire. On définit symétriquement ce qu'est une stratégie gagnante pour le joueur II.
- Le jeu JA est dit déterminé si l'un des deux joueurs a une stratégie gagnante.
L'axiome de détermination est l'affirmation que pour tout ensemble A de suites infinies d'entiers naturels, le jeu JA est déterminé.
Expression par une formule infinie du calcul des prédicats
[modifier | modifier le code]Dire que le sous-ensemble A de est déterminé revient à dire que la formule infinie du calcul des prédicats infinitaire :
est valide.
Conséquences de l'axiome
[modifier | modifier le code]L'axiome de détermination n'est pas compatible avec l'axiome du choix, car celui-ci implique l'existence d'un bon ordre[1] sur l'ensemble des suites infinies d'entiers naturels, bon ordre grâce auquel on peut construire un jeu infini non déterminé.
Néanmoins, cet axiome implique l'axiome du choix dénombrable pour les familles de sous-ensembles de R, qui suffit pour de nombreux résultats concernant les nombres réels.
Il implique aussi que tout ensemble de réels :
- est mesurable au sens de Lebesgue,
- a la propriété de Baire,
- a la propriété de l'ensemble parfait, c'est-à-dire qu'il est soit dénombrable, donc de cardinalité , soit contient un ensemble parfait, donc de cardinalité comme l'est l'ensemble R des nombres réels. Ceci est une forme faible de l'hypothèse du continu.
Autres conséquences en termes de cardinalité
[modifier | modifier le code]Une conséquence de l'axiome est que tout sous-ensemble de [2] soit contient, soit est disjoint d'un ensemble club. Certains résultats dus à Solovay sont[3] :
- Le filtre club sur est un ultrafiltre, ce qui implique que est un cardinal mesurable.
- est un cardinal mesurable.
Résultats connus en consistance relative
[modifier | modifier le code]
Axiome de détermination projective
[modifier | modifier le code]
Bibliographie
[modifier | modifier le code]- Patrick Dehornoy, Théorie des ensembles : Introduction à une théorie de l'infini et des grands cardinaux, 650 pages, éditeur : Calvage et Mounet, , (ISBN 978-2916352404). Livre accessible en partie sur le site de l'auteur.
- Thomas Jech
- in Handbook of Mathematical Logic, chap. B.2. About the Axiom of Choice, §10, "Determinacy - a alternative to the axiom of choice", éditeur : North Holland, 1977, (ISBN 0-7204-2285-X) puis (ISBN 978-0444863881).
- Set Theory, chapitre 43. The axiom of determinacy, pages 550-562, éditeur : Springer.
- Set Theory: The Third Millennium Edition, revised and expanded (Springer Monographs in Mathematics), chapitre Determinacy, pages 627-645, éditeur : Springer, , (ISBN 978-3642078996)
- Akihiro Kanamori
- The Higher Infinite. Large Cardinals in Set Theory from their Beginnings, Perspectives in Mathematical Logic, Springer-Verlag, Berlin, 1994, xxiv+536 pages, (ISBN 978-3110197020)
- (éditeur), Handbook of Set Theory, 2230 pages, chapitres 21 à 24 (ISBN 978-1402048432)
- (en) T. Litak, « Infinite populations, choice and determinacy », Studia Logica, vol. 106, no 2, , p. 969-999
- W. Hugh Woodin, The Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal, 852 pages, éditeur : De Gruyter, 2010, (ISBN 978-3110197020)
Article informel sur l'axiome de détermination
[modifier | modifier le code]- Jean-Paul Delahaye, « Des jeux infinis et des grands ensembles », article de Pour la Science, , pages 60-66. Article reproduit in Jeux mathématiques et mathématiques des jeux [détail des éditions], pages 42-50.
Notes et références
[modifier | modifier le code]- Via sa variante qu'est le théorème de Zermelo affirmant que tout ensemble peut être muni d'une relation de bon ordre.
- est par définition le deuxième plus petit nombre cardinal infini, il est inférieur ou égal à , et l'hypothèse du continu affirme qu'ils sont égaux.
- Th. Jech, Set Theory, page 633.