Forme linéaire

application linéaire d'un espace vectoriel sur le corps sur lequel il est défini

En algèbre linéaire, une forme linéaire sur un espace vectoriel est une application linéaire de cet espace vers son corps de base. En dimension finie, elle peut être représentée par une matrice ligne qui permet d’associer à son noyau une équation cartésienne. Dans le cadre du calcul tensoriel, une forme linéaire est aussi appelée covecteur, en lien avec l’action différente des matrices de changement de base.

L’ensemble de ces formes linéaires constitue aussi un espace vectoriel appelé espace dual, qui peut éventuellement être restreint au dual topologique des formes linéaires continues si l’espace source est un espace vectoriel topologique. L'étude spécifique qu'on leur accorde est motivée par le fait qu'elles jouent un rôle primordial en mathématiques, et en analyse, par exemple dans la théorie des distributions, ou dans l'étude des espaces de Hilbert.

Définition

modifier

Soit E un espace vectoriel sur un corps commutatif K. Une forme linéaire[1] sur E (ou covecteur[2] de E) est une application φ de E dans K qui est linéaire, c'est-à-dire qui vérifie :

 

Exemples

modifier
  • L'application constante sur E de valeur 0K s'appelle la « forme linéaire nulle sur E ».
  • L'application
     
    est une forme linéaire sur ℝ2.
  • Plus généralement, les formes linéaires sur Kn sont les applications qui peuvent s'écrire sous la forme :
     
      sont les composantes du vecteur  . En particulier, les formes linéaires sur l'espace de matrices Mp,q(K) sont les applications qui peuvent s'écrire sous la forme φ(M) = Tr(MN), où Tr est l'application trace et N est une matrice fixée de Mq,p(K).
  • Sur l'espace des applications continues de [a, b] dans ℝ, l'intégration   est une forme linéaire[3].
  • Si L1(Ω) est le ℂ-espace vectoriel des fonctions à valeurs complexes qui sont intégrables sur l'espace mesuré Ω, alors l'intégrale est une forme linéaire sur L1(Ω). Cela signifie que
     
  • Toute évaluation d'une fonction. exemple : l'application qui à une fonction associe sa valeur en un point (φ(f)=f(2) par exemple) ou la valeur de sa dérivée en un point.
  • Toute combinaison des coordonnées du vecteur. Exemple : la fonction qui renvoie une coordonnée ou la trace d'une matrice.
  • La counité d’une coalgèbre est une forme linéaire.

Représentations matricielles

modifier

L'écriture ci-dessus des formes linéaires sur ℝn, où les composantes d'un vecteur étaient ses coordonnées dans la base canonique, peut s'interpréter comme un produit matriciel de la matrice ligne (a1an) par la matrice colonne représentant ce vecteur :

 

Plus généralement, si E est un K-espace vectoriel de dimension finie n, une base de E étant donnée, les n coordonnées dans cette base d'un vecteur   sont ordonnées sous forme de vecteur colonne :

 

Toute forme linéaire sur E est alors représentée par une matrice ligne à n composantes :

 

ce qui signifie que

 

Selon la convention de sommation d'Einstein, ce résultat peut se noter   et est un scalaire (en réalité une matrice (1, 1)).

Propriétés

modifier
  • Si φ est une forme linéaire non nulle, alors :
  • Réciproquement, tout hyperplan de E est le noyau d'au moins une forme linéaire (ipso facto non nulle).
  • Une forme est combinaison linéaire d'un ensemble fini de formes données si (et seulement si) son noyau contient l'intersection des leurs[4]. En particulier, deux formes non nulles sont proportionnelles si (et seulement si) elles ont pour noyau le même hyperplan.

Espace dual

modifier

L'ensemble des formes linéaires sur E est un sous-espace vectoriel de l'espace vectoriel KE des applications de E dans K. On l'appelle le dual de E et il est noté E* ou hom(E, K).

On note parfois   (où  ) pour  . Cette notation est appelée crochet de dualité.

Bases duale et antéduale

modifier

Si E est de dimension finie n, la représentation matricielle ci-dessus met en évidence que E* est aussi de dimension finie n donc isomorphe à E. Cependant, il n'y a pas d'isomorphisme canonique dans le sens où si E est quelconque, il est nécessaire de se donner une base arbitraire afin de pouvoir définir un isomorphisme le reliant à E*. Si   une base de E, on définit sur celle-ci les formes linéaires notées   par :

 

(où   est le symbole de Kronecker, c'est-à-dire valant 1 si   et 0 sinon).

Ces formes linéaires sont aussi appelées les projections des coordonnées, l'image d'un vecteur   par   n'est autre que la i-ème coordonnée du vecteur   dans la base  . Le résultat important est que la famille de formes linéaires   forme une base de E* ; on appelle aussi cette base la base duale de la base  .

Inversement, si l'on se donne une base   de E*, il existe une unique base   de E telle que :

 

La base   s'appelle la base antéduale de la base  .

Formes linéaires continues

modifier

Si l'on considère un espace vectoriel normé E sur le corps K = ℝ ou ℂ, alors on sait définir la notion de continuité de n'importe quelle application de E dans K ou même dans un autre espace vectoriel normé F. On démontre dans le § « Opérateur borné » de l'article sur les espaces vectoriels normés l'équivalence entre diverses caractérisations de la continuité d'une application linéaire (entre autres : elle est continue si et seulement si elle est bornée sur la boule unité). Si E est de dimension finie, toute application linéaire de E dans F est continue. Si E est de dimension quelconque mais si F = K, on dispose du critère suivant :

Une forme linéaire est continue si (et seulement si) son noyau est fermé[5].

(Alors que pour qu'une application linéaire de E dans un espace F de dimension infinie soit continue, cette condition — évidemment nécessaire — n'est pas suffisante.)

Les hyperplans fermés sont donc exactement les noyaux de formes linéaires continues non nulles. Les autres hyperplans (les noyaux de formes linéaires discontinues) sont denses.

Il est facile de trouver des exemples concrets de formes linéaires non continues (en), sur des espaces vectoriels normés non complets. Par exemple, sur l'espace des fonctions continues de [–1, 1] dans K et dérivables en 0, muni de la norme de la convergence uniforme, la forme linéaire ff'(0) n'est pas continue. En revanche, dans certains modèles de la théorie des ensembles sans axiome du choix, toute forme linéaire sur un espace de Banach est continue. Inversement, avec l'axiome du choix, on peut construire, sur tout espace vectoriel normé E de dimension infinie, une forme linéaire non continue : il suffit de choisir une suite de vecteurs unitaires en linéairement indépendants, de la compléter, par une famille (fi)iI, en une base de E, et de poser φ(en) = n et (par exemple) φ(fi) = 0.

Le sous-espace vectoriel de E* constitué des formes linéaires continues est appelé le dual topologique de E et noté E'.

Cas des espaces de Hilbert

modifier

On suppose ici que E est un espace de Hilbert (réel ou complexe), dont on note   le produit scalaire.

Le théorème de représentation de Riesz exprime toute forme linéaire continue sur E via le produit scalaire ; précisément :

 

Notes et références

modifier
  1. N. Bourbaki, Algèbre, p. A-II-40.
  2. Les termes forme linéaire et covecteurs sont cités dans l'exemple 3 page 189 de Roger Godement, Cours d'algèbre, 1966.
  3. Roger Godement, Cours d'Algèbre, p. 191, exemple 6.
  4. Voir la démonstration de Sylvie Benzoni-Gavage, Calcul différentiel et équations différentielles, Dunod, (lire en ligne), p. 79-80, ou celles de cet exercice corrigé, dans la leçon « Application linéaire » sur Wikiversité. ou de cet autre exercice corrigé, dans la leçon « Dualité » sur Wikiversité.
  5. Pour une démonstration, voir par exemple cet exercice corrigé de la leçon « Espaces vectoriels normés » sur Wikiversité.

Articles connexes

modifier