Espace vectoriel conjugué

Espace vectoriel conjugué
Page d'aide sur l'homonymie Pour les articles homonymes, voir Conjugaison (homonymie).

La conjugaison d'espaces vectoriels complexes permet d'obtenir de nouveaux espaces vectoriels en modifiant la définition du produit par les scalaires.

Sommaire

Définition

Soit (E,+,\cdot) un espace vectoriel sur le corps complexe \C. On appelle espace vectoriel conjugué de (E,+,\cdot), l'ensemble E muni de la même opération d'addition + et du produit par les scalaires \star défini par :

\star : (\lambda,u) \in \C \times E \mapsto \lambda \star u = \overline{\lambda} \cdot u

où \overline{\lambda} désigne le conjugué du nombre complexe λ.

Le triplet (E,+,\star) est également un espace vectoriel complexe, appelé conjugué de (E,+,\cdot) et de même dimension sur \C.

Notation

Comme il est usuel par abus de notation de désigner une structure mathématique par l'ensemble sous-jacent, si l'on retient la notation E comme raccourci de (E,+,\cdot), il est pratique de désigner par \overline E l'espace vectoriel (E,+,\star). On se convaincra sans mal que \overline{\overline{E}} = E.

On peut par ailleurs définir l'opération formelle de conjugaison qui associe à v \in E l'élément \overline v \in \overline E (en fait le même objet, mais envisagé comme membre d'un espace vectoriel différent). Par un abus supplémentaire de notation l'opération de produit par les scalaires dans \overline E peut alors également être notée avec le symbole "\cdot" (la nature des vecteurs indiquent alors l'opération à considérer). On a ainsi :

  • \forall (\lambda,v) \in \C \times E, \overline{\lambda \cdot v} = \overline \lambda \cdot \overline v
  • \forall v \in E, \overline{\overline v} = v

L'opération de conjugaison de E dans \overline E est l'exemple canonique d'application antilinéaire.

Application linéaire conjuguée

Toute application linéaire f:V→W induit une application linéaire conjuguée f:V→W, définie par la formule :

\overline f (\overline v) = \overline{\,f(v)\,}.

De plus, la conjuguée de l'identité de V est l'identité de V, et quelles que soient les applications linéaires f et g composables, on a :

\overline f\circ\overline g=\overline{f\circ g}.

Ainsi, la conjugaison (V↦V,f↦f) est un foncteur covariant, de la catégorie des espaces vectoriels complexes dans elle-même.

Si V et W sont de dimensions finies et si f est représentée par une matrice A dans un couple de bases \scriptstyle(\mathcal B,\mathcal C) de (V,W), alors f est représentée, dans les bases \scriptstyle(\overline{\mathcal B},\overline{\mathcal C}), par la matrice conjuguée A.

Produit hermitien

Un produit hermitien sur E, défini comme forme sesquilinéaire sur E, c'est-à-dire antilinéaire à gauche et linéaire à droite (ou inversement suivant les auteurs), peut également etre défini comme une forme bilinéaire sur \overline E \times E.

Si E est un espace de Hilbert, alors \overline E est canoniquement isomorphe à E' le dual topologique de E. Autrement dit pour tout \phi \in E', il existe un unique \overline u \in \overline E tel que :

(\bar u| v) = \langle \phi, v \rangle = \phi(v)

où (\cdot| \cdot) désigne le produit hermitien de E et \langle \cdot, \cdot \rangle le crochet de dualité.

Article connexe

Représentation conjuguée



Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Espace vectoriel conjugué de Wikipédia en français (auteurs)

Игры ⚽ Нужно решить контрольную?

Regardez d'autres dictionnaires:

  • Espace Euclidien — En mathématiques, un espace euclidien est un objet algébrique permettant de généraliser de façon naturelle la géométrie traditionnelle développée par Euclide, dans ses Éléments. Une géométrie de cette nature modélise, en physique classique, le… …   Wikipédia en Français

  • Espace euclidien (algèbre linéaire) — Espace euclidien En mathématiques, un espace euclidien est un objet algébrique permettant de généraliser de façon naturelle la géométrie traditionnelle développée par Euclide, dans ses Éléments. Une géométrie de cette nature modélise, en physique …   Wikipédia en Français

  • Espace Préhilbertien — En mathématiques, un espace préhilbertien est défini comme un espace vectoriel réel ou complexe muni d un produit scalaire. Cette notion généralise celles d espace euclidien ou hermitien, en omettant l hypothèse de la dimension finie. Le cas… …   Wikipédia en Français

  • Espace prehilbertien — Espace préhilbertien En mathématiques, un espace préhilbertien est défini comme un espace vectoriel réel ou complexe muni d un produit scalaire. Cette notion généralise celles d espace euclidien ou hermitien, en omettant l hypothèse de la… …   Wikipédia en Français

  • Espace euclidien — En mathématiques, un espace euclidien est un objet algébrique permettant de généraliser de façon naturelle la géométrie traditionnelle développée par Euclide, dans ses Éléments. Une géométrie de cette nature modélise, en physique classique, le… …   Wikipédia en Français

  • Espace préhilbertien — En mathématiques, un espace préhilbertien est défini comme un espace vectoriel réel ou complexe muni d un produit scalaire. Cette notion généralise celles d espace euclidien ou hermitien, en omettant l hypothèse de la dimension finie. Sommaire 1… …   Wikipédia en Français

  • Espace strictement convexe — En mathématiques, un espace strictement convexe est un espace normé dont la boule unité est strictement convexe dans le sens précisé ci dessous. Cette propriété de la norme est moins forte que celle possédée par la norme d un espace uniformément… …   Wikipédia en Français

  • Espace de Banach — En mathématiques, et plus particulièrement en analyse, on appelle espace de Banach un espace vectoriel normé sur un sous corps K de (en général, ou ), complet pour la distance issue de sa norme. Comme la topologie induite par sa distance est… …   Wikipédia en Français

  • Double produit vectoriel — Produit vectoriel Le produit vectoriel est une opération vectorielle effectuée dans les espaces euclidiens orientés de dimension trois[1]. Le formalisme utilisé actuellement est apparu en 1881 dans un manuel d analyse vectorielle écrit par Josiah …   Wikipédia en Français

  • Produit vectoriel — En mathématiques, et plus précisément en géométrie, le produit vectoriel est une opération vectorielle effectuée dans les espaces euclidiens orientés de dimension trois[1],[2]. Le formalisme utilisé actuellement est apparu en 1881 dans un manuel… …   Wikipédia en Français

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”