Results for fiber bundle
On this page:
 
Sci-Tech Dictionary:

fiber bundle

(′fī·bər ′bən·dəl)

(mathematics) A bundle whose total space is a G-space X, whose base is the homomorphic image of the orbit space of X, and whose fibers are isomorphic to the orbits of points in the base space under the action of G.
(optics) A flexible bundle of glass or other transparent fibers, parallel to each other, used in fiber optics to transmit a complete image from one end of the bundle to the other.


 
 
Sci-Tech Encyclopedia: Fiber bundle

A decomposition of a space E into a family of identical subspaces (fibers). The space of subspaces is called the base space. Fiber bundles arise naturally in many physical situations. The theory of fiber bundles has been applied to gauge theory in physics, and there is a lively interaction centered on ideas related to fiber bundles and gauge theories in which significant results have been contributed in both areas. The development of the mathematical theory of fiber bundles was begun in the 1930s and has numerous applications within mathematics.

A fiber bundle consists of three topological spaces, a fiber F, a total space E, and a base B, together with a continuous map π: EB from the total space to the base. The set of points in E that map to a given point b in B is called the fiber over b. It is required that each fiber be topologically equivalent (that is, homeomorphic) to F. Moreover, the total space E has a local product structure: For a set U of points in B that are sufficiently close together, the points π−1(U) in E that map to U can be identified with the set of pairs (b, x) with b an element of U and x an element of F; that is, π−1(U) is homeomorphic to U × F. See also Topology.

The simplest nontrivial example of a fiber bundle is the Möbius strip (see illustration). It is constructed by twisting one end of a piece of paper and then gluing the two ends together. The fibers are line segments, and the space of line segments is a circle. The map π takes all the points in a fiber into the same point on the circle.

Möbius strip, the simplest nontrivial example of a fiber bundle.
Möbius strip, the simplest nontrivial example of a fiber bundle.

Tangent bundles are among the earliest examples of fiber bundles. For spaces M (called manifolds) which are locally like a euclidean space, the space T(M) consisting of pairs (x, v) with x a point in M and v a vector tangent at x to a path in M is called the tangent bundle to M; the fibers form a vector space, and the base space is M. Fiber bundles in which the fibers are vector spaces are called vector bundles. See also Manifold (mathematics).

Laws of physics are often invariant under the action of an appropriate group. Fiber bundles arise in physics in situations where such a group appears as an internal or local symmetry group; the local symmetry group is the fiber. See also Group theory; Symmetry laws (physics).

There are numerous, fundamental applications of fiber bundles within mathematics. Many of these applications are obtained through associating numerical invariants to vector bundles. The geometry of manifolds is then studied in terms of invariants of the tangent bundle of the manifold.


 

(1) A set of adjacent optical fibers running in parallel and adhered together. It is used for transmitting light to brighten an area as well as transmitting whole images, but not for digital communications.

(2) A collection of optical fibers.



 
Wikipedia: fiber bundle
A cylindrical hairbrush showing the intuition behind the term "fiber bundle". This hairbrush is like a fiber bundle in which the base space is a cylinder and the fibers (bristles) are line segments. The mapping π:E→B would take a point on any bristle and map it to the point on the cylinder where the bristle attaches.
Enlarge
A cylindrical hairbrush showing the intuition behind the term "fiber bundle". This hairbrush is like a fiber bundle in which the base space is a cylinder and the fibers (bristles) are line segments. The mapping π:EB would take a point on any bristle and map it to the point on the cylinder where the bristle attaches.

In mathematics, in particular in topology, a fiber bundle (or fibre bundle) is a space which looks locally like a product space. It may have a different global topological structure in that the space as a whole may not be homeomorphic to a product space. Every fiber bundle consists of a continuous surjective map

π:EB

where small regions in the total space E look like small regions in the product space B × F. Here B is the base space while F is the fiber space. For example, setting E as the product space B × F, equipped with π = pr1 (projection onto the first coordinate), is a fiber bundle. This is called the trivial bundle. One goal of the theory of bundles is to quantify, via algebraic invariants, what it means for a bundle to be non-trivial, or in other words twisted in the large.

Fiber bundles generalize vector bundles, where the main example is the tangent bundle of a manifold, as well as principal bundles. They play an important role in the fields of differential topology and differential geometry. They are also a fundamental concept in the mathematical formulation of gauge theory. Fiber bundles specialize the more general bundle.

Formal definition

A fiber bundle consists of the data (E, B, π, F), where E, B, and F are topological spaces and π : EB is a continuous surjection satisfying a local triviality condition outlined below. B is called the base space of the bundle, E the total space, and F the fiber. The map π is called the projection map. We shall assume in what follows that the base space B is connected.

We require that for any x in B, there is an open neighborhood U of x (which will be called a trivializing neighborhood) such that π−1(U) is homeomorphic to the product space U × F, in such a way that π carries over to the projection onto the first factor. That is, the following diagram should commute:

Local triviality condition

where proj1 : U × FU is the natural projection and φ : π−1(U) → U × F is a homeomorphism. The set of all {(Ui, φi)} is called a local trivialization of the bundle.

For any x in B, the preimage π−1(x) is homeomorphic to F and is called the fiber over x. A fiber bundle (E, B, π, F) is often denoted

Image:FiberBundle-02.png

to indicate a short exact sequence of spaces. Note that every fiber bundle π : EB is an open map, since projections of products are open maps. Therefore B carries the quotient topology determined by the map π.

A smooth fiber bundle is a fiber bundle in the category of smooth manifolds. That is, E, B, and F are required to be smooth manifolds and all the functions above are required to be smooth maps. This is the most common context in which fiber bundles are studied and used.

Examples

Trivial bundle

Let E = B × F and let π : EB be the projection onto the first factor. Then E is a fiber bundle (of F) over B. Here E is not just locally a product but globally one. Any such fiber bundle is called a trivial bundle.

Möbius strip

The Möbius strip is a nontrivial bundle over the circle.
Enlarge
The Möbius strip is a nontrivial bundle over the circle.

Perhaps the simplest example of a nontrivial bundle E is the Möbius strip. The Möbius strip has a circle for a base B and a line segment for the fiber F, so the Möbius strip is a bundle of the line segment over the circle. A neighborhood U of a point xB is an arc; in the picture, this is the length of one of the squares. The preimage π - 1(U) in the picture is a (somewhat twisted) slice of the strip four squares wide and one long. The homeomorphism φ maps the preimage of U to a slice of a cylinder: curved, but not twisted.

The corresponding trivial bundle B × F would be a cylinder, but the Möbius strip has an overall "twist". Note that this twist is visible only globally; locally the Möbius strip and the cylinder are identical (making a single vertical cut in either gives the same space).

Klein bottle

A similar nontrivial bundle is the Klein bottle which can be viewed as a "twisted" circle bundle over another circle. The corresponding trivial bundle would be a torus, S1 × S1.

The Klein bottle immersed in three-dimensional space.
Enlarge
The Klein bottle immersed in three-dimensional space.
A torus.
Enlarge
A torus.

Covering map

A covering space is a fiber bundle such that the bundle projection is a local homeomorphism. It follows in particular, that the fiber is a discrete space.

Vector and principal bundles

A special class of fiber bundles, called vector bundles, are those whose fibers are vector spaces (to qualify as a vector bundle the structure group of the bundle — see below — must be a linear group). Important examples of vector bundles include the tangent bundle and cotangent bundle of a smooth manifold. From any vector bundle, one can construct the frame bundle of bases which is a principal bundle (see below).

Another special class of fiber bundles, called principal bundles, are bundles on whose fibers a free and transitive group action by G is given, so that each fiber is a principal homogeneous space. The bundle is often specified along with the group by referring to it as a principal G-bundle. The group G is also the structure group of the bundle. Given a representation ρ of G on a vector space V, a vector bundle with ρ(G)⊆Aut(V) as a structure group may be constructed, known as the associated bundle.

Sphere bundles

A sphere bundle is a fiber bundle whose fiber is an n-sphere. Given a vector bundle E with a metric (such as the tangent bundle to a Riemannian manifold) one can construct the associated unit sphere bundle, for which the fiber over a point x is the set of all unit vectors in Ex. When the vector bundle in question is the tangent bundle T(M), the unit sphere bundle is known as the unit tangent bundle, and is denoted UT(M).

A sphere bundle is partially characterized by its Euler class, which is a degree n+1 cohomology class in the total space of the bundle. In the case n=1 the sphere bundle is called a circle bundle and the Euler class is equal to the first Chern class, which characterizes the topology of the bundle completely. For any n, given the Euler class of a bundle, one can calculate its cohomology using a long exact sequence called the Gysin sequence.

Sections

A section (or cross section) of a fiber bundle is a continuous map f : BE such that π(f(x))=x for all x in B. Since bundles do not in general have globally-defined sections, one of the purposes of the theory is to account for their existence. This leads to the theory of characteristic classes in algebraic topology.

Often one would like to define sections only locally (especially when global sections do not exist). A local section of a fiber bundle is a continuous map f : UE where U is an open set in B and π(f(x))=x for all x in U. If (U, φ) is a local trivialization chart then local sections always exist over U. Such sections are in 1-1 correspondence with continuous maps UF. Sections form a sheaf.

Structure groups and transition functions

Fiber bundles often come with a group of symmetries which describe the matching conditions between overlapping local trivialization charts. Specifically, let G be a topological group which acts continuously on the fiber space F on the left. We lose nothing if we require G to act effectively on F so that it may be thought of as a group of homeomorphisms of F. A G-atlas for the bundle (E, B, π, F) is a local trivialization such that for any two overlapping charts (Ui, φi) and (Uj, φj) the function

\phi_i\phi_j^{-1} : (U_i \cap U_j) \times F \to (U_i \cap U_j) \times F

is given by

\phi_i\phi_j^{-1}(x, \xi) = (x, t_{ij}(x)\xi)

where tij : UiUjG is a continuous map called a transition function. Two G-atlases are equivalent if their union is also a G-atlas. A G-bundle is a fiber bundle with an equivalence class of G-atlases. The group G is called the structure group of the bundle.

In the smooth category, a G-bundle is a smooth fiber bundle where G is a Lie group and the corresponding action on F is smooth and the transition functions are all smooth maps.

The transition functions tij satisfy the following conditions

  1. tii(x) = 1
  2. tij(x) = tji(x) - 1
  3. tik(x) = tij(x)tjk(x)

The third condition applies on triple overlaps UiUjUk and is called the cocycle condition (see Čech cohomology).

A principal G-bundle is G-bundle where the fiber F is a principal homogeneous space for the left action of G itself (equivalently, one can specify that the action of G on the fibre F is free and transitive). In this case, it is often a matter of convenience to identify F with G and so obtain a (right) action of G on the principal bundle.

Bundle maps

It is useful to have notions of mapping between bundles on B for the same type of fiber F. These are called bundle maps. The most common are the mappings between vector bundles that are linear on each fiber; these occur also for different bases, for example from one tangent bundle to another. Another kind is the bundle map of principal bundles, which is G-equivariant fiber by fiber.


See also

References

  • Norman Steenrod, The Topology of Fibre Bundles, Princeton University Press (1951). ISBN 0-691-00548-6.
  • David Bleecker, Gauge Theory and Variational Principles, Addison-Wesley publishing, Reading, Mass (1981). ISBN 0-201-10096-7.
  • Dale Husemoller, "Fibre Bundles", Springer Verlag (1994). ISBN 0-387-94087-1

External links


 
Best of the Web: fiber bundle

Some good "fiber bundle" pages on the web:


Math
mathworld.wolfram.com
 
 
 

Join the WikiAnswers Q&A community. Post a question or answer questions about "fiber bundle" at WikiAnswers.

 

Copyrights:

Sci-Tech Dictionary. McGraw-Hill Dictionary of Scientific and Technical Terms. Copyright © 2003, 1994, 1989, 1984, 1978, 1976, 1974 by McGraw-Hill Companies, Inc. All rights reserved.  Read more
Sci-Tech Encyclopedia. McGraw-Hill Encyclopedia of Science and Technology. Copyright © 2005 by The McGraw-Hill Companies, Inc. All rights reserved.  Read more
Computer Desktop Encyclopedia. THIS COPYRIGHTED DEFINITION IS FOR PERSONAL USE ONLY.
All other reproduction is strictly prohibited without permission from the publisher.
© 1981-2008 Computer Language Company Inc.  All rights reserved.  Read more
Wikipedia. This article is licensed under the GNU Free Documentation License. It uses material from the Wikipedia article "Fiber bundle" Read more

Search for answers directly from your browser with the FREE Answers.com Toolbar!  
Click here to download now. 

Get Answers your way! Check out all our free tools and products.

On this page:   E-mail   print Print  Link  

 

Keep Reading

Mentioned In: