There is no canonical way to derivate vector fields on a smooth manifold. Therefore, the connection is introduced as a new structure.

The main reason for that, is the \(C^\infty (M)\)-linearity of the first argument. This implies, that the covariant derivative of a smooth vector field \(Y\) into the direction of another vector field \(X\) only depends on its value in one point.

Links Link to heading