HOME

TheInfoList



OR:

The vector projection (also known as the vector component or vector resolution) of a vector on (or onto) a nonzero vector is the orthogonal projection of onto a straight line parallel to . The projection of onto is often written as \operatorname_\mathbf \mathbf or . The vector component or vector resolute of
perpendicular In geometry, two geometric objects are perpendicular if they intersect at right angles, i.e. at an angle of 90 degrees or π/2 radians. The condition of perpendicularity may be represented graphically using the '' perpendicular symbol'', � ...
to , sometimes also called the vector rejection of ''from'' (denoted \operatorname_ \mathbf or ), is the orthogonal projection of onto the plane (or, in general,
hyperplane In geometry, a hyperplane is a generalization of a two-dimensional plane in three-dimensional space to mathematical spaces of arbitrary dimension. Like a plane in space, a hyperplane is a flat hypersurface, a subspace whose dimension is ...
) that is
orthogonal In mathematics, orthogonality (mathematics), orthogonality is the generalization of the geometric notion of ''perpendicularity''. Although many authors use the two terms ''perpendicular'' and ''orthogonal'' interchangeably, the term ''perpendic ...
to . Since both \operatorname_ \mathbf and \operatorname_ \mathbf are vectors, and their sum is equal to , the rejection of from is given by: \operatorname_ \mathbf = \mathbf - \operatorname_ \mathbf. To simplify notation, this article defines \mathbf_1 := \operatorname_ \mathbf and \mathbf_2 := \operatorname_ \mathbf. Thus, the vector \mathbf_1 is parallel to \mathbf, the vector \mathbf_2 is orthogonal to \mathbf, and \mathbf = \mathbf_1 + \mathbf_2. The projection of onto can be decomposed into a direction and a scalar magnitude by writing it as \mathbf_1 = a_1\mathbf where a_1 is a scalar, called the '' scalar projection'' of onto , and is the
unit vector In mathematics, a unit vector in a normed vector space is a Vector (mathematics and physics), vector (often a vector (geometry), spatial vector) of Norm (mathematics), length 1. A unit vector is often denoted by a lowercase letter with a circumfle ...
in the direction of . The scalar projection is defined as a_1 = \left\, \mathbf\right\, \cos\theta = \mathbf\cdot\mathbf where the operator ⋅ denotes a
dot product In mathematics, the dot product or scalar productThe term ''scalar product'' means literally "product with a Scalar (mathematics), scalar as a result". It is also used for other symmetric bilinear forms, for example in a pseudo-Euclidean space. N ...
, ‖a‖ is the
length Length is a measure of distance. In the International System of Quantities, length is a quantity with Dimension (physical quantity), dimension distance. In most systems of measurement a Base unit (measurement), base unit for length is chosen, ...
of , and ''θ'' is the
angle In Euclidean geometry, an angle can refer to a number of concepts relating to the intersection of two straight Line (geometry), lines at a Point (geometry), point. Formally, an angle is a figure lying in a Euclidean plane, plane formed by two R ...
between and . The scalar projection is equal in absolute value to the length of the vector projection, with a minus sign if the direction of the projection is opposite to the direction of , that is, if the angle between the vectors is more than 90 degrees. The vector projection can be calculated using the dot product of \mathbf and \mathbf as: \operatorname_ \mathbf = \left(\mathbf \cdot \mathbf\right) \mathbf = \frac \frac = \frac = \frac ~ .


Notation

This article uses the convention that vectors are denoted in a bold font (e.g. ), and scalars are written in normal font (e.g. ''a''1). The dot product of vectors and is written as \mathbf\cdot\mathbf, the norm of is written ‖a‖, the angle between and is denoted ''θ''.


Definitions based on angle ''alpha''


Scalar projection

The scalar projection of on is a scalar equal to a_1 = \left\, \mathbf\right\, \cos \theta , where ''θ'' is the angle between and . A scalar projection can be used as a scale factor to compute the corresponding vector projection.


Vector projection

The vector projection of on is a vector whose magnitude is the scalar projection of on with the same direction as . Namely, it is defined as \mathbf_1 = a_1 \mathbf = (\left\, \mathbf\right\, \cos \theta) \mathbf where a_1 is the corresponding scalar projection, as defined above, and \mathbf is the
unit vector In mathematics, a unit vector in a normed vector space is a Vector (mathematics and physics), vector (often a vector (geometry), spatial vector) of Norm (mathematics), length 1. A unit vector is often denoted by a lowercase letter with a circumfle ...
with the same direction as : \mathbf = \frac


Vector rejection

By definition, the vector rejection of on is: \mathbf_2 = \mathbf - \mathbf_1 Hence, \mathbf_2 = \mathbf - \left(\left\, \mathbf\right\, \cos \theta\right) \mathbf


Definitions in terms of a and b

When is not known, the cosine of can be computed in terms of and , by the following property of the
dot product In mathematics, the dot product or scalar productThe term ''scalar product'' means literally "product with a Scalar (mathematics), scalar as a result". It is also used for other symmetric bilinear forms, for example in a pseudo-Euclidean space. N ...
\mathbf \cdot \mathbf = \left\, \mathbf\right\, \left\, \mathbf\right\, \cos \theta


Scalar projection

By the above-mentioned property of the dot product, the definition of the scalar projection becomes: In two dimensions, this becomes a_1 = \frac .


Vector projection

Similarly, the definition of the vector projection of onto becomes: \mathbf_1 = a_1 \mathbf = \frac \frac , which is equivalent to either \mathbf_1 = \left(\mathbf \cdot \mathbf\right) \mathbf, or \mathbf_1 = \frac = \frac ~ .


Scalar rejection

In two dimensions, the scalar rejection is equivalent to the projection of onto \mathbf^\perp = \begin-\mathbf_y & \mathbf_x\end, which is \mathbf = \begin\mathbf_x & \mathbf_y\end rotated 90° to the left. Hence, a_2 = \left\, \mathbf\right\, \sin \theta = \frac = \frac . Such a dot product is called the "perp dot product."


Vector rejection

By definition, \mathbf_2 = \mathbf - \mathbf_1 Hence, \mathbf_2 = \mathbf - \frac . By using the Scalar rejection using the perp dot product this gives \mathbf_2 = \frac\mathbf^\perp


Properties


Scalar projection

The scalar projection on is a scalar which has a negative sign if 90 degrees < ''θ'' ≤ 180 degrees. It coincides with the
length Length is a measure of distance. In the International System of Quantities, length is a quantity with Dimension (physical quantity), dimension distance. In most systems of measurement a Base unit (measurement), base unit for length is chosen, ...
of the vector projection if the angle is smaller than 90°. More exactly: * if , * if .


Vector projection

The vector projection of on is a vector which is either null or parallel to . More exactly: * if , * and have the same direction if , * and have opposite directions if .


Vector rejection

The vector rejection of on is a vector which is either null or orthogonal to . More exactly: * if or , * is orthogonal to if ,


Matrix representation

The orthogonal projection can be represented by a projection matrix. To project a vector onto the unit vector , it would need to be multiplied with this projection matrix:


Uses

The vector projection is an important operation in the Gram–Schmidt orthonormalization of
vector space In mathematics and physics, a vector space (also called a linear space) is a set (mathematics), set whose elements, often called vector (mathematics and physics), ''vectors'', can be added together and multiplied ("scaled") by numbers called sc ...
bases. It is also used in the separating axis theorem to detect whether two convex shapes intersect.


Generalizations

Since the notions of vector
length Length is a measure of distance. In the International System of Quantities, length is a quantity with Dimension (physical quantity), dimension distance. In most systems of measurement a Base unit (measurement), base unit for length is chosen, ...
and
angle In Euclidean geometry, an angle can refer to a number of concepts relating to the intersection of two straight Line (geometry), lines at a Point (geometry), point. Formally, an angle is a figure lying in a Euclidean plane, plane formed by two R ...
between vectors can be generalized to any ''n''-dimensional inner product space, this is also true for the notions of orthogonal projection of a vector, projection of a vector onto another, and rejection of a vector from another.


Vector projection on a plane

In some cases, the inner product coincides with the dot product. Whenever they don't coincide, the inner product is used instead of the dot product in the formal definitions of projection and rejection. For a three-dimensional inner product space, the notions of projection of a vector onto another and rejection of a vector from another can be generalized to the notions of projection of a vector onto a plane, and rejection of a vector from a plane. M.J. Baker, 2012
Projection of a vector onto a plane.
Published on www.euclideanspace.com.
The projection of a vector on a plane is its orthogonal projection on that plane. The rejection of a vector from a plane is its orthogonal projection on a straight line which is orthogonal to that plane. Both are vectors. The first is parallel to the plane, the second is orthogonal. For a given vector and plane, the sum of projection and rejection is equal to the original vector. Similarly, for inner product spaces with more than three dimensions, the notions of projection onto a vector and rejection from a vector can be generalized to the notions of projection onto a
hyperplane In geometry, a hyperplane is a generalization of a two-dimensional plane in three-dimensional space to mathematical spaces of arbitrary dimension. Like a plane in space, a hyperplane is a flat hypersurface, a subspace whose dimension is ...
, and rejection from a
hyperplane In geometry, a hyperplane is a generalization of a two-dimensional plane in three-dimensional space to mathematical spaces of arbitrary dimension. Like a plane in space, a hyperplane is a flat hypersurface, a subspace whose dimension is ...
. In geometric algebra, they can be further generalized to the notions of projection and rejection of a general multivector onto/from any invertible ''k''-blade.


See also

* Scalar projection * Vector notation


References


External links


Projection of a vector onto a plane
{{Linear algebra projection Transformation (function) Functions and mappings