Fibered manifold

In differential geometry, in the category of differentiable manifolds, a fibered manifold is a surjective submersion

that is, a surjective differentiable mapping such that at each point

the tangent mapping

is surjective, or, equivalently, its rank equals

[1] In topology, the words fiber (Faser in German) and fiber space (gefaserter Raum) appeared for the first time in a paper by Herbert Seifert in 1932, but his definitions are limited to a very special case.

[2] The main difference from the present day conception of a fiber space, however, was that for Seifert what is now called the base space (topological space) of a fiber (topological) space

was not part of the structure, but derived from it as a quotient space of

The first definition of fiber space is given by Hassler Whitney in 1935 under the name sphere space, but in 1940 Whitney changed the name to sphere bundle.

[3][4] The theory of fibered spaces, of which vector bundles, principal bundles, topological fibrations and fibered manifolds are a special case, is attributed to Seifert, Hopf, Feldbau, Whitney, Steenrod, Ehresmann, Serre, and others.

are differentiable manifolds and

is a surjective submersion, is called a fibered manifold.

is called the total space,

is called the base.

A fibered manifold

admits fiber charts.

is a fiber chart, or is adapted to the surjective submersion

if there exists a chart

The above fiber chart condition may be equivalently expressed by

{\displaystyle {\mathrm {pr} _{1}}:{\mathbb {R} ^{n}}\times {\mathbb {R} ^{p-n}}\to {\mathbb {R} ^{n}}\,}

is then obviously unique.

In view of the above property, the fibered coordinates of a fiber chart

the coordinates of the corresponding chart

are then denoted, with the obvious convention, by

Conversely, if a surjection

admits a fibered atlas, then

Then an open covering

called trivialization maps, such that

is a local trivialization with respect to

if it admits a local trivialization with respect to

is then called a bundle atlas.