Nombre complexe fendu - Définition

Source: Wikipédia sous licence CC-BY-SA 3.0.
La liste des auteurs de cet article est disponible ici.

Introduction

En mathématiques, les nombres complexes fendus sont une extension des nombres réels définis de manière analogue aux nombres complexes (usuels). La différence-clef entre les deux est que la multiplication des nombres complexes (usuels) respecte la norme euclidienne standard (carrée) :

x^2 + y^2\, sur \mathbb{R}^2\,

alors que la multiplication des nombres complexes fendus, quant à elle, respecte la norme de Minkowski ou norme lorentzienne (carrée)

 x^2 - y^2 \,

Les nombres complexes fendus ont beaucoup d'autres noms, voir la section des synonymes ci-dessous.

Un espace vectoriel réel à deux dimensions muni du produit interne de Minkowski est appelé un espace de Minkowski de dimension 1+1, souvent noté \mathbb{R}^{1,1}\, . Tout comme la géométrie euclidienne du plan euclidien \mathbb{R}^2\, peut être décrite avec les nombres complexes, la géométrie lorentzienne du plan de Minkowski \mathbb{R}^{1,1}\, peut être décrite avec les nombres complexes fendus.

Le nom fendu provient du fait que les signatures de la forme (p,p) sont appelées signatures fendues. En d'autre mots, les nombres complexes fendus sont similaires aux nombres complexes mais dans la signature fendue (1,1).

Définition

Un nombre complexe fendu est de la forme :

z =  x + j.y\,

x et y sont des nombres réels et la quantité j définie par (voir les Tessarines) :

j^2 = +1\,

L'ensemble de tous ces z est appelé le plan complexe fendu. L'addition et la multiplication des nombres complexes fendus sont définies par

(x + j.y) + (u + j.v) = (x + u) + j.(y + v)\,
(x + j.y)(u + j.v) = (xu + yv) + j.(xv + yu)\,

Cette multiplication est commutative, associative et distributive sur l'addition.

Conjugué, norme, et produit interne

Comme pour les nombres complexes, on peut définir la notion de conjugué complexe fendu. Si

z = x + j.y\, ,

le conjugué de z est défini par

z^* = x - j.y\, .

Le conjugué satisfait les propriétés similaires du conjugué complexe usuel :

(z + w)^* = z^* + w^*\,
(zw)^* = z^*w^*\,
(z^*)^* = z\,

Ces trois propriétés impliquent que le conjugué complexe fendu est un automorphisme d'ordre 2.

La norme carrée (ou forme quadratique) d'un nombre complexe fendu z = x + j.y\, est donnée par

\lVert z \rVert = z z^* = z^* z = x^2 - y^2\, .

Cette norme n'est pas définie positivement mais possède plutôt une métrique (1,1). Une propriété importante de cette norme est qu'elle est préservée par la multiplication complexe fendue :

\lVert z w \rVert = \lVert z \rVert \lVert w \rVert

Le produit interne associé (1,1) est donné par

<z, w> = Re(zw^*) = Re(z^*w) = xu - yv\,

z = x + j.y\, et w = u + j.v\, et

 \lVert z \rVert = \langle z, z \rangle

Les nombres complexes fendus z et w sont dits orthogonaux hyperboliques si <z, w> = 0.

Un nombre complexe fendu est inversible si et seulement si sa norme est différente de zéro ( \lVert z \rVert \ne 0 ). L'inverse d'un tel élément est donné par

 z^{-1} = z^* / \lVert z \rVert

Les nombres complexes fendus qui ne sont pas inversibles sont appelés éléments nuls. Ceux-ci sont tous de la forme (a \pm j.a)\, pour un certain nombre réel a.

La base diagonale

Il existe deux éléments idempotents non-triviaux donnés par e = \frac{(1 - j)}{2}\, et e^* = \frac{(1 + j)}{2}\, (c'est-à-dire que ee = e\, et e^*e^* = e^*\, ). Ces deux éléments sont nuls :

\lVert e \rVert = \lVert e^* \rVert = e^* e = 0

Il est souvent commode d'utiliser e et e* comme une base alternative pour le plan complexe fendu. Cette base est appelée la base diagonale ou base nulle. Le nombre complexe fendu z peut être écrit dans la base nulle sous la forme

z = x + j.y = (x - y)e + (x + y)e^*\,

Si nous notons le nombre

z = ae + be^*\, pour les nombres réels a et b par (a,b) alors la multiplication complexe fendue est donnée par
(a_1,b_1)(a_2,b_2) = (a_1a_2,b_1b_2)\, .

Dans cette base, il devient clair que les nombres complexes fendus sont isomorphes à la somme directe \mathbb{R} \oplus \mathbb{R}\, avec l'addition et la multiplication définie ci-dessus.

Le conjugué complexe fendu dans la base diagonale est donné par

(a,b)^* = (b,a)\,

et la norme par

\lVert (a,b) \rVert = ab
Page générée en 0.242 seconde(s) - site hébergé chez Contabo
Ce site fait l'objet d'une déclaration à la CNIL sous le numéro de dossier 1037632
A propos - Informations légales | Partenaire: HD-Numérique
Version anglaise | Version allemande | Version espagnole | Version portugaise