Espace bidual
![](http://upload.wikimedia.org/wikipedia/commons/thumb/5/53/Evariste_galois.jpg/27px-Evariste_galois.jpg)
Cet article est une ébauche concernant l’algèbre.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
![Page d’aide sur l’homonymie](http://upload.wikimedia.org/wikipedia/commons/thumb/a/a9/Logo_disambig.svg/20px-Logo_disambig.svg.png)
Pour les articles homonymes, voir Dualité (mathématiques) et Dualité.
![Si ce bandeau n'est plus pertinent, retirez-le. Cliquez ici pour en savoir plus.](http://upload.wikimedia.org/wikipedia/commons/thumb/3/38/Info_Simple.svg/12px-Info_Simple.svg.png)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/a/a1/2017-fr.wp-orange-source.svg/45px-2017-fr.wp-orange-source.svg.png)
Cet article ne cite pas suffisamment ses sources ().
Si vous disposez d'ouvrages ou d'articles de référence ou si vous connaissez des sites web de qualité traitant du thème abordé ici, merci de compléter l'article en donnant les références utiles à sa vérifiabilité et en les liant à la section « Notes et références ».
En pratique : Quelles sources sont attendues ? Comment ajouter mes sources ?
En mathématiques, et plus précisément en algèbre linéaire, on définit l'espace bidual[1] de l'espace vectoriel E comme étant l'espace dual E** de l'espace dual E* de E.
Application linéaire canonique
Dans la suite, on considère un espace vectoriel E sur un corps commutatif K.
Il existe une application linéaire canonique[2],[3] iE de E dans son bidual, associant à un vecteur x de E la forme linéaire sur E* définie par pour toute forme linéaire h sur E. Autrement dit :
En d'autres termes, l'application linéaire iE associe à tout vecteur x de E l'application x** dans E** qui évalue en x les formes linéaires sur E.
Dimension finie
Lorsque l'espace vectoriel E est de dimension finie, iE est un isomorphisme (voir Base duale) donc E est canoniquement isomorphe à son bidual, ce qui permet en pratique de les identifier[2],[4].
Dimension infinie
En dimension infinie, l'axiome du choix permet de montrer que cette application iE est injective[5], mais iE n'est jamais surjective. En effet, le théorème d'Erdős-Kaplansky implique que la dimension de E** est strictement supérieure à celle de E.
Construction fonctorielle
La construction de i est fonctorielle[réf. nécessaire] dans le sens suivant. La fonctorialité est plus précise que la « canonicité ». La fonctorialité pour les isomorphismes signifie l'indépendance vis-à-vis du choix d'une base.
Pour toute application linéaire , on a l'application duale et donc une application biduale . Alors les applications et vérifient . Moralement, un isomorphisme fonctoriel est compatible avec toute opération linéaire.
Lorsque E est un espace vectoriel topologique, on prendra garde à l'existence d'une autre notion de dualité (puis de bidualité), qui prend en compte la structure supplémentaire ; on se réfèrera à l'article Dual topologique, et plus spécifiquement à la section intitulée « Bidual (topologique) ».
Références
- ↑ Jean-Pierre Ramis, André Warusfel et al., Mathématiques - Tout-en-un pour la Licence 2, Dunod, , 3e éd. (lire en ligne), p. 98.
- ↑ a et b Ramis et Warusfel 2020, p. 101.
- ↑ Jean-Étienne Rombaldi, Mathématiques pour l'agrégation - Algèbre et géométrie, De Boeck Supérieur, , 2e éd. (lire en ligne), p. 445.
- ↑ M. Houimdi, Algèbre linéaire, algèbre bilinéaire : Cours et exercices corrigés, Ellipses, (lire en ligne), p. 148.
- ↑ C. Antonini, Algèbre - 2ème année Prépas scientifiques, De Boeck Supérieur, (lire en ligne), p. 183.
Portail de l’algèbre