Salut,
J'ai besoin de montrer que l'application f : vect(X,X²,...X^(n+1)) -> lRn[X], qui dérive les polynômes est un isomorphisme. J'avais pensé à montrer que c'est linéaire et injectif, et pour l'injectivité il aurait suffit de prouver que Ker f={0}. Mais je bloque un peu...
De la même façon je bloque pour montrer que g : lRn[X] -> lRn[X] et P -> ((X-a)P)' est un automorphisme, avec l'injectivité...
-----