Dualit e - Chapitre I Les bases

I - 1 - Introduction
I - 1 - 1. Pr erequis
L etude de la dualit e n ecessite quelques connaissances pr ealables. La structure de K-espace vectoriel (en abr eg e K-ev). La notion de sous-espace vectoriel (en abr eg e sev). Les familles li ees, libres, g en eratrices, les bases, les dimensions, en particulier le corps de base K peut etre vu comme un K-ev de dimension 1 dont la base canonique est BK = (1K ) o` u 1K est le neutre multiplicatif de K. La notion application lin eaire dun K-ev E vers un K-ev F, son noyau, son image. En dimensions nies, la formule dim(E) = dim(Ker(f)) + dim(Im(f)) Le K-ev L(E,F) des applications lin eaires de E vers F. En dimensions nies, la matrice dune application lin eaire. En dimensions nies, la formule : dim[L(E,F)] = dim(E) dim(F) Le symbole de Kronecker : ij = 1 si i = j et ij = 0 si i j.

I - 1 - 2. Les polyn omes de Lagrange

Il sera int eressant de conna tre ces polyn omes pour certaines questions ult erieures. Pour n 1, consid erons n el ements distincts de K : a1 , a2 , ... , an . Cherchons les n polyn omes L1 , L2 , ... , Ln de degr e commun n-1, d enis de la mani` ere suivante. Pour chaque i, 1 i n, le polyn ome Li a pour racines a1 , ... , ai-1 , ai+1 , ... , an et prend la valeur 1 en ai . Remarquons que ces conditions se r esument en :

Li (aj ) = ij pour tout couple (i,j). De par ses racines : Li (X) = k.(X - a1 ) ... (X - ai-1 )(X - ai+1 ) ... (X - an ). Dautre part, la condition Li (ai ) = 1 fournit la valeur de k : k ai a1 ai a2 ...ai a1 i1 ai ai1 ...ai an

D enition I - 1
Soient a1 , ... , an n scalaires distincts, n 2. On appelle polyn omes de Lagrange associ es ` a ces n scalaires, les n polyn omes L1 , L2 , ... , Ln d enis par : pour tout couple (i,j), Li (aj ) = ij . n X aj X a1 ...X ai1 X ai1 ...X an Alors : Li X ai aj ai a1 ...ai ai1 ai ai1 ...ai an j 1,j i Il est assez simple de prouver que la famille (L1 , ... , Ln ) est une base de Kn-1 [X].

I - 1 - 3. Exemples pr eliminaires
Ex I - 1. E est le R-ev R3 , a, b, c trois r eels donn es. Consid erons lapplication u : u:E R d enie par u((x,y,z)) = ax + by + cz Ex I - 2. E est le C-ev des applications continues de [0,1] dans C. Consid erons lapplication v :
1
0

v:E

C d enie par v(f) =

f tdt

Ex I - 3. E = R[X] est le R-ev des polyn omes, soit a un el ement x e de R. Consid erons lapplication w : 1 (k) P (a) w:E R d enie par w(P) = k ! 0, BE = (e1 , ... , en ) une base de E. Alors, tout el ement x de E Ex I - 4. E un K-ev de dimension n poss` ede un unique n-uplet de coordonn ees sur BE : (x1 , ... , xn ) tel que : x
n

xi ei

Pour tout j compris entre 1 et n, consid erons lapplication pj : Fiche issue de http://www.ilemaths.net 1

i 1

pj : E

K d enie par pj (x) = xj = coordonn ee n j de x. pj sappelle la j-` eme projection par rapport ` a BE .

R une application di erentiable en a. La di erentielle Ex I - 5. U un ouvert de Rn , a un point de U, f : U de f en a est lapplication da f : Rn R d enie par : n f da f h1 , ..., hn a.hi x i i 1 Ces cinq exemples emprunt es ` a des domaines tr` es vari es des math ematiques ont un point commun : les applications introduites sont lin eaires de E vers K, K etant consid er e comme un K-ev. On constate donc lomnipr esence de telles applications en math ematiques.

I - 2. Les grandes d enitions

D enition I - 2

I - 2 - 1. Formes lin eaires, espace dual, espace bidual

Soit E un K-ev. On appelle forme lin eaire sur E toute application lin eaire de E dans K. Le K-ev L(E,K) de ces formes lin eaires est appel e lespace dual de E. On le note E*. Comme E* = L(E,K) est aussi un K-ev, on peut alors consid erer le K-ev L(E*,K) des formes lin eaires de E* vers K. Ce sera lespace des formes lin eaires de E* vers K, donc lespace dual de E*. On lappelle le bidual de E et on le note E**. Supposons E de dimension nie. Comme dim(K) = 1, en utilisant le r esultat : dim[L(E,F)] = dim(E) dim(F) on obtient dim(E*) = dim(E**) = dim(E).

Th eor` eme I - 1
Si E est un K-ev de dimension nie, alors dim(E) = dim(E*) = dim(E**).

I - 2 - 2. Remarques
En dimension nie, cette egalit e entre dim(E), dim(E*) et dim(E**) est remarquable. Par contre si dim(E) nest pas nie, la situation nest pas aussi simple. Prenons un exemple. Ex I - 6. Soit E = R[X]. Pour chaque r eel a, consid erons lapplication f (a) : E R d enie par f(a)(P) = P(a). On v erie que, pour tout r eel a, f(a) est une forme lin eaire sur E. En eet, pour P et Q quelconques dans E, et u et v quelconques dans R : f(a)(uP + vQ) = (uP + vQ)(a) = uP(a) + vQ(a) = uf(a)(P) + vf(a)(Q). Etudions la famille (f(a))a R . On sait quune telle famille est libre ssi toute sous-famille nie est libre. Prenons donc n r eels distincts : a1 , ... , an et etudions la famille (f(a1 ) , ... , f(an )) dans E*. Pour cela nous allons r esoudre l equation :
n

ui f ai

O dans laquelle les ui sont n r eels inconnus et O* la forme lin eaire

n i 1

i 1

nulle. Alors, pour tout polyn ome P, on peut ecrire :

ui f ai

n i 1

ui P ai

Cette derni` ere formule est v eri ee en particulier pour les polyn omes de Lagrange L1 , ... , Ln associ es aux ai . Cela donne, pour tout j tel que 1 j n :
n

ui Lj ai

i 1

Compte tenu de la formule Lj (ai ) = ij , il reste : pour tout j tel que 1 j n, uj = 0. Conclusion : la famille des formes lin eaires (f(ai ))1 i n est libre. Donc, la famille (f(a))a R est libre. Cela signie que lespace dual de R[X] contient une famille libre de cardinal celui de R, alors que R[X] poss` ede simplement une base d enombrable.

I - 2 - 3. Crochet de dualit e

Fiche issue de http://www.ilemaths.net

D enition I - 3
Soit E un Kev, E* son dual. Pour tout x dans E et toute u dans E*, on appelle crochet de dualit e de x et u l ecriture : = u(x) x,u

faut savoir revenir ` a u(x) chaque fois que lon doute du calcul. L ecriture u(x) = u,x pr eservant lordre est egalement utilis ee. Elle pr esente certains avantages dhomog en eit e dans les calculs, en particulier en calcul matriciel. Mais comme la tradition limpose je nutiliserai que la notation de la d enition I - 3. On rencontre egalement la notation y* (au lieu de u) pour d esigner un el ement de E* et la notation z** pour un el ement de E**. Alors x , y* = y*(x). Remarquons que E** etant le dual de E*, le crochet de dualit e peut aussi se d enir entre y* et z** : y* , z** = z**(y*). En reprenant lexemple I - 4, nous aurons, pour tout x dans E, x , pj = xj (coordonn ee n j de x). En particulier, en appliquant les projecteurs aux vecteurs de la base :

Cette ecriture est un moyen assez simple pour faire jouer un r ole ` a peu pr` es sym etrique entre E et E*. Il

Pour tout couple (i,j) dans 1,2,...,n2 ,

ei , pj

= ij

Consid erons lapplication F : E E* K d enie par F(x,u) = x , u . Soient a et b deux el ements de K, x et y deux el ements de E, u et v deux el ements de E*. Alors : F(ax+by,u) = ax+by , u = u(ax+by) = au(x) + bu(y) = a x , u + b y , u = aF(x,u) + bF(y,u).
x , au+bv = (au + bv)(x) = au(x) + bv(x) = a x , u F(x,au+bv) = bF(x,v). Cette lin earit e par rapport aux deux variables donne le r esultat suivant : +b x,v = aF(x,u) +

Lapplication F : E E* K d enie par F(x,u) = x,u est bilin eaire (lin eaire par rapport ` a chaque variable). Par abus de langage on dit que : le crochet de dualit e est bilin eaire.

Th eor` eme I - 2

I - 3. Etude en dimension nie

I - 3 - 1. Isomorphismes
On sait que deux K-ev E et F de dimensions nies sont isomorphes ssi dim(E) = dim(F). La situation la plus int eressante est lorsque lon peut construire entre E et F un isomorphisme ind ependant des bases. Un tel isomorphisme est dit canonique et dans ce cas E et F se ressemblent tellement que lon peut les confondre. Consid erons un K-ev E de dimension n 0. Comme dim(E*) = dim(E**) = n, les espaces E, E* et E** sont n ecessairement isomorphes. Cependant, on montre que E et E* ne sont jamais canoniquement isomorphes sauf dans quelques cas exceptionnels : dim(E) = 1 ou dim(E) = 2 et K = Z/2Z ou si E est euclidien. Par contre, occupons nous de E et de E**. Pour x dans E, consid erons lapplication fx : E* K d enie par fx (u) = u(x) = x , u . Par lin earit e du crochet suivant la variable u, on voit que fx est une forme lin eaire sur E*, donc, fx est el ement de E**. Nous disposons donc dune application T : E E** d enie par T(x) = fx . Remarquons que T poss` ede la propri et e suivante : pour tout u dans E*, T(x)(u) = fx (u) = u(x) = x , u . Lin earit e de T. Soient a et b quelconques dans K, x et y quelconques dans E. Pour toute forme lin eaire u dans E* on a : T(ax+by)(u) = ax+by , u = a x , u + b y , u (lin earit e du crochet de dualit e par rapport ` a la premi` ere variable) donc : T(ax+by)(u) = aT(x)(u) + bT(y)(u) = [aT(x) + bT(y)](u). Cette egalit e etant vraie pour tout u dans E*, cela donne : T(ax+by) = aT(x) + bT(y). Ceci montre que T est bien lin eaire. Fiche issue de http://www.ilemaths.net 3

 Injectivit e de T. x Ker(T) T(x) = O** (forme nulle du bidual). Ceci entraine que, pour tout el ement u dans E*, on aura alors : T(x)(u) = u(x) = 0 (dans K). En r esum e, si x appartient ` a Ker(T) il doit avoir une image nulle sur tous les el ements de E*. En particulier, en choisissant une base B de E et la famille j n. Donc, pour tout des projecteurs ( pj ) associ es (Ex I - 4), x doit annuler tous les projecteurs pj , 1 j, pj (x) = xj = 0. Toutes les coordonn ees de x sont nulles et nalement x = 0. Cons equence, Ker(T) = 0 et T est injective. Comme en plus, dim(E) = dim(E**), T sera aussi surjective. Finalement T est bien un isomorphisme canonique entre E et E** (le choix momentan e dune base B de E dans la preuve pr ec edente nest pas intervenu dans la construction de T).
Th eor` eme I - 3
Tout K-ev E de dimension nie est canoniquement isomorphe ` a son bidual E**. Lisomorphisme canonique T : E E** est d eni par :  u E*, T(x)(u) = u(x) = x , u . On peut egalement ecrire :

x E,  u E*,

u , T(x)

x,u

Comme nous le signalions, nous pouvons donc confondre E et E**. En fait, on identie x avec T(x) = x**. Au niveau du crochet de dualit e, cela revient ` a retourner l ecriture. En clair :

 y* E*, x** E** ,

I - 3 - 2. Bases duales D enition I - 4

y* , x**

x , y*

, avec x** = T(x) identi e` a x.

Soient E un K-ev de dimension n 0, E* son espace dual, BE = (e1 , ... , en ) une base de E et BE* = ( 1 , ... , n ) une base de E* (les j sont donc des formes lin eaires). On dit que ces deux bases sont duales si et seulement si : pour tout couple (i , j), 1 i , j n, j (ei ) = ei , j = ij . On dit aussi que BE * est la base duale de BE et que BE est la base pr eduale de BE* . Lorsque deux bases BE et BE* sont duales, on adopte tr` es souvent les notations suivantes. Pour indiquer que ces deux bases sont li ees, on pose : BE* = (BE )* et, pour tout j, 1 j n, j = ej *. Donc :

La base duale de BE = (e1 , ... , en ) sera not ee : (BE )* = (e1 *, ... , en *). Alors, la condition fondamentale, que nous appelerons (BD) pour bases duales, s ecrira :

(BD) : (i,j), 1

i,j

n, ej *(ei ) =

e i , ej *

= ij

Ne pas oublier que les ei * sont des formes lin eaires. Remarquer que lexemple Ex I - 4 nous assure lexistence de la base duale issue dune base BE de E. Les ej * sont simplement les projecteurs associ es ` a BE. Remarque importante. Dans Kn , la duale de la base canonique est la base canonique de (Kn )*.

I - 3 - 3. Int er et des bases duales

Supposons E muni dune base BE = (e1 , ... , en ) et son dual muni dune base BE * = (f1 , ... , fn ). Alors, Fiche issue de http://www.ilemaths.net 4

pour tout x dans E et tout u dans E*, on aura : x

n

xi ei

uj fj x,u ei , fj donnera par bilin earit e:

i 1 n n

j 1

Le calcul de u(x) = x, u xi uj
i 1j 1

Ce qui donne quand m eme n2 termes ! Par contre, si les deux bases sont duales, seuls les termes o` u i = j restent. Donc, on obtient le r esultat fondamental suivant : E et E* etant munis de leurs bases duales BE = (e1 , ... , en ) et (BE )* = (e1 * , ... , en *), si x E a ees u1 , ... , un sur (BE )* alors : pour coordonn ees x1 , ... , xn sur BE et si u E* a pour coordonn u(x) = x , u = u1 x1 + u2 x2 + ... + un xn , avec ui = ei , u et xi = x , ei * Cette formule ne contient plus que n termes. Remarque. La sym etrie entre ui = ei , u = u(ei ) et xi = x , ei * = ei *(x) est tr` es utile. Ces deux formules sont fondamentales pour trouver les coordonn ees de x sur BE ou de u sur (BE )*. Nous verrons plus loin quelques applications.

Th eor` eme I - 4

Th eor` eme I - 5
Si E et E* sont munis de bases duales BE = ( ei ) et (BE )* = (ei *), alors les coordonn ees de tout vecteur x de E sont donn ees par xi = ei *(x) = de toute forme lin eaire u de E* sont donn ees par ui = u(ei ) = ei , u . x , ei et les coordonn ees

I - 4. Etude matricielle

Soit u E*, cest une application lin eaire de E dans K. On peut donc chercher sa matrice M(u) en prenant une base de E : BE = (e1 , ... , en ) et la base canonique BK = (1) de K. Nous supposerons que, sauf exception, K sera toujours muni de cette base et nous ne le mentionnerons plus. Nous savons que les colonnes de M(u) seront les coordonn ees des u(ej ) sur BK . Comme u(ej ) = aj est un scalaire, M(u) aura la forme suivante :

I - 4 - 1. Matrice dune forme lin eaire

M(u) = Mat(u , BE , BK ) = Mat(u , BE ) = (a1 ... aj ... an ) : matrice uniligne.

Alors, si X

Matx, BE

x1 . . .

xi . . . xn

x, u

ux

M uX

a1 ... aj ... an

x1 . . . xi . . . xn

x,u

= u(x) =

n i 1

ai xi : on retrouve la formule obtenue par les bases duales.

I - 4 - 2. Les deux interpr etations matricielles dune forme lin eaire

Soit u un el ement de E*. Il convient de ne pas confondre les deux notions suivantes :

a) la forme lin eaire u consid er ee comme un vecteur de E*

Fiche issue de http://www.ilemaths.net

Si BE* = (f1 , ... , fn ) est une base de E*, alors, on aura : u

n j 1

uj fj

et on repr esente classiquement u sous forme dun vecteur colonne par rapport ` a BE * : u1 . . U M atu, BE
uj . .

un

b) la forme lin eaire u consid er ee comme une application lin eaire de E dans K
Dans ce cas, cest une base BE de E que lon choisit et nous avons vu que M(u) = Mat(u , BE ) est une matrice uniligne : M(u) = Mat(u , BE ) = (a1 ... aj ... an ). Nous voyons donc que les ecritures en colonne ou ligne sont di erentes, et en plus, les coordonn ees sont egalement distinctes. Cependant, si lon prend pour bases de E et de E*, deux bases duales, alors les coordonn ees seront les m emes puisque dans ce cas u(ej ) = aj = uj . Donc si U d esigne la matrice colonne des coordonn ees de u sur (BE )* et si M(u) d esigne la matrice de u sur BE alors M(u) = t U

Th eor` eme I - 6
Soit E un K-ev de dimension n 0. On suppose que E et E* sont munis de bases duales BE et (BE )*. Alors, pour toute forme lin eaire u, en appelant U la matrice colonne des coordonn ees de u sur (BE )* et M(u) = Mat(u , BE ) nous aurons : M(u) = t U. On retrouve alors : x,u = M(u).X = t U.X = u1 x1 + u2 x2 + ... + un xn .

I - 4 - 3. G en eralisation
A = (aij )

MK (p,q) et B = (bij ) MK (q,r), deux matrices. Consid erons leur produit A.B = (pij ) MK (p,r).

D esignons par L1 (A) , ... , Lp (A) les lignes de A et par C1 (B) , ... , Cr (B) les colonnes de B. Li (A) = (ai1 , ... , aiq ) peut etre vue comme la matrice dune forme lin eaire sur Kq muni de sa base canonique.

etre vue comme la matrice dun vecteur de Kq muni de sa base canonique. Cj (B) = . peut .

b1j .

bqj Alors : pij

aik bkj

Cj B , Li A

Cest l` a que la notation renvers ee du crochet de dualit e serait plus adapt ee ! On aurait en eet une formule eme la notation la plus r epandue. plus dans lordre : pij = Li (A) , Cj (B) . Gardons quand m A = (aij ) MK (p,q) , B = (bij ) MK (q,r) et A.B = (pij ) MK (p,r). Si lon d esigne par Cj (B) la colonne n j de B et par Li (A) la ligne n i de A, alors, le terme g en erique du produit A.B est donn e par la formule : pij = Li (A)[Cj (B)] = Cj (B) , Li (A) : image du vecteur colonne n j de B par la forme lin eaire ligne n i de A.

k 1

Th eor` eme I - 7

I - 4 - 4. Recherche de bases duales par les coordonn ees

Consid erons Kn muni de sa base canonique B et son dual (Kn )* muni de sa base canonique B*. On sait que B* est la duale de B, donc B* = (B)*. Lun des probl` emes les plus classiques est le suivant : etant donn ee une nouvelle base B de Kn , trouver sa duale (B)*. Cette autre base B = (e1 , ... , en ) de Kn , est le plus souvent donn ee par les coordonn ees des ej sur la base Fiche issue de http://www.ilemaths.net 6

canonique B. Appelons (p1j , ... , pnj ) les coordonn ees de ej sur B. Alors, comme dhabitude, les colonnes de la matrice de passage P de B ` a B seront ces coordonn ees, donc P = (pij ). Soit (B)* = (e1 * , ... , en *) la duale de B. Appelons Q = (qij ) la matrice de passage de (B)* ` a (B)*. La colonne n i de Q repr esente les coordonn ees de ei * sur (B)*. En transposant : la ligne n i de t Q est la ligne des coordonn ees de ei * sur (B)*. Posons t Q.P = (rij ) et appliquons maintenant le th eor` eme I - 7. rij = Cj (P) , Li (t Q) = ej , ei * = ij . Donc t Q.P = In . Ceci donne deux formules tr` es int eressantes, suivant que lon cherche la duale (B)* connaissant B ou que lon cherche la pr eduale B connaissant sa duale (B)* :

Th eor` eme I - 8
Soient B la base canonique de Kn , B = (e1 , ... , en ) une autre base de Kn , P la matrice de passage de B` a B. Soient (B)* et (B)* leurs bases duales dans (Kn )*, Q la matrice de passage de (B)* ` a (B)*. Alors : t Q.P = In . Donc, suivant la base cherch ee : Q = ( t P )-1 ou P = ( t Q )-1 .

I - 4 - 5. Exemple
Dans E = R3 , on donne : e1 = (1,0,1) ; e1 = (1,1,0) ; e3 = (0,1,1). Trouver la base duale (B)* de B = (e1 , e2 , e3 ). On v erie rapidement que B est bien une base de E. La matrice de passage de la base canonique B ` a B est : 1 1 0 P 0 1 1 1 0 1 On en d e duit facilement P-1 et t (P-1 ) : 1 1 1 1 1 1 1 P 1 2 1 1 1 1 1 1 t 1 1 1 P 1 1 2 1 1 1 -1 Il sut de lire lescolonnesde t (P-1 ) (ou les 1 mieux encore, lignes de P ) : 1 1 1 1 1 1 1 1 e1 * = 2 , 2 , 2 ; e2 * = 2 , 2 , 2 ; e3 * = 2 , 2 , 2 donne la base duale.

I - 5. Bases duales classiques

I - 5 - 1. R esum e
0, BE = (e1 , ... , en ) une base de E, BE * = (f1 , ... , fn ) une base de son dual E*. Ces deux bases sont duales ssi (i,j), ei , fj = ij . Dans ce cas, on pose BE * = (BE )* et fj = ej *. La condition (BD) est : ei , ej * = ij . De plus, pour tout x dans E, les coordonn ees de x sur BE sont les scalaires xi = x , ei * = ei *(x), et pour toute forme u dans E*, les coordonn ees de u sur (BE )* sont les scalaires ui = ei , u = u(ei ). Enn, x , u = u(x) = u1 x1 + u2 x2 + ... + un xn . Si E = Kn , la base canonique de E et la base canonique de E* sont duales.

E un K-ev de dimension n

I - 5 - 2. Bases de Lagrange
Soit E = Kn [X], n 0, le K-ev de dimension n+1 constitu e des polyn omes de degr e n et du polyn ome nul. Appelons a0 , a1 , ... , an n+1 el ements distincts de K (si K est ni, certaines restrictions sur n simposent). Consid erons alors les n+1 formes lin eaires f0 , f1 , ... , fn de E* d enies par : fj (P) = P(aj ). Dapr` es lexemple I - 6, nous savons que ces n+1 formes lin eaires sont ind ependantes. Comme dim E* = n+1, ces n+1 formes constituent une base (BE )* du dual. Cherchons sa pr eduale BE dans E. Pour cela revenons au paragraphe I - 1 - 2 et introduisons les n+1 polyn omes de Lagrange L0 , L1 , ... , Ln associ es ` a a0 , a1 , ... , an . Ces polyn omes sont tous de m eme degr e n, donc dans E. Par d enition, Li admet ai pour racine = ij . et sannule sur tous les autres aj . Donc : Li (aj ) = ij . Cette egalit e s ecrit aussi : fj (Li ) = Li , fj Cest la condition (BD).

Fiche issue de http://www.ilemaths.net

Th eor` eme I - 9
Soient a0 , a1 , ... , an , n+1 el ements distincts de K, n 1. Alors, les n+1 formes lin eaires f0 , f1 , ... , fn d enies sur Kn [X] par fi (P) = P(ai ) forment une base de (Kn [X])* : (BE )* = (f0 , f1 , ... , fn ). La pr eduale de cette base est : BE = (L0 , L1 , ... , Ln ) o` u les Li sont les polyn omes de Lagrange associ es ` a a0 , a1 , ... , an . Remarque 1 : Conform ement ` a ce qui a et e rappel e, les coordonn ees dun polyn ome P de Kn[X] sur cette base de Lagrange sont simples ` a trouver : ce sont les P , fi = P(ai ). Donc :

Pour tout P dans Kn [X], P(X) = P(a0 ).L0 (X) + P(a1 ).L1 (X) + ... + P(an ).Ln (X).

Remarque 2 : Soit f une fonction de R vers R dont on connait les valeurs en n+1 points distincts a0 , a1 , ... , an de son domaine de d enition. La fonction polyn omiale P de degr e n co ncidant avec f en ces n+1 points est donn ee par la formule : P(x) = f(a0 ).L0 (X) + f(a1 ).L1 (X) + ... + f(an ).Ln (X).

I - 5 - 3. La formule de Taylor
Prenons E = Kn [X]. On peut d enir sur E une d erivation formelle.

D enition I - 5
Soit P dans Kn[X]. On appelle polyn ome d eriv e de P(X) le polyn ome P (X) coecient du terme en Y dans le d eveloppement de P(X+Y) par rapport ` a lind etermin ee Y. Naturellement, cette d enition co ncide avec la d erivation d enie dans R ou C par les limites. Cette d enition it er ee permet de calculer les d eriv ees de tous ordres de P : P(X), ... P(k) (X), ... . Choisissons un el ement a de K et consid erons la famille BE = (p0 , p1 , ... , pn ) de E d enie par pi (X) = (X-a)i avec la convention p0 (X) = 1. Cette famille, echelonn ee par les degr es, est libre. Son cardinal co ncidant avec la dimension de E, BE est une base de E. Cherchons sa duale (BE )*. Pour cela, revenons ` a lexemple pr eliminaire I - 3 : consid` erons les n+1 formes lin eaires f d enies par : pour tout P dans E, P , fj = fj (P) 1 (j) = j P (a). ! 1 (j) Calculons pi , fj = j ! (pi ) (a). erivation etant strictement sup erieur au degr e, pi , fj = 0 - Si j i, lordre de d 1 (j) (p ) (a) = 0 et pi , fj = 0 - Si j i, (pi )(j) (X) contiendra encore le facteur (X-a), donc j i ! i (i) - Si j = i, alors, comme ( (X-a) ) = i !, nous aurons pi , fi = 1. Conclusion : on retrouve la condition (BD) : pi , fj = ij .

Th eor` eme I - 10
a un el ement de K. Pour n 0, on munit Kn [X] de la base BE = (p0 , p1 , ... , pn ), donn ee par pi (X) = (X-a)i . Alors, la base duale de BE est (BE )* = (f0 , f1 , ... , fn ) o` u fj est d enie par : pour tout P dans Kn[X], 1 (j) (P) (a). fj (P) = j ! Remarque : Soit P(X) un el ement quelconque de Kn [X]. Nous savons que ses coordonn ees sur BE sont donn ees par les 1 (j) (P) (a) . On en d e duit la d e composition de P(X) sur B qui est la formule de Taylor : P , fj = fj (P) = j E ! P(X) = P(a) + (P)(a).(X-a) + ... +
1 (j) j j ! (P) (a).(X-a)

+ ... +

1 (n) (a).(X-a)n . n! (P)

Fiche issue de http://www.ilemaths.net