##  [Argument de la Diagonale de Cantor](/fr/node/61244) 

 Définition

Une méthode de preuve constructive qui, à partir d'une liste supposée d'objets d'un certain type, construit un nouvel objet en modifiant la n-ième caractéristique du n-ième objet listé de sorte que le nouvel objet ne figure pas sur la liste.

 

 

 

 

 

 





## Principe

Principe

Modifier coordonnée par coordonnée le long de la diagonale pour garantir une différence en chaque indice, produisant ainsi un élément qui échappe à toute énumération dénombrable proposée.

 

 

 

 

 





## Démonstration

Démonstration

Pour montrer que les réels de [0,1] sont non dénombrables, supposez une liste d'expansions décimales ; formez un nouveau décimal dont le n-ième chiffre diffère du n-ième chiffre du n-ième nombre listé (en évitant 9 pour prévenir les ambiguïtés de représentation), ce qui donne un réel absent de la liste.

 

 

 

 

## Mauvaise application

Mauvaise application

Ne pas traiter les représentations non uniques (par exemple 0,4999...=0,5000...) ou modifier les chiffres d'une manière qui pourrait produire un élément déjà listé ; appliquer la méthode sans garantir que l'objet construit appartient au même domaine.

 

 

 

 

 





## Conséquence

Conséquence

Établit des résultats de non-dénombrabilité, prouve l'existence d'objets hors de toute famille dénombrable et sous-tend des techniques diagonales en calculabilité et en logique, conduisant à des hiérarchies et à des phénomènes d'incomplétude.

 

 

 

 

## Inversion

Inversion

Si un ensemble est énumérable, la construction diagonale ne peut pas produire un véritable nouvel élément — la diagonalisation certifie donc la non-énumérabilité par contradiction ; inverser les hypothèses (autoriser des listes variables ou un indexage plus fort) peut annuler la conclusion.

 

 

 

 

 





## Limite

Limite

S'applique quand les objets admettent une suite dénombrable de coordonnées ou de caractéristiques (séquences, fonctions, développements décimaux) ; ne s'applique pas directement à des domaines dépourvus de description coordonnée canonique ou lorsque les représentations sont fortement non uniques sans précaution.

 

 

 

 

 





## Tension sémantique

Tension sémantique

Liée à la diagonalisation en calculabilité et aux arguments combinatoires sur matrices ; une tension existe entre l'usage purement set-théorique pour la non-dénombrabilité et la diagonalisation algorithmique constructive pour prouver l'indécidabilité.

 

 

 

 

 





## Synthèse

Synthèse

L'argument diagonal de Cantor modifie systématiquement les entrées diagonales pour construire un élément distinct en chaque coordonnée d'une liste donnée, fournissant une méthode robuste pour prouver la non-énumérabilité et produire des contre-exemples en théorie des ensembles, analyse et calculabilité.