Let $\mathrm{M}$ be a differential manifold with $\dim \mathrm{M} = n \in \mathbb{N}$ used throughout the section. Let $\mathrm{TM}$ and $\mathrm{T^*M}$ denote the tangent and cotangent bundle, $V$ and $V^*$ the fiber and dual fiber bundle and $\mathscr{B}$ the tensor fiber bundle.
> satisfying the following properties, if $f,g \in C^\infty(\mathrm{M})$, $\mathbf{v} \in \Gamma(\mathrm{TM})$ and $\mathbf{T}, \mathbf{S} \in \Gamma(\mathscr{B})$ then
From property 3 it becomes clear that $\nabla_\mathbf{v}$ is an analogue of a directional derivative. The linear connection can also be defined in terms of the cotangent bundle and the dual fiber bundle.
Note that the first (trivial) element in the notion of the section $\Gamma$ is omitted, generally it should be $\Gamma(\mathrm{M}, \mathrm{TM})$ as the elements of this set are maps from $\mathrm{M}$ to $\mathrm{TM}$.
> with formally $\mathbf{k}(\mathbf{\hat e}^j, \nabla_{\partial_k} \mathbf{e}_i) = \Gamma^j_{ik}$ the **linear connection symbols**, in this case $\nabla_{\partial_k} \mathbf{e}_i = \Gamma^j_{ik} \mathbf{e}_j$.
The covariant derivative can thus be seen as a linear connection for which only the basis is used of the tangent vector. The covariant derivative can also be applied on higher, mixed rank tensors $\mathbf{T} = T^{ij}_k \mathbf{e}_i \otimes \mathbf{e}_j \otimes \mathbf{\hat e}^k \in \Gamma(\mathscr{B})$ which obtains
with the dual linear connection symbols given by $\mathbf{k}(\nabla_{\partial_k} \mathbf{\hat e}^i, \mathbf{e}_j) = \hat \Gamma^j_{ik}$ with $\nabla_{\partial_k} \mathbf{\hat e}^i = \hat \Gamma^j_{ik} \mathbf{\hat e}^j$. We then have the following proposition such that we can simplify the above expression.
> *Proposition 1*: let $\Gamma^j_{ik}$ be the linear connection symbols of a covariant derivative and let $\hat \Gamma^j_{ik}$ be the dual linear connection symbols given by $\mathbf{k}(\nabla_{\partial_k} \mathbf{\hat e}^i, \mathbf{e}_j) = \hat \Gamma^j_{ik}$, then we have that
> *Definition 3*: let $\gamma: \mathscr{D}(\gamma) \to M: t \mapsto \gamma(t)$ be a smooth curve on the manifold parameterized by an open interval $\mathscr{D}(\gamma) \subset \mathbb{R}$ and let $\mathbf{v}: \mathscr{D}(\gamma) \to \mathrm{TM}: t \mapsto \mathbf{v}(t) = \mathbf{u} \circ \gamma(t)$ be a vector field defined along the curve with $\mathbf{u} \in \Gamma(\mathrm{TM})$, the **intrinsic derivative** of $\mathbf{v}$ is defined as
for all $t \in \mathscr{D}(\gamma)$. This notion of the intrinsic derivative can of course be extended to any tensor.
### Parallel transport
> *Definition 4*: let $\gamma: \mathscr{D}(\gamma) \to M: t \mapsto \gamma(t)$ be a smooth curve on the manifold parameterized by an open interval $\mathscr{D}(\gamma) \subset \mathbb{R}$ and let $\mathbf{v}: \mathbb{R} \to \mathrm{TM}: t \mapsto \mathbf{v}(t) = \mathbf{u} \circ \gamma(t)$ be a vector field defined along the curve with $\mathbf{u} \in \mathrm{TM}$, then **parallel transport** of $\mathbf{v}$ along the curve is defined as
Parallel transport implies the transport of a vector that is held constant along the path; constant direction and magnitude. It then follows that for $\dot \gamma = \dot \gamma^i \partial_i$ and $\mathbf{v} = v^i \partial_i$ parallel transport obtains
for all $t \in \mathscr{D}(\gamma)$. These equations can be solved for $\gamma$, obtaining the curve under which $\mathbf{v}$ stays constant.
If we let $\mathbf{v} = \dot \gamma^i \partial_i$ be the tangent vector along the curve then parallel transport of $\mathbf{v}$ preserves the tangent vector and we obtain the **geodesic equations** given by
One may interpret a geodesic as a generalization of the notion of a straight line or shortest path defined by $\gamma$. As follows from the following proposition.
> *Proposition 2*: let $\gamma: \mathscr{D}(\gamma) \to M: t \mapsto \gamma(t)$ be a smooth curve on the manifold parameterized by an open interval $\mathscr{D}(\gamma) \subset \mathbb{R}$ and let $\mathscr{L}$ be the Lagrangian defined by