CHAPITRE V. — GENERATIONS DIVERSES DES SERIES TERNAIRES

des déterminants de la matrice

()/i df, df, df, df, df\

dx^

c)^3 d\i d\^ d]Xi d\i2

La série/ a des éléments doubles ordinaires dont le nombre est facile à trouver en raisonnant comme précédemment. C'est

Il est clair que l'on peut continuer de la même façon aussi loin qu'on le veut.

192. Nous avons déjà pu remarquer plusieurs fois l'analogie qui existe entre les formes ternaires à une seule série de variables et les formes binaires à deux séries de variables : nous venons de voir encore comment celles-ci peuvent définir des séries ternaires. Mais on peut en donner d'autres interprétations dans le domaine ternaire. Supposons donnée la forme

cp(Xi, X2; [^1, (^2)

et imaginons que les (X) servent à définir les éléments (y) d'une série rationnelle, et de même que les (ix) définissent les éléments (^) d'une autre série rationnelle c[ui peut d'ailleurs coïncider avec la première. La relation (^ ^^^^ o établit une correspondance entre les éléments (jk) et (^z)\ par suite les éléments {yz) qui contiennent deux éléuients correspondants constituent une série ternaire qui se rapporte à la forme ^.

Nous avons déjà vu une application de cette idée au n^ 158; alors la forme cp était bilinéaire et les séries formées par les éléments {y) et [z) définis par les (a) et les (a) étaient des éléments (^). Si l'on conserve cette dernière hypothèse, et si l'on suppose (p des degrés p el q par rapport aux (\) et aux (p.), on voit que la série des éléments {yz) est en général une série de seconde espèce, de degré /j -f- ^, admettant les éléments (^) formés par les [y) et les (^) comme multiples des degrés p et q. C'est ainsi que la théorie des séries ternaires cubiques ayant un élément

Hosted by

double et que celle des séries biqiiadratiques ayant deux éléments doubles se ramènent à celles des formes binaires linéo-quadralique et doublement quadratique.

Nous verrons pkis loin d'autres applications dans lesquelles nous supposerons surtout que les Çk) définissent une série quadratique.

11 suffit évidemment d'avoir indiqué cet ordre d'idées si fécond pour qu'on puisse en apercevoir immédiatement des généralisations sur lesquelles il est inutile d'insister.

Remarquons encore l'importance qui s'attache, d'après ces considérations, comme d'après celles de tout ce Chapitre, à l'étude des invariants multiples des formes à plusieurs séries de variables, qui ne sont pas nécessairement toutes du même ordre.