Appesantissons-nous, exemples à l’appui, sur l’éternel débat concernant la valeur d’une démonstration existentielle non-constructive. A l’époque du grand David Hilbert, ce débat faisait particulièrement rage ; Paul Gordan, dégoûté par l’attitude de Hilbert, lâcha même au sujet de ses démonstrations c’est de la théologie, pas des mathématiques.
Un exemple tout bête
Soit F un corps et des éléments de ce corps. On sait bien alors qu’il existe un polynôme non nul, de degré au plus d qui s’annule en ces points. Il est facile d’en exhiber un :
.
Une méthode non constructive, un peu ridicule dans ce contexte, consisterait ici à dire que l’application de dans
définie par
, ne peut être injective pour des raisons de dimension : d+1 à gauche, d à droite. Il y a donc un noyau non trivial, et donc un polynôme non nul, de degré au plus d, qui s’annule aux points prescrits.
On voit déjà le genre d’idées : en linéarisant le problème, on le soumet à la toute puissante algèbre linéaire qui va le broyer… C’est encore ce qu’on va faire dans la suite.
Notons déjà une variante moins bébête de l’énoncé. Pour un polynôme et un point p, notons
l’ordre d’annulation de P en p, soit le plus grand entier k tel que
avec
et D désignant la dérivation, les exposants étant le nombre de dérivation suivant chaque variable. Si jamais
, alors il existe un polynôme non-nul de degré au plus d tel que
pour tout point p.
Un tel énoncé s’obtient aussi aisément par un argument de dimension.
Le théorème des restes chinois
Ce théorème issu de l’antiquité chinoise (IIIè siècle)
peut être utile pour calculer des concomitances astronomiques (congruences modulo 28 et modulo 365) ou autres.
Sous sa forme européenne formalisée, il dit que si n et m sont deux nombres premiers entre eux, alors .
Une preuve existentielle s’obtient en disant que la projection canonique
a pour noyau donc passe au quotient en une application injective, qui est forcée d’être bijective à cause de l’égalité des cardinaux.
Une preuve constructive passe comme souvent par une identité de Bezout. Si n et m sont premiers entre eux, soit u et v tels que uv+nm=1. Soit . Construisons son antécédent par la projection canonique :
convient.
L’obtention d’une identité de Bézout, qui ne demande rien de plus qu’un brave algorithme d’Euclide étendu, est facile et donne l’isomorphisme recherché à bas coût.
Les nombres algébriques
Tout le monde sait bien que la somme et le produit de deux nombres algébriques est aussi un nombre algébrique.
Une preuve « théologique » est facile. Là encore, il s’agit de linéariser. Soient donc a et b deux nombres algébriques sur un corps K ; la remarque linéaire est qu’alors K[a] et K[b] sont de dimension finie d_1 et d_2 sur K. Mais alors K[a,b]=K[a][b] est de dimension au plus d_2 sur K[a], donc de dimension au plus d_1d_2 sur K. Or, K[a+b] et K[ab] en sont des sous-espaces ; ils sont donc de dimension finie sur K, ce qui signifient que a+b et ab sont algébriques.
Une preuve constructive consiste à fournir, étant donné des polynômes annulateurs de a et b, un polynôme annulant a+b ou ab. Un tel polynôme s’obtient par la théorie du résultant.
Le théorème de Bézout
Il s’agit de borner le nombre de points d’intersection de deux courbes selon leur degré.
Soient deux polynômes sans facteur commun, de degrés d_1, d_2 et notons
le lieu des zéros d’un polynôme P. Alors
est fini de cardinal au plus
.
Pour le prouver, la linéarisation fait encore des ravages. Considérons les idéaux
.
En effet, il est aisé de voir que l’énoncé à démontrer revient à dire que la codimension
de l’idéal (P_1,P_2), qui est aussi un sous-espace vectoriel de F[X,Y], est inférieure à d_1d_2.
En effet, en supposant acquis cette borne sur la codimension, raisonnons par l’absurde : soient zéros communs notés
. Alors on peut former autant de polynômes linéairement indépendants dans l’espace quotient
, en posant
d’où la contradiction.
Or, la borne dimensionnelle n’est pas trop dure à obtenir avec un peu de ténacité.
Mais il existe une méthode plus constructive, reposant à nouveau sur la théorie du résultant. On est alors capable de donner des candidats à l’intersection des courbes.
En effet notons les résultants de nos polynômes, vus respectivement dans
, où ils sont toujours sans facteur commun. Ce sont des éléments de
, mais en fait de
. Ils ont donc un nombre fini de racines chacun, et on obtient aisément que les coordonnées (x,y) des points d’intersection vérifient
d’où la borne d_1d_2.
1 commentaire
Comments feed for this article
25/01/2014 à 13:34
2pac
Je lance un grand concours de « théologie » : trouver la preuve existentielle la plus inutile possible — une preuve tarabiscotée de l’existence d’un objet dont la construction est par ailleurs évidente, à la manière du premier exemple de cet article.
Le principe des tiroirs à chaussettes (ou principe de Lejeune-Dirichlet, pour les pédants) donne aussi des résultats purement existentiels. Si je range n chaussettes dans k tiroirs, un tiroir au moins contient E(n/k) chaussettes ou plus, où E(x) désigne la partie entière inférieure.
On peut ainsi démontrer, chose fascinante, qu’il existe une infinité de multiples de 10.
En effet, il existe une infinité de nombres entiers, et chacun est congru à 0,1,… ou 9 modulo 10. 10 tiroirs, et autant de chaussettes que l’on veut. Donc on trouvera un tiroir contentant une infinité de chaussettes.
Il existe une suite a1, a2, … d’entiers différents congrus à la même chose modulo 10.
Par conséquent les entiers ak-a1 sont tous des multiples de 10. CQFD.