Forme sesquilinéaire

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher

En algèbre, une forme sesquilinéaire sur un espace vectoriel complexe E est une application de E × E dans ℂ, linéaire selon l'une des variables et semi-linéaire par rapport à l'autre variable. Elle possède donc une propriété de « un-et-demi » linéarité (cf. sesqui). C'est l'équivalent complexe des formes bilinéaires réelles.

Les formes sesquilinéaires les plus étudiées sont les formes hermitiennes qui correspondent aux formes bilinéaires (réelles) symétriques. Parmi celles-ci, les formes hermitiennes définies positives permettent de munir E d'un produit scalaire et ouvrent à l'étude des espaces hermitiens, des espaces préhilbertiens complexes et des espaces de Hilbert.

Initialement prévue comme première étape pour la création d'une forme hermitienne sur ℂ, la notion de forme sesquilinéaire peut s'étendre à des espaces vectoriels sur d'autres corps et même à des modules sur des anneaux.

Définitions et conventions[modifier | modifier le code]

Forme semi-linéaire[modifier | modifier le code]

Article détaillé : Application semi-linéaire (en).

Soit E un ℂ-espace vectoriel, une application φ de E dans ℂ est une forme semi-linéaire[1] (ou antilinéaire) si elle respecte l'addition et presque la multiplication par un scalaire : pour tous x, y de E, pour tout λ de ℂ :

\varphi (x + \lambda y) = \varphi(x) + \overline{\lambda} \varphi(y)\,

λ est le conjugué de λ.

Une application (ou forme) semi-linéaire vérifie :

f({\rm i}x)=-{\rm i}f(x),

ce qui justifie l'autre terme utilisé : application anti-linéaire.

Forme sesquilinéaire (à gauche)[modifier | modifier le code]

Les conventions qui suivent imposent un choix de l'argument qui est linéaire. Le choix ci-dessous (forme sesquilinéaire à gauche : première variable semi-linéaire, deuxième variable linéaire) est utilisé par tous les physiciens[2], ceci étant dû à l'origine à l'utilisation de la notation bra-ket (peut-être pas universel), mais le choix opposé est courant en mathématiques[3] depuis les années 1950.

Une application f : E × F → ℂ est une forme sesquilinéaire (à gauche) si :

a) Elle est linéaire à droite : pour tout x de E, y, y' de F, pour tout λ de ℂ :
f(x,y+\lambda y') = f(x,y) + \lambda f(x,y')\,
b) Elle est semi-linéaire à gauche, ce qui signifie que pour tout x, x' de E et y de F, pour tout λ de ℂ :
f(x+ \lambda x',y) = f(x,y) + \overline{\lambda} f(x',y).

Les formes sesquilinéaires (à gauche) constituent un sous-espace vectoriel complexe de l'espace des applications de E × F dans ℂ.

Formes hermitiennes[modifier | modifier le code]

Forme hermitienne à gauche (resp. à droite) : c'est une forme sesquilinéaire à gauche (resp. à droite, suivant la convention choisie) sur E × E qui vérifie la propriété de symétrie hermitienne :

c) Pour tous x et y de E, f(y,x) = \overline{f(x,y)}
En particulier : f(x,x) = \overline{f(x,x)}, donc f(x,x) est un réel.
Réciproquement, une forme sesquilinéaire f pour laquelle f(x, x) est réel pour tout vecteur x est nécessairement hermitienne[4].

Les formes hermitiennes (à gauche) constituent un espace vectoriel réel.

Forme hermitienne positive : c'est une forme hermitienne telle que :

d) pour tout x de E, f(x,x) \ge 0

Forme hermitienne définie : c'est une forme hermitienne telle que

e) pour tout x de E, f(x,x) = 0\, implique x = 0\,

Forme hermitienne non dégénérée : c'est une forme hermitienne telle que :

f) pour tout x de E, si pour tout y de E, f(x,y)=0\,, alors x = 0\,

Toute forme hermitienne définie est donc non dégénérée. Pour une forme hermitienne positive, la réciproque est vraie grâce à l'inégalité de Cauchy-Schwarz : toute forme hermitienne positive non dégénérée est définie.

Une forme hermitienne définie positive (ou positive non dégénérée) est encore appelée produit scalaire (sous-entendu au sens complexe).

Exemples[modifier | modifier le code]

  • En dimension finie, on prouve que les seules formes sesquilinéaires à gauche sont les applications définies dans une base par :
    f(x,y) =^t \overline X AY
    X et Y sont les vecteurs colonnes, coordonnées de x et y dans la base (e_1, ..., e_n), et où A est la matrice définie par a_{i,j} = f(e_i,e_j)\,.
    L'espace vectoriel complexe des formes sesquilinéaires (à gauche) sur un espace vectoriel de dimension n est donc isomorphe à l'espace vectoriel des matrices carrées n×n. Les formes sesquilinéaires hermitiennes correspondent aux matrices A telles que tA = A.
  • Soit B un ensemble non vide et ℂB le ℂ-espace vectoriel des applications de B dans ℂ, et soient a et b deux éléments de B. La forme f _{a,b} définie par f_{a,b}(x,y) =\overline{ x(a)}y(b) est une forme sesquilinéaire (à gauche) à symétrie hermitienne.

Généralisations[modifier | modifier le code]

Forme sesquilinéaire à valeurs dans un corps quelconque[modifier | modifier le code]

Soit K un corps et σ un automorphisme d'ordre 2 (c'est-à-dire involutif) et V un espace vectoriel sur le corps K. Une forme sesquilinéaire à droite est une application h : V × VK telle que :

  1. \forall u, v, w \in V \quad h(u+v,w) = h(u,w) + h(v,w)
  2. \forall u, v, w \in V \quad h(u,v+w) =  h(u,v) + h(u,w)
  3. \forall \alpha \in K\quad \forall u,v \in V \quad h(\alpha u, v) = \alpha h(u,v)
  4. \forall \alpha \in \quad \forall u,v \in V \quad h(u,\alpha  v) = \sigma(\alpha) h(u,v).

Autrement dit, h est linéaire à gauche et semi-linéaire à droite.

Si de plus la forme vérifie la propriété suivante, dite de symétrie hermitienne :  \forall u,v \in V \quad h(v, u) = \sigma( h(u,v)) la forme sesquilinéaire est une forme hermitienne et les condition 2) et 4) sont automatiquement réalisées dès que les conditions 1) et 3) le sont.

Forme sesquilinéaire à valeurs dans un anneau[modifier | modifier le code]

Soient A un anneau non nécessairement commutatif et U et V deux A-modules à gauche. On considère un antiautomorphisme σ sur A, c'est-à-dire une bijection sur A, vérifiant, pour tous α et β de A, σ(α + β) = σ(α) + σ(β) et σ(αβ) = σ(β)σ(α).

Une forme sesquilinéaire à droite sur U × V est une application h de U × V dans A, linéaire à gauche et semi-linéaire à droite, c'est-à-dire vérifiant[5] :

  1. \forall u, v\in U, \quad \forall w \in V \quad h(u+v,w) = h(u,w) + h(v,w)
  2. \forall u \in U, \quad \forall v, w \in V \quad h(u,v+w) =  h(u,v) + h(u,w)
  3. \forall \alpha \in A\quad \forall u \in U \quad \forall v \in V \quad h(\alpha u, v) = \alpha h(u,v)
  4. \forall \alpha \in A\quad \forall u \in U \quad \forall v \in V \quad h(u,\alpha  v) = h(u,v)\sigma(\alpha).

Notes et références[modifier | modifier le code]

  1. N. Bourbaki, Algèbre, II, p. 32.
  2. C'est aussi le choix des programmes officiels d'enseignement en France.
  3. Bourbaki qui a introduit le terme « applications sesquilinéaires » dans Algèbre, chap. IX, p. 10 parle de forme sesquilinéaire à droite et dans EVT, chap. V, p. 1 choisit ses formes hermitiennes sesquilinéaires à gauche.
  4. N. Bourbaki, EVT, chap. V, p. 2, remarque.
  5. N. Bourbaki, Algèbre, chap. 9, Springer, 2007, p. 10, 18 et 19.

Article connexe[modifier | modifier le code]

Identité de polarisation