Take the 2-minute tour ×
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.

I am reading John M Lee's Riemannian Manifolds : An Introduction to Curvature, which is very well written.

On page 16 : "Vector bundles are defined", quoting

A (smooth) $k$-dimensional vector bundle is a pair of smooth manifolds $E$ (total space) and $M$ (the base), together with the surjective map $\pi : E \to M $ (the projection) satisfying the following conditions : [...]

Because later defining smooth sections on page 19 : (quoting again)

If $\pi : E \rightarrow M $ is a vector bundle over M, a section of E is a map $ F : M \rightarrow E $ such that $ \pi \circ F = Id_M. $ [...]

So the point is : when one says $E$ is $TM$, i.e. the tangent bundle, then a point in E is $(p, T_pM)$ (in which case it will be a bijection) or $(p, V)$ where $V \in T_pM$ ?

I am confused between these two concepts : especially "section".

Some reference or explanation with a clear example will be really helpful.

share|improve this question

2 Answers 2

up vote 4 down vote accepted

The map $\pi$ is not a bijection.

The elements of $TM$ can be viewed as pairs $(p, v)$ where $p \in M$, $v \in T_pM$, then $\pi((p, v)) = p$, so for $p \in M$, $\pi^{-1}(p) = \{(p, v) \mid v \in T_pM\} \cong T_pM$.

A section is a map $s : M \to TM$ such that $\pi\circ s = \operatorname{id}_M$, so for any $p \in M$, we have $(\pi\circ s)(p) = p$. As $s(p) \in TM$, we can write $s(p) = (q, v)$ for some $q \in M$ and $v \in T_qM$. Note that $$(\pi\circ s)(p) = \pi(s(p)) = \pi((q, v)) = q,$$ but by assumption $(\pi\circ s)(p) = p$, so $q = p$. That is, $s(p) = (p, v)$ where $v \in T_pM$. So you can think of a section $s$ of $TM$ as a (smoothly varying) choice of vector in each tangent space $T_pM$.

share|improve this answer
    
Thanks. Then a vector field on a manifold M and a section of tangent bundle on M are same ? –  DiffeoR Jan 11 at 13:23
    
Precisely. A smooth vector field on a manifold $M$ is a smooth section of the tangent bundle $TM$. –  Michael Albanese Jan 11 at 13:27

In down to earth terms a vector bundle over say a manifold $M$ is a structured datum of a vector space $V_P$ for each point $P\in M$. To choose a section means to choose for each point $P\in M$ a vector $v_P\in V_P$. The simplest non trivial case is that of $$ \pi:\Bbb R^2\longrightarrow\Bbb R, \qquad\pi(x,y)=x. $$ Here, choosing a (continuous) section $\sigma:\Bbb R\rightarrow\Bbb R^2$ amounts to choosing a (continuous) function $y=f(x)$ defined for all $x\in\Bbb R$.

It is clear that $\pi$ is surjective but not a bijection!

share|improve this answer
    
Thanks for the help. :) –  DiffeoR Jan 11 at 13:41

Your Answer

 
discard

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

Not the answer you're looking for? Browse other questions tagged or ask your own question.