Bundle (mathematics)

From Free net encyclopedia

Revision as of 11:52, 26 March 2006 Lethe (Talk | contribs) only split for trivial bundles ← Previous diff

Current revision Lethe (Talk | contribs) only split for trivial bundles

---

Current revision

In mathematics, a bundle is a generalization of a fiber bundle dropping the condition of a local product structure. The requirement of a local product structure rests on the bundle having a topology. Without this requirement, more general objects can be considered bundles. For example, one can consider a bundle π: E→ B with E and B sets. It is no longer true that the preimages π^-¹(x) must all look alike, unlike fiber bundles where the fibers must all be isomorphic (in the case of vector bundles) and homeomorphic.

More generally, bundles or bundle objects can be defined in any category: in a category C, a bundle is simply an epimorphism π: E → B. If the category is not concrete, then the notion of a preimage of the map is not available, therefore these bundles do not have fibers at all. A section of the bundle is then a morphism s:B → E such that πs=id_B. The category of bundles over B is therefore just the comma category (C↓B) of objects over B, while the category of bundles without fixed base object is the comma category (C↓C) which is also the functor category C², the category of morphisms in C.

It is worth noting that the category of smooth vector bundles is a bundle object over the category of smooth manifolds in Cat, the category of small categories. The functor taking each manifold to its tangent bundle is an example of a section of this bundle object.