I. — Les formes ternaires. Définitions et généralités

138. Soient ^1, Xo^ ^3 trois variables pouvant prendre toutes les valeurs possibles : en associant ensemble trois valeurs déterminées quelconques JK^ , j)^2 7 JKs attribuées à ces trois variables, on peut définir un élément géométrique {y).

Si nous supposons que x^^ x^^ x^ restent toujours finies et ne s'annulent pas en même temps; si, de plus, nous supposons que deux éléments (^y) et (^) sont identiques lorsque les trois déterminants

(7^)1=72^3 — 73^2, (7-)2 = 732i — 71^3, (7^)3 = 71^2 — 72-ir que l'on peut tirer de la matrice (7^), c'est-à-dire

Zx z^ z^

sont nuls, et seulement dans ce cas, nous aurons ainsi défini un ensemble doublement infini et continu d'éléments [x) : à chaque

système de valeurs des rapports — ? — par exemple, correspond

un élément [x) et un seul; et réciproquement. JNous dirons, par suite, que ces éléments {x) remplissent un espace à deux dimensions, E.

Hosted by

l43 LIVRE II. — LA GÉOMÉTRIE TERNAIRE.

Les coordonnées de l'élément (jk) sont pj^^ , PJK2? pjKs? p élant une quantité quelconque finie et non nulle. Les éléments particuliers Oi, O2, O3, qui correspondent respectivement aux hypothèses ^2 = ^3= O7 -^3 =: ^^ r=: o, ^^ = ^o = ^ -, sont Ics éléments fondamentaux ou éléments de référence.

139. Une forme linéaire par rapport aux variables (^'), soit ^^ j;^ 4 ^2^2+ ^3-^3 7 oi^i pour abréger (^|^), définit, quand on l'égale à zéro, une série simplement infinie d'éléments (^), dont les coordonnées vérifient l'équation (^ | ^) = o.

Une telle série est définie par les rapports des quantités (^), qui se comportent à son égard absolument comme les coordonnées (^) à l'égard de l'élément (^). Ces séries sont des éléments géométriques nouveaux résultant des premiers et dont les (^) sont les coordonnées. Nous dirons de ces éléments (^) qu'ils sont de seconde espèce par opposition aux éléments (^), qui seront de première espèce. Ces deux sortes d'éléments remplissent le même espace E.

La s^^métrie de l'équation (^|^)=:o montre que les (^) jouent le même rôle par rapport aux (Ç) que ceux-ci par rapport aux (^). (^|^)==:o est Vécjuatlon de l'élément (^) donné, en ce sens qu'elle définit les éléments (^) variables qui constituent ce (^); c'est aussi bien Véciuation de l'élément {x) donné, en ce sens qu'elle définit les éléments (^) variables dont l'ensemble constitue cet {x).

Nous dirons de deux éléments (^x) et(^) vérifiant la condition (^ |^)==:o qu'ils se contiennent l'un l'autre, ou qu'ils appartiennent l'un à l'autre.

Gomme précédemment, nous affecterons les lettres latines aux éléments de première espèce, les lettres grecques aux éléments de seconde espèce.

Sans aller plus loin, voici des exemples tirés de la Géométrie ordinaire auxquels on peut appliquer ce que nous venons de dii^e. Si l'espace E est un plan, on peut prendre pour éléments de première espèce les points ou les droites de ce plan; les éléments d'espèce opposée sont les droites ou les points de ce plan. Si l'espace E est un point, on peut prendre pour élément de première espèce les plans ou les droites qui passent par ce point; les

Hosted by