Linearer Zusammenhang/Vertikale Ableitung/Längs Abbildung/Eigenschaften/Fakt/Beweis

Beweis

1. Klar.
2. Wir betrachten direkt die lokale Situation. Einen Basisschnitt ${}s_{\ell }$ längs ${}L$ kann man direkt als einen Basisschnitt über ${}M$ auffassen. Die relevanten Abbildungen sind

   $U'{\stackrel {\partial _{j}}{\longrightarrow }}TU'{\stackrel {T(\psi )}{\longrightarrow }}T(U){\stackrel {T(s_{\ell })}{\longrightarrow }}T(U\times \mathbb {R} ^{r}){\stackrel {\pi _{\text{vert}}}{\longrightarrow }}\mathbb {R} ^{r}.$

   Dabei ist

   ${}T(\psi )\circ \partial _{j}=\partial _{j}\psi =\sum _{i=1}^{n}{\left(\partial _{j}\psi _{i}\right)}\partial _{i}\,.$

   Für ${}Q\in U'$ ist somit unter Verwendung von Fakt

   ${}{\begin{aligned}{\left({\left(\psi ^{*}\nabla \right)}_{\partial _{j}}(s_{\ell })\right)}(Q)&={\left(\psi ^{*}\nabla \right)}_{\partial _{j}(Q)}(s_{\ell })(Q)\\&=\nabla _{{\left(T(\psi )\circ \partial _{j}\right)}(Q)}(s_{\ell })(\psi (Q))\\&=\nabla _{\sum _{i=1}^{n}{\left(\partial _{j}\psi _{i}\right)}(Q)\partial _{i}}(s_{\ell })(\psi (Q))\\&=\sum _{i=1}^{n}{\left(\partial _{j}\psi _{i}\right)}(Q)\nabla _{\partial _{i}}(s_{\ell })(\psi (Q))\\&=\sum _{i=1}^{n}{\left(\partial _{j}\psi _{i}\right)}(Q){\left(\sum _{k=1}^{r}\Gamma _{i\ell }^{k}(\psi (Q))s_{k}(\psi (Q))\right)}\\&=\sum _{k=1}^{r}{\left(\sum _{i=1}^{n}{\left(\partial _{j}\psi _{i}\right)}(Q)\Gamma _{i\ell }^{k}(\psi (Q))\right)}s_{k}(\psi (Q)).\end{aligned}}$

   Betrachten der ${}k$-ten Komponente liefert

   ${}{\tilde {\Gamma }}_{j\ell }^{k}(Q)=\sum _{i=1}^{n}\Gamma _{i\ell }^{k}(\psi (Q)){\left(\partial _{j}\psi _{i}\right)}(Q)\,.$

Zur bewiesenen Aussage