« Polynôme/Dérivation formelle » : différence entre les versions

C'est une notion "formelle" et purement algébrique : bien que définie par analogie avec l'[[Fonctions d'une variable réelle/Dérivabilité|Analyseanalyse]], elle se définit ici sans référer à la notion de limite...<br />

On remarquera que, si <math>\mathbb K</math> est un corps fini, cette notion peut donner lieu à des "bizarreries" (surtout en référence à l'Analyseanalyse) : par exemple, si <math>\mathbb K = \mathbb Z / 3\mathbb Z</math> et <math>P = X^3 - 1</math> , alors <math>P' = 3X^2 = 0</math> mais <math>P</math> n'est pas constant !

On dispose d'une Formuleformule de Taylor-Young (comme en [[Fonctions d'une variable réelle/Développements limités|Analyseanalyse]] mais sans le "petit o") : <br />