Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

My differential geometry textbook defined the tangent bundle of a surface as the set of all tangent vectors to M at all points of M.

The abstract patches are also given :


where $x$ is patch in surface $M$.

$(p_{3},p_{4})$ is vector part and $(p_{1},p_{2})$ is a point of application.

I checked that $y$ is one-to-one.

I also checked that $T(M)$ satisfies the covering property and the Hausdorff property.

Thus if I show that it satisfies the smooth overlap property, $T(M)$ will become manifold.

The smooth overlap property : For any patches $x,y$ in collection of patches $P$, the composite functions $y^{-1}x$ and $x^{-1}y$ are Euclidean differentiable.

I assumed that $x,z$ are patches in M and $y_{1},y_{2}$ are patches in $T(M)$


Then we get


Thus $q_{3}=p_{3}$, $q_{4}=p_{4}$, $z_{u}(q_{1},q_{2})=x_{u}(p_{1},p_{2})$, $z_{v}(q_{1},q_{2})=x_{v}(p_{1},p_{2})$.

In conclusion,

$$y_{1}^{-1}y_{2}(p_{1},p_{2},p_{3},p_{4})=((z_{u}^{-1}x_{u})(p_{1},p_{2}),p_{3},p_{4})$$ $$=(P_{1}((z_{u}^{-1}x_{u})(p_{1},p_{2}),P_{2}(z_{u}^{-1}x_{u})(p_{1},p_{2}),p_{3},p_{4})$$

where $P_{1},P_{2}$ is a projection function.

Since $P(z_{u}^{-1}x_{u})(p_{1},p_{2})$ are differentiable, $y_{1}^{-1}y_{2}$ is differentiable.

I think I solved it.

share|cite|improve this question

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.