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 dual de E, noté $E *$ est l'espace des formes linéaires sur E. La réduction des formes quadratiques est un exemple dans lequel les bases duales peuvent intervenir. Elles interviennent aussi pour transporter des structures géométriques d'un espace vectoriel réel ou complexe sur son espace dual, ce qui intervient notamment en géométrie différentielle.

Sommaire

1 Définition
- 1.1 Base duale de la base duale
- 1.2 Changement de bases
2 Applications
- 2.1 Réduction de Gauss

Définition

Soit E un espace vectoriel sur un corps K de dimension finie n. Soit $\mathcal{B}=(e_1,\dots,e_n)$ une base de E (famille libre et génératrice). Comme $\mathcal{B}$ est une base, tout vecteur v de E s'écrit de manière unique comme une combinaison linéaire des vecteurs e_i :

$v=\sum_{i=1}^n e_i^*(v)e_i\, ,$

où $e_i^*(v)$ est un scalaire, un élément du corps K. L'application $v\mapsto e_i^*(v)$ est une forme linéaire sur E. L'application $e_i^*$ peut aussi étre définie comme l'unique forme linéaire sur E vérifiant, pour tout entiers j entre 1 et n, $e_i^*(e_j)=\delta_{ij}$ où $δ i j$ vaut 1 ou 0 suivant que i et j sont égaux ou non. La famille $(e_1^*,\dots,e_n^*)$ forme une base de l'espace dual $E *$ , appelée la base duale de $\mathcal{B}$ . De plus, toute forme linéaire u sur E s'écrit :

$u=\sum_{i=1}^n u(e_i)e_i^*$ (1).

Cette construction suffit à montrer qu'un espace vectoriel et son dual ont la même dimension.

Base duale de la base duale

Il existe une injection naturelle $\iota:E\rightarrow E^{**}$ de E dans le bidual de E (= dual du dual de E), donné par l'évaluation des formes linéaires en vecteurs :

ι(v)(λ) = λ(v)

Comme E, E^* et E^** ont même dimension, cette application linéaire injective est un isomorphisme. Une autre manière d'obtenir ce résultat est la suivante. Soit $(e_1^{**},\dots,e_n^{**})$ la base duale de $(e_1^*,\dots,e_n^*)$ . L'équation (1) se traduit par :

$\iota(e_i)=e_i^{**}$ .

On parle d'injection naturelle, à la suite de l'article fondateur de la théorie des catégories, « A general Theory of Natural Equivalences », de Samuel Eilenberg et Saunders MacLane (1945, p. 234) : les auteurs partent en effet du constat qu'il existe certes un isomorphisme entre un espace vectoriel et son espace dual, mais que cet isomorphisme ne peut être formulé indépendamment de la base particulière que l'on choisit ; tandis qu'il existe, entre un espace vectoriel et son espace bidual, un isomorphisme « naturel », dans le sens où il est indépendant de la base adoptée.

Changement de bases

Article détaillé : Matrice de passage.

Soit $\mathcal{B}'=(f_1,\dots,f_n)$ une seconde base de E, qui admet une base duale notée $(f_1^*,\dots,f_n^*)$ . La matrice de passage de $\mathcal{B}'$ à $\mathcal{B}$ est la matrice M donnée par les coefficients $M_{ij}=e_i^*(f_j)$ . L'équation (1) donne

$e_i^*=\sum_{j=1}^n e_i^*(f_j)f_j^*=\sum_{j=1}^nM_{ij}f_j^*$

L'application de M au n-uplet des coordonnées d'un vecteur v dans la base $\mathcal{B}'$ donne le n-uplet des coordonnées de v dans $\mathcal{B}$ . Explicitement,

$\sum_{j=1}^n \lambda_j f_j=\sum_{i=1}^n \left(\sum_{j=1}^n M_ij\lambda_j\right)e_i$ .

Si $M - 1 = (M i j)$ désigne l'inverse de la matrice M et ses coefficients, alors $M - 1$ est la matrice de passage de la base duale $(f_1^*,\dots,f_n^*)$ à $(e_1^*,\dots,e_n^*)$ , ce qui signifie

$f_j^*=\sum_{i=1}^n M^{ji}e_i^*$ .

Applications

Réduction de Gauss

Articles détaillés : Réduction de Gauss et Loi d'inertie de Sylvester.

Soit q une forme quadratique sur un espace vectoriel réel E. Alors il existe une base $(e_1,\dots,e_n)$ de E, telle que

$q=l_1^2+\dots+l_r^2-l_{r+1}^2-\dots-l_{r+s}^2$

où $(l_1,\dots,l_n)$ est la base duale de $(e_1,\dots,e_n)$ .

L'esapce vectoriel $\{l_i=0,\, i\leq r+s\}$ est le noyau de q. Les entiers r et s ne dépendent pas du choix de la base e, et le couple (r,s) s'appelle la signature de q.

Portail de la géométrie

v · d · m Algèbre linéaire générale
Vecteur • Scalaire • Combinaison linéaire • Espace vectoriel • Matrice
Famille de vecteurs	Famille génératrice • Famille libre (indépendance linéaire) • Base • Théorème de la base incomplète • Rang • Colinéarité
Sous-espace	Sous-espace vectoriel • Somme d'ensembles • Somme directe • Sous-espace supplémentaire • Dimension • Codimension • Droite • Plan • Hyperplan
Morphisme et notions relatives	Application linéaire • Noyau • Conoyau • Lemme des noyaux • Pseudo-inverse • Théorème de factorisation • Théorème du rang • Équation linéaire • Système d'équations linéaires • Élimination de Gauss-Jordan • Forme linéaire • Espace dual • Orthogonalité • Base duale • Endomorphisme linéaire • Valeur propre, vecteur propre et espace propre • Spectre • Projecteur • Symétrie • Matrice diagonalisable • Diagonalisation • Endomorphisme nilpotent
En dimension finie	Espace vectoriel de dimension finie • Trace • Déterminant • Polynôme caractéristique • Polynôme d'endomorphisme • Théorème de Cayley-Hamilton • Polynôme minimal d'un endomorphisme • Invariants de similitude • Réduction d'endomorphisme • Réduction de Jordan • Décomposition de Dunford • Décomposition de Frobenius
Enrichissements de structure	Norme • Produit scalaire • Forme quadratique • Espace vectoriel topologique • Orientation • Algèbre sur un corps • Algèbre de Lie • Complexe différentiel
Développements	Théorie des matrices • Représentation de groupe • Analyse fonctionnelle • Algèbre multilinéaire • Module sur un anneau

Catégorie :

Algèbre linéaire

Wikimedia Foundation. 2010.

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

Игры ⚽ Нужно решить контрольную?

Regardez d'autres dictionnaires:

Base (Algèbre Linéaire) — Pour les articles homonymes, voir Base. En mathématiques, et plus particulièrement en algèbre linéaire, une base d un espace vectoriel est une famille de vecteurs de cet espace telle que chaque vecteur de l espace puisse être exprimé de manière… … Wikipédia en Français
Base (algebre lineaire) — Base (algèbre linéaire) Pour les articles homonymes, voir Base. En mathématiques, et plus particulièrement en algèbre linéaire, une base d un espace vectoriel est une famille de vecteurs de cet espace telle que chaque vecteur de l espace puisse… … Wikipédia en Français
Base d'un espace — Base (algèbre linéaire) Pour les articles homonymes, voir Base. En mathématiques, et plus particulièrement en algèbre linéaire, une base d un espace vectoriel est une famille de vecteurs de cet espace telle que chaque vecteur de l espace puisse… … Wikipédia en Français
Base vectorielle — Base (algèbre linéaire) Pour les articles homonymes, voir Base. En mathématiques, et plus particulièrement en algèbre linéaire, une base d un espace vectoriel est une famille de vecteurs de cet espace telle que chaque vecteur de l espace puisse… … Wikipédia en Français
Base (algèbre linéaire) — Pour les articles homonymes, voir Base. En mathématiques, et plus particulièrement en algèbre linéaire, une base d un espace vectoriel est une famille de vecteurs de cet espace telle que chaque vecteur de l espace puisse être exprimé de manière… … Wikipédia en Français
Base orthonormale — Pour les articles homonymes, voir BON. En géométrie vectorielle, une base orthonormale, ou base orthonormée, (BON) d un espace euclidien ou hermitien est une base de cet espace vectoriel constituée de vecteurs de norme 1 et orthogonaux deux à… … Wikipédia en Français
Base propre — Valeur propre, vecteur propre et espace propre Fig. 1. Cette application linéaire déforme la statue de David. Les vecteurs bleus ont pour images les vecteurs verts. Ils gardent la même direction, ce sont des vecteurs propres. La valeur propre… … Wikipédia en Français
Base de Jordan — Réduction de Jordan Pour les articles homonymes, voir Jordan. La réduction de Jordan est la traduction matricielle de la réduction des endomorphismes introduite par Jordan. Cette réduction est tellement employée, en particulier en analyse pour la … Wikipédia en Français
Base réciproque — Espace réciproque En physique, on utilise souvent des espaces abstraits pour caractériser les phénomènes, ce sont des espaces des phases. Dans le cas des ondes, l espace des phases est l espace des vecteurs d onde. Une onde plane et… … Wikipédia en Français
Base (OpenOffice.org) — OpenOffice.org OpenOffice.org Version 3.0, Startbildschirm mit Auswahlmenü … Deutsch Wikipedia

Dictionnaires et Encyclopédies sur 'Academic'

Base duale

Sommaire