CHAPITRE XVI. — LA GÉOMÉTRIE MÉTRIQUE TEBNA1RE SPÉCIALE. .\jl

système S2, composé du système S,, des coefficients de l'absolu, et des coefficients (£) d'un élément fixe quelconque (ç) contenant l'élément double (g) de l'absolu. Les invariants absolus ordinaires de ce système S2, qui sont homogènes et de degré zéro par rapport aux coefficients de l'absolu et aussi par rapport aux(£), seront les invariants absolus des homothéties. Les équations qui les déterminent seront formées comme au n° 381.

Dans le cas des mouvements, on remarquera que si (£) est l'élément double autre que les éléments de l'absolu, le mouvement ne change pas la série définie par la forme F + (£ | x)-. En adjoignant les coefficients (£) au système S, ainsi que les coefficients de F, les invariants absolus ordinaires du système ainsi formé, qui sont homogènes des degrés p et q par rapport aux coefficients F et aux (£), avec la condition ip-\-q = o, seront les invariants absolus du groupe de rotations ayant même élément double (ç); en considérant (ç) comme arbitraire, on aura les équations des invariants absolus du groupe des mouvements immédiatement.

Un procédé analogue servira pour les translations.

On fera, sur les différents invariants absolus métriques que nous venons de signaler, les mêmes remarques qu'en Géométrie binaire.

On aurait d'ailleurs pu employer en Géométrie binaire des procédés de formation analogues aux précédents, pour les divers invariants absolus métriques.

430. Envisageons maintenant les invariants métriques non absolus. Pour les similitudes, ils vérifieront les équations

A11F=!j.1F, A22F = |jl2F, A33F = [jl3F, A,2F = o, A13F = o,

p.,, pu, ix3 étant trois constantes quelconques, et se reproduiront multipliés par w^' to^- co^3 : on a gardé ici 2X2x3= o pour équation de l'absolu.

D'une façon générale, on pourra obtenir tous ces invariants en formant d'abord les invariants ordinaires relatifs au système S auquel on a adjoint les coefficients de l'absolu, qui sont homogènes et de degré zéro par rapport à ces derniers coefficients; puis en adjoignant à ces invariants les premiers membres des

équations des éléments de l'absolu, séparément, ou deux autres invariants de même origine, si les (x) ne figurent pas dans le système S.

Dans le cas des homolhéties, on aura

AuF=(jl1F, A22F + A8sF = |x2F, Al2F = o, A13F = o,

;j., et u2 étant deux constantes. Ils se reproduisent multipliés par tof'w^1. On les obtient comme dans le cas précédent. Pour les mouvements, on a

AuF-r- ?.A22F = ;z2F, A,, I ' - a a . r --■, . I'. AI2F=o, A,3F = o,

[x2 cl ;j.:! étant deux constantes. Us se reproduisent multipliés

par <•> ; <■> - . et sont obtenus comme les précédents. Enfin, pour les translations, on ;i

A,1F-+-A„F-HA33F=f*F, A,, F.- ■,]'. A,,F = ;x"F:

•i li>i+(i.*(0*

ils se reproduisent multipliées parole . e désignant la base

des logarithmes népériens. Pour les obtenir on adjoindra, par

exemple, aux invariants des similitudes, les deus invariants - -

Les particularités relatives à ces divers invariants seront laissées ici de côté, malgré l'intérêl qu'elles peuvent présenter. Il sera d'ailleurs facile de leur étendre la plupart des propositions relalives aux invariants ordinaires en général.