Zero section of a vector bundle (source code)

= Zero section of a vector bundle
{title2=$0_E:X\to E$}

= Zero section
{synonym}

The <zero section> sends each base point to the zero vector in its fiber. It is a smooth <section of a vector bundle> and an embedded copy of the base. The <Liouville one-form> vanishes as an ambient covector precisely along the <zero section> of a <cotangent bundle>.