| http://www.w3.org/ns/prov#value | - We define the derivative of a vector field Z along the curve to be the quotient: Lim_ds->0 [Z(s+ds)-Z(s)]/ds Now, I do not know how to make sense of the difference in the numerator: The two vectors Z(s+ds) and Z(s) , are in different tangent spaces -- tangent space at s+ds and s respectively -- and , AFAIK, the difference of vectors in different tangent spaces is not defined, except for cases
|
