The conormal bundle of a smooth submanifold 
of a smooth manifold 
is the vector bundle over
whose fiber at 
consists of the covectors in 
which vanish on the tangent space 
. It is the annihilator of the tangent bundle of 
inside the restriction of the cotangent bundle of 
to 
.
Conormal Bundle
See also
Cotangent Bundle, Normal Bundle, Tangent Bundle, Vector BundleExplore with Wolfram|Alpha
References
Guillemin, V. and Pollack, A. Differential Topology. Englewood Cliffs, NJ: Prentice-Hall, 1974.Cite this as:
Weisstein, Eric W. "Conormal Bundle." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/ConormalBundle.html