In mathematics, given a vector at a point on a curve, that vector can be decomposed uniquely as a sum of two vectors, one tangent to the curve, called the tangential component of the vector, and another one perpendicular to the curve, called the normal component of the vector. Similarly, a vector at a point on a surface can be broken down the same way.
More generally, given a submanifold N of a manifold M, and a vector in the tangent space to M at a point of N, it can be decomposed into the component tangent to N and the component normal to N.
More formally, let be a surface, and be a point on the surface. Let be a vector at . Then one can write uniquely as a sum
where the first vector in the sum is the tangential component and the second one is the normal component. It follows immediately that these two vectors are perpendicular to each other.
To calculate the tangential and normal components, consider a unit normal to the surface, that is, a unit vector perpendicular to at . Then,
and thus
where "" denotes the dot product. Another formula for the tangential component is
where "" denotes the cross product.
These formulas do not depend on the particular unit normal used (there exist two unit normals to any surface at a given point, pointing in opposite directions, so one of the unit normals is the negative of the other one).
More generally, given a submanifold N of a manifold M and a point , we get a short exact sequence involving the tangent spaces:
The quotient space is a generalized space of normal vectors.
If M is a Riemannian manifold, the above sequence splits, and the tangent space of M at p decomposes as a direct sum of the component tangent to N and the component normal to N:
Thus every tangent vector splits as , where and .
Suppose N is given by non-degenerate equations.
If N is given explicitly, via parametric equations (such as a parametric curve), then the derivative gives a spanning set for the tangent bundle (it is a basis if and only if the parametrization is an immersion).
If N is given implicitly (as in the above description of a surface, (or more generally as) a hypersurface) as a level set or intersection of level surfaces for , then the gradients of span the normal space.
In both cases, we can again compute using the dot product; the cross product is special to 3 dimensions however.
In vector calculus, the curl, also known as rotor, is a vector operator that describes the infinitesimal circulation of a vector field in three-dimensional Euclidean space. The curl at a point in the field is represented by a vector whose length and direction denote the magnitude and axis of the maximum circulation. The curl of a field is formally defined as the circulation density at each point of the field.
A centripetal force is a force that makes a body follow a curved path. The direction of the centripetal force is always orthogonal to the motion of the body and towards the fixed point of the instantaneous center of curvature of the path. Isaac Newton described it as "a force by which bodies are drawn or impelled, or in any way tend, towards a point as to a centre". In Newtonian mechanics, gravity provides the centripetal force causing astronomical orbits.
In vector calculus, the gradient of a scalar-valued differentiable function of several variables is the vector field whose value at a point gives the direction and the rate of fastest increase. The gradient transforms like a vector under change of basis of the space of variables of . If the gradient of a function is non-zero at a point , the direction of the gradient is the direction in which the function increases most quickly from , and the magnitude of the gradient is the rate of increase in that direction, the greatest absolute directional derivative. Further, a point where the gradient is the zero vector is known as a stationary point. The gradient thus plays a fundamental role in optimization theory, where it is used to minimize a function by gradient descent. In coordinate-free terms, the gradient of a function may be defined by:
Flux describes any effect that appears to pass or travel through a surface or substance. Flux is a concept in applied mathematics and vector calculus which has many applications to physics. For transport phenomena, flux is a vector quantity, describing the magnitude and direction of the flow of a substance or property. In vector calculus flux is a scalar quantity, defined as the surface integral of the perpendicular component of a vector field over a surface.
In physics, angular velocity, also known as angular frequency vector, is a pseudovector representation of how the angular position or orientation of an object changes with time, i.e. how quickly an object rotates around an axis of rotation and how fast the axis itself changes direction.
In geometry, two geometric objects are perpendicular if their intersection forms right angles at the point of intersection called a foot. The condition of perpendicularity may be represented graphically using the perpendicular symbol, ⟂. Perpendicular intersections can happen between two lines, between a line and a plane, and between two planes.
In geometry, a normal is an object that is perpendicular to a given object. For example, the normal line to a plane curve at a given point is the line perpendicular to the tangent line to the curve at the point.
In the mathematical field of differential geometry, a metric tensor is an additional structure on a manifold M that allows defining distances and angles, just as the inner product on a Euclidean space allows defining distances and angles there. More precisely, a metric tensor at a point p of M is a bilinear form defined on the tangent space at p, and a metric field on M consists of a metric tensor at each point p of M that varies smoothly with p.
In mathematics, the covariant derivative is a way of specifying a derivative along tangent vectors of a manifold. Alternatively, the covariant derivative is a way of introducing and working with a connection on a manifold by means of a differential operator, to be contrasted with the approach given by a principal connection on the frame bundle – see affine connection. In the special case of a manifold isometrically embedded into a higher-dimensional Euclidean space, the covariant derivative can be viewed as the orthogonal projection of the Euclidean directional derivative onto the manifold's tangent space. In this case the Euclidean derivative is broken into two parts, the extrinsic normal component and the intrinsic covariant derivative component.
In Riemannian geometry, the geodesic curvature of a curve measures how far the curve is from being a geodesic. For example, for 1D curves on a 2D surface embedded in 3D space, it is the curvature of the curve projected onto the surface's tangent plane. More generally, in a given manifold , the geodesic curvature is just the usual curvature of . However, when the curve is restricted to lie on a submanifold of , geodesic curvature refers to the curvature of in and it is different in general from the curvature of in the ambient manifold . The (ambient) curvature of depends on two factors: the curvature of the submanifold in the direction of , which depends only on the direction of the curve, and the curvature of seen in , which is a second order quantity. The relation between these is . In particular geodesics on have zero geodesic curvature, so that , which explains why they appear to be curved in ambient space whenever the submanifold is.
In differential geometry, an affine connection is a geometric object on a smooth manifold which connects nearby tangent spaces, so it permits tangent vector fields to be differentiated as if they were functions on the manifold with values in a fixed vector space. Connections are among the simplest methods of defining differentiation of the sections of vector bundles.
In physics, Newtonian dynamics is the study of the dynamics of a particle or a small body according to Newton's laws of motion.
In 3-dimensional geometry and vector calculus, an area vector is a vector combining an area quantity with a direction, thus representing an oriented area in three dimensions.
In mathematics, transversality is a notion that describes how spaces can intersect; transversality can be seen as the "opposite" of tangency, and plays a role in general position. It formalizes the idea of a generic intersection in differential topology. It is defined by considering the linearizations of the intersecting spaces at the points of intersection.
A screw axis is a line that is simultaneously the axis of rotation and the line along which translation of a body occurs. Chasles' theorem shows that each Euclidean displacement in three-dimensional space has a screw axis, and the displacement can be decomposed into a rotation about and a slide along this screw axis.
In Riemannian geometry and pseudo-Riemannian geometry, the Gauss–Codazzi equations are fundamental formulas that link together the induced metric and second fundamental form of a submanifold of a Riemannian or pseudo-Riemannian manifold.
In the differential geometry of surfaces, a Darboux frame is a natural moving frame constructed on a surface. It is the analog of the Frenet–Serret frame as applied to surface geometry. A Darboux frame exists at any non-umbilic point of a surface embedded in Euclidean space. It is named after French mathematician Jean Gaston Darboux.
In mathematics, and especially affine differential geometry, the affine focal set of a smooth submanifold M embedded in a smooth manifold N is the caustic generated by the affine normal lines. It can be realised as the bifurcation set of a certain family of functions. The bifurcation set is the set of parameter values of the family which yield functions with degenerate singularities. This is not the same as the bifurcation diagram in dynamical systems.
In the context of classical mechanics simulations and physics engines employed within video games, collision response deals with models and algorithms for simulating the changes in the motion of two solid bodies following collision and other forms of contact.
In kinematics, the acceleration of a particle moving along a curve in space is the time derivative of its velocity. In most applications, the acceleration vector is expressed as the sum of its normal and tangential components, which are orthogonal to each other. Siacci's theorem, formulated by the Italian mathematician Francesco Siacci (1839–1907), is the kinematical decomposition of the acceleration vector into its radial and tangential components. In general, the radial and tangential components are not orthogonal to each other. Siacci's theorem is particularly useful in motions where the angular momentum is constant.