ABSTRACT
PR6 The set *(M) of vector fields on M is a module on CO(M> defined by the following operations: - the addition:
*(M)x*(M) ~ *(M): (X,Y) ~ X +Y such that
VX,Y e *(M),Vg e C"'(M) : (X +Y)g =Xg+Yg , - the multiplication by a differentiable function:
C"'(M)x*(M) ~ *(M): (h,X) ~ hX such that
VX e *(M), Vg,h e C"'(M) : (hX)g = h Xg. Let us notice that the dot between function and vector is not denoted.