Fibre Bundles Explained: Definition, Examples & Visualization
A fibre bundle is a mathematical structure consisting of a total space that looks locally like a simple product of two spaces but may have a different global shape. The formal definition uses four pieces of data written (E, B, π, F): a total space E, a base space B, a projection map π, and a fibre F. Classic examples include the trivial cylinder bundle, the Möbius strip, and the Klein bottle.
Table of Contents
Key Takeaways
- A fibre bundle is formally defined as data (E, B, π, F), consisting of a total space E, base space B, projection π, and fibre F.
- Local triviality means every point in the total space has a neighborhood where the bundle looks exactly like a product space U × F.
- The Möbius strip is a standard example of a non-trivial fibre bundle because it is locally like a product but globally twisted.
- A hairbrush offers a physical analogy: the handle acts as the base space and the bristles act as the fibres.
- Smooth fibre bundles extend the same definition to smooth manifolds, requiring the projection and local trivializations to be smooth maps.
What Is a Fibre Bundle?
A fibre bundle is the data (E, B, π, F), where E, B and F are topological spaces called the total space, the base space, and the fibre respectively. The map π : E → B is a continuous surjection called the projection, sometimes also called a submersion, of the bundle. Discussions of fibre bundles commonly assume the base space B is connected, meaning it consists of a single connected piece rather than several separate parts.
What Does Local Triviality Mean?
Local triviality is the condition that makes a fibre bundle “locally” simple even when it is globally complex. Formally, for every point x in the total space E, there must exist an open neighbourhood U of the point π(x) in the base space B such that the preimage π⁻¹(U) is homeomorphic to the product space U × F. This homeomorphism must commute with the projection, meaning π corresponds exactly to projection onto the first factor U under that identification.
Each such neighbourhood U is called a trivialization neighbourhood. A collection of pairs {Ui, φi} that together cover the entire base space B is called a local trivialization, where each φi : π⁻¹(Ui) → Ui × F is a homeomorphism.
How Can You Visualize a Fibre Bundle?
A household hairbrush offers a concrete, physical way to picture a fibre bundle. The handle of the brush represents the base space B, modeled as a cylinder, while each individual bristle represents a fibre F, modeled as a short line segment. The projection π : E → B sends every point along a given bristle to the single point on the handle where that bristle is attached.
When the total space E is literally the product B × F, with π acting as the ordinary coordinate projection onto the first factor, the bundle is called the trivial bundle. This is the simplest possible case, where there is no twisting or hidden global structure.
What Are Examples of Non-Trivial Fibre Bundles?
The Möbius strip is a well-known non-trivial fibre bundle: it is locally homeomorphic to ordinary two-dimensional Euclidean space ℝ², but it has a global half-twist that prevents it from being the simple product S¹ × I, where S¹ is a circle and I is an interval. The Klein bottle is another standard example of a non-trivial fibre bundle, illustrating the same principle in a different geometric setting.
What Is a Smooth Fibre Bundle?
A smooth fibre bundle is defined using the same (E, B, π, F) framework, but with B, F and E required to be smooth manifolds rather than general topological spaces. In this setting, both the projection π and the local trivialization maps φi must be smooth maps, meaning they are infinitely differentiable rather than merely continuous.
What Is a Structure Group in a Fibre Bundle?
Transitions between different local trivializations of a fibre bundle are often required to lie in a topological or Lie group G, called the structure group or gauge group, which acts on the fibre F. These transition functions determine precisely how the individual local product charts are glued together to form the complete global bundle, and they are central to applications of fibre bundles in physics and geometry.
Frequently Asked Questions
What is the simplest example of a fibre bundle?
The trivial bundle is the simplest example, where the total space E is literally the product B × F and the projection π is just the ordinary projection onto the first factor B. There is no twisting between the base space and the fibre in this case.
Why is the Möbius strip considered a fibre bundle?
The Möbius strip qualifies as a fibre bundle because it is locally homeomorphic to a simple product space near any given point, satisfying the local triviality condition. However, it fails to be a trivial bundle globally because of the half-twist built into its construction, making it non-trivial overall.
What is a trivialization neighbourhood?
A trivialization neighbourhood is an open set U in the base space B for which the preimage π⁻¹(U) in the total space E is homeomorphic to the product U × F. A collection of such neighbourhoods covering the whole base space forms what is called a local trivialization.
What is the difference between a fibre bundle and a smooth fibre bundle?
A general fibre bundle only requires E, B and F to be topological spaces with a continuous projection π. A smooth fibre bundle requires E, B and F to be smooth manifolds and requires both the projection π and the local trivialization maps to be smooth, rather than merely continuous.
What role does the structure group play in a fibre bundle?
The structure group, sometimes called the gauge group, is a topological or Lie group G that acts on the fibre F and governs the transition functions between overlapping local trivializations. These transition functions specify exactly how local product charts are glued together to build the global bundle.
Further Reading
For related material on differentiation techniques used alongside fibre bundle theory, see The Pantheon of Derivatives, Part 3. Readers can also follow the ongoing discussion in the comments thread on fibre bundles.
This article was authored by several Physics Forums members with PhDs in physics or mathematics.
A nice experiment is to clue a strip from paper and cut it along the ring in the middle.
If you look at a small neighborhood of the Möbius strip, you will find a flat neighborhood with a one dimensional fiber at each point. This is the same as in the Euclidean plane with perpendicular one dimensional vector spaces attached at each point. However, if you consider the entire total space, then walking along a closed curve on the Möbius strip changes the direction (sign) of a vector in the fiber, whereas it does not on the Euclidean plane.
”
“see the first figure”
Where is it? I see no figure.
”
I have removed the language for now