Whitney Sum

Get Whitney Sum essential facts below. View Videos or join the Whitney Sum discussion. Add Whitney Sum to your PopFlock.com topic list for future reference or share this resource on social media.
## Definition and first consequences

### Transition functions

## Vector bundle morphisms

## Sections and locally free sheaves

## Operations on vector bundles

## Additional structures and generalizations

## Smooth vector bundles

## K-theory

## See also

### General notions

### Topology and differential geometry

### Algebraic and analytic geometry

## Notes

## References

## External links

This article uses material from the Wikipedia page available here. It is released under the Creative Commons Attribution-Share-Alike License 3.0.

Whitney Sum

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

The simplest example is the case that the family of vector spaces is constant, i.e., there is a fixed vector space *V* such that *V*(*x*) = *V* for all *x* in *X*: in this case there is a copy of *V* for each *x* in *X* and these copies fit together to form the vector bundle *X* × *V* over *X*. Such vector bundles are said to be *trivial*. A more complicated (and prototypical) class of examples are the tangent bundles of 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 if, and only if, its tangent bundle is trivial.

Vector bundles are almost always required to be *locally trivial*, however, which means they are examples of fiber bundles. Also, the vector spaces are usually required to be over the real or complex numbers, in which case the vector bundle is said to be a real or complex vector bundle (respectively). Complex vector bundles 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.

A **real vector bundle** consists of:

- topological spaces
*X*(*base space*) and*E*(*total space*) - a continuous surjection ? :
*E*->*X*(*bundle projection*) - for every
*x*in*X*, the structure of a finite-dimensional real vector space on the fiber ?^{-1}({*x*})

where the following compatibility condition is satisfied: for every point *p* in *X*, there is an open neighborhood *U* ? *X* of *p*, a natural number *k*, and a homeomorphism

such that for all *x* ? *U*,

- for all vectors
*v*in**R**^{k}, and - the map is a linear isomorphism between the vector spaces
**R**^{k}and ?^{-1}({*x*}).

The open neighborhood *U* together with the homeomorphism is called a **local trivialization** of the vector bundle. The local trivialization shows that *locally* the map ? "looks like" the projection of *U* × **R**^{k} on *U*.

Every fiber ?^{-1}({*x*}) is a finite-dimensional real vector space and hence has a dimension *k*_{x}. The local trivializations show that the function *x* ? *k _{x}* is locally constant, and is therefore constant on each connected component of

The Cartesian product *X* × **R**^{k} , equipped with the projection *X* × **R**^{k} -> *X*, is called the **trivial bundle** of rank *k* over *X*.

Given a vector bundle *E* -> *X* of rank *k*, and a pair of neighborhoods *U* and *V* over which the bundle trivializes via

the composite function

is well-defined on the overlap, and satisfies

for some GL(*k*)-valued function

These are called the **transition functions** (or the **coordinate transformations**) of the vector bundle.

The set of transition functions forms a ?ech cocycle in the sense that

for all *U*, *V*, *W* over which the bundle trivializes satisfying . Thus the data (*E*, *X*, ?, **R**^{k}) defines a fiber bundle; the additional data of the *g*_{UV} specifies a GL(*k*) structure group in which the action on the fiber is the standard action of GL(*k*).

Conversely, given a fiber bundle (*E*, *X*, ?, **R**^{k}) with a GL(*k*) cocycle acting in the standard way on the fiber **R**^{k}, there is associated a vector bundle. This is sometimes taken as the definition of a vector bundle.^{[]}

A **morphism** from the vector bundle ?_{1} : *E*_{1} -> *X*_{1} to the vector bundle ?_{2} : *E*_{2} -> *X*_{2} is given by a pair of continuous maps *f* : *E*_{1} -> *E*_{2} and *g* : *X*_{1} -> *X*_{2} such that

*g*? ?_{1}= ?_{2}?*f*

- for every
*x*in*X*_{1}, the map ?_{1}^{-1}({*x*}) -> ?_{2}^{-1}({*g*(*x*)}) induced by*f*is a linear map between vector spaces.

Note that *g* is determined by *f* (because ?_{1} is surjective), and *f* is then said to **cover g**.

The class of all vector bundles together with bundle morphisms forms a 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 bundles, and are also often called **(vector) bundle homomorphisms**.

A bundle homomorphism from *E*_{1} to *E*_{2} with an inverse which is also a bundle homomorphism (from *E*_{2} to *E*_{1}) is called a **(vector) bundle isomorphism**, and then *E*_{1} and *E*_{2} 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 map on *X*. That is, bundle morphisms for which the following diagram commutes:

(Note that this category is *not* abelian; the 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 ?_{1} : *E*_{1} -> *X*_{1} and ?_{2} : *E*_{2} -> *X*_{2} covering a map *g* from *X*_{1} to *X*_{2} can also be viewed as a vector bundle morphism over *X*_{1} from *E*_{1} to the pullback bundle *g***E*_{2}.

Given a vector bundle ? : *E* -> *X* and an open subset *U* of *X*, we can consider **sections** of ? on *U*, i.e. continuous functions *s* : *U* -> *E* where the composite *s* is such that 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 fields 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 element of the vector space ?^{-1}({*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 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 over the ring of continuous real-valued functions on *U*. Furthermore, if O_{X} denotes the structure sheaf of continuous real-valued functions on *X*, then *F* becomes a sheaf of O_{X}-modules.

Not every sheaf of O_{X}-modules arises in this fashion from a vector bundle: only the locally free ones do. (The reason: locally we are looking for sections of a projection *U* × **R**^{k} -> *U*; these are precisely the continuous functions *U* -> **R**^{k}, and such a function is a *k*-tuple of continuous functions *U* -> **R**.)

Even more: the category of real vector bundles on *X* is equivalent to the category of locally free and finitely generated sheaves of O_{X}-modules.
So we can think of the category of real vector bundles on *X* as sitting inside the category of sheaves of O_{X}-modules; this latter category is abelian, so this is where we can compute kernels and cokernels of morphisms of vector bundles.

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

Most 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 _{x}*)*. Formally

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*E*?_{x}*F*of the vector spaces_{x}*E*and_{x}*F*._{x} - 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*to_{x}*F*(which is often denoted Hom(_{x}*E*_{x},*F*) or_{x}*L*(*E*_{x},*F*_{x})). 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*)-eigenspace of the linear map*s*(*x*) :*E*_{x}->*E*_{x}. Though this construction is natural, unless care is taken, the resulting object won't 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 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 functorial manner. This is made precise in the language of smooth functors. 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* × *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.^{[1]}

Vector bundles are often given more structure. For instance, vector bundles may be equipped with a vector bundle metric. Usually this metric is required to be positive definite, in which case each fibre of *E* becomes a Euclidean space. A vector bundle with a 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 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 fields may also be used.

If instead of a finite-dimensional vector space, if the fiber *F* is taken to be a Banach space then a **Banach bundle** is obtained.^{[2]} 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

are continuous mappings of Banach manifolds. In the corresponding theory for C^{p} bundles, all mappings are required to be C^{p}.

Vector bundles are special fiber bundles, 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 bundles are fibered by spheres.

A vector bundle (*E*, *p*, *M*) is *smooth*, if *E* and *M* are smooth manifolds, p : *E* -> *M* is a smooth map, and the local trivializations are diffeomorphisms. Depending on the required degree of smoothness, there are different corresponding notions of *C ^{p}* bundles, infinitely differentiable

The *C*^{?}-vector bundles (*E*, *p*, *M*) have a very important property not shared by more general *C*^{?}-fibre bundles. Namely, the tangent space *T _{v}*(

The vertical lift can also be seen as a natural *C*^{?}-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*_{*}) ? *TE* is the *vertical tangent bundle*, a natural vector subbundle of the tangent bundle (*TE*, ?_{TE}, *E*) of the total space *E*.

The total space *E* of any smooth vector bundle carries a natural vector field *V*_{v} := vl_{v}*v*, known as the *canonical vector field*. More formally, *V* is a smooth section of (*TE*, ?_{TE}, *E*), and it can also be defined as the infinitesimal generator of the Lie-group action (*t*,*v*)?*e*^{t}*v* 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*_{x} = 0, the linear mapping

does not depend on the choice of the linear covariant derivative ? on *M*. The canonical vector field *V* on *E* satisfies the axioms

1. The flow (*t*,*v*)->?^{t}_{V}(*v*) of *V* is globally defined.

2. For each *v*?*V* there is a unique lim_{t->?} ?^{t}_{V}(*v*)?*V*.

3. *C*_{v}(*V*)?*C*_{v}(*V*)=*C*_{v}(*V*) whenever *V*_{v}=0.

4. The zero set of *V* is a smooth submanifold of *E* whose codimension is equal to the rank of *C*_{v}(*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*, ?_{TE}, *E*) has a natural secondary vector bundle structure (*TE*, *p*_{*},*TM*), where *p*_{*} is the push-forward of the canonical projection *p*:*E*->*M*. The vector bundle operations in this secondary vector bundle structure are the push-forwards +_{*}:*T*(*E* × *E*) -> *TE* and ?_{*} : *TE* -> *TE* of the original addition + : *E* × *E* -> *E* and scalar multiplication ?:*E*->*E*.

The K-theory group, *K*(*X*), of a compact Hausdorff topological space is defined as the abelian group generated by isomorphism classes [*E*] of complex vector bundles modulo the relation that whenever we have an exact sequence

then

in topological K-theory. KO-theory is a version of this construction which considers real vector bundles. K-theory with compact supports can also be defined, as well as higher K-theory groups.

The famous periodicity theorem of Raoul Bott asserts that the K-theory of any space *X* is isomorphic to that of the *S*^{2}*X*, the double suspension of *X*.

In algebraic geometry, one considers the K-theory groups consisting of coherent sheaves on a scheme *X*, as well as the K-theory groups of vector bundles on the scheme with the above equivalence relation. The two constructs are the same provided that the underlying scheme is smooth.

- Grassmannian: classifying spaces for vector bundle, among which projective spaces for line bundles
- Characteristic class
- Splitting principle
- Stable bundle

- Connection (vector bundle): the notion needed to differentiate sections of vector bundles.

**^**Hatcher, Example 3.6.**^**Lang, Serge (1995),*Differential and Riemannian manifolds*, Berlin, New York: Springer-Verlag, ISBN 978-0-387-94338-1

- Hatcher, Allen (2003),
*Vector Bundles & K-Theory*(2.0 ed.) - Lee, Jeffrey M. (2009),
*Manifolds and Differential Geometry*, Graduate Studies in Mathematics, Vol. 107, Providence: American Mathematical Society, ISBN 978-0-8218-4815-9. - Lee, John M. (2003),
*Introduction to Smooth Manifolds*, New York: Springer, ISBN 0-387-95448-1 see Ch.5 - Jost, Jürgen (2002),
*Riemannian Geometry and Geometric Analysis*(3rd ed.), Berlin, New York: Springer-Verlag, ISBN 978-3-540-42627-1, see section 1.5. - Abraham, Ralph H.; Marsden, Jerrold E. (1978),
*Foundations of mechanics*, London: Benjamin-Cummings, ISBN 978-0-8053-0102-1, see section 1.5 - Rubei, Elena (2014),
*Algebraic Geometry, a concise dictionary*, Berlin/Boston: Walter De Gruyter, ISBN 978-3-11-031622-3

- Hazewinkel, Michiel, ed. (2001) [1994], "Vector bundle",
*Encyclopedia of Mathematics*, Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 978-1-55608-010-4 - Why is it useful to study vector bundles ? on MathOverflow
- Why is it useful to classify the vector bundles of a space ?

This article uses material from the Wikipedia page available here. It is released under the Creative Commons Attribution-Share-Alike License 3.0.

Popular Products

Music Scenes

Popular Artists