Axiome de Martin

En théorie des ensembles, l'axiome de Martin, introduit par Donald A. Martin et Robert M. Solovay en 1970, est un énoncé indépendant de ZFC, l'axiomatique usuelle de la théorie des ensembles. C'est une conséquence de l'hypothèse du continu, mais l'axiome de Martin est également cohérent avec la négation de celle-ci. Informellement, l'axiome de Martin affirme que tous les cardinaux strictement inférieurs à $2^{\aleph _{0}}$ se comportent comme $\aleph _{0}$. C'est une généralisation du lemme de Rasiowa-Sikorski (en).

Énoncé de l'axiome de Martin

Soit $\kappa$ un cardinal. On appelle axiome de Martin pour $\kappa$, noté $MA(\kappa )$ (de l'anglais Martin's Axiom), l'énoncé suivant :

Pour tout ensemble partiellement ordonné $P$ satisfaisant la condition de chaîne dénombrable, et pour toute famille $D$ d'ensembles denses dans $P$ vérifiant $|D|\leq \kappa$, il existe un filtre $F$ sur $P$ tel que pour tout élément $d$ de $D$, $F\cap d$ est non vide.

L'axiome de Martin est alors l'énoncé suivant :

Pour tout cardinal $\kappa <2^{\aleph _{0}}$, $MA(\kappa )$ est vérifié.

On peut montrer que $MA(2^{\aleph _{0}})$ est faux, ce qui justifie la restriction $\kappa <2^{\aleph _{0}}$.

Cohérence relative

Si l'hypothèse du continu est vérifiée, les cardinaux strictement inférieurs à $2^{\aleph _{0}}$ sont $\aleph _{0}$ et les cardinaux finis, or $MA(\aleph _{0})$ est un théorème de ZFC : c'est le lemme de Rasiowa-Sikorski (en). Ainsi, l'axiome de Martin est une conséquence de l'hypothèse du continu dans ZFC. Ceci montre que l'axiome de Martin est cohérent avec ZFC.

D'autre part, Donald A. Martin et Robert M. Solovay ont démontré la cohérence de l'axiome de Martin avec la négation de l'hypothèse du continu. Plus précisément :

Théorème — Soit $\lambda$ un cardinal régulier et non dénombrable tel que pour tout $\lambda '<\lambda$, on a $2^{\lambda '}\leq \lambda$. Alors il existe un ensemble ordonné $P$ de cardinalité $\lambda$ vérifiant la condition de chaîne dénombrable tel que $1\Vdash _{P}MA\land 2^{\aleph _{0}}=\lambda$.

En partant de l'univers constructible de Gödel, la contrainte imposée sur $\lambda$ dans le théorème précédent est vérifiée pour tous les cardinaux non dénombrables. On peut ainsi obtenir, par exemple, un univers vérifiant l'axiome de Martin et $2^{\aleph _{0}}=\aleph _{\omega +17}$. La démonstration de ce théorème utilise la technique dite du forcing itéré.

Finalement, la négation de l'axiome de Martin est également cohérente. En effet, l'axiome de Martin implique que $2^{\aleph _{0}}$ est un cardinal régulier. Or la seule contrainte prouvable dans ZFC sur $2^{\aleph _{0}}$ est que c'est un cardinal de cofinalité non dénombrable. Ainsi, il existe des univers dans lesquels $2^{\aleph _{0}}$ n'est pas régulier, donc dans lesquels l'axiome de Martin n'est pas vérifié.

Conséquences de l'axiome de Martin

La plupart des conséquences de l'axiome de Martin expriment le fait que tous les cardinaux inférieurs à $2^{\aleph _{0}}$ se comportent comme $\aleph _{0}$.

Ainsi, pour tout cardinal $\kappa$, si $MA(\kappa )$ est vérifié, alors :

• $2^{\kappa }=2^{\aleph _{0}}$ ;

• L'union de $\kappa$ parties de $\mathbb {R}$ de mesure de Lebesgue nulle est encore de mesure de Lebesgue nulle ;

• L'union de $\kappa$ parties de $\mathbb {R}$ maigres est encore maigre.

Le cas particulier $MA(\aleph _{1})$ permet de répondre à certaines questions autrement indécidables dans ZFC :

• L'hypothèse du continu est fausse ;

• Il existe un groupe de Whitehead (en) qui n'est pas libre ;

• Le produit de deux espaces topologiques vérifiant la condition de chaîne dénombrable vérifie encore la condition de chaîne dénombrable ;

• Il n'existe pas de droite de Souslin ;
• Tous les arbres d'Aronszajn sont spéciaux ;
• toute partie ${\boldsymbol {\Sigma }}_{2}^{1}$ de $\mathbb {R}$ est Lebesgue-mesurable et a la propriété de Baire.

Exemples d'utilisations

On donne ici des exemples de démonstrations utilisant l'axiome de Martin.

Théorème — Soit $\kappa$ un cardinal. Si $MA(\kappa )$, alors toute intersection de $\kappa$ ouverts denses de $\mathbb {R}$ est dense.

Démonstration

Soit $(U_{\alpha })_{\alpha <\kappa }$ une famille d'ouverts denses de $\mathbb {R}$ et $I$ un intervalle borné de $\mathbb {R}$. On veut montrer que $I\cap \bigcap _{\alpha <\kappa }U_{\alpha }\neq \emptyset$. On considère l'ensemble partiellement ordonné $P$ suivant :

• les éléments de $P$ sont les ouverts non vide $p$ de $\mathbb {R}$ tels que ${\bar {p}}\subseteq I$ ;
• l'ordre sur $P$ est donné par $p\leq q$ si et seulement si $p\subseteq q$.

Deux éléments incompatibles de $P$ sont des ouverts non-vides disjoints. Ainsi, comme toute famille d'ouverts non-vides disjoints de $\mathbb {R}$ est dénombrable, toute antichaîne de $P$ est dénombrable, c'est-à-dire que $P$ vérifie la condition de chaîne dénombrable. On peut donc appliquer $MA(\kappa )$ à $P$ et aux ensembles denses $D_{\alpha }=\{p\in P,{\bar {p}}\subseteq U_{\alpha }\}$. Ces ensembles sont denses car les $U_{\alpha }$ sont ouverts et denses. On obtient ainsi un filtre $F$ dont l'intersection avec chacun des $D_{\alpha }$ est non-vide. Comme $F$ est un filtre et $I$ est borné, l'intersection $\bigcap _{p\in F}{\bar {p}}$ est non-vide et est contenu dans chaque $U_{\alpha }$, ce qui est le résultat souhaité.

Le théorème précédent généralise le théorème de Baire.

Théorème — Supposons $MA(\aleph _{1})$. Alors il n'existe pas d'arbre de Souslin (en).

Démonstration

On rappelle qu'un arbre de Souslin est un arbre de hauteur $\omega _{1}$ dont toutes les branches et toutes les antichaines sont au plus dénombrables. S'il existe un arbre de Souslin, alors il existe un arbre de Souslin $(T,\leq _{T})$ qui satisfait en plus la propriété suivante : pour tout $x$ dans $T$ et tout $\alpha <\omega _{1}$, il existe $y$ dans $T$ de niveau $\alpha$ vérifiant $x\leq _{T}y$. On considère l'ensemble ordonné $P$ dont les éléments sont les éléments de $T$ et l'ordre est l'inverse de celui de $T$, c'est-à-dire que $x\leq y$ si et seulement si $y\leq _{T}x$. Alors $P$ vérifie la condition d'antichaine dénombrable et pour tout $\alpha <\omega _{1}$, l'ensemble $D_{\alpha }$ des éléments de $T$ de hauteur supérieur à $\alpha$ est dense. $MA(\aleph _{1})$ donne un filtre $F$ dont l'intersection avec chaque $D_{\alpha }$ est non-vide, on obtient ainsi une branche non-dénombrable, contredisant l'hypothèse faite sur $T$. Il n'existe donc pas d'arbre de Souslin.

On peut montrer que l'existence d'un arbre de Souslin est équivalente à l'existence d'une droite de Souslin, le théorème précédent montre donc qu'il est cohérent qu'il n'existe pas de droite de Souslin.

Généralisations

On peut obtenir des variantes de l'axiome de Martin en changeant les conditions imposées sur les ensembles partiellement ordonnés considérés. Ainsi, si $\Gamma$ est une classe d'ensembles partiellement ordonnés et si $\kappa$ est un cardinal, on peut considérer l'énoncé suivant :

Pour tout ensemble $P$ dans $\Gamma$ et pour toute famille $D$ d'ensembles denses dans $P$ vérifiant $|D|<\kappa$, il existe un filtre $F$ sur $P$ tel que pour tout élément $d$ de $D$, $F\cap d$ est non vide.

L'axiome de Martin est le cas où $\Gamma$ est la classe des ensembles partiellement ordonnés vérifiant la condition de chaîne dénombrable.

Les deux exemples les plus importants sont :

• le cas où $\Gamma$ est la classe des ensembles partiellement ordonnés propres et $\kappa =\aleph _{1}$, on obtient alors l'axiome de forcing propre (en) ;
• le cas où $\Gamma$ est la classe des ensembles partiellement ordonnés préservant les sous-ensembles stationnaires de $\omega _{1}$ et $\kappa =\aleph _{1}$, on obtient alors le Maximum de Martin (en).

Le désavantage des généralisations précédentes est qu'elles nécessitent l'usage de grands cardinaux pour prouver leur cohérence, contrairement à l'axiome de Martin.

Références

• (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Martin's axiom » (voir la liste des auteurs).

• Jech, Thomas, 2003. Set Theory: The Third Millennium Edition, Revised and Expanded. Springer. (ISBN 3-540-44085-2).
• (en-GB) David H. Fremlin, Consequences of Martin's axiom, Cambridge, Cambridge University Press, coll. « Cambridge tracts in mathematics » (n^o 84), 1984, 325 p. (ISBN 0-521-25091-9).