Ein linearer Differentialoperator d, der k-Formen auf (k+1)-Formen auf einer glatten Mannigfaltigkeit abbildet, graduiert antikommutativ bezüglich des Wedge-Produkts ist und d ∘ d = 0 erfüllt.

Prinzip

Er ist die eindeutige Antiderivation vom Grad 1 auf der äußeren Algebra der Differentialformen, die die Differentiale von Funktionen fortsetzt und quadratisch null ist; er kodiert infinitesimale Randdaten unabhängig von einer Verbindung.

Demonstration

Auf R^3 gilt für eine skalare Funktion f: df = ∂_x f dx + ∂_y f dy + ∂_z f dz; für eine 1‑Form α = P dx + Q dy + R dz ist dα = (∂_y R − ∂_z Q) dy∧dz + (∂_z P − ∂_x R) dz∧dx + (∂_x Q − ∂_y P) dx∧dy.

Fehlanwendung

d als komponentenweise partielle Ableitung zu behandeln, die beim Vertauschen von Formfaktoren kommutiert (den Wedge ignoriert), oder es auf beliebige Tensoren ohne Antisymmetrisierung anzuwenden, führt zu falschen Vorzeichen und Verlust der Koordinatenunabhängigkeit.

Konsequenz

Korrekt angewandt ergibt sich das de‑Rham‑Komplex ... → Ω^k →^d Ω^{k+1} → ..., dessen Kohomologiegruppen globale Hindernisse und konservierte Größen klassifizieren, unabhängig von lokalen Koordinaten.

Umkehrung

Das Innenprodukt (Kontraktion) mit einem Vektorfeld oder die Kodifferential δ senkt den Grad und kehrt die Richtung von d um; dies sind adjunkt‑ähnliche Operationen, keine Antiderivationen vom Grad 1.

Abgrenzung

Definiert auf Differentialformen glatter Mannigfaltigkeiten (oder passenden Distributionen); nicht direkt anwendbar auf beliebige multilineare Tensoren, es sei denn sie werden antisymmetrisiert zu Formen.

Semantische Spannung

Im Vergleich zur kovarianten Ableitung: Die äußere Ableitung ist unabhängig von Metrik und Verbindung und wirkt auf antisymmetrische Formen, während die kovariante Ableitung von einer gewählten Verbindung abhängt und beliebige Tensoren differenziert.

Synthese

Die äußere Ableitung ist die kanonische, koordinatenfreie Antiderivation, die den Formgrad um eins erhöht, quadratisch null ist und infinitesimale Rand‑/Flussrelationen bildet, Grundlage der de‑Rham‑Kohomologie.