Forme linéaire

Un article de Wikipédia, l'encyclopédie libre.

Cet article est une ébauche à compléter concernant les mathématiques, vous pouvez partager vos connaissances en le modifiant.

En algèbre linéaire, les formes linéaires désignent un type particulier d'applications linéaires. 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 la théorie des espaces de Hilbert.

Sommaire

1 Définition
- 1.1 Remarques
- 1.2 Exemples
2 Base duales et antéduales
3 Propriétés algébriques
4 Formes linéaires continues
5 Formes linéaires continues sur un espace de Hilbert

[modifier] Définition

En algèbre linéaire, une forme linéaire sur un espace vectoriel $\ E$ est une application linéaire définie sur $\ E$ et à valeurs dans son propre corps de base.

En d'autres termes, $\ E$ étant un $\mathbb K$ - espace vectoriel, on dit que l'application $\ \varphi$ de $\ E$ dans $\mathbb K$ est une forme linéaire si :

$\forall \,(x,y) \in E^2 \ \ \ \forall \, \lambda \in \mathbb K \ \ \ \varphi(\lambda \cdot x + y)=\lambda \cdot \varphi(x)+\varphi(y)$ .

[modifier] Remarques

L'ensemble des formes linéaires sur $\ E$ est lui-même un $\mathbb K$ - espace vectoriel. On l'appelle le dual de $\ E$ et il est noté $\ E^*$ .
L'application constante de valeur $\ 0_\mathbb K$ s'appelle la « forme linéaire nulle ».

[modifier] Exemples

$\varphi : \R^{2} \rightarrow \R$

$(x,y) \mapsto x+y$

est une forme linéaire sur $\R^{2}$

Si $L 1 (Ω)$ est le $\mathbb{C}$ -espace vectoriel des fonctions à valeurs complexes intégrables sur l'espace mesuré $Ω$ alors l'intégrale est une forme linéaire sur $L 1 (Ω)$ . Cela signifie que $\forall \,(f,g) \in (L^1(\Omega))^2 \ \ \ \forall \, \lambda \in \mathbb{C} \ \ \ \int(\lambda \cdot f + g)=\lambda \cdot \int f+\int g$

[modifier] Base duales et antéduales

L'ensemble des formes linéaires sur un espace vectoriel $\ E$ se note en général $\ E ^*$ et s'appelle l'espace vectoriel dual de $\ E$ , ou plus simplement son espace dual. Si $\ E$ est de dimension finie $\ n$ , il est remarquable que $\ E ^{*}$ soit aussi de dimension finie $\ n$ . En d'autres termes, on peut aussi dire qu'un espace de dimension finie est isomorphe à son dual. 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 $\ (e_1, ..., e_n)$ une base de $\ E$ , on définit sur celle-ci les formes linéaires notées $(e_1^*,...,e_n^*)$ par :

$\forall i,j \in \{1, ..., n \}, e_i^*(e_j)=\delta_{ij}$

(où $δ i j$ est le symbole de Kronecker, c'est-à-dire valant 1 si $i = j$ et 0 sinon). Ces formes linéaires sont aussi appelées les projections des coordonnées, l'image d'un vecteur $x$ par $e_i^*$ n'est autre que la i-ème coordonnée du vecteur $x$ dans la base $\ (e_1, ..., e_n)$ . Le résultat important est que la famille de formes linéaires $(e_1^*,...,e_n^*)$ forme une base de $E *$ ; on appelle aussi cette base la base duale de la base $\ (e_1, ..., e_n)$ .

Inversement, si on se donne une base $\ (f_1^*, ..., f_n^*)$ de $\ E^*$ , il existe une unique base $\ (f_1, ..., f_n)$ de $\ E$ telle que:

$\forall i,j \in \{1, ..., n \}, f_i^*(f_j)=\delta_{ij}$

La base $\ (f_1, ..., f_n)$ s'appelle la base antéduale de la base $\ (f_1^*, ..., f_n^*)$ .

[modifier] Propriétés algébriques

Si $\ \varphi$ est une forme linéaire non nulle, alors elle est surjective : $\ Im(\varphi)=\mathbb K$ , où $\ Im(\varphi)$ est l'image de $\ \varphi$ .
Si $\ \varphi$ est une forme linéaire non nulle, alors son noyau $Ker(\varphi)$ est un hyperplan de $\ E$ .

Réciproquement, si $\ H$ est un hyperplan de $\ E$ , il existe une forme linéaire $\ \varphi$ telle que $\ Ker(\varphi) = H$ ; cette forme linéaire (nécessairement non nulle) est unique, à un coefficient multiplicatif non nul près.

Enfin, une propriété importante est que deux formes linéaires ont le même noyau si et seulement si elles sont proportionnelles.

[modifier] Formes linéaires continues

Si on considère un espace vectoriel normé $\ E$ sur le corps $\mathbb{K}=\R$ ou $\mathbb{C}$ , alors on sait définir la notion de continuité de n'importe quelle application linéaire et en particulier, on dispose d'une notion de continuité pour les formes linéaires.

Si $\ E$ est un espace vectoriel normé et $\ \varphi$ est une forme linéaire continue alors elle est uniformément continue.

[modifier] Formes linéaires continues sur un espace de Hilbert

On suppose désormais que $E\,$ est un espace de Hilbert sur le corps $\mathbb{K}$ et on note $\langle\quad,\quad \rangle$ le produit scalaire sur cet espace vectoriel.

On démontre que les formes linéaires continues sur $E\,$ s'expriment alors toutes d'une manière simple en fonction du produit scalaire et plus précisément :

$\forall \varphi \in E^{*}, \exists! \ a_{\varphi} \in E, \forall x \in E, \varphi(x)= \, \langle x,a_{\varphi}\rangle$ .