skip to main content
LOTERRE

LOTERRE

Search from vocabulary

Content language

| español français
Search help

Concept information

Preferred term

dérivation  

Definition(s)

  • En algèbre, le terme dérivation est employé dans divers contextes pour désigner une application vérifiant l'identité de Leibniz. Selon le contexte, il peut s'agir, entre autres, d'une application additive définie sur un anneau A à valeurs dans un A-module, ou bien d'un endomorphisme d'une algèbre unitaire sur un anneau unitaire.
    Cette notion est en particulier vérifiée par l'opérateur de dérivation d'une fonction (de variable réelle, par exemple); elle en est une généralisation utilisée en géométrie algébrique et en calcul différentiel sur les variétés (par exemple pour définir le crochet de Lie). Toute application de dérivation vérifie la formule de Leibniz : ∀(a, b) ∈ A × A , D(ab) = a ⋅ D(b) + D(a) ⋅ b
    (Wikipedia, L'Encylopédie Libre, https://fr.wikipedia.org/wiki/D%C3%A9rivation_(alg%C3%A8bre))

Broader concept(s)

In other languages

URI

http://data.loterre.fr/ark:/67375/PSR-W2L1F82K-Q

Download this concept:

RDF/XML TURTLE JSON-LD Created 8/23/23, last modified 8/23/23