Search results
Results from the WOW.Com Content Network
For example, if M is a submanifold of N and φ is the inclusion, then a vector field along φ is just a section of the tangent bundle of N along M; in particular, a vector field on M defines such a section via the inclusion of TM inside TN. This idea generalizes to arbitrary smooth maps.
This projection maps each element of the tangent space to the single point . The tangent bundle comes equipped with a natural topology (described in a section below ). With this topology, the tangent bundle to a manifold is the prototypical example of a vector bundle (which is a fiber bundle whose fibers are vector spaces ).
is an injective function at every point p of M (where T p X denotes the tangent space of a manifold X at a point p in X and D p f is the derivative (pushforward) of the map f at point p). Equivalently, f is an immersion if its derivative has constant rank equal to the dimension of M: [2] = .
Finally, the notion of Gauss map can be generalized to an oriented submanifold X of dimension k in an oriented ambient Riemannian manifold M of dimension n. In that case, the Gauss map then goes from X to the set of tangent k-planes in the tangent bundle TM. The target space for the Gauss map N is a Grassmann bundle built on the tangent bundle TM.
These two bits of data, a direction and a magnitude, thus determine a tangent vector at the base point. The map from tangent vectors to endpoints smoothly sweeps out a neighbourhood of the base point and defines what is called the exponential map, defining a local coordinate chart at that base point. The neighbourhood swept out has similar ...
The dimension of the tangent space at every point of a connected manifold is the same as that of the manifold itself. For example, if the given manifold is a -sphere, then one can picture the tangent space at a point as the plane that touches the sphere at that point and is perpendicular to the
The exponential map of the Earth as viewed from the north pole is the polar azimuthal equidistant projection in cartography.. In Riemannian geometry, an exponential map is a map from a subset of a tangent space T p M of a Riemannian manifold (or pseudo-Riemannian manifold) M to M itself.
At each point on the strip, the projection map projects it towards the middle ring, and the fiber is perpendicular to the middle ring. The vertical bundle at this point is the tangent space to the fiber. A simple example of a smooth fiber bundle is a Cartesian product of two manifolds.