Forme sesquilinéaireEn 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. préfixe sesqui, qui signifie "dans un rapport de un et demi"). 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 conventionsForme semi-linéaireSoit 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 ℂ : où λ est le conjugué de λ. Une application (ou forme) semi-linéaire vérifie : ce qui justifie l'autre terme utilisé : application anti-linéaire. Formes sesquilinéairesLes 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. Soit E et F des espaces vectoriels complexes, une application f : E × F → ℂ est une forme sesquilinéaire à gauche si :
Les formes sesquilinéaires (à gauche) constituent un sous-espace vectoriel complexe de l'espace des applications de E × F dans ℂ. Une application f : E × F → ℂ est une forme sesquilinéaire à droite, si et seulement si, l'application g : F × E → ℂ, définie par g (x, y) = f (y, x) est sesquilinéaire à gauche. Formes hermitiennesUne forme hermitienne (ou sesquilinéaire hermitienne) à gauche (resp. à droite) sur un espace vectoriel complexe E 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 :
En particulier, pour tout vecteur x de E : , donc est un nombre réel. Réciproquement, une forme sesquilinéaire f , telle que f(x, x) est réel pour tout vecteur x, est hermitienne[4]. Les formes hermitiennes (à gauche) constituent un sous-espace vectoriel réel de l'espace des formes sesquilinéaires (à gauche). Formes hermitiennes positivesUne forme hermitienne positive est une forme sesquilinéaire telle que :
elle est alors hermitienne, d'après la caractérisation ci-dessus. Formes hermitiennes définies positives (produits scalaires)Une forme hermitienne définie est une forme hermitienne telle que
Une forme hermitienne non dégénérée est une forme hermitienne telle que :
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 hermitien. Exemples
GénéralisationsForme sesquilinéaire à valeurs dans un corps quelconqueSoit 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 × V → K telle que : 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 : la forme sesquilinéaire est une forme hermitienne et les conditions 2) et 4) sont automatiquement réalisées dès que les conditions 1) et 3) le sont. Forme sesquilinéaire à valeurs dans un anneauSoient 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] : Notes et références
Article connexe |