Analyse constructive
L'analyse constructive est une branche des mathématiques constructives. Elle critique l'analyse
mathématique classique et vise à fonder l'analyse sur des principes constructifs. Elle s'inscrit dans le
courant de pensée constructiviste ou intuitionniste, dont les principaux membres ont été Kronecker,
Brouwer ou Weyl.
Critique de l'analyse classique
La critique porte sur la façon dont est utilisée la notion d'existence, de disjonction et sur l'utilisation du
1
raisonnement par l'absurde .
L'analyse constructive peut être considérée comme apportant une précision sur les théorèmes classiques
et leur démonstrations, en distinguant les énoncés considérés comme constructifs de ceux qui ne le sont
pas. Ces derniers, classiquement vrais, demandent en analyse constructive à être prouvés d'une façon plus
effective, ou bien à être remplacés par un énoncé constructif. Cette distinction entre énoncés constructifs
et énoncés non constructifs ne manque pas d'intérêt par exemple dans la possibilité de mettre en œuvre
des procédures numériques visant à appliquer un théorème, même si l'analyse constructive ne se limite
pas à cet aspect algorithmique.
L'existence en mathématiques
Considérons une propriété P dépendant d'un paramètre x. On se pose la question de montrer qu'il existe x
tel que P(x) soit vérifié. Il y a essentiellement deux façons de répondre à cette question :
la première consiste à définir un objet x particulier puis à vérifier que P(x) est vrai. Il s'agit
d'une existence effective ;
la deuxième consiste à raisonner par l'absurde. On suppose que, pour tout x, P(x) n'est
pas vérifié, et l'on essaie d'en déduire une contradiction. Si l'on y parvient, on conclura
que la non-existence de x est absurde et donc que x existe. Dans ce type de
démonstration, on ne donne en général aucun moyen de définir explicitement le x en
question. Il s'agit d'une existence formelle.
L'analyse mathématique classique ne fait pas de différence entre ces deux notions d'existence, alors que
l'analyse constructive les distingue. La première notion est notée :
alors que la deuxième est notée :
Les deux ne sont pas considérées identiques en analyse constructive. La première entraîne la seconde,
mais la réciproque, vraie en analyse classique sous réserve de faire appel à un raisonnement par l'absurde,
n'est pas considérée comme constructive. Pour prendre une image due à Hermann Weyl, dans le premier
cas, on sait qu'il existe un trésor, et de plus, on dispose de la carte indiquant sa cache. Dans le second cas,
on sait qu'il existe un trésor, mais on n'a pas la carte.
À titre d'exemple, considérons un réel donné x dont on ignore s'il est rationnel ou irrationnel (c'est le cas
de la constante d'Euler-Mascheroni) et qu'on veuille prouver que x est rationnel. On peut envisager les
deux méthodes de démonstration suivantes :
supposer x irrationnel et aboutir à une contradiction ;
introduire judicieusement deux entiers p et q et prouver que x = p / q.
On voit bien que la deuxième méthode donne plus d'information que la première, puisqu'elle prouve non
seulement que x est rationnel, mais qu'elle donne également sa forme comme quotient de deux entiers
explicites, chose que ne fait pas la première démonstration. Pour l'analyse constructive, les deux
méthodes ne sont pas équivalentes : la première démonstration prouve que x est non irrationnel, la
deuxième que x est rationnel. Mais pour l'analyse constructive, être rationnel est une propriété plus forte
qu'être non irrationnel.
La notion de disjonction et le tiers exclu
En mathématique classique, si P et Q sont deux propositions, on peut montrer que la disjonction
est vraie en montrant que la conjonction conduit à une contradiction. Cette démarche ne
permet cependant pas de savoir laquelle des deux propositions est vraie, et elle n'est pas admise en
analyse constructive. Prouver en analyse constructive, c'est prouver que P est vrai ou bien prouver
que Q est vrai.
De même, si P est une propriété quelconque, la proposition est vraie (principe du tiers exclu) en
analyse classique, même si on n'a aucune idée sur le fait de savoir effectivement si P est vraie ou si P est
fausse. En analyse constructive, on n'admet pas ce principe. Si A est un ensemble et si P est une propriété
dépendant d'un paramètre x de A, le fait d'affirmer que tous les éléments de A vérifient P ou que l'un des
éléments de A ne vérifie pas P, s'appelle principe d'omniscience. Il n'est pas reconnu en analyse
constructive. La plupart des théorèmes de l'analyse classique sont basés sur ce principe et sont donc
considérés comme non constructifs..
Soit une suite d'entiers. Le fait d'affirmer que, pour tout n, est nul ou bien il existe n tel que
est non nul, s'appelle petit principe d'omniscience. Il est également rejeté en analyse constructive. La
raison en est la suivante. Posons par exemple, pour n supérieur ou égal à 2, si 2n se décompose
en somme de deux nombres premiers, et sinon. On ne dispose aujourd'hui d'aucune méthode
permettant de savoir si tous les termes de la suite sont nuls ou pas, la réponse à cette question
2
résolvant la conjecture de Goldbach .
Le raisonnement par l'absurde
Classiquement, il énonce que, si conduit à une contradiction, alors P est vraie. Ce principe est
analogue au principe du tiers exclu et est également rejeté en analyse constructive. Le fait que
conduise à une contradiction permet de conclure que est vraie, mais la double négation est
considérée plus faible que l'affirmation. Ainsi, affirme l'existence effective d'un élément x
vérifiant P. Sa négation est . La négation de la négation énonce que qui, comme
nous l'avons vu plus haut, énonce une existence formelle, mais non effective de x.
Quelques règles
Ainsi, en analyse constructive, le raisonnement par l'absurde, l'élimination de la double négation,
l'utilisation du tiers exclu, la contraposition sont évités. En cela, la démarche de l'analyse constructive se
rapproche de celle de la logique intuitionniste. Cependant, cette dernière logique rejette les principes
précédents, alors que l'analyse constructive s'autorise à les utiliser, à condition d'être justifiés. Par
exemple, le raisonnement par l'absurde conduisant à la preuve d'une existence formelle est admis si le
domaine où il s'applique est un ensemble fini. Le tiers exclu est également admis pour comparer deux
entiers ou deux rationnels x et y : on a ou bien ou bien car il existe des procédures
algorithmiques pour comparer deux entiers ou deux rationnels, mais la même conclusion n'est pas
acceptée pour deux réels.
Il peut donc être utile de donner quelques exemples de raisonnements non constructifs, et constructifs.
Raisonnements non constructifs
Les raisonnements suivants, classiquement vrais, sont considérés comme non constructifs, car ils
nécessitent l'utilisation du raisonnement par l'absurde ou du principe du tiers exclu. Précisons que la
définition de la négation d'une proposition P consiste en le fait que P conduit à une contradiction.
Cependant, l'analyse constructive essaie de se passer de la négation, en proposant en général deux
définitions correspondant aux deux affirmations qui seraient classiquement négations l'une de l'autre.
De , déduire : la conjonction de A et B conduit à une contradiction,
mais ne permet de savoir laquelle des deux propositions est fausse. La disjonction des
deux négations, acceptée classiquement, ne l'est pas en analyse constructive.
De , déduire que : classiquement, l'utilisation de la contraposée est une
variante du raisonnement par l'absurde. Elle n'est pas constructivement valide.
(tiers exclu) : comme nous l'avons dit, ce théorème classique n'est pas
constructivement admis car on ignore si A est effectivement vraie ou si A est fausse.
(élimination de la double négation) : nous avons expliqué plus haut que la
double négation est considérée comme plus faible que l'affirmation en analyse
constructive.
De , déduire : le fait que A implique B n'est pas considéré
constructivement suffisant pour déterminer si A est faux ou si B est vrai. Une preuve de
l'implication doit être telle qu'elle fournit une preuve de B si on a une preuve de A. Si on
n'a pas de preuve de A, il est possible que l'on n'ait pas non plus une preuve de .
De , déduire : comme nous l'avons déjà vu, l'analyse constructive
distingue les deux notions d'existence intervenant ici. De la deuxième, on peut déduire la
première, mais pas l'inverse.
Raisonnements constructifs
On montre que les raisonnements suivants ne font pas appel au raisonnement par l'absurde ou au tiers
exclu. Ils sont donc admis en analyse constructive.
équivaut classiquement, mais aussi constructivement, à .
De , on peut déduire , mais pas l'inverse.
équivaut classiquement, mais aussi constructivement, à .
De , on peut déduire , mais pas l'inverse.
Éléments d'analyse
Seules quelques notions élémentaires relatives aux suites et aux fonctions sont présentées ici, afin
d'éclairer ce qu'est l'analyse constructive.
Les réels
L'analyse constructive base ses notions sur les entiers et les rationnels, considérés comme les objets
élémentaires, constructifs par nature. La définition d'un réel par une suite de Cauchy de rationnels n'est
pas considérée comme constructive. En effet, la connaissance d'aucun élément particulier de la suite ne
donne la moindre information sur la valeur du réel. On lui substitue les définitions suivantes :
Une suite de rationnels est régulière si, pour tout n et m strictement positifs,
. En analyse constructive, une telle suite définit un réel x.
Deux réels x et y sont égaux si, pour tout n, . Il s'agit d'une relation
d'équivalence. On peut définir sur ces réels des opérations de somme et produit, de
maximum, de minimum, de valeur absolue, ainsi que des inégalités. Plus précisément :
Un réel x strictement positif est défini par une suite régulière et un entier n tels que
.
Un réel x est positif ou nul si, pour tout n, .
Un réel x est nul si, pour tout n, .
Un réel x différent de 0 est défini par une suite régulière et un entier n tels que .
On peut montrer que, pour tout n, , ce qui permet de comprendre a posteriori la
formulation des définitions précédentes.
On prendra garde que, pour montrer que x est non nul, il faut définir explicitement n tel que .
Se borner à montrer que la condition conduit à une contradiction n'est pas
constructivement suffisant. Ainsi ne permet pas de déduire en analyse constructive que ,
car il manque la donnée n. Par contre, entraîne que . Concrètement, le fait que
conduise à une contradiction signifie classiquement que x est non nul, et donc qu'il existe par exemple un
chiffre non nul dans son développement décimal, mais cela ne permet pas de dire quel est le rang de cette
décimale. On voit donc de nouveau apparaître une existence formelle non admise en analyse constructive.
À l'inverse, si x est non nul au sens constructif, alors on peut déterminer le rang d'une décimale non nulle.
Numériquement, la différence est essentielle, car dans le second cas, on connaît la précision à laquelle il
faut mener les calculs pour distinguer x de 0, alors que dans le premier cas, on l'ignore. L'analyse
constructive distingue donc une différence forte d'une différence faible .
De même si on sait que , alors on peut conclure que , puisque la conclusion est
entraînée aussi bien par la première proposition de la disjonction que par la deuxième. Mais la réciproque
n'est pas valide en analyse constructive. On peut très bien avoir sans pouvoir déterminer laquelle
des deux propositions ou est vraie.
Enfin, si , alors , mais la réciproque n'est pas acceptée en analyse constructive.
Exemples d'énoncés constructifs
Si , alors il existe a rationnel positif tel que . Cette propriété se montre
constructivement de la façon suivante. Le réel x est donné par une suite régulière , et
il existe (sous-entendu explicitement) un entier n tel que . Prenons pour a le
rationnel . Comme , on a :
Si , alors ou . Une preuve constructive consiste à déterminer
d'abord un rationnel a tel que . On détermine ensuite un rationnel u tel que
. Il suffit pour cela de prendre un entier N strictement inférieur à et choisir
pour u le terme de la suite régulière définissant x. On détermine de même un rationnel
v tel que . On a alors . L'un des deux
rationnels u et v est donc strictement supérieur à , et étant tous deux explicitement
connus, on peut savoir lequel. Si c'est u, alors . Si c'est v, alors .
Si x et y sont deux réels donnés, la proposition ou n'est pas acceptée en
analyse constructive. Prenons le n-ème chiffre décimal de x égal à 1 si n est un nombre
parfait impair et 0 sinon, et y = 0. On ne sait pas montrer constructivement que ou
. Par contre, si y et z sont donnés avec , un calcul approché avec
suffisamment de décimales permettra de déterminer effectivement l'une des deux
affirmations ou . On peut apporter une preuve constructive générale de ce
résultat. Il suffit pour cela de remarquer que et d'appliquer
le résultat précédent pour déduire que ou . Ce résultat est
fondamental car nombre de démonstrations constructives reposent sur lui.
Les suites
Constructivement, une suite de réels converge vers un réel l si, pour tout entier k, il existe un entier
tel que, pour tout entier n supérieur ou égal à , on a . La définition de doit être
explicite à partir de k. Par exemple, la suite converge vers 0. Il suffit de prendre .
La suite est une suite de Cauchy si, pour tout entier k, il existe un entier tel que, pour tout entier n et
m supérieurs ou égaux à , on a . On peut montrer en analyse constructive qu'une suite
de réels converge si et seulement si elle est de Cauchy, résultat analogue à l'analyse classique, mais avec
les définitions constructives.
Cependant, en analyse classique, une suite réelle croissante majorée converge, alors que ce résultat n'est
pas accepté en analyse constructive. Considérons une suite croissante d'entiers valant 0 ou 1, mais dont
on ignore si tous les termes de la suite est nulle. Classiquement, la limite de cette suite est 0 ou 1, mais on
est incapable de dire quelle est explicitement cette limite. Constructivement, la suite ne sera pas
considérée comme ayant une limite.
La borne supérieure
Le paragraphe précédent montre que la notion de borne supérieure pose également problème en analyse
constructive. Classiquement, tout ensemble de réels majoré admet une borne supérieure. Cependant, il est
en général impossible d'en avoir la moindre valeur approchée. L'existence d'une telle borne est dans ce
cas purement formelle et non admise en analyse constructive. Considérons de nouveau une suite où,
pour tout n, vaut soit 0 soit 1. Classiquement, la borne supérieure de cette suite est nulle si tous les
termes de la suite sont nuls, et vaut 1 si l'un d'entre eux est non nul. La détermination exacte de la borne
supérieure fait appel au principe d'omniscience évoqué plus haut. Mais on est cependant en général
incapable de déterminer laquelle des deux affirmations est vraie, même si on dispose d'une définition ou
d'un algorithme permettant de déterminer pour chaque n donné. Dans ce cas, l'analyste classique dira
qu'il existe une borne supérieure, mais qu'il ne la connaît pas. L'analyste constructiviste dira que cette
borne supérieure n'est pas définie et se refusera à considérer tout raisonnement basé sur son existence.
En analyse constructive, on peut montrer qu'une partie A bornée de admettra effectivement une borne
supérieure si et seulement si pour tout couple (x, y) de réels avec , alors ou bien y majore A, ou bien
x ne le majore pas. Le couple étant donné, on doit donc déterminer explicitement quelle est l'alternative
qui est vraie, et, dans le cas où x ne majore pas A, exhiber explicitement un élément a de A tel que .
L'existence est prouvée en mettant en évidence une suite régulière qui définit cette borne supérieure.
Celle-ci est donc connue numériquement par des valeurs approchées à toute précision désirée. C'est le cas
de la suite . Ce n'est pas le cas de la suite où si n est un nombre parfait impair et =
0 sinon. La situation peut évoluer à l'avenir dans le second cas en fonction de l'accroissement de nos
connaissances, mais notre ignorance actuelle montre le caractère non constructif de la notion de borne
supérieure en général.
Les fonctions
En analyse classique, on montre qu'une fonction continue sur un segment est uniformément continue.
Mais la démonstration repose sur des principes non constructifs d'existence formelle, tels que le théorème
de Bolzano-Weierstrass. L'analyse constructive ne peut démontrer ce théorème. On définit donc la
continuité d'une fonction f sur un intervalle I par le fait qu'elle est uniformément continue sur tout
segment J inclus dans I. La notion centrale en analyse constructive est donc l'uniforme continuité, donnée
par un module de continuité . Pour tout entier k, on doit être capable de donner un réel tel que,
pour tout x et y de J, on a dès que .
On peut montrer en analyse constructive qu'une fonction continue sur un segment admet une borne
supérieure et une borne inférieure, mais on ne peut pas en général montrer que ces bornes sont un
maximum et un minimum, dans le sens où il faudrait exhiber un x en lequel le maximum ou le minimum
est atteint. Considérons par exemple une propriété P sur les entiers pour laquelle on ignore si ou
au contraire (dans le sens constructif, on ne dispose d'aucune démonstration de la première
affirmation ni de la deuxième). Posons si est vérifié, si est faux et n pair,
si est faux et n impair. Posons enfin . On est incapable de dire si a est nul,
strictement positif ou strictement négatif. Si on considère la fonction f affine sur et sur , telle
que et , l'analyste classique dira que f admet un maximum, mais il ne
pourra pas dire si ce maximum est atteint en 0 ou en . L'analyste constructiviste se bornera à dire que f
admet une borne supérieure égale à max(0,a), une approximation numérique de celle-ci pouvant être
atteinte à n'importe quelle précision.
Le théorème des valeurs intermédiaires
Le théorème des valeurs intermédiaires classique n'est pas reconnu en analyse constructive. Sa
démonstration repose en effet sur la notion de borne supérieure dont l'existence générale n'est pas
constructive.
Une autre démonstration classique de ce théorème procède par dichotomie, mais elle n'est pas non plus
constructive. Reprenons le a donné dans le paragraphe précédent, et définissons f affine sur ,
et , avec , , . Cherchons le réel c tel que
. La méthode de dichotomie calcule et doit déterminer si a est nul, strictement
positif ou strictement négatif, ce qui est généralement impossible. Dans le cas présent, on est incapable de
dire si c est inférieur à 1/3, supérieur à 2/3 ou peut être pris quelconque dans l'intervalle .
L'analyse constructive propose donc un énoncé alternatif au théorème des valeurs intermédiaires. Soit f
continue sur le segment et telle que . Alors pour tout , et tout y de ,
il existe x tel que .
L'existence effective d'un x tel que peut être obtenue en renforçant les hypothèses, par exemple
en précisant que f est strictement croissante. La démonstration se fait alors non pas par dichotomie, mais
par trichotomie. On construit une suite de segments emboîtés . Comme
, il est constructivement possible de décider si
ou si , et de définir explicitement comme
égal à ou à . Le réel x est alors la limite des suites et
.
Les principes d'omniscience
Le principe d'omniscience consiste à énoncer que, si A est un ensemble et P est une propriété dépendant
d'un paramètre x élément de A, alors tous les éléments de A vérifient P ou bien l'un des éléments de A ne
vérifie pas P. C'est une propriété classique résultant du principe du tiers exclu, mais son utilisation
signale généralement un énoncé ou une démonstration non constructive. Son utilisation n'est donc pas
admise en analyse constructive.
Le plus couramment, une proposition non constructive utilise le petit principe d'omniscience, qui énonce
que, si est une suite d'entiers, alors pour tout n, est nul ou bien il existe n tel que est non nul.
Il est rejeté en analyse constructive car il n'existe aucun algorithme permettant de décider laquelle des
deux propriétés est vérifiée. Un programme tel que :
n := 1
tant que an = 0 faire n := n + 1 fin tant que
finira par trouver l'indice n tel que si un tel indice existe, mais bouclera sans fin s'il n'existe pas.
Ce petit principe est équivalent au fait d'énoncer que, pour tout réel x, ou bien x est nul, ou bien x est non
nul. En analyse constructive, on connaît des réels x pour lesquels on ne possède aucune preuve ni qu'ils
sont nuls, ni qu'ils sont non nuls, de sorte que la disjonction n'est pas constructivement prouvable.
Du petit principe d'omniscience, on peut déduire le principe suivant, dit principe de Markov : pour tout
réel x, . Cela revient également à énoncer que, pour toute suite d'entiers,
. Mais on ne peut remonter au petit principe d'omniscience à partir du
principe de Markov qu'en utilisant un raisonnement par l'absurde. Il en résulte que, en analyse
constructive, le principe de Markov est considéré comme plus faible et moins contraignant que le petit
principe d'omniscience. De plus, le principe de Markov dispose d'un statut particulier. On n'en connaît
aucune preuve constructive ce qui tendrait à le faire rejeter, mais on ne connaît pas davantage de contre-
exemple en analyse constructive. En effet, dans la plupart des systèmes logiques y compris constructifs,
une preuve de consiste à prouver . Son statut en tant qu'axiome constructif est
donc discuté.
Le principe de Markov intervient également dans la question suivante. Une fonction f est dite faiblement
injective si . Elle est dite fortement injective si
. En analyse constructive, une fonction fortement injective est faiblement
injective, mais la réciproque nécessite l'utilisation du principe de Markov.
Voir aussi
Constructivisme (mathématiques)
Logique classique
Logique intuitionniste
Logique minimale
Bibliographie
Les principales avancées en analyse constructive ont été menées par Erret Bishop :
(en) Erret Bishop, Foundations of Constructive Mathematics, McGraw Hill (1967)
(en) Erret Bishop, Douglas Bridges, Constructive Analysis, Springer-Verlag (1985)
Pierre Ageron, Logique, ensemble, catégorie, le point de vue constructif, Ellipses (2000)
Penser les mathématiques, Séminaires de philosophie et mathématiques de l’Ecole
normale supérieure (J. Dieudonné, M. Loi, René Thom), point sciences, Éditions du seuil
(1982)
(en) Hermann Weyl, The Continuum: A Critical Examination of the Foundations of
Analysis, Thomas Jefferson University Press (1987)
Liens externes
(en) Constructive mathematics ([Link]
sur le site [Link]
Notes et références
1. On peut lire à ce sujet : Thierry Coquant, « Herbrand et le programme de Hilbert », Gazette
de la SMF, no 118,octobre 2008, p. 17-28 (lire en ligne ([Link]
azette-des-mathematiciens-118-octobre-2008)).
2. On appelle propriété fuyante une propriété dont on peut vérifier la véracité ou la fausseté
pour tout entier donné, mais dont on ignore si elle est vraie ou fausse pour tout entier. Ce
type de propriété permet de comprendre la différence entre analyse classique et analyse
constructive. cf Jean Cavaillès, Méthode axiomatique et formalisme, essai sur le problème
du fondement des mathématiques, Hermann, 1981, p.35 et suivantes.
Ce document provient de « [Link] ».