Page d'accueil encyclopedie-enligne.com en page d'accueil
Liste Articles: [0-A] [A-C] [C-F] [F-J] [J-M] [M-P] [P-S] [S-Z] | Liste Catégories | Une page au hasard | Pages liées

Espace dual


L' espace dual d'un espace vectoriel E est l'ensemble des formes linéaires sur E. Il est en quelque sorte un "reflet" de E.

Sommaire

Définitions

Soit (K,+,x) un corps, E un K-espace vectoriel.

On appelle forme linéaire sur E toute application linéaire de E vers K, c'est-à-dire toute application f : E \rightarrow K \,\! telle que :

\forall (x,y) \in E^2 , \forall \lambda \in K , f(\lambda x + y) = \lambda f(x) + f(y) \,\!

L'ensemble des formes linéaires sur E est un K-espace vectoriel, dit espace dual de E ; il est noté E*.

Si f \,\! est un élément de E* et x \,\! un élément de E, on écrit parfois <f,x> \,\! pour f(x) \,\!. Cette notation est dite crochet de dualité.

Exemples

Cas d'un espace préhilbertien

Si l'espace vectoriel E est un espace préhilbertien, c'est-à-dire muni d'un produit scalaire, on a un moyen naturel de "plonger" E dans E*, c'est-à-dire d'associer à chaque élément de E un élément du dual, et ce de manière à former un isomorphisme : à chaque élément x \,\! de E on associe la forme linéaire f_x : E \rightarrow K, y \mapsto <x|y> \,\!. Alors l'application f : E \rightarrow E*, x \mapsto f_x \,\! est une application linéaire injective, donc l'espace E est isomorphe au sous-espace f(E) de E*.

Cas de la dimension finie

Si l'espace E est de dimension finie n \,\! on sait que l'espace dual E* est isomorphe à E, donc lui aussi de dimension n \,\!.

Si \mathcal{B} (e_i)_{i \in I} \,\!est une base, on peut définir les applications coordonnées : pour chaque i \in I \,\! l'application e_i^* \,\! et la i-ème coordonnée sur E dans la base \mathcal{B} \,\!.

Pour chaque x = \sum_{j \in I} x_j e_j \,\! on a e_i^*(x) = x_i \,\!. Alors \mathcal{B}^* = (e_i^*)_{i \in I} \,\! est une base de E* dite base duale de \mathcal{B} \,\!.

Voir aussi



This site support the Wikimedia Foundation. This Article originally from Wikipedia. All text is available under the terms of the GNU Free Documentation License Page HistoryOriginal ArticleWikipedia