en>Vojtech.zrust: complementation of the topic, generalization, adding context

2014-01-25T09:50:19Z

complementation of the topic, generalization, adding context

New page

{{Unreferenced|date=December 2009}}
In [[mathematics]], a '''bundle map''' (or '''bundle morphism''') is a [[morphism]] in the [[category (mathematics)|category]] of [[fiber bundle]]s. There are two distinct, but closely related, notions of bundle map, depending on whether the fiber bundles in question have a common [[fiber bundle|base space]]. There are also several variations on the basic theme, depending on precisely which category of fiber bundles is under consideration. In the first three sections, we will consider general fiber bundles in the [[category of topological spaces]]. Then in the fourth section, some other examples will be given.

==Bundle maps over a common base==
Let ''π''''E'':''E''→ ''M'' and ''π''''F'':''F''→ ''M'' be fiber bundles over a space ''M''. Then a '''bundle map from ''E'' to ''F'' over ''M''''' is a continuous map ''φ'':''E''→ ''F'' such that <math> \pi_F\circ\varphi = \pi_E </math>. That is, the diagram
[[Image:BundleMorphism-03.svg|120px|center]]

should [[commutative diagram|commute]]. Equivalently, for any point ''x'' in ''M'', ''φ'' maps the fiber ''E''''x'' = ''π''''E''−1({''x''}) of ''E'' over ''x'' to the fiber ''F''''x'' = ''π''''F''−1({''x''}) of ''F'' over ''x''.

==General morphisms of fiber bundles==
Let π''E'':''E''→ ''M'' and π''F'':''F''→ ''N'' be fiber bundles over spaces ''M'' and ''N'' respectively. Then a continuous map ''φ'':''E''→ ''F'' is called a '''bundle map''' from ''E'' to ''F'' if there is a continuous map ''f'':''M''→ ''N'' such that the diagram
[[Image:BundleMorphism-04.svg|150px|center]]

commutes, that is, <math> \pi_F\circ\varphi = f\circ\pi_E </math>. In other words, ''φ'' is '''fiber-preserving''', and ''f'' is the induced map on the space of fibers of ''E'': since π''E'' is surjective, ''f'' is uniquely determined by ''φ''. For a given ''f'', such a bundle map ''φ'' is said to be a '''bundle map ''covering f'''''.

==Relation between the two notions==
It follows immediately from the definitions that a bundle map over ''M'' (in the first sense) is the same thing as a bundle map covering the identity map of ''M''.

Conversely, general bundle maps can be reduced to bundle maps over a fixed base space using the notion of a [[pullback bundle]]. If π''F'':''F''→ ''N'' is a fiber bundle over ''N'' and ''f'':''M''→ ''N'' is a continuous map, then the '''pullback''' of ''F'' by ''f'' is a fiber bundle ''f''*''F'' over ''M'' whose fiber over ''x'' is given by (''f''*''F'')''x''.= ''F''''f''(''x''). It then follows that a bundle map from ''E'' to ''F'' covering ''f'' is the same thing as a bundle map from ''E'' to ''f''*''F'' over ''M''.

==Variants and generalizations==
There are two kinds of variation of the general notion of a bundle map.

First, one can consider fiber bundles in a different category of spaces. This leads, for example, to the notion of a '''smooth bundle map''' between smooth fiber bundles over a [[smooth manifold]].

Second, one can consider fiber bundles with extra structure in their fibers, and restrict attention to bundle maps which preserve this structure. This leads, for example, to the notion of a '''(vector) bundle homomorphism''' between [[vector bundle]]s, in which the fibers are vector spaces, and a bundle map ''φ'' is required to be a linear map on each fiber. In this case, such a bundle map ''φ'' (covering ''f'') may also be viewed as a [[section (fiber bundle)|section]] of the vector bundle Hom(''E'',''f*F'') over ''M'', whose fiber over ''x'' is the vector space Hom(''Ex'',''F''''f''(''x'')) (also denoted ''L''(''Ex'',''F''''f''(''x''))) of [[linear map]]s from
''Ex'' to ''F''''f''(''x'').

{{DEFAULTSORT:Bundle Map}}
[[Category:Fiber bundles]]
[[Category:Continuous mappings]]

Stochastic simulation - Revision history

en>Vojtech.zrust: complementation of the topic, generalization, adding context