Editing Vector bundle

{{Short description|Mathematical parametrization of vector spaces by another space}}
[[File:Mobius strip illus.svg|thumb|250px|right|The (infinitely extended) [[Möbius strip]] is a [[line bundle]] over the [[N-sphere|1-sphere]] '''S'''<sup>1</sup>. Locally around every point in '''S'''<sup>1</sup>, it [[homeomorphism|looks like]] ''U''&nbsp;×&nbsp;'''R''' (where ''U'' is an open [[Arc (topology)|arc]] including the point), but the total bundle is different from '''S'''<sup>1</sup>&nbsp;×&nbsp;'''R''' (which is a [[Cartesian product|cylinder]] instead).]]

In [[mathematics]], a '''vector bundle''' is a [[topological]] construction that makes precise the idea of a [[Family of sets|family]] of [[vector space]]s parameterized by another [[space (mathematics)|space]] <math>X</math> (for example <math>X</math> could be a [[topological space]], a [[manifold]], or an [[algebraic variety]]): to every point <math>x</math> of the space <math>X</math> we associate (or "attach") a vector space <math>V(x)</math> in such a way that these vector spaces fit together to form another space of the same kind as <math>X</math> (e.g. a topological space, manifold, or algebraic variety), which is then called a '''vector bundle over <math>X</math>'''.

The simplest example is the case that the family of vector spaces is constant, i.e., there is a fixed vector space <math>V</math> such that <math>V(x)=V</math> [[for all]] <math>x</math> in <math>X</math>: in this case there is a copy of <math>V</math> for each <math>x</math> in <math>X</math> and these copies fit together to form the vector bundle <math>X\times V</math> over <math>X</math>. Such vector bundles are said to be [[Fiber bundle#Trivial bundle|''trivial'']]. A more complicated (and prototypical) class of examples are the [[tangent bundle]]s of [[manifold|smooth (or differentiable) manifolds]]: to every point of such a manifold we attach the [[tangent space]] to the manifold at that point. Tangent bundles are not, in general, trivial bundles. For example, the tangent bundle of the sphere is non-trivial by the [[hairy ball theorem]]. In general, a manifold is said to be [[Parallelizable manifold|parallelizable]] if, and only if, its tangent bundle is trivial.

Vector bundles are almost always required to be ''locally trivial'', which means they are examples of [[fiber bundle]]s. Also, the vector spaces are usually required to be over the [[Real number|real]] or [[complex number]]s, in which case the vector bundle is said to be a real or complex vector bundle (respectively). [[Complex vector bundle]]s can be viewed as real vector bundles with additional structure. In the following, we focus on real vector bundles in the [[category of topological spaces]].

==Definition and first consequences==
[[File:Vector bundle.png|thumb|300px|A vector bundle <math>E</math> over a base <math>M</math>. A point <math>m_1</math> in <math>M(=X)</math> corresponds to the [[Origin (mathematics)|origin]] in a fibre <math>E_{m_1}</math> of the vector bundle <math>E</math>, and this fibre is mapped down to the point <math>m_1</math> by the [[projection (mathematics)|projection]] <math>\pi: E \to M</math>.]]
A '''real vector bundle''' consists of:
# topological spaces <math>X</math> (''base space'') and <math>E</math> (''total space'')
# a [[continuous function|continuous]] [[surjection]] <math>\pi:E\to X</math> (''bundle projection'')
# for every <math>x</math>  in <math>X</math>, the structure of a [[Hamel dimension|finite-dimensional]] [[real number|real]] [[vector space]] on the [[Fiber bundle|fiber]] <math>\pi^{-1}(\{x\})</math>

where the following compatibility condition is satisfied: for every point <math>p</math> in <math>X</math>, there is an [[open neighborhood]] <math>U\subseteq X</math> of <math>p</math>, a [[natural number]] <math>k</math>, and a [[homeomorphism]]

:<math>\varphi\colon  U \times \R^k \to \pi^{-1}(U) </math>

such that for all <math>x</math> in <math>U</math>,

* <math> (\pi \circ \varphi)(x,v) = x  </math> for all [[Euclidean vector|vectors]] <math>v</math> in <math>\R^k</math>, and
* the map <math> v \mapsto \varphi (x, v)</math>  is a [[linear map|linear]] [[isomorphism]] between the vector spaces <math>\R^k</math> and <math>\pi^{-1}(\{x\})</math>.

The open neighborhood <math>U</math> together with the homeomorphism <math>\varphi</math> is called a '''[[local trivialization]]''' of the vector bundle. The local trivialization shows that ''locally'' the map <math>\pi</math> "looks like" the projection of <math>U\times\R^k</math> on <math>U</math>.

Every fiber <math>\pi^{-1}(\{x\})</math> is a finite-dimensional real vector space and hence has a [[dimension]] <math>k_x</math>. The local trivializations show that the [[Function (mathematics)|function]] <math>x\to k_x</math> is [[locally constant]], and is therefore constant on each [[Locally connected space|connected component]] of <math>X</math>. If <math>k_x</math> is equal to a constant <math>k</math> on all of <math>X</math>, then <math>k</math> is called the '''rank''' of the vector bundle, and <math>E</math> is said to be a '''vector bundle of rank <math>k</math>'''.  Often the definition of a vector bundle includes that the rank is well defined, so that <math>k_x</math> is constant. Vector bundles of rank 1 are called [[line bundle]]s, while those of rank 2 are less commonly called plane bundles.

The [[Cartesian product]] <math>X\times\R^k</math>, equipped with the projection <math>X\times\R^k\to X</math>, is called the '''trivial bundle''' of rank <math>k</math> over <math>X</math>.

===Transition functions===
[[File:Transition functions.png|thumb|300px|Two trivial vector bundles over [[open set]]s <math>U_\alpha</math> and <math>U_\beta</math> may be [[Gluing (topology)|glued]] over the intersection <math>U_{\alpha\beta}</math> by transition functions <math>g_{\alpha \beta}</math> which serve to stick the shaded grey regions together after applying a [[linear transformation]] to the fibres (note the transformation of the blue [[quadrilateral]] under the effect of <math>g_{\alpha\beta}</math>). Different choices of transition functions may result in different vector bundles which are non-trivial after gluing is complete.]]
[[File:Mobius transition functions.png|thumb|300px|The [[Möbius strip]] can be constructed by a non-trivial gluing of two trivial bundles on open [[subset]]s ''U'' and ''V'' of the [[1-sphere|circle ''S<sup>1</sup>'']]. When glued trivially (with ''g<sub>UV</sub>=1'') one obtains the trivial bundle, but with the non-trivial gluing of ''g<sub>UV</sub>=1'' on one overlap and ''g<sub>UV</sub>=-1'' on the second overlap, one obtains the non-trivial bundle ''E'', the Möbius strip. This can be visualised as a "twisting" of one of the local [[Chart (topology)|charts]].]]
Given a vector bundle <math>E\to X</math> of rank <math>k</math>, and a pair of neighborhoods <math>U</math> and <math>V</math> over which the bundle trivializes via

:<math>\begin{align}
\varphi_U\colon U\times \R^k &\mathrel{\xrightarrow{\cong}} \pi^{-1}(U), \\
\varphi_V\colon V\times \R^k &\mathrel{\xrightarrow{\cong}} \pi^{-1}(V)
\end{align}</math>

the [[Composite Function|composite function]]
:<math>\varphi_U^{-1}\circ\varphi_V \colon (U\cap V)\times\R^k\to (U\cap V)\times\R^k</math>

is well-defined on the overlap, and satisfies
:<math>\varphi_U^{-1}\circ\varphi_V (x,v) = \left (x,g_{UV}(x)v \right)</math>

for some <math>\text{GL}(k)</math>-valued function
:<math>g_{UV}\colon U\cap V\to \operatorname{GL}(k).</math>

These are called the '''[[Transition map|transition functions]]''' (or the '''coordinate transformations''') of the vector bundle.

The [[Set (mathematics)|set]] of transition functions forms a [[Čech cocycle]] in the sense that
:<math>g_{UU}(x) = I, \quad g_{UV}(x)g_{VW}(x)g_{WU}(x) = I</math>

for all <math>U,V,W</math> over which the bundle trivializes satisfying <math> U\cap V\cap W\neq \emptyset</math>.  Thus the data <math>(E,X,\pi,\R^k)</math> defines a [[fiber bundle]]; the additional data of the <math>g_{UV}</math> specifies a <math>\text{GL}(k)</math> structure group in which the [[Group action|action]] on the fiber is the standard action of <math>\text{GL}(k)</math>.

Conversely, given a fiber bundle <math>(E,X,\pi,\R^k)</math> with a <math>\text{GL}(k)</math> cocycle acting in the standard way on the fiber <math>\R^k</math>, there is [[associated bundle|associated]] a vector bundle.  This is an example of the [[fibre bundle construction theorem]] for vector bundles, and can be taken as an alternative definition of a vector bundle.

===Subbundles===
{{Main article|Subbundle}}
[[File:Subbundle.png|thumb|300px|A line subbundle <math>L</math> of a trivial rank 2 vector bundle <math>E</math> over a one-dimensional manifold <math>M</math>.]]
One simple method of constructing vector bundles is by taking subbundles of other vector bundles. Given a vector bundle <math>\pi: E\to X</math> over a topological space, a subbundle is simply a [[Linear subspace|subspace]] <math>F\subset E</math> for which the [[Restriction of a map|restriction]] <math>\left.\pi\right|_F</math> of <math>\pi</math> to <math>F</math> gives <math>\left.\pi\right|_F: F \to X</math> the structure of a vector bundle also. In this case the fibre <math>F_x\subset E_x</math> is a vector subspace for every <math>x\in X</math>.

A subbundle of a trivial bundle need not be trivial, and indeed every real vector bundle over a compact space can be viewed as a subbundle of a trivial bundle of sufficiently high rank. For example, the [[Möbius band]], a non-trivial [[line bundle]] over the circle, can be seen as a subbundle of the trivial rank 2 bundle over the circle.

==Vector bundle morphisms==
A '''[[morphism]]''' from the vector bundle {{pi}}<sub>1</sub>: ''E''<sub>1</sub> → ''X''<sub>1</sub> to the vector bundle {{pi}}<sub>2</sub>: ''E''<sub>2</sub> → ''X''<sub>2</sub> is given by a pair of continuous maps ''f'': ''E''<sub>1</sub> → ''E''<sub>2</sub> and ''g'': ''X''<sub>1</sub> → ''X''<sub>2</sub> such that
: ''g''&nbsp;∘&nbsp;{{pi}}<sub>1</sub> = {{pi}}<sub>2</sub>&nbsp;∘&nbsp;''f''
:: [[File:BundleMorphism-01.png]]
: for every ''x'' in ''X''<sub>1</sub>, the map {{pi}}<sub>1</sub><sup>−1</sup>({''x''}) → {{pi}}<sub>2</sub><sup>−1</sup>({''g''(''x'')}) [[induced map|induced]] by ''f'' is a [[linear map]] between vector spaces.

Note that ''g'' is determined by ''f'' (because {{pi}}<sub>1</sub> is surjective), and ''f'' is then said to '''cover ''g'''''.

The class of all vector bundles together with bundle morphisms forms a [[category (mathematics)|category]]. Restricting to vector bundles for which the spaces are manifolds (and the bundle projections are smooth maps) and smooth bundle morphisms we obtain the category of smooth vector bundles. Vector bundle morphisms are a special case of the notion of a [[bundle map]] between [[fiber bundle]]s, and are sometimes called '''(vector) bundle homomorphisms'''.

A bundle homomorphism from ''E''<sub>1</sub> to ''E''<sub>2</sub> with an [[Inverse element|inverse]] which is also a bundle homomorphism (from ''E''<sub>2</sub> to ''E''<sub>1</sub>) is called a '''(vector) bundle isomorphism''', and then ''E''<sub>1</sub> and ''E''<sub>2</sub> are said to be '''isomorphic''' vector bundles. An isomorphism of a (rank ''k'') vector bundle ''E'' over ''X'' with the trivial bundle (of rank ''k'' over ''X'') is called a '''trivialization''' of ''E'', and ''E'' is then said to be '''trivial''' (or '''trivializable'''). The definition of a vector bundle shows that any vector bundle is '''locally trivial'''.

We can also consider the category of all vector bundles over a fixed base space ''X''. As morphisms in this category we take those morphisms of vector bundles whose map on the base space is the [[identity function|identity map]] on ''X''. That is, bundle morphisms for which the following diagram [[commutative diagram|commutes]]:
: [[File:BundleMorphism-02.png]]

(Note that this category is ''not'' [[abelian category|abelian]]; the [[kernel (category theory)|kernel]] of a morphism of vector bundles is in general not a vector bundle in any natural way.)

A vector bundle morphism between vector bundles {{pi}}<sub>1</sub>: ''E''<sub>1</sub> → ''X''<sub>1</sub> and {{pi}}<sub>2</sub>: ''E''<sub>2</sub> → ''X''<sub>2</sub> covering a map ''g'' from ''X''<sub>1</sub> to ''X''<sub>2</sub> can also be viewed as a vector bundle morphism over ''X''<sub>1</sub> from ''E''<sub>1</sub> to the [[pullback bundle]] ''g''*''E''<sub>2</sub>.

==Sections and locally free sheaves==
[[File:Vector bundle with section.png|thumb|300px|A vector bundle <math>E</math> over a base <math>M</math> with section <math>s</math>.]]
[[File:Surface normals.svg|right|thumb|300px|The map associating a [[Normal vector|normal]] to each point on a [[Surface (topology)|surface]] can be thought of as a section. The surface is the space ''X'', and at each point ''x'' there is a vector in the vector space attached at ''x''.]]

Given a vector bundle {{pi}}: ''E'' → ''X'' and an open subset ''U'' of ''X'', we can consider [[Section (fiber bundle)|'''sections''']] of {{pi}} on ''U'', i.e. continuous functions ''s'': ''U'' → ''E'' where the composite {{pi}}&nbsp;∘&nbsp;''s'' is such that {{nowrap|1=({{pi}} ∘ ''s'')(''u'') = ''u''}} for all ''u'' in ''U''. Essentially, a section assigns to every point of ''U'' a vector from the attached vector space, in a continuous manner. As an example, sections of the tangent bundle of a differential manifold are nothing but [[vector field]]s on that manifold.

Let ''F''(''U'') be the set of all sections on ''U''. ''F''(''U'') always contains at least one element, namely the '''zero section''': the function ''s'' that maps every element ''x'' of ''U'' to the [[zero vector|zero element of the vector space]] {{pi}}<sup>−1</sup>({''x''}). With the [[pointwise]] addition and [[scalar multiplication]] of sections, ''F''(''U'') becomes itself a real vector space. The collection of these vector spaces is a [[sheaf (mathematics)|sheaf]] of vector spaces on ''X''.

If ''s'' is an element of ''F''(''U'') and α: ''U'' → '''R''' is a continuous map, then α''s'' (pointwise scalar multiplication) is in ''F''(''U''). We see that ''F''(''U'') is a [[module (mathematics)|module]] over the [[Ring (mathematics)|ring]] of continuous [[real-valued function]]s on ''U''. Furthermore, if O<sub>''X''</sub> denotes the structure sheaf of continuous real-valued functions on ''X'', then ''F'' becomes a sheaf of O<sub>''X''</sub>-modules.

Not every sheaf of O<sub>''X''</sub>-modules arises in this fashion from a vector bundle: only the [[locally free sheaf|locally free]] ones do. (The reason: locally we are looking for sections of a projection ''U'' × '''R'''<sup>''k''</sup> → ''U''; these are precisely the continuous functions ''U'' → '''R'''<sup>''k''</sup>, and such a function is a ''k''-[[tuple]] of continuous functions ''U'' → '''R'''.)

Even more: the category of real vector bundles on ''X'' is [[Equivalence of categories|equivalent]] to the category of locally free and [[Finitely generated module|finitely generate]]d sheaves of O<sub>''X''</sub>-modules.

So we can think of the category of real vector bundles on ''X'' as sitting inside the category of [[sheaf of modules|sheaves of O<sub>''X''</sub>-modules]]; this latter category is abelian, so this is where we can compute [[Kernel (algebra)|kernels]] and [[cokernel]]s of morphisms of vector bundles.

A rank ''n'' vector bundle is trivial [[if and only if]] it has ''n'' [[linearly independent]] global sections.

== Operations on vector bundles ==
Most [[Operation (mathematics)|operations]] on vector spaces can be extended to vector bundles by performing the vector space operation ''fiberwise''.

For example, if ''E'' is a vector bundle over ''X'', then there is a bundle ''E*'' over ''X'', called the '''[[dual bundle]]''', whose fiber at ''x'' ∈ ''X'' is the [[dual vector space]] (''E<sub>x</sub>'')*. Formally ''E*'' can be defined as the set of pairs (''x'', φ), where ''x'' ∈ ''X'' and φ ∈ (''E''<sub>''x''</sub>)*. The dual bundle is locally trivial because the [[transpose|dual space]] of the inverse of a local trivialization of ''E'' is a local trivialization of ''E*'': the key point here is that the operation of taking the dual vector space is [[functorial]].

There are many functorial operations which can be performed on pairs of vector spaces (over the same field), and these extend straightforwardly to pairs of vector bundles ''E'', ''F'' on ''X'' (over the given field). A few examples follow.

* The '''Whitney sum''' (named for [[Hassler Whitney]]) or '''direct sum bundle''' of ''E'' and ''F'' is a vector bundle ''E'' ⊕ ''F'' over ''X'' whose fiber over ''x'' is the [[direct sum of modules|direct sum]] ''E<sub>x</sub>'' ⊕ ''F<sub>x</sub>'' of the vector spaces ''E<sub>x</sub>'' and ''F<sub>x</sub>''.
* The '''[[tensor product bundle]]''' ''E'' ⊗ ''F'' is defined in a similar way, using fiberwise [[tensor product]] of vector spaces.
* The '''Hom-bundle''' Hom(''E'', ''F'') is a vector bundle whose fiber at ''x'' is the space of linear maps from ''E<sub>x</sub>'' to ''F<sub>x</sub>'' (which is often denoted Hom(''E''<sub>''x''</sub>, ''F<sub>x</sub>'') or ''L''(''E''<sub>''x''</sub>, ''F''<sub>''x''</sub>)). The Hom-bundle is so-called (and useful) because there is a [[bijection]] between vector bundle homomorphisms from ''E'' to ''F'' over ''X'' and sections of Hom(''E'', ''F'') over ''X''.
* Building on the previous example, given a section ''s'' of an [[endomorphism]] bundle Hom(''E'', ''E'') and a function ''f'': ''X'' → '''R''', one can construct an '''eigenbundle''' by taking the fiber over a point ''x'' ∈ ''X'' to be the ''f''(''x'')-[[Eigenvector#Eigenspace and spectrum|eigenspace]] of the linear map ''s''(''x''): ''E''<sub>''x''</sub> → ''E''<sub>''x''</sub>.  Though this construction is natural, unless care is taken, the resulting object will not have local trivializations.  Consider the case of ''s'' being the zero section and ''f'' having isolated zeroes.  The fiber over these zeroes in the resulting "eigenbundle" will be isomorphic to the fiber over them in ''E'', while everywhere else the fiber is the trivial 0-dimensional vector space.
* The [[dual bundle|dual vector bundle]] ''E*'' is the Hom bundle Hom(''E'', '''R''' × ''X'') of bundle homomorphisms of ''E'' and the trivial bundle '''R''' × ''X''.  There is a canonical vector bundle isomorphism Hom(''E'', ''F'') = ''E*'' ⊗ ''F''.

Each of these operations is a particular example of a general feature of bundles: that many operations that can be performed on the [[category of vector spaces]] can also be performed on the category of vector bundles in a [[functor]]ial manner.  This is made precise in the language of [[smooth functor]]s.  An operation of a different nature is the '''[[pullback bundle]]''' construction. Given a vector bundle ''E'' → ''Y'' and a continuous map ''f'': ''X'' → ''Y'' one can "pull back" ''E'' to a vector bundle ''f*E'' over ''X''. The fiber over a point ''x'' ∈ ''X'' is essentially just the fiber over ''f''(''x'') ∈ ''Y''. Hence, Whitney summing ''E'' ⊕ ''F'' can be defined as the pullback bundle of the diagonal map from ''X'' to ''X'' × ''X'' where the bundle over ''X'' × ''X'' is ''E''&nbsp;×&nbsp;''F''.

'''Remark''': Let ''X'' be a [[compact space]]. Any vector bundle ''E'' over ''X'' is a direct summand of a trivial bundle; i.e., there exists a bundle ''E''{{'}} such that ''E'' ⊕ ''E''{{'}} is trivial. This fails if ''X'' is not compact: for example, the [[tautological line bundle]] over the infinite real projective space does not have this property.{{sfn|Hatcher|2003|loc=Example 3.6}}

==Additional structures and generalizations==
Vector bundles are often given more structure. For instance, vector bundles may be equipped with a [[metric (vector bundle)|vector bundle metric]]. Usually this metric is required to be [[definite bilinear form|positive definite]], in which case each fibre of ''E'' becomes a [[Euclidean space]]. A vector bundle with a [[Linear complex structure|complex structure]] corresponds to a [[complex vector bundle]], which may also be obtained by replacing real vector spaces in the definition with complex ones and requiring that all mappings be [[Complex linear structure|complex-linear]] in the fibers. More generally, one can typically understand the additional structure imposed on a vector bundle in terms of the resulting [[reduction of the structure group of a bundle]]. Vector bundles over more general [[topological field]]s may also be used.

If instead of a finite-dimensional vector space, the fiber ''F'' is taken to be a [[Banach space]] then a '''[[Banach bundle]]''' is obtained.{{sfn|Lang|1995}} Specifically, one must require that the local trivializations are Banach space isomorphisms (rather than just linear isomorphisms) on each of the fibers and that, furthermore, the transitions
:<math>g_{UV} \colon U\cap V \to \operatorname{GL}(F)</math>
are continuous mappings of [[Banach manifold]]s.  In the corresponding theory for C<sup>''p''</sup> bundles, all mappings are required to be C<sup>''p''</sup>.

Vector bundles are special [[fiber bundle]]s, those whose fibers are vector spaces and whose cocycle respects the vector space structure.  More general fiber bundles can be constructed in which the fiber may have other structures; for example [[sphere bundle]]s are fibered by spheres.

==Smooth vector bundles==
[[File:Smooth vs non-smooth vector bundle.png|thumb|300px|The regularity of transition functions describing a vector bundle determines the type of the vector bundle. If the continuous transition functions ''g<sub>UV</sub>'' are used, the resulting vector bundle ''E'' is only continuous but not smooth. If the smooth transition functions ''h<sub>UV</sub>'' are used, then the resulting vector bundle ''F'' is a smooth vector bundle.]]
A vector bundle (''E'', ''p'', ''M'') is '''smooth''', if ''E'' and ''M'' are [[manifold|smooth manifolds]], p: ''E'' → ''M'' is a smooth map, and the local trivializations are [[diffeomorphism]]s. Depending on the required degree of [[smoothness]], there are different corresponding notions of [[continuously differentiable|''C<sup>p</sup>'']] bundles, [[infinitely differentiable]] ''C''<sup>∞</sup>-bundles and [[real analytic]] ''C''<sup>ω</sup>-bundles. In this section we will concentrate on [[C-infinity|''C''<sup>∞</sup>]]-bundles. The most important example of a ''C''<sup>∞</sup>-vector bundle is the [[tangent bundle]] (''TM'', {{pi}}<sub>''TM''</sub>, ''M'') of a ''C''<sup>∞</sup>-manifold ''M''.

A smooth vector bundle can be characterized by the fact that it admits transition functions as described above which are ''smooth'' functions on overlaps of trivializing charts ''U'' and ''V''. That is, a vector bundle ''E'' is smooth if it admits a covering by trivializing open sets such that for any two such sets ''U'' and ''V'', the transition function
:<math>g_{UV}: U\cap V \to \operatorname{GL}(k,\mathbb{R})</math>
is a smooth function into the [[matrix group]] GL(k,'''R'''), which is a [[Lie group]].

Similarly, if the transition functions are:

* ''C<sup>r</sup>'' then the vector bundle is a '''''C<sup>r</sup>'' vector bundle''',
* ''real [[Analytic function|analytic]]'' then the vector bundle is a '''real analytic vector bundle''' (this requires the matrix group to have a real analytic structure),
* ''holomorphic'' then the vector bundle is a '''[[holomorphic vector bundle]]''' (this requires the matrix group to be a [[complex Lie group]]),
* ''algebraic functions'' then the vector bundle is an '''[[algebraic vector bundle]]''' (this requires the matrix group to be an [[algebraic group]]).

The ''C''<sup>∞</sup>-vector bundles (''E'', ''p'', ''M'') have a very important property not shared by more general ''C''<sup>∞</sup>-fibre bundles. Namely, the tangent space ''T<sub>v</sub>''(''E''<sub>''x''</sub>) at any ''v'' ∈ ''E''<sub>''x''</sub> can be naturally identified with the fibre ''E''<sub>''x''</sub> itself. This identification is obtained through the ''vertical lift'' ''vl''<sub>''v''</sub>: ''E<sub>x</sub>'' → ''T''<sub>''v''</sub>(''E''<sub>''x''</sub>), defined as

:<math>\operatorname{vl}_vw[f] := \left.\frac{d}{dt}\right|_{t=0}f(v + tw), \quad f\in C^\infty(E_x).</math>

The vertical lift can also be seen as a natural ''C''<sup>∞</sup>-vector bundle isomorphism ''p*E'' → ''VE'', where (''p*E'', ''p*p'', ''E'') is the pull-back bundle of (''E'', ''p'', ''M'') over ''E'' through ''p'': ''E'' → ''M'', and ''VE'' := Ker(''p''<sub>*</sub>) ⊂ ''TE'' is the ''vertical tangent bundle'', a natural vector subbundle of the tangent bundle (''TE'', {{pi}}<sub>''TE''</sub>, ''E'') of the total space ''E''.

The total space ''E'' of any smooth vector bundle carries a natural vector field ''V''<sub>''v''</sub> := vl<sub>''v''</sub>''v'', known as the ''canonical vector field''. More formally, ''V'' is a smooth section of (''TE'', {{pi}}<sub>''TE''</sub>, ''E''), and it can also be defined as the infinitesimal generator of the [[Lie group action|Lie-group action]] <math>(t,v) \mapsto e^{tv}</math> given by the fibrewise scalar multiplication. The canonical vector field ''V'' characterizes completely the smooth vector bundle structure in the following manner. As a preparation, note that when ''X'' is a smooth vector field on a smooth manifold ''M'' and ''x'' ∈ ''M'' such that ''X''<sub>''x''</sub> = 0, the linear mapping
:<math>C_x(X): T_x M \to T_x M; \quad C_x(X) Y = (\nabla_Y X)_x</math>

does not depend on the choice of the linear [[covariant derivative]] ∇ on ''M''. The canonical vector field ''V'' on ''E'' satisfies the axioms

# The flow (''t'', ''v'') → Φ<sup>''t''</sup><sub>''V''</sub>(''v'') of ''V'' is globally defined.
# For each ''v'' ∈ ''V'' there is a unique lim<sub>t→∞</sub> Φ<sup>''t''</sup><sub>''V''</sub>(''v'') ∈ ''V''.
# ''C''<sub>v</sub>(''V'')∘''C''<sub>v</sub>(''V'') = ''C''<sub>v</sub>(''V'') whenever ''V''<sub>''v''</sub> = 0.
# The [[zero set]] of ''V'' is a smooth [[submanifold]] of ''E'' whose [[codimension]] is equal to the rank of ''C''<sub>v</sub>(''V'').

Conversely, if ''E'' is any smooth manifold and ''V'' is a smooth vector field on ''E'' satisfying 1–4, then there is a unique vector bundle structure on ''E'' whose canonical vector field is ''V''.

For any smooth vector bundle (''E'', ''p'', ''M'') the total space ''TE'' of its tangent bundle (''TE'', {{pi}}<sub>''TE''</sub>, ''E'') has a natural [[secondary vector bundle structure]] (''TE'', ''p''<sub>*</sub>, ''TM''), where ''p''<sub>*</sub> is the [[Pushforward (differential)|push-forward]] of the canonical projection ''p'': ''E'' → ''M''. The vector bundle operations in this secondary vector bundle structure are the push-forwards +<sub>*</sub>: ''T''(''E'' × ''E'') → ''TE'' and λ<sub>*</sub>: ''TE'' → ''TE'' of the original addition +: ''E'' × ''E'' → ''E'' and scalar multiplication λ: ''E'' → ''E''.

==K-theory==
The K-theory group, {{math|''K''(''X'')}}, of a compact [[Hausdorff space|Hausdorff]] topological space is defined as the [[abelian group]] generated by [[isomorphism class]]es {{math|[''E'']}} of [[complex vector bundle]]s modulo the [[Relation (mathematics)|relation]] that, whenever we have an [[exact sequence]]
<math display = block> 0 \to A \to B \to C \to 0,</math>
then 
<math display = block>[B] = [A] + [C] </math> in [[topological K-theory]]. [[KO-theory]] is a version of this construction which considers real vector bundles. K-theory with [[compact support]]s can also be defined, as well as higher K-theory groups.

The famous [[Bott periodicity|periodicity theorem]] of [[Raoul Bott]] asserts that the K-theory of any space {{math|''X''}} is isomorphic to that of the {{math|''S''<sup>2</sup>''X''}}, the double suspension of {{math|''X''}}.

In [[algebraic geometry]], one considers the K-theory groups consisting of [[coherent sheaf|coherent sheaves]] on a [[scheme (mathematics)|scheme]] {{math|''X''}}, as well as the K-theory groups of vector bundles on the scheme with the above [[equivalence relation]]. The two constructs are naturally isomorphic provided that the underlying scheme is [[smooth morphism|smooth]].

==See also==
===General notions===
* [[Grassmannian]]: [[classifying space]]s for vector bundle, among which [[projective space]]s for [[line bundle]]s
* [[Characteristic class]]
* [[Splitting principle]]
* [[Stable bundle]]

===Topology and differential geometry===
* [[Connection (vector bundle)|Connection]]: the notion needed to differentiate sections of vector bundles.
* [[Gauge theory (mathematics)|Gauge theory]]: the general study of connections on vector bundles and principal bundles and their relations to physics.

===Algebraic and analytic geometry===
* [[Algebraic vector bundle]]
* [[Picard group]]
* [[Holomorphic vector bundle]]

==Notes==
{{Reflist}}

==Sources==
{{refbegin|35em}}
*{{Citation| title = Foundations of mechanics
 | last1 = Abraham | first1 = Ralph H.
 | last2 = Marsden | first2 = Jerrold E.
 | author1-link = Ralph Abraham (mathematician)
 | author2-link = Jerrold E. Marsden
 | year = 1978
 | publisher = Benjamin-Cummings | location = London
 | bibcode = 1978fome.book.....A | isbn = 978-0-8053-0102-1
 | at = see section 1.5
}}.
*{{Citation| title = Vector Bundles & K-Theory | edition = 2.0
 | last = Hatcher | first = Allen | year = 2003
 | author-link = Allen Hatcher
 | url = https://pi.math.cornell.edu/~hatcher/VBKT/VBpage.html
}}.
*{{Citation| title = Riemannian Geometry and Geometric Analysis | edition = 3rd
 | last = Jost | first = Jürgen | year = 2002
 | publisher = [[Springer-Verlag]] | location = Berlin, New York
 | isbn = 978-3-540-42627-1
}}, see section 1.5.
*{{Citation| title = Differential and Riemannian manifolds
 | last = Lang | first = Serge | year = 1995
 | author-link = Serge Lang
 | publisher = [[Springer-Verlag]] | location = Berlin, New York
 | isbn = 978-0-387-94338-1
}}.
*{{citation| title = Manifolds and Differential Geometry
 | last = Lee | first = Jeffrey M. | year = 2009
 | publisher = American Mathematical Society
 | volume = 107 | series = [[Graduate Studies in Mathematics]]
 | publication-place = Providence
 | url = http://www.ams.org/bookstore-getitem/item=gsm-107
 | isbn = 978-0-8218-4815-9
}}.
*{{Citation| title = Introduction to Smooth Manifolds
 | last = Lee | first = John M. | year = 2003
 | publisher = Springer | location = New York
 | url = http://www.math.washington.edu/~lee/Books/smooth.html
 | isbn = 0-387-95448-1
}} see Ch.5
*{{Citation| title = Algebraic Geometry, a concise dictionary
 | last = Rubei | first = Elena | year = 2014
 | publisher = Walter De Gruyter | location = Berlin/Boston
 | isbn = 978-3-11-031622-3
}}.
{{refend}}

==External links==
* {{springer| title = Vector bundle
 | id = p/v096380
}}
* [https://mathoverflow.net/q/7836 Why is it useful to study vector bundles ?] on [[MathOverflow]]
* [https://mathoverflow.net/q/16240 Why is it useful to classify the vector bundles of a space ?]

{{Manifolds}}

[[Category:Vector bundles| ]]