The basepoint derivative dfp is a map from the tangent space at p to the tangent space at q=f(p). It sends a tangent vector v to the pair (q,Df(p)v), packaging the ordinary derivative with the target basepoint.
Conditions: U is an open subset of Rn.; f:U→Rm and f∈C1.; q=f(p).
The basepoint derivative dfp is a map from the tangent space at p to the tangent space at q=f(p). It sends a tangent vector v to the pair (q,Df(p)v), packaging the ordinary derivative with the target basepoint.
Conditions: U is an open subset of Rn.; f:U→Rm and f∈C1.; q=f(p).
The cotangent space at p is the dual space of the tangent space at p. It is written as Hom(TpRn,R) because it consists of all linear maps from the tangent space TpRn to the field R.
The cotangent space at p is the dual space of the tangent space at p. It is written as Hom(TpRn,R) because it consists of all linear maps from the tangent space TpRn to the field R.
For a smooth manifold M over a field F, the cotangent space at p is defined as Hom(TpM,F). The earlier Rn example is recovered by taking M=Rn and F=R.
Conditions: M is a smooth manifold.; F is the field over which the manifold is considered.
For a smooth manifold M over a field F, the cotangent space at p is defined as Hom(TpM,F). The earlier Rn example is recovered by taking M=Rn and F=R.
Conditions: M is a smooth manifold.; F is the field over which the manifold is considered.