Inscription / Connexion Nouveau Sujet
Niveau Master
Partager :

isomorphisme entre K[X]* et K^N

Posté par
anaelle215
28-09-11 à 17:13

Bonjour,
J'ai un petit problème : je dois montrer que K[X]* (le dual de l'espace vectoriel des polynomes) est isomorphe à K^N (l'espace des suites à coefficients dans K)
Je pensais trouver une application linéaire bijective entre ces deux espaces vectoriels afin de montrer l'isomorphisme, mais je ne trouve pas ... Quelqu'un aurait il un idée svp?
Merci beaucoup par avance =)

Posté par
lolo271
re : isomorphisme entre K[X]* et K^N 28-09-11 à 17:26

Bonjour,

J'essaierais de prouver que leur dimension est "le même infini" et donc ensuite on envoie une base sur une base.

Posté par
anaelle215
re : isomorphisme entre K[X]* et K^N 28-09-11 à 17:28

euh... je comprends pas trop... montrer que c'est le meme infini ?? C'est possible ??

Posté par
Marmelade
re : isomorphisme entre K[X]* et K^N 28-09-11 à 17:49

Salut!
CA revient a montrer que le dual de K^(N) (le K espace vaectoriel de base batie sur N) c'est K^N.
Ca vient des propriétés universelle de produit et somme directes.
Hom(K^(N),K)=Produit n dans N Hom(K,K)=Hom(K, K^N) et ce dernier module est ismorphe a K^N.

Posté par
anaelle215
re : isomorphisme entre K[X]* et K^N 28-09-11 à 18:02

Merci beaucoup pour ta réponse ! Par contre, je suis vraiment nulle en algèbre, si tu pouvais m'expliquer plus en détail ça serait hyper gentil =)

Posté par
Marmelade
re : isomorphisme entre K[X]* et K^N 28-09-11 à 18:05

Je redis la meme chose en "francais", se donner une forme linéaire de K[X] c'est se donner l'image de chaque vecteur d'une base, donc c'est se donner une suite d'elements de K, donc c'est se donner un element de K^N.

Posté par
anaelle215
re : isomorphisme entre K[X]* et K^N 28-09-11 à 18:07

Ahhh ok =)
Merci beaucoup, tu es d'une aide précieuse =)

Posté par
anaelle215
re : isomorphisme entre K[X]* et K^N 28-09-11 à 18:12

euh... par contre j'ai montré dans la question précédente que K[X]* n'admet pas de base dénombrable du coup la base ne peut pas être bâtie sur N, non ?

Posté par
Marmelade
re : isomorphisme entre K[X]* et K^N 28-09-11 à 18:17

C'est K[X] qui a une base denombrable, pas son dual.

Posté par
anaelle215
re : isomorphisme entre K[X]* et K^N 28-09-11 à 18:21

Ah oui ok, je comprends mieux merci



Vous devez être membre accéder à ce service...

Pas encore inscrit ?

1 compte par personne, multi-compte interdit !

Ou identifiez-vous :


Rester sur la page

Inscription gratuite

Fiches en rapport

parmi 1675 fiches de maths

Désolé, votre version d'Internet Explorer est plus que périmée ! Merci de le mettre à jour ou de télécharger Firefox ou Google Chrome pour utiliser le site. Votre ordinateur vous remerciera !