« Polynôme/Dérivation formelle » : différence entre les versions
Contenu supprimé Contenu ajouté
maintenance |
Aucun résumé des modifications |
||
Ligne 20 :
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é|Analyse]], 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'Analyse) : 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 Formule de Taylor-Young (comme en [[Fonctions d'une variable réelle/Développements limités|Analyse]] mais sans le "petit o") : <br/>
| |||