Bibm@th

Forum de mathématiques - Bibm@th.net

Bienvenue dans les forums du site BibM@th, des forums où on dit Bonjour (Bonsoir), Merci, S'il vous plaît...

Vous n'êtes pas identifié(e).

#1 28-01-2015 12:17:45

jimijims
Membre
Inscription : 04-12-2013
Messages : 30

Dualité

Bonjour,

Je commence à comprendre comment déterminer une base duale, antéduale... lorsque nous sommes dans un cas [tex]\K^n[/tex], et dont on connait une valeur fixé de [tex]n[/tex]. Par contre, lorsqu'on me pose la même question avec [tex]n \in \mathbb{N}[/tex] rien ne va plus...
Par exemple :

Soit [tex]E = K_{n - 1}[X][/tex], on définit [tex]\Delta P : E \rightarrow E[/tex] par [tex]\Delta P = P(X+1)-P(X)[/tex], et pour [tex]k \in \{0, \cdots, n - 1\}[/tex] une forme linéaire [tex]\phi_k \in E^*[/tex] par [tex]\phi_k(P) = (\Delta^k(P))(0)[/tex].
1) Montrer que [tex](\phi_0, \cdots, \phi_{n -1})[/tex] est une base de [tex]E^*[/tex].
2) Trouver la base de E dont ([tex]\phi_0, \cdots, \phi_{n - 1})[/tex] est la base duale.

1) dim[tex]E[/tex] = dim[tex]E^*[/tex] = dim[tex](\phi_0, \cdots, \phi_{n - 1})[/tex] donc il suffit de montrer que [tex](\phi_0, \cdots, \phi_{n-1})[/tex] est libre.
[tex]\forall a_i, i = \{0, \cdots, n-1\}[/tex] : [tex]a_0\phi_0(P) + \cdots + a_{n - 1}\phi_{n - 1}(P) = 0[/tex].
Or, un polynôme est nul si tous ses coefficients sont nuls donc si [tex]a_0 = \cdots = a_{n - 1} = 0[/tex].
donc [tex](\phi_0, \cdots, \phi_{n - 1})[/tex] est libre et est donc une base de [tex]E^*[/tex].

2) Là je suis bloqué...
Si [tex]n[/tex] est fixé, je sais comment faire : par exemple, si [tex]n = 2[/tex], je chercherai la matrice de passage [tex]P[/tex] de la base canonique à [tex](\phi_0, \phi_1, \phi_2)[/tex], puis je calculerai [tex]{}^tP^{-1}[/tex] et je prendrais les lignes de cette matrice, mais ici aucune idée...

Merci d'avance pour l'aide qui sera apporté, désolé de poser tant de questions en ce moment sur le forum...

Hors ligne

#2 28-01-2015 12:24:33

Fred
Administrateur
Inscription : 26-09-2005
Messages : 7 049

Re : Dualité

Salut,

  Avant de résoudre la question 2., je voudrais être sûr que tu as compris la question 1.
Je ne comprends pas ta phrase :
"Or, un polynôme est nul si tous ses coefficients sont nuls donc si a0=⋯=an−1=0 .".
Dans ce cas, quel est le polynôme et quels sont ses coefficients?

F.

Hors ligne

#3 28-01-2015 12:35:09

jimijims
Membre
Inscription : 04-12-2013
Messages : 30

Re : Dualité

[tex]a_0\phi_0(P) + \cdots + a_{n-1}\phi_{n - 1}(P)[/tex] est le polynôme de coefficients [tex]a_0, \cdots, a_{n - 1}[/tex] ?

Hors ligne

#4 28-01-2015 13:40:06

Fred
Administrateur
Inscription : 26-09-2005
Messages : 7 049

Re : Dualité

Ca voudrait dire que [tex]\phi_0(P)=1[/tex], que [tex]\phi_1(P)=X[/tex] etc... pour tout polynôme P. En es-tu vraiment sûr?

Hors ligne

#5 28-01-2015 13:46:26

jimijims
Membre
Inscription : 04-12-2013
Messages : 30

Re : Dualité

Non, [tex]\phi_0(P) = 1, \phi_1(P) = P(1) - P(0), \phi_2(P) = (P(1)-P(0))^2...[/tex]

Hors ligne

#6 28-01-2015 14:33:17

Fred
Administrateur
Inscription : 26-09-2005
Messages : 7 049

Re : Dualité

Donc ton raisonnement avec les coefficients de polynômes n'a aucun sens.
D'autre part, ta formule pour [tex]\phi_2(P)[/tex] est fausse. Tu confonds puissance et composition...

F.

Hors ligne

#7 31-01-2015 18:27:36

jimijims
Membre
Inscription : 04-12-2013
Messages : 30

Re : Dualité

Bonjour,

Merci, je vais retravailler cela demain :)

Hors ligne

Réponse rapide

Veuillez composer votre message et l'envoyer
Nom (obligatoire)

E-mail (obligatoire)

Message (obligatoire)

Programme anti-spam : Afin de lutter contre le spam, nous vous demandons de bien vouloir répondre à la question suivante. Après inscription sur le site, vous n'aurez plus à répondre à ces questions.

Quel est le résultat de l'opération suivante (donner le résultat en chiffres)?
quatre-vingt onze moins neuf
Système anti-bot

Faites glisser le curseur de gauche à droite pour activer le bouton de confirmation.

Attention : Vous devez activer Javascript dans votre navigateur pour utiliser le système anti-bot.

Pied de page des forums