View source for Parallel transport

A very flexible construction aimed to represent a family of similar objects (fibres or fibers, depending on the preferred spelling) which are parametrized by the index set which itself has an additional structure (topological space, smooth manifold etc.). 

The most known examples are the tangent and cotangent bundles of a smooth manifold. The coverings are also a special particular form of a topological bundle (with discrete fibers). 

==Formal definition of a topological bundle==
Let $\pi:E\to B$ be a continuous map between topological spaces, called the ''total space''<ref>Also names [[fibre space]] or ''fibered space'' are used. </ref> and the ''base'', and $F$ yet another topological space called ''fiber'', such that the preimage $F_b=\pi^{-1}(b)\subset E$ of every point of the base is [[homeomorphism|homeomorphic]] to $X$. The latter condition means that $E$ is the disjoint union of "fibers", $E=\bigsqcup_{b\in B} F_b$ homeomorphic to each other. 

The map $\pi$ is called [[fibration]]<ref>Also the terms ''bundle'' or ''fiber bundle'' are used.</ref> of $E$ over $B$, if the above representation is ''locally trivial'': any point of the base admits an open neighborhood $U$ such that the restriction of $\pi$ on the preimage $\pi^{-1}(U)$ is [[topological equivalence|topologically equivalent]] to the Cartesian projection $\pi_2$ of the product $F\times U$ on the second component: $\pi_2(v,b)=b$. Formally this means that there exists a homeomorhism $H_U=H:\pi^{-1}(U)\to F\times U$ such that $\pi=\pi_2\circ H$.

====Examples====
# The trivial bundle $E=F\times B$,  $\pi=\pi_2: F\times B\to B$, $(v,b)\mapsto b$. In this case all trivializing homeomorphisms are globally defined on the entire total space (as the identity map).
# Let $E=\R^n\smallsetminus\{0\}$ be the punctured Euclidean space, $B=\mathbb S^{n-1}$ the standard unit sphere and $\pi$ the radial projection $\pi(x)=\|x\|^{-1}\cdot x$. This is a topological bundle with the fiber $F=(0,+\infty)\simeq\R^1$.
# Let $E=\mathbb S^{n-1}$ as above, $B=\R P^{n-1}$ the real [[projective space]] (all lines in $\R^n$ passing through the origin) and $\pi$ the map taking a point $x$ on the sphere into the line $\ell_x$ passing through $x$. The preimage $\pi^{-1}(\ell)$ consists of two antipodal points $x$ and $-x\in\mathbb S^{n-1}$, thus $F$ is a discrete two-point set $\mathbb Z_2=\{-1,1\}$. This is a topological bundle, which cannot be trivial: indeed, if it were, then the total space $\mathbb S^{n-1}$ would consist of two connected components, while it is  connected.
# More generally, let $\pi:M^m\to N^n$ be a differentiable map between two smooth (connected) compact manifolds of dimensions $m\ge n$, which has the maximal rank (equal to $n$) everywhere. One can show then, using the implicit function theorem and partition of unity, that $\pi$ is a topological bundle with a fiber $F$ which itself is a smooth compact manifold<ref>This statement is also known as the Ehresmann theorem, see Ehresmann, C., ''Les connexions infinitésimales dans un espace fibré différentiable'', Colloque de Topologie, Bruxelles (1950), 29-55. The compactness assumption can be relaxed by the requirement that the map $\pi$ is ''proper'', i.e., preimage of any compact in $N$ is a compact in $M$. </ref>.
# The [[Hopf fibration]] $\mathbb S^3\to\mathbb S^2$ with the generic fiber $\mathbb S^1$. It is best realized through the restriction on the sphere $\mathbb S^3=\{|z|^2+|w|^2=1\}\subseteq\C^2$ of the canonical map $(z,w)\mapsto [z:w]\in\C P^1=\C^1\cup\{\infty\}\simeq\mathbb S^2$. The preimage of each point on the projective plane is a line in $\C^2$ which intersects the unit sphere $\mathbb S^3$ by the circle. This fibration can be spectacularly visualized if the sphere $\mathbb S^3$ is punctured (one of its point deleted) to become $\R^3$: fibers are linked between themselves.

===Cocycle of a bundle===
On a nonvoid overlapping $U_{\alpha\beta}=U_\alpha\cap U_\beta$ of two different trivializing charts $U_\alpha$ and $U_\beta$ two homeomorphisms $H_\alpha,H_\beta: \pi^{-1}(U_{\alpha\beta})\to F\times U_{\alpha\beta}$ are defined. Since both $H_\alpha$ and $H_\beta$ conjugate $\pi$ with the Cartesian projection on $U_{\alpha\beta}$, they map each fiber $F_b=\pi^{-1}(b)$ into the same space $F\times\{b\}$. The composition $H_\alpha\circ H_\beta^{-1}$ keeps constant the $b$-component and hence takes the "triangular" form
$$
H_\alpha\circ H_\beta^{-1}:(v,b)\mapsto (H_{\alpha\beta}(b,v),b),\qquad H_{\alpha\beta}(\cdot,b)\in\operatorname{Homeo}(F)
$$
with the homeomorphisms $H_{\alpha\beta}(\cdot, b)$ continuously depending on $b\in U_{\alpha\beta}$. The collection of these "homeomorphism-valued" functions defined in the intersections $U_{\alpha\beta}$ is called the [[cocycle]] associated with a given trivialization of the bundle $\pi$ (or simply the ''cocycle of the bundle''. They homeomorphisms $\{H_{\alpha\beta}\}$ satisfy the following identities, obvious from their construction:
$$
H_{\alpha\beta}\circ H_{\beta\alpha}=\operatorname{id},\qquad H_{\alpha\beta}\circ H_{\beta\gamma}\circ H_{\gamma\alpha}=\operatorname{id},
\tag{HC}
$$
the second being true on every nonvoid triple intersection $U_{\alpha\beta\gamma}=U_\alpha\cap U_\beta\cap U_\gamma$.

==Vector bundles and other additional structures on the fibers==
The general construction of bundle easily allows various additional structures, both on the base space and (more importantly) on the fibers. By far the most important special case is that of [[vector bundle]]s.

To define a vector bundle, one has in addition to the principal definition assume the following:
# The fiber $F$ is a vector space<ref>The fiber $F$ should be equipped with some topology, but often it is finite-dimensional, $F\simeq\R^n$ or $F\simeq\C^n$, thus leaving only the default option.</ref>, and
# The trivializing homeomorphisms must respect the linear structure of the fibers. 

The second assumption means that rather than being arbitrary homeomorphisms, the maps $\{H_{\alpha\beta}\}$ forming the bundle cocycle, must be linear invertible of each "standard fiber" $F\times \{b\}$; if the fiber is identified with the canonical $n$-space $\Bbbk^n$ (over $\Bbbk=\R$ or $\Bbbk=\C$), then the cocycle will consist of ''invertible continuous matrix-functios'' $M_{\alpha\beta}:U_{\alpha\beta}\to\operatorname{GL}(n,\Bbbk)$, so that $H_{\alpha\beta}(v,b)=(M_{\alpha\beta}(b)\, v, b)$, $v\in\Bbbk^n$. The cocycle identities become then the identites relating the values of these matrix-valued functions,
$$
M_{\alpha\beta}(b)\cdot M_{\beta\alpha}(b)\equiv E,\qquad M_{\alpha\beta}(b)\cdot M_{\beta\gamma}(b)\cdot M_{\gamma\alpha}(b)\equiv E,
$$
where $E$ is the $n\times n$-identical matrix.

For vector bundles all linear constructions become well defined on fibers.

Following the way, one may define vector bundles with extra algebraic structures on the fibers. For instance, if the cocycle defining the bundle, consists of orthogonal matrices, $M_{\alpha\beta}:U_{\alpha\beta}\to\operatorname{SO}(n,\R)$, then the fibers of the bundle naturally acquire the structure of Euclidean spaces. Other natural examples are bundles whose fibers have the [[Hermitian structure]] (the cocycle should consist of unitary matrix functions then) or [[symplectic structure|symplectic]] spaces (with canonical cocycle matrices preserving the symplectic structure). 

====Tangent and cotangent bundle of a smooth manifold====
If $M$ is a smooth manifold with the atlas of coordinate charts $\{U_\alpha\}$ and the maps $h_\alpha:U_\alpha\to\R^m$, then the differentials of these maps $\rd h_\alpha$ allow to identify the tangent space $T_a M$ at $a\in U_{\alpha}$ with $\R^m$ and the union $\bigsqcup_{a\in U_\alpha}T_a M$ with $\R^m\times U_\alpha$ (we write the tangent vector first). For a point $a\in U_{\alpha\beta}$ there are two identifications which differ by the Jacobian matrix of the transition map $h_{\alpha\beta}=h_\alpha\circ h_\beta^{-1}$. This shows that the tangent bundle $TM$ is indeed a vector bundle in the sense of the above definition. 

The cotangent bundle is also trivialized by every atlas $\{h_\alpha:U_\alpha\to\R^m\}$ on $M$, yet in this case the direction of arrows should be reverted<ref>Covectors form a covariant rather than contravariant tensor of rank $1$.</ref>: the cotangent space $T_a^*M$ is identified with $\R^n$ by the linear map $(\rd h_\alpha^*)$, thus the corresponding cocycle will consist of the transposed inverse Jacobian matrices. 

<small>

====Equivalence of cocycles====
The trivializing maps defining the structure of a bundle (vector or topological) are by no means unique, even if the covering domains $U_\alpha$ remain the same. E.g., one can replace the the collection of maps $\{H_{\alpha}\}$ trivializing a vector bundle, by another collection $\{H'_{\alpha}\}$, post-composing them with the maps $F\times U_\alpha\to F\times U_\alpha$, $(v,b)\mapsto (C_\alpha(b)\,v, b)$ with invertible continuous matrix functions $C_\alpha:U_\alpha\to\operatorname{GL}(n,\Bbbk)$. The corresponding matrix cocycle $\{M_{\alpha\beta}\}$ will be replaced then by the new matrix cocycle $\{M'_{\alpha\beta}(b)\}$,
$$
M'_{\alpha\beta}(b)=C_\alpha(b)M_{\alpha\beta}(b)C_\beta^{-1}(b),\qquad b\in U_{\alpha\beta}. 
\tag{CE}
$$
Two matrix cocycles related by these identities, are called ''equivalent'' and clearly define the same bundle. 

'''Example'''. The trivial cocycle $\{M_{\alpha\beta}(b)\}=\{E\}$ which consists of identity matrices, corresponds to the trival bundle $F\times B$: the trivializing maps agree with each other on the intersections and hence define the global trivializing map $H:E\to F\times B$. A cocycle equal to the trivial one in the sense of (CE) is called ''solvable'': its solution is a collection of invertible matrix functions $C_\alpha:U_\alpha\to\operatorname{GL}(n,\Bbbk)$ such that on the overlapping of the domains $U_{\alpha\beta}=U_\alpha\cap U_\beta$ the identities
$$
M_{\alpha\beta}(b)=C_{\alpha}^{-1}(b)C_\beta(b),\qquad \forall\alpha,\beta,\ b\in U_{\alpha}\cap U_\beta.
$$
Thus solvability of cocycle is an analytic equivalent of the topological triviality of the bundle. 
</small>



----
<small>
<references/>
</small>

==Special classes of bundles==
Together with vector bundles, there are other special classes of bundles.

===$G$-bundles and principal bundles===
Assume that the fiber $F$ of a bundle $\pi:E\to B$ has a structure of the topological group (of the Lie group) $G$ and this group acts ''freely and transitively'' on each fiber (say, by the ''right'' multiplication), generating thus the action of $G$ on the total space $E$. Then this action should be consistent with the local trivializations $H_\alpha:\pi^{-1}(U_\alpha)\to G\times U_\alpha$: the corresponding transition maps $H_{\alpha\beta}(\cdot,b):G\to G$ must commute with the right action of $G$. This means that 
$$ 
 \forall g\in G, \ b\in B,\qquad H_{\alpha\beta}(g,b)=H_{\alpha\beta}(e\cdot g,b)=H_{\alpha\beta}(e,b)\cdot g =g_{\alpha\beta}(b)\cdot g,
\tag{T}
$$
where $g_{\alpha\beta}=H_{\alpha\beta}(e)\in G$ is the uniquely defined group element (depending continuously on $b\in B$), and $e\in G$ is the unit of the group. Thus the $G$-bundle is completely determined by the cocycle $\{g_{\alpha\beta}:U_{\alpha\beta}\to G\}$ satisfying the cocycle identites,
$$
  g_{\alpha\beta}(\cdot)g_{\beta\alpha}(\cdot)\equiv e,\qquad g_{\alpha\beta}(\cdot)g_{\beta\gamma}(\cdot)g_{\gamma\alpha}(\cdot)\equiv e.
\tag{GC}
$$
Such a bundle (defined by the ''left'' $G$-action of multiplication by $g_{\alpha\beta}$ in the transition maps (T)) is called a [[principal fibre bundle|principal $G$-bundle]]. 

This construction allows to associate (tautologically) with each vector bundle $\pi:E\to B$ with a fiber $\Bbbk^n$ a principal $G$-bundle $\Pi:\mathbf E\to B$ with the same base, where $G=\operatorname{GL}(n,\Bbbk)$. Analytically this is achieved by considering the same matrix cocycle $\{M_{\alpha\beta}(\cdot)\}$ and re-interpreting it as the $G$-valued cocycle (GC), $g_{\alpha\beta}=M_{\alpha\beta}$. This bundle is (not surprisingly) called the ''associated principal bundle''. If the matrix cocycle $\{M_{\alpha\beta}\}$ takes values in a subgroup $G\subsetneq\operatorname{GL}(n,\Bbbk)$, then the associated principal bundle may have a "smaller" fiber.

'''Example'''. The principal bundle associated with the tangent vector bundle $TM$ is the bundle whose fibers are frames (linear independent tuples of tangent vectors spanning the tangent space $T_aM$ at each point $a\in M$.

===Line bundles and the "genuine" cohomology===
The case of vector bundles of rank $1$ is especially important: first, because in this case the vector bundle is indistinguishable from the associated principal bundle, but mainly because the corresponding group $G=\operatorname{GL}(1,\Bbbk)\simeq\Bbbk^*$ is commutative. This allows to activate the powerful machinery of the [[sheaf theory]] and the respective [[Cech_cohomology|(Cech) cohomology]] theory. 

===Bundles with a discrete fiber and topological coverings===
If the fiber $F$ is a topological space with the [[discrete topology]], the corresponding bundle is generally referred to as a [[covering]]. Indeed, since $F$ is completely disjoint (each point $v$ is both open and closed), the preimage $\pi^{-1}(U)=\bigsqcup_{v\in F} U_v$ is a disjoint union of the sets $U_v$ homeomorphic to $U$.

===More of the same...===
In several areas of applications other types of fibers may be important, among them:
* Sphere bundles $F\simeq\mathbb S^k$,
* Projective bundles $F\simeq \mathbb P^k$ (real or complex projective spaces),
* Quaternionic bundles.
The construction of the bundle is so flexible that almost any specific flavor can be incorporated into it.

Another variable parameter  of the construction is the regularity of its different elements. The base $B$ and the total space $E$ can be assumed (in various combinations) not merely topological spaces, but manifolds of increasing smoothness (including the real or complex analytic manifolds). 

Finally, one can allow for singulatities, assuming that the local structure of the Cartesian product holds only outside of a "small" subset $\varSigma$ of $B$, on which the "bundle" is singular. While formally one can simply omit the exceptional locus and consider the "genuine" bundle $\pi':E'\to B'$, where $E'=E\smallsetminus\pi^{-1}(B')$ and  $B'=B\smallsetminus\varSigma$, the singularity very often carries the most important part of the information encoded in the specific degeneracy of the cocycle automorphisms $\{H_{\alpha\beta}(\cdot,b)\}$.

==Morphisms and operations on bundles==
The "triangular" structure (fibers parametrized by points of the base) dictates necessarily restrictions on the morphisms in the category of bundles, but also the possible operations with bundles.

===Fibered maps===
If $\pi_i:E_i\to B_i$ are two bundles, $i=1,2$, then a ''morphism'' between the two bundles is a map between the total spaces, which sends fibers to fibers. Formally, such morphism is defined by a pair of maps $h:B_1\to B_2$ between the bases and $H:E_1\to E_2$ between the total spaces, such that 
$$
\pi_2\circ H=h\circ \pi_1,
$$
and such that the restriction of $H$ on each fiber $F_b=\pi_1^{-1}(b_1)$ preserves the possible additional structures which may exist on the fibers $\pi_1^{-1}(b_1)$ and $\pi_2^{-1}(h(b_1))$. E.g., if $\pi_1,\pi_2$ are vector bundles, then the restriction of $H$ on each fiber should be a linear map. 

===Induced bundle===
If $\pi:E\to B$ is a topological bundle and $h:B'\to B$ a continuous map, then one can construct the [[induced fibre bundle]] $\pi':E\to B'$ with the same generic fiber $F$. By construction (pullback), the fibers of the new bundle, $\pi'^{-1}(b')$ coincide with the fibers $\pi^{-1}(h(b'))$. 

===Sections===
A section of a bundle $\pi:E\to B$ is a regular (continuous, smooth, analytic) selector map which chooses for each point $b\in B$ of the base a single element from the corresponding fiber $F_b=\pi^{-1}(b)$. Formally, a section is a map $s:B\to E$, such that $\pi\circ s:B\to B$ is the identity map.

'''Examples'''. A "scalar" ($\Bbbk$-valued) function $f:B\to\Bbbk$ is a section of the trivial line bundle $\pi:\Bbbk\times B\to B$. A section of the tangent bundle of a manifold $M$ is called the [[vector field]] on $M$. A section of the cotangent bundle is a [[differential form|differential 1-form]]. 

Not every bundle admits sections. For instance, the principal bundle associated with the tangent bundle $T\mathbb S^2$ to the 2-sphere, admits no smooth sections (if it would, then one would be able to construct a nonvanishing vector field on the 2-sphere, which is impossible). 

The set of all sections forms a topological space with additional structures inherited from that on the generic fiber, e.g., ections of the vector bundle form a module over the ring of "scalar" functions.