Axiome du choix dépendant - Axiom of dependent choice
En mathématiques , l' axiome du choix dépendant , noté , est une forme faible de l' axiome du choix ( ) qui est encore suffisante pour développer la majeure partie de l' analyse réelle . Il a été introduit par Paul Bernays dans un article 1942 qui explore qui ensembliste axiomes sont nécessaires pour développer l' analyse.
Déclaration formelle
Une relation binaire homogène sur est dite entière si pour tout il en existe tel qui soit vrai.
L'axiome du choix dépendant peut être énoncé comme suit: Pour chaque nonvide ensemble et chaque relation binaire ensemble sur il existe une séquence dans de telle sorte que
- pour tous
Si l'ensemble ci-dessus est limité à l'ensemble de tous les nombres réels , alors l'axiome résultant est noté par
Utilisation
Même sans un tel axiome, pour tout , on peut utiliser l'induction mathématique ordinaire pour former les premiers termes d'une telle séquence. L'axiome du choix dépendant dit que nous pouvons former une séquence entière (dénombrable infinie) de cette façon.
L'axiome est le fragment de ce qui est nécessaire pour montrer l'existence d'une séquence construite par récursion transfinie de longueur dénombrable , s'il faut faire un choix à chaque étape et si certains de ces choix ne peuvent être faits indépendamment des choix précédents.
Énoncés équivalents
Sur la théorie des ensembles de Zermelo-Fraenkel , est équivalent au théorème des catégories de Baire pour les espaces métriques complets.
Il est également équivalent au théorème de Löwenheim-Skolem .
est également équivalent à l'affirmation selon laquelle chaque arbre élagué avec des niveaux a une branche ( preuve ci-dessous ).
De plus, équivaut à une forme affaiblie du lemme de Zorn ; est spécifiquement équivalent à l'énoncé que tout ordre partiel tel que toute chaîne bien ordonnée est finie et bornée, doit avoir un élément maximal.
Preuve que chaque arbre élagué avec ω niveaux a une branche |
---|
Soit une relation binaire entière sur . La stratégie consiste à définir un arbre sur des séquences finies dont les éléments voisins satisfont Puis une branche est une séquence infinie dont les éléments voisins satisfont Commencez par définir si pour Puisque est entier, est un arbre élagué avec des niveaux. Ainsi, a une branche So, pour tout ce qui implique Donc, est vrai.
Soit un arbre élagué avec des niveaux. La stratégie consiste à définir une relation binaire sur de manière à produire une séquence où et est une fonction strictement croissante . Alors la suite infinie est une branche. (Cette preuve n'a besoin de le prouver que pour ) Commencez par définir si est une sous-séquence initiale de et Puisque est un arbre élagué avec des niveaux, est entier. Par conséquent, implique qu'il existe une séquence infinie telle que Maintenant pour certains Soit le dernier élément de Alors Pour toute la séquence appartient parce que c'est une sous-séquence initiale de ou c'est un Par conséquent, est une branche. |
Relation avec d'autres axiomes
Contrairement à full , est insuffisant pour prouver (étant donné ) qu'il existe un ensemble non mesurable de nombres réels, ou qu'il existe un ensemble de nombres réels sans la propriété de Baire ou sans la propriété de l'ensemble parfait . Cela s'ensuit parce que le modèle de Solovay satisfait , et chaque ensemble de nombres réels dans ce modèle est Lebesgue mesurable, a la propriété de Baire et a la propriété de l'ensemble parfait.
L'axiome du choix dépendant implique l' axiome du choix comptable et est strictement plus fort.
Remarques
Les références
- Jech, Thomas (2003). Théorie des ensembles (éd. du troisième millénaire). Springer-Verlag . ISBN 3-540-44085-2. OCLC 174929965 . Zbl 1007.03002 .