Axiome de détermination

Tout ensemble X de suites infinies d'entiers naturels définit le jeu J_X suivant entre deux joueurs I et II :

I commence par choisir un entier naturel a₁, puis II réplique en choisissant un autre entier naturel b₁, puis I choisit encore un autre entier naturel a₂, II réplique de nouveau par le choix d'un entier naturel b₂ et ainsi de suite. Chaque joueur a connaissance des coups joués par son adversaire. Si la suite résultante (a₁, b₁, a₂, b₂, ...) est dans X alors I gagne la partie, sinon II gagne la partie.

Une stratégie ${\displaystyle \sigma }$ 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 (a₁, b₁, a₂, b₂, ..., a_n, b_n) ont été successivement joués par les deux joueurs, alors l'entier ${\displaystyle \sigma (a_{1},b_{1},\dots ,a_{n},b_{n})}$ indique au joueur I quel est le prochain coup à jouer en suivant la stratégie ${\displaystyle \sigma }$.

On définit de même ce qu'est une stratégie ${\displaystyle \tau }$ 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 ${\displaystyle \sigma }$ adoptée par le joueur I est gagnante si, pour toute stratégie ${\displaystyle \tau }$ adoptée par le joueur II, la suite définie par l'utilisation des deux stratégies appartient à X. 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 J_X 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 X de suites infinies d'entiers naturels le jeu J_X, défini comme ci-dessus, est déterminé.

Dire que le sous-ensemble X de ${\displaystyle \mathbb {N} ^{\omega }}$ est déterminé revient à dire que la formule infinie du calcul des prédicats infinitaire :

${\displaystyle \exists x_{0},\forall y_{0},\exists x_{1},\forall y_{1},...(x_{0},y_{0},x_{1},y_{1},...)\in X\lor \forall x_{0},\exists y_{0},\forall x_{1},\exists y_{1},...(x_{0},y_{0},x_{1},y_{1},...)\notin X}$

est valide.

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é ${\displaystyle {\aleph _{0}}}$, soit contient un ensemble parfait, donc de cardinalité ${\displaystyle 2^{\aleph _{0}}}$ comme l'est l'ensemble R des nombres réels. Ceci est une forme faible de l'hypothèse du continu.

Une conséquence de l'axiome est que tout sous ensemble de ${\displaystyle {\aleph _{1}}}$[2] soit contient, soit est disjoint d'un ensemble club. Certains résultats dus à Solovay sont[3] :

• Le filtre club sur ${\displaystyle {\aleph _{1}}}$ est un ultrafiltre, ce qui implique que ${\displaystyle {\aleph _{1}}}$ est un cardinal mesurable.
• ${\displaystyle {\aleph _{2}}}$ est un cardinal mesurable.

• Patrick Dehornoy, Théorie des ensembles: Introduction à une théorie de l'infini et des grands cardinaux, 650 pages, éditeur : Calvage et Mounet, 30 novembre 2017, (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, Septembre 2011, (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 … (à compléter) (ISBN 978-1402048432)
• (en) T. Litak, « Infinite populations, choice and determinacy », Studia Logica, vol. 106, n^o 2,‎ 2018, 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)

• Portail des mathématiques
• Portail de la logique