- Antiderivation
-
In verschiedenen Teilgebieten der Mathematik bezeichnet man Abbildungen als Derivationen, wenn sie die Leibnizregel erfüllen. Das Konzept der Derivationen ist eine Verallgemeinerung der aus der Schulmathematik bekannten Ableitung.
Inhaltsverzeichnis
Definition
Es sei R ein kommutativer Ring mit Eins, beispielsweise ein Körper wie
oder
. Weiter sei A eine assoziative R-Algebra und M ein A-A-Bimodul. Eine (R-lineare) Derivation von A mit Werten in M ist eine R-lineare Abbildung
, die
- D(a1a2) = D(a1)a2 + a1D(a2) für alle
erfüllt.
Wichtige Spezialfälle sind:
- A selbst ist auf kanonische Weise ein A-A-Bimodul.
- Ist A kommutativ, so ist jeder A-Modul auf kanonische Weise ein A-A-Bimodul.
Im Spezialfall M = A kann die definierende Gleichung direkt als Gleichung in A gelesen werden. Auf diese Weise kann der Begriff der A-wertigen Derivation auf nicht assoziative Algebren verallgemeinert werden.
Allgemeine Eigenschaften
- Ist A eine Algebra mit Einselement, so gilt D(r) = 0 für alle
.
- Der Kern einer Derivation ist eine Unteralgebra.
- Die Menge der Derivationen von A mit Werten in A bildet mit dem Kommutator eine Liealgebra: Sind D1 und D2 Derivationen, so auch
- Für ein Element
ist
, Db(a) = ba − ab, eine Derivation. Derivationen dieses Typs heißen innere Derivationen. Die Hochschild-Kohomologie H2(A,A) ist der Quotient des Moduls der Derivationen nach dem Untermodul der inneren Derivationen.
- Ist A kommutativ, so gilt D(an) = nan − 1D(a) für nichtnegative ganze Zahlen n.
Beispiele
- Für A = R[X] ist die formale Ableitung
-
- eine R-lineare Derivation von A mit Werten in A.
- Sei X eine Mannigfaltigkeit. Dann ist die Cartan-Ableitung eine
-lineare Derivation von
mit Werten im Raum A1(X) der 1-Formen auf X.
- Eine der Umformulierungen der Jacobi-Identität für Liealgebren besagt, dass die adjungierte Darstellung durch Derivationen operiert:
-
- [X,[A,B]] = [[X,A],B] + [A,[X,B]].
Derivationen und Kähler-Differentiale
Per definitionem werden R-lineare Derivationen einer kommutativen Algebra A durch den Modul ΩA / R der Kähler-Differentiale klassifiziert, d.h. es gibt eine natürliche Bijektion zwischen den R-linearen Derivationen von A mit Werten in einem A-Modul M und den A-linearen Abbildungen
. Jede Derivation
entsteht als Verkettung der universellen Derivation
mit einer A-linearen Abbildung
.
Antiderivationen
Definition
Ist A eine
- oder
-graduierte R-Algebra, so heißt eine R-lineare graduierte Abbildung
eine Antiderivation, wenn
für alle homogenen Elemente
gilt; dabei bezeichnet | a1 | den Grad von a1.
Beispiele
- Die äußere Ableitung von Differentialformen ist eine Antiderivation:
- D(a1a2) = D(a1)a2 + a1D(a2) für alle
Wikimedia Foundation.