Mannigfaltigkeit/Vektorbündel/R/Zusammenhang/Ableitung bezüglich Vektorfeld/Eigenschaften/Fakt
Es sei eine differenzierbare Mannigfaltigkeit und ein differenzierbares Vektorbündel auf , das mit einem Zusammenhang versehen sei. Es bezeichne
den zugehörigen Ableitungsoperator zu einem Vektorfeld . Dann gelten die folgenden Eigenschaften.
- hängt nur von (und ab).
- Es ist
für Vektorfelder und Funktionen .