The tangent space at a point p is defined as the set of ordered pairs (p,v) where the second entry v ranges over all of Rn. The first slot records the basepoint and the second slot records the vector part.
The tangent space at a point p is defined as the set of ordered pairs (p,v) where the second entry v ranges over all of Rn. The first slot records the basepoint and the second slot records the vector part.