Tensor derivative
(Difference between revisions)
m |
|||
Line 6: | Line 6: | ||
$\nabla : \Gamma TM \times \Gamma\textup{Hom}(E,E') \to \Gamma\textup{Hom}(E,E')$ | $\nabla : \Gamma TM \times \Gamma\textup{Hom}(E,E') \to \Gamma\textup{Hom}(E,E')$ | ||
called the ''tensor derivative'' which is defined as follows: | called the ''tensor derivative'' which is defined as follows: | ||
− | + | \begin{equation} (\nabla_XT)s = \nabla_X(Ts) - T(\nabla_Xs) \end{equation} | |
for any $X \in \Gamma TM$ and $s\in \Gamma E$. | for any $X \in \Gamma TM$ and $s\in \Gamma E$. | ||
The definition is made such that the application of | The definition is made such that the application of | ||
tensors (sections in $\textup{Hom}(E,E')$) to sections in $E$ satisfies the Leibniz product rule: | tensors (sections in $\textup{Hom}(E,E')$) to sections in $E$ satisfies the Leibniz product rule: | ||
− | + | \begin{equation} \nabla_X(Ts) = (\nabla_XT)s + T(\nabla_Xs) \end{equation} | |
The corresponding [[Curvature tensor and second derivative|curvature tensors]] of the bundles $E$, $E'$ and $\textup{Hom}(E,E')$ are related similarly: | The corresponding [[Curvature tensor and second derivative|curvature tensors]] of the bundles $E$, $E'$ and $\textup{Hom}(E,E')$ are related similarly: | ||
− | + | \begin{equation} (R(X,Y)T)s = R(X,Y)Ts - T(R(X,Y)s) \end{equation} | |
for any $X,Y \in \Gamma TM$ and $s\in \Gamma E$. | for any $X,Y \in \Gamma TM$ and $s\in \Gamma E$. | ||
</wikitex> | </wikitex> | ||
− | |||
== References == | == References == | ||
{{#RefList:}} | {{#RefList:}} | ||
[[Category:Definitions]] | [[Category:Definitions]] | ||
+ | [[Category:Connections and curvature]] |
Revision as of 10:51, 15 May 2013
The user responsible for this page is Jost Eschenburg. No other user may edit this page at present. |
This page has not been refereed. The information given here might be incomplete or provisional. |
1 Definition
Tex syntax errorbe a smooth manifold and vector bundles over
Tex syntax error, both equipped with a covariant derivative .
Then the vector bundle of bundle homomorphisms (sometimes called tensors) inherits another covariant derivative called the tensor derivative which is defined as follows:
(1)
for any and . The definition is made such that the application of tensors (sections in ) to sections in satisfies the Leibniz product rule:
(2)
The corresponding curvature tensors of the bundles , and are related similarly:
(3)
for any and .