Revenons maintenant à la forme bilinéaire
F — » > di,k Cr Yi et el FE, 9,...10 En opérant sur les xx, y: des substitutions de déterminants + 1, on obtiendra une forme équivalente
F'= A >, @i,k Lx Yi.
Nous allons montrer que, parmi ces formes équivalentes, il y en a toujours une, parfaitement déterminée, qui affecte la forme très simple
€ Li Yi + 69 Lo Ya + + + Ep TpYp)
et que nous appellerons la forme réduite. Ici e,,e&,...,e, sont des entiers positifs, e:1 divise ex, et p est tout au plus égal au plus petit des nombres m et n. Ensuite on reconnaîtra facilement que la condition nécessaire et suffisante pour l’équivalence de deux formes bilinéaires consiste en ce qu’elles admettent la même forme réduite. On peut donc considérer les nombres e,,e,,...,e, comme un système complet d’invariants de la forme bilinéaire F.
Considérons la matrice Iaikl ou |A,
formée par les coefficients de F. Nous désignerons par d, le plus grand commun diviseur (pris positivement) des coefficients a;,x, par d, le plus grand commun diviseur des déterminants du second degré tels que
i,k Gi,i
Ar,k Gr,
de même, par d, le p.g. c. d. des déterminants du troisième degré, etc. Si tous les déterminants du degré p ne sont pas nuls, mais si tous les déterminants du degré p + 1 sont nuls, on aura ainsi la suite des p nombres Ms 0 1: ds,
et nous supposerons alors dy+x—0. Il est clair que dx divise d, et
nous posons de dy =, sr CRE ed Ep+r = (0.
Ces nombres e sont des entiers, nous les appellerons déjà les invariants de F; nous verrons plus loin que e4; divise ex; p est tout au plus égal au plus petit des nombres m et n.
Soit maintenant
laïkil ou 1|A’| la matrice formée par les coefficients de la forme F’ équivalente à la forme F, et d/ le p. g. c. d. des déterminants de degré k de cette matrice. Il est clair que tout déterminant de degré k de la matrice || A’| est une fonction linéaire et homogène de divers déterminants de degré k de la matrice || Al. Donc d/ est nécessairement divisible par d, et tous les déterminants de degré p + 1 de || A’|| sont nuls. Mais, pour la même raison, d4 doit être divisible par d/; donc
dr = dr,
et tous les déterminants du degré p de || A’|| ne peuvent pas être nuls. On voit par là que les deux formes bilinéaires équivalentes F et F' ont les mêmes invariants e,, €, ..., ep.
L'égalité des invariants est donc une condition nécessaire pour
l’équivalence de deux formes; qu’elle est aussi une condition suffisante, cela résulte ensuite immédiatement de la proposition que nous avons énoncée déjà, d’après laquelle la forme F est équivalente à la forme réduite € Li Yi + ea Lo Yo + + + Ep Lp Yp:
En effet, d’après cela deux formes, dont les invariants sont égaux, sont équivalentes à une même forme réduite, et, par conséquent, aussi équivalentes l’une à l’autre.
26. Nous avons à montrer maintenant comment on peut opérer cette réduction de F à la forme réduite. Considérons la matrice
di,1 1,2 {1,3 ... Ain»
A2,1 22 2,83 ... Un)
°, Am,1 Am,2 Am,3 +++ Am,n-
Par une substitution sur les +4, on peut d'abord réduire la première ligne à A LOUE à PR OL à, étant le p. g. c. d. de m1, &,2,...,@1n. (Il va sans dire que nous n'employons que des substitutions de déterminants = + 1.) Si après cela 6, divise tous les autres coefficients de la première colonne, on pourra, en remplaçant y, par une expression de la forme
hi +o@Y +... +CmYm;
sans changer Y, Yy ..., Ym, Obtenir une matrice transformée de la forme à 0 Wear. D
EX SE D CON D MUR O Dso Des 1: On O D»,2 Om,3 .:.. Om,n:
Mais si à, ne divisait pas les coefficients de la première colonne, on pourrait diminuer ce coefficient 6,, et le remplacer par 6, le p. g. c. d. des coefficients de la première colonne, en opérant une substitution sur les y, et annuler en même temps les autres coefficients de la première colonne. Si à, divise maintenant tous les coefficients de la pre-
mière ligne, on obtiendra encore une matrice de la forme (A), en remplaçant x, par une expression D + Co %o +... +Cn%n,
sans changer %,, %3,...,%n. Au contraire, si à, ne divise pas ces coefficients, on pourra le diminuer encore par une substitution sur les x. Il est clair qu'après un nombre fini d'opérations on obtiendra toujours une forme équivalente, dont la matrice affecte la forme particulière (A); mais on peut simplifier encore et obtenir une matrice (A), dans laquelle 6, divise exactement tous les coefficients b;4.
En effet, supposons que 6, ne divise pas exactement un des coefficients b;4. Il suffira de remplacer x; par x: + x, pour voir paraître ce coefficient b;: dans la première colonne avec à. En reprenant alors les opérations de tout à l’heure, on obtiendra un Tableau du type (A), mais dans lequel le coefficient 6, a une valeur moindre. On voit donc qu’on peut diminuer ce coefficient tant qu’il ne divise pas tous les b;x, et, après un nombre fini de transformations, on tombera nécessairement sur une forme équivalente à F du type suivant
XL; Lo La Ln Ua 90 + ARE RRERRE :
Yo 0 ba 2 D, 3 .. Dan Vs 0 bs,2 b3,3 ue Ds,n Ym 0 D, 2 Dm, 8 +. bm,n
et dans laquelle le coefficient e, divise tous les autres coefficients b;,4. Et il est clair immédiatement que e, est le p. g. c. d. des coefficients
aix. Si maintenant les b;; ne sont pas tous nuls, on pourra continuer
la même réduction en opérant seulement sur les variables %,, %,..., Æn,
Yes Y3s:+:3 Ym. On obtiendra ainsi une forme équivalente D D M it 0 RS 0, oi Di. 0 2 Ys | 0 O0 ns, +1. 50 Ym 0 0 Cm, 3 ….. Cm,n
où €, est un multiple de e, et divise tous les c:; 4.
En continuant ainsi, on obtiendra finalement la forme réduite
€ Li Yi À 62 La Ye + + Ep Xp Yr Puisque e;\ divise ex, il est immédiatement clair que le p. g. c. d. des déterminants de degré 4 de la matrice correspondante à cette forme réduite est em... = dx;
d'où l’on voit que les e4 ont bien les valeurs indiquées précédemment.
27. Dans la pratique, et s’il s’agit seulement de calculer les invariants, on pourra remplacer souvent avec avantage le procédé que nous venons d'indiquer par le suivant. Après avoir obtenu une forme équivalente
TL; Lo La .'. © Ln
H | À 0 55042: 0 Ya 0 bo, 2 D, 3 °#e Do,n Ya 0 Ds,» Ds,3 A Dan
Ym| O Dm,2 Dn,s ... Dn,n
dans laquelle 6, ne divise pas nécessairement les b;,, on continuera la même transformation sur les indéterminées %,, %3,..., Æny Yo Yay es Ym De cette façon, on finira par obtenir une forme équivalente
di Li Yi + de Lo Yo + «+. + Op Ep Yp) dans laquelle 6,, 6,, ..., 6, sont des nombres positifs, et qu’on pourrait appeler une forme normale. Il est clair que le p. g. c. d. des déterminants de degré k de la matrice correspondante, qui doit être égal à dy, est ici simplement le p. g. c. d. des divers produits 4 à 4 des nombres
dis: Mag cévar 0p:
d'où l’on conclut, d’après les explications du Chap. I (n° 8—10), que les invariants e,,&,...,e, sont simplement les nombres réduits de dj dy.) 0m Ayant ainsi obtenu une forme normale, on en conclut donc sans difficulté les invariants. On voit aussi que cette forme normale n’est pas unique comme la forme réduite, mais il existe toujours un nombre fini de formes normales équivalentes à une forme donnée F.
On peut montrer facilement, d’une façon directe, que la forme normale est équivalente à la forme réduite. Considérons pour cela une forme
F = 0, % y + do Xo Yo) et posons (,,d)=d, |à,8|—=m, F'= dai yi + mx yo.
On peut maintenant transformer directement F en F’ par les sub-
stitutions Ham + pat, y ay +8, my +ôm, y —=7yyi+ dy, +. . 00— fr =i, ne Grid . 0 —Py=li1, En effet, les conditions du problème sont D PORN NON PS e# EX Ve D... . a} Lay) —0, ON . .. |... à fa La,0y—0, Mn... . . PP Laon
Pour y satisfaire, on prendra, pour a’, y’, deux nombres premiers entre eux, soumis à cette seule restriction que
Cela peut se faire évidemment d’une infinité de manières ; le plus simple c’est de prendre a — 7 = 1.
On cherchera ensuite deux nombres a et y qui satisfont à la relation (3), puis on prendra
dé p=—®?, 2=+4€,
en sorte que la relation (5) se trouve vérifiée et en même temps la relation (1), car
Won =ûcs Ty LE
Par suite de ces valeurs de $ et 6, la relation (6) revient à
hey pre c'est-à-dire elle rentre dans la formule (2), car 6, 8, = md. Il suffit donc, pour achever la solution, de déterminer £/ et 8’ par les relations (2) et (4) qui donnent
Re
pt, +
Il est clair maintenant que, par une application répétée de la transformation que nous venons d'indiquer, on pourra transformer une forme normale
di Di Yi + do Lo Ya + 2e + Op Lo Yp
dans la forme réduite € Li Yi À © Lo Yo + + + Ep Cp Yp.
28. On peut énoncer le résultat principal que nous venons d’obtenir sous une forme un peu différente; mais, pour simplifier, nous supposerons m—n et le déterminant |a;x| différent de zéro, en sorte que p2=n.
La forme bilinéaire
n n F= Sd Sant = Xi +Xÿ+. + Xnÿn, 1 1 Xi=@i1%i + dat +...Lairtn est réductible à la forme réduite F=eatiyi+exy+...+Letuyn
par les substitutions
n “= Yes Try, W—= 2 fre
Supposons qu’on ait
n n ER. US. ea 1 1
Si l’on substitue ces valeurs des y; dans F’, le coefficient de y; est nécessairement égal à X;: donc
Xi=e it +eQ:m+...+enQnitn.
ou bien D . . .. .. . Xi=qih Hosits+... +onitns si l’on pose (EH), L'éh mail has TS Mia da.
On voit donc que toute substitution Xi=aiit +aist+...+aintn (tai,8,...,4)
peut être remplacée par trois substitutions successives, la première (I),
de déterminant + 1 introduisant les variables t,,4,...,t,, la seconde affectant la forme particulière (IT), tandis que la troisième
(III) PA OS COR CNRS D ET = D pin tr
a encore un déterminant égal à + 1.
Il est à peine nécessaire de dire que, dans cet énoncé, on pourrait remplacer les invariants e,,€,...,e, par les coefficients à,, 6,,..., 0, d’une forme normale équivalente à F. Et le cas p < n n'apporte non plus une modification ; on aura seulement alors e; —0 ou x —0 pour k>9.
Le nombre p que nous avons vu s’introduire dans l’étude de la forme
bilinéaire F—= D 2 Gi,k Tk Yi ( =1,23,..., 4 tm i,8,....% s'appelle le rang de la forme bilinéaire ou de la matrice des a;,.
Nous dirons quelquefois aussi que e,, &,...e, sont les invariants de cette matrice.
29. L’invariant ex a été défini d’abord par le quotient dx: dx-1; M. Smith a obtenu encore une autre expression remarquable de cet invariant.
Considérons un déterminant quelconque du degré # de la matrice. Divisons ce déterminant par le p. g. c. d. de ces propres mineurs, soit E,4 enfin le p. g. c. d. de tous les quotients qu’on obtient ainsi; alors le théorème de M. Smith consiste en ce qu’on a
Ex = Ce.
Pour éviter toute ambiguïté, ajoutons que, lorsqu'un des déterminants de degré 4 est nul, on doit adopter toujours la valeur zéro pour le quotient obtenu en divisant le déterminant par le p. g. c. d. de ses mineurs, même si ces derniers étaient tous nuls.
Il convient du reste, dans ces considérations, de regarder zéro comme le p. g. c. d. de plusieurs nombres qui sont tous nuls. C’est seulement avec cette convention que le principe du n° 6 (Chap. D) reste applicable au cas où l’on n'exclut pas la valeur zéro pour les nombres [NRC
Nous allons démontrer d’abord un cas particulier du théorème de M. Smith. Supposons n 2 m dans la matrice
1,1 .. Ai,n
Am,1 .. Am,n
nous ferons voir que E» — 6» — dm : dm—1. Nous pouvons supposer que d n’est pas nul, car on aurait, dans le cas contraire, E» —e»—0, et l’on peut écrire (voir n° 9)
IAI=1BIX ICI,
| B || étant une matrice du type m X m,||C|| une matrice du même type que || A || dont le plus grand diviseur est l’unité. On reconnaît aisément que les matrices || A|| et | B|| ont les mêmes invariants, car la forme bilinéaire de x,,2%,...,%n, Yi, Yo,..., Ym, dont la matrice est || B|| complétée par n—m colonnes de zéros, est équivalente à la forme bilinéaire dont la matrice est || A |. Nous savons de plus qu’on peut écrire
CR Se Pro “ot 16 0 vièh, 5129 (1) IBI=lulx|" * olxlvl |: QUE : De : ARTS +
où |#|—=|v|=+1, donc Miss. 0 lui x Al)" % © © xD, 0 M LAPS | IDlI=|v|| X!|C|| étant une matrice du type m X n dont le plus grand
diviseur est l'unité.
Si l’on considère les divers déterminants du degré m — 1 de || A || qui renferment m — 1 colonnes données de cette matrice, on constate que le p. g. c. d. de ces déterminants ne change pas si l’on multiple la matrice par ||#||—1. On en conclut que le nombre E, est le même pour les deux matrices
HA} et [ull-1x|IA;
il suffira donc de prouver l'égalité Eh —e» dans le cas de la matrice
