Section of a mapping

From Encyclopedia of Mathematics
Revision as of 18:13, 15 November 2014 by Richard Pinch (talk | contribs) (Category:Set theory)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

$p:X \rightarrow Y$

A mapping $s : Y \rightarrow X$ for which $p \circ s = \mathrm{id}_Y$. In a wider sense, a section of any morphism in an arbitrary category is a right-inverse morphism.


If $U \subset Y$ is a subset of $Y$, a section over $U$ of $p$ is a mapping $s : U \rightarrow X$ such that $p(s(u)) = u$ for all $u \in U$.

For a vector bundle $E \stackrel{p}{\rightarrow} Y$, where the mapping $p$ is part of the structure defined, one speaks of a section of the vector bundle $E$ rather than of a section of $p$. This applies, e.g., also to sheaves and fibrations. A standard notation for the set of sections in such a case is $\Gamma(E)$, or $\Gamma(U,E)$ for the set of sections of $E$ over $U$.

How to Cite This Entry:
Section of a mapping. Encyclopedia of Mathematics. URL:
This article was adapted from an original article by A.F. Kharshiladze (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article