Espace bidual

Espace bidual
Page d'aide sur l'homonymie Pour les articles homonymes, voir Dualité (mathématiques) et Dualité.

Soit (E,+,.) un K-espace vectoriel, où K désigne un corps commutatif. On définit l'espace bidual de l'espace vectoriel E comme étant l'espace dual E * * de l'espace dual E * de E.

Il existe une application linéaire canonique i de E dans son bidual, associant à un vecteur x de E la forme linéaire x * * sur E * définie par x * * (h) = h(x) pour toute forme linéaire h sur E. En utilisant le lemme de Zorn, on démontre que cette application i est toujours injective. Lorsque l'espace vectoriel E est de dimension finie, i est un isomorphisme et le bidual est canoniquement isomorphe à l'espace vectoriel E ce qui permet en pratique de les identifier.

La construction de i est fonctorielle dans le sens suivant. Pour toute application linéaire f : E\to F, on a l'application duale f^{*}: F^*\to E^* et donc une application biduale f^{**}: E^{**}\to F^{**}. Alors les applications i_E : E\to E^{**} et i_F : F\to F^{**} vérifient iFf = f * * iE. Moralement, un isomorphisme fonctoriel est compatible avec toute opération linéaire. La fonctorialité est plus précise que la 'canonicité'. La fonctorialité pour les isomorphismes f signifie indépendance vis-à-vis du choix d'une base.

En dimension infinie, il est facile de montrer que i n'est jamais un isomorphisme. Le théorème d'Erdős-Kaplansky implique qu'il n'existe même aucun isomorphisme entre E est son bidual.

Toutefois, 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) ».


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Espace bidual de Wikipédia en français (auteurs)

Игры ⚽ Нужен реферат?

Regardez d'autres dictionnaires:

  • Espace Bidual — Soit (E,+,.) un K espace vectoriel, où K désigne un corps commutatif. On définit l espace bidual de l espace vectoriel E comme étant l espace dual E * * de l espace dual E * de E. Il existe une application linéaire canonique i de E dans son… …   Wikipédia en Français

  • Bidual — Espace bidual Soit (E,+,.) un K espace vectoriel, où K désigne un corps commutatif. On définit l espace bidual de l espace vectoriel E comme étant l espace dual E * * de l espace dual E * de E. Il existe une application linéaire canonique i de E… …   Wikipédia en Français

  • bidual — ● bidual nom masculin Bidual d un K espace vectoriel E, dual de E, E étant lui même le dual de E. ● bidual (expressions) nom masculin Bidual d un K espace vectoriel E, dual de E, E étant lui même le dual de E …   Encyclopédie Universelle

  • Espace Réflexif — En analyse fonctionnelle, un espace de Banach est dit réflexif s il satisfait une propriété concernant les espaces duaux. Ils possèdent en outre d intéressantes propriétés géométriques. Sommaire 1 Définition 2 Exemples 3 Propriétés …   Wikipédia en Français

  • Espace reflexif — Espace réflexif En analyse fonctionnelle, un espace de Banach est dit réflexif s il satisfait une propriété concernant les espaces duaux. Ils possèdent en outre d intéressantes propriétés géométriques. Sommaire 1 Définition 2 Exemples 3… …   Wikipédia en Français

  • Espace dual — Pour les articles homonymes, voir Dualité (mathématiques) et Dualité. En mathématiques, l espace dual d un espace vectoriel E est l ensemble des formes linéaires sur E. La structure d un espace et celle de son dual sont très liées. La fin de cet… …   Wikipédia en Français

  • Espace réflexif —  Ne doit pas être confondu avec Algèbre d opérateurs réflexive (en) En analyse fonctionnelle, un espace de Banach est dit réflexif s il est isomorphe à son bidual topologique. Les espaces réflexifs possèdent d intéressantes propriétés… …   Wikipédia en Français

  • Espace de suites ℓp — En mathématiques, l espace est un certain espace de suites à valeurs réelles ou complexes qui possède une structure d espace de Banach. Motivation Considérons l espace vectoriel réel , i.e. l espace des n uplets de nombres réels. La norme… …   Wikipédia en Français

  • Base duale — Pour les articles homonymes, voir Dualité (mathématiques) et Dualité. En algèbre linéaire, la base duale est une base de l espace dual d un espace vectoriel E de dimension finie, construite à partir d une base de E. Il est rappelé que l espace… …   Wikipédia en Français

  • Liste des articles de mathematiques — Projet:Mathématiques/Liste des articles de mathématiques Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou probabilités et statistiques via l un des trois bandeaux suivants  …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”