bijection between both tangent space definitions