Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur GraphSearch.
Concept
Espace vectoriel conjugué
Résumé
En algèbre linéaire, l'espace vectoriel conjugué d'un espace vectoriel complexe est un nouvel espace vectoriel obtenu en modifiant la définition du produit par les scalaires.
Soit un espace vectoriel sur le corps C des nombres complexes. On appelle espace vectoriel conjugué de , l'ensemble E muni de la même opération d'addition + et du produit par les scalaires défini par :
où désigne le conjugué du nombre complexe λ.
Le triplet est également un espace vectoriel complexe, appelé conjugué de et de même dimension sur C.
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 , il est pratique de désigner par l'espace vectoriel . On se convaincra sans mal que
On peut par ailleurs définir l'opération formelle de conjugaison qui associe à l'élément (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 peut alors être notée avec le même symbole « ∙ » (la nature des vecteurs indique alors l'opération à considérer). On a ainsi :
L'opération de conjugaison de E dans est l'exemple canonique d'application antilinéaire.
Toute application linéaire f : V → W induit une application linéaire conjuguée : → , définie par la formule :
De plus, la conjuguée de l'identité de V est l'identité de , et quelles que soient les applications linéaires f et g composables, on a :
Ainsi, la conjugaison (V ↦ , 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 (B, C) de (V, W), alors est représentée, dans les bases (, ), par la matrice conjuguée .
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 être défini comme une forme bilinéaire sur × E.
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.