La trilogie produit scalaire, produit mixte et produit vectoriel est assez bien connue en dimension trois. Elle l’est moins en d’autres dimensions, et particulièrement en dimension deux. Pourtant, elle est très amusante en dimension deux, à cause des nombres complexes.
Forme volume et produit mixte
Sur un espace vectoriel (réel) de dimension deux , une forme volume est une application bilinéaire, antisymétrique et non nulle
.
Comme je l’ai rappelé dans ce billet, une telle forme peut être utilisée pour définir l’aire orientée de certaines parties des plans affines modelés sur , en particulier, celle des polygones, convexes ou non, de ces plans.
L’espace admet des bases adaptées à
, i.e. des bases
telles que
. Dans une telle base,
Lorsque l’espace est euclidien et orienté, il admet une forme volume privilégiée. C’est celle dont les bases orthonormées positives de
sont des bases adaptées. Cette forme volume est ce qu’on appelle le produit mixte de
. On le note
Outre le fait que, comme toute forme volume, le produit mixte de donne lieu à une notion d’aire orientée, il permet également, de concert avec le produit scalaire
de définir l’angle orienté des couples d’éléments non nuls de
. Celui-ci est en effet donné par
Structure complexe et produit vectoriel
Une structure complexe sur l’espace vectoriel est une application linéaire
telle que
. Avec une telle structure, on fait de
un espace vectoriel complexe en conservant l’addition de
et en posant
Nous supposons ici que . Comme espace vectoriel complexe, sa dimension est alors
. Voici pourquoi. Supposons que
n’est pas nul. Alors
est une base de l’espace réel
. En effet,
et
sont linéairement indépendants sur
car les valeurs propres de
sont
. Les éléments de
sont donc les multiples complexes de
.
Les bases de la forme que nous venons de construire sont celles dans lesquelles
est représenté par la matrice
Nous dirons que ce sont les bases adaptées à .
Lorsque le plan vectoriel est euclidien et orienté, il admet une structure complexe privilégiée à savoir son produit vectoriel. Celui-ci, qui n’a qu’un argument, est la rotation d’angle
. On le note
L’application est la rotation d’angle
. C’est donc
:
est bien une structure complexe de
. Les bases orthonormées positives de
lui sont adaptées.
L’espace vectoriel réel des nombres complexes
Comme espace vectoriel réel, l’ensemble des nombres complexes n’est autre que . Il est muni d’une structure d’espace vectoriel euclidien orienté canonique : celle pour laquelle
est une base orthonormée positive.
Pour cette structure, le produit vectoriel est la multiplication par et c’est la structure complexe naturelle de
.
Quant aux produits scalaire et mixte, il sont liés au produit des nombres complexes par une remarquable formule :
(1)
soit, en termes des parties réelles et imaginaires,
Je ne résiste pas à la tentation de montrer à nouveau comment la belle formule (1) donne une preuve de l’inégalité de Cauchy-Schwarz en dimension deux (et donc, comme je l’ai expliqué ailleurs, sur tout espace vectoriel euclidien, de dimension finie ou non).
On prend les carrés des modules des deux membres de (1). Cela donne
En conséquence,
l’égalité ayant lieu si, et seulement si, , c’est-à-dire si, et seulement si,
et
sont linéairement dépendants sur
.
Voici une autre conséquence de (1).
Dans tout plan vectoriel euclidien orienté, on a
Vu ce qui précède, il suffit de vérifier ces formules pour l’espace . Elles résultent alors de (1) puisque, d’après cette identité,
Voilà, c’est tout pour ce billet.
😉
Pingback: Coordonnées barycentriques et aires orientées | Blog de Pierre Lecomte
Pingback: Une brève sur les plans affines euclidiens et orientés | Blog de Pierre Lecomte