Difference between revisions of "Vector"
Williamhu888 (talk  contribs) 

(15 intermediate revisions by 7 users not shown)  
Line 1:  Line 1:  
−  The word '''vector''' has many different definitions, depending on who is defining it and in what context. Physicists will often refer to a vector as "a quantity with a direction and magnitude." For Euclidean geometers, a vector is essentially a directed line segment. In many situations, a vector is best considered as an ntuple of numbers (often real or complex). Most generally, but also most abstractly, a vector is any object which is an element of a given vector space  +  The word '''vector''' has many different definitions, depending on who is defining it and in what context. Physicists will often refer to a vector as "a quantity with a direction and magnitude." For Euclidean geometers, a vector is essentially a directed line segment. In many situations, a vector is best considered as an ntuple of numbers (often real or complex). Most generally, but also most abstractly, a vector is any object which is an element of a given vector space. 
+  A vector is usually graphically represented as an arrow. Vectors can be uniquely described in many ways. The two most common is (for 2dimensional vectors) by describing it with its length (or magnitude) and the angle it makes with some fixed line (usually the xaxis) or by describing it as an arrow beginning at the origin and ending at the point <math>(x,y)</math>. An <math>n</math>dimensional vector can be described in this coordinate form as an ordered <math>n</math>tuple of numbers within angle brackets or parentheses, <math>(x\,\,y\,\,z\,\,...)</math>. The set of vectors over a [[field]] is called a [[vector space]].  
== Description ==  == Description ==  
−  Every vector <math>\  +  Every vector <math>\overrightarrow{PQ}</math> has a starting point <math>P\langle x_1, y_1\rangle</math> and an endpoint <math>Q\langle x_2, y_2\rangle</math>. Since the only thing that distinguishes one vector from another is its magnitude or length, and direction, vectors can be freely translated about a plane without changing. Hence, it is convenient to consider a vector as originating from the origin. This way, two vectors can be compared by only looking at their endpoints. This is why we only require <math>n</math> values for an <math>n</math> dimensional vector written in the form <math>(x\,\,y\,\,z\,\,...)</math>. The magnitude of a vector, denoted <math>\\vec{v}\</math>, is found simply by 
using the distance formula.  using the distance formula.  
== Addition of Vectors ==  == Addition of Vectors ==  
−  For vectors <math>\vec{v}</math> and <math>\vec{w}</math>, with angle <math>\theta</math> formed by them, <math>  +  For vectors <math>\vec{v}</math> and <math>\vec{w}</math>, with angle <math>\theta</math> formed by them, <math>\\vec{v}+\vec{w}\^2=\\vec{v}\^2+\\vec{w}\^2+2\\vec{v}\\\vec{w}\\cos\theta</math>. 
−  {{image}}  +  {{asy image<asy> 
+  size(150);  
+  pen p=linewidth(1);  
+  MA("\theta",(5,1),(2,3),(4,6),0.3,9,yellow);  
+  MC("\vec v",D((0,0)(2,3),orange+p,Arrow),NW);  
+  D((2,3)(3,4.5));  
+  MC("\vec w",D((2,3)(5,1),green+p,Arrow),NE);  
+  MC(10,"\vec{v}+\vec{w}",D((0,0)(5,1),red+p,Arrow),S);  
+  </asy>rightAddition of vectors}}  
From this it is simple to derive that for a real number <math>c</math>, <math>c\vec{v}</math> is the vector <math>\vec{v}</math> with magnitude multiplied by <math>c</math>. Negative <math>c</math> corresponds to opposite directions.  From this it is simple to derive that for a real number <math>c</math>, <math>c\vec{v}</math> is the vector <math>\vec{v}</math> with magnitude multiplied by <math>c</math>. Negative <math>c</math> corresponds to opposite directions.  
Line 18:  Line 27:  
#<math>\vec{x}+\vec{y}=\vec{y}+\vec{x}</math> ([[Commutative]] in +)  #<math>\vec{x}+\vec{y}=\vec{y}+\vec{x}</math> ([[Commutative]] in +)  
−  
#<math>(\vec{x}+\vec{y})+\vec{z}=\vec{x}+(\vec{y}+\vec{z})</math> ([[Associative]] in +)  #<math>(\vec{x}+\vec{y})+\vec{z}=\vec{x}+(\vec{y}+\vec{z})</math> ([[Associative]] in +)  
−  
#There exists the zero vector <math>\vec{0}</math> such that <math>\vec{x}+\vec{0}=\vec{x}</math> ([[Additive identity]])  #There exists the zero vector <math>\vec{0}</math> such that <math>\vec{x}+\vec{0}=\vec{x}</math> ([[Additive identity]])  
−  
#For each <math>\vec{x}</math>, there is a vector <math>\vec{y}</math> such that <math>\vec{x}+\vec{y}=\vec{0}</math> ([[Additive inverse]])  #For each <math>\vec{x}</math>, there is a vector <math>\vec{y}</math> such that <math>\vec{x}+\vec{y}=\vec{0}</math> ([[Additive inverse]])  
−  
#<math>1\vec{x}=\vec{x}</math> (Unit scalar identity)  #<math>1\vec{x}=\vec{x}</math> (Unit scalar identity)  
−  
#<math>(ab)\vec{x}=a(b\vec{x})</math> ([[Associative]] in scalar)  #<math>(ab)\vec{x}=a(b\vec{x})</math> ([[Associative]] in scalar)  
−  
#<math>a(\vec{x}+\vec{y})=a\vec{x}+a\vec{y}</math> ([[Distributive]] on vectors)  #<math>a(\vec{x}+\vec{y})=a\vec{x}+a\vec{y}</math> ([[Distributive]] on vectors)  
−  
#<math>(a+b)\vec{x}=a\vec{x}+b\vec{x}</math> ([[Distributive]] on scalars)  #<math>(a+b)\vec{x}=a\vec{x}+b\vec{x}</math> ([[Distributive]] on scalars)  
== Vector Operations ==  == Vector Operations ==  
−  +  ===Dot (Scalar) Product===  
−  Consider two vectors <math>\bold{  +  Consider two vectors <math>\bold{a}=\langle a_1,a_2,\ldots,a_n\rangle</math> and <math>\bold{b}=\langle b_1, b_2,\ldots,b_n\rangle</math> in <math>\mathbb{R}^n</math>. The dot product is defined as <math>\bold{a}\cdot\bold{b}=\bold{b}\cdot\bold{a}=\bold{a} \bold{b}\cos\theta=a_1b_1+a_2b_2+\cdots+a_nb_n</math>, where <math>\theta</math> is the angle formed by the two vectors. This also yields the geometric interpretation of the dot product: from basic right triangle trigonometry, it follows that the dot product is equal to the length of the [[projection]] (i.e. the distance from the origin to the foot of the head of <math>\bold{a}</math> to <math>\bold{b}</math>) of <math>\bold{a}</math> onto <math>\bold{b}</math> times the length of <math>\bold{b}</math>. Note that the dot product is <math>0</math> if and only if the two vectors are perpendicular. 
+  ===Cross (Vector) Product===  
+  The cross product between two vectors <math>\bold{a}</math> and <math>\bold{b}</math> in <math>\mathbb{R}^3</math> is defined as the vector whose length is equal to the area of the parallelogram spanned by <math>\bold{a}</math> and <math>\bold{b}</math> and whose direction is in accordance with the [[righthand rule]]. Because of this, <math>\bold{a}\times\bold{b}=\bold{a} \bold{b}\sin\theta</math>, where <math>\theta</math> is the angle formed by the two vectors, and from the [[righthand rule]] condition, <math>\bold{a}\times\bold{b}=\bold{b}\times\bold{a}</math>. Also, <math>\sin^2\theta+\cos^2\theta=1</math> gives that <math>\bold{a}^2\bold{b}^2=\bold{a}\cdot\bold{b}^2+\bold{a}\times\bold{b}^2</math>.  
−  +  If <math>\bold{a}=\langle a_1,a_2,a_3\rangle</math> and <math>\bold{b}=\langle b_1,b_2,b_3\rangle</math>, then the cross product of <math>\bold{a}</math> and <math>\bold{b}</math> is given by  
−  +  <center><math>\bold{a}\times\bold{b}=\begin{vmatrix} \hat{i} & \hat{j} & \hat{k} \\ a_1 & a_2 & a_3 \\ b_1 & b_2 & b_3\end{vmatrix}.</math></center>  
+  where <math>\hat{i},\hat{j},\hat{k}</math> are [[unit vector]]s along the coordinate axes, or equivalently, <math>\bold{a}\times\bold{b}=\langle a_2b_3a_3b_2,a_3b_1a_1b_3,a_1b_2a_2b_1\rangle</math>. Also, <math>\bold{a}\times\bold{a}=\bold{0}</math>  
−  +  ===Triple Scalar Product===  
−  +  The triple scalar product of three vectors <math>\bold{a,b,c}</math> is defined as <math>(\bold{a}\times\bold{b})\cdot \bold{c}</math>. Geometrically, the triple scalar product gives the signed volume of the [[parallelepiped]] determined by <math>\bold{a,b}</math> and <math>\bold{c}</math>. It follows that  
−  
−  
<center><math>(\bold{a}\times\bold{b})\cdot \bold{c} = (\bold{c}\times\bold{a})\cdot \bold{b} = (\bold{b}\times\bold{c})\cdot \bold{a}.</math></center>  <center><math>(\bold{a}\times\bold{b})\cdot \bold{c} = (\bold{c}\times\bold{a})\cdot \bold{b} = (\bold{b}\times\bold{c})\cdot \bold{a}.</math></center>  
−  
It can also be shown that  It can also be shown that  
Line 53:  Line 55:  
<center><math>(\bold{a}\times\bold{b})\cdot \bold{c} = \begin{vmatrix} a_1 & a_2 & a_3 \\ b_1 & b_2 & b_3 \\ c_1 & c_2 & c_3 \end{vmatrix}.</math></center>  <center><math>(\bold{a}\times\bold{b})\cdot \bold{c} = \begin{vmatrix} a_1 & a_2 & a_3 \\ b_1 & b_2 & b_3 \\ c_1 & c_2 & c_3 \end{vmatrix}.</math></center>  
−  +  ===Triple Vector Product===  
+  The vector triple product of <math>\bold{a},\bold{b},\bold{c}</math> is defined as the cross product of one vector, so that <math>\bold{a}\times(\bold{b}\times\bold{c})=\bold{b}(\bold{a}\cdot\bold{c})\bold{c}(\bold{a}\cdot\bold{b})</math>, which can be remembered by the mnemonic "BACCAB" (this relationship between the cross product and dot product is called the triple product expansion, or Lagrange's formula).  
== See Also ==  == See Also ==  
Line 59:  Line 62:  
*[[Matrix]]  *[[Matrix]]  
*[http://www.artofproblemsolving.com/Forum/index.php?f=346\ MatrixLinear Algebra AOPS forum]  *[http://www.artofproblemsolving.com/Forum/index.php?f=346\ MatrixLinear Algebra AOPS forum]  
−  
+  == Discussion ==  
*[http://www.artofproblemsolving.com/Forum/viewtopic.php?t=89911\ This is a thread about what vectors are.]  *[http://www.artofproblemsolving.com/Forum/viewtopic.php?t=89911\ This is a thread about what vectors are.]  
−  
−  
− 
Latest revision as of 18:36, 30 May 2012
The word vector has many different definitions, depending on who is defining it and in what context. Physicists will often refer to a vector as "a quantity with a direction and magnitude." For Euclidean geometers, a vector is essentially a directed line segment. In many situations, a vector is best considered as an ntuple of numbers (often real or complex). Most generally, but also most abstractly, a vector is any object which is an element of a given vector space.
A vector is usually graphically represented as an arrow. Vectors can be uniquely described in many ways. The two most common is (for 2dimensional vectors) by describing it with its length (or magnitude) and the angle it makes with some fixed line (usually the xaxis) or by describing it as an arrow beginning at the origin and ending at the point . An dimensional vector can be described in this coordinate form as an ordered tuple of numbers within angle brackets or parentheses, . The set of vectors over a field is called a vector space.
Contents
Description
Every vector has a starting point and an endpoint . Since the only thing that distinguishes one vector from another is its magnitude or length, and direction, vectors can be freely translated about a plane without changing. Hence, it is convenient to consider a vector as originating from the origin. This way, two vectors can be compared by only looking at their endpoints. This is why we only require values for an dimensional vector written in the form . The magnitude of a vector, denoted , is found simply by using the distance formula.
Addition of Vectors
For vectors and , with angle formed by them, .

Addition of vectors 
From this it is simple to derive that for a real number , is the vector with magnitude multiplied by . Negative corresponds to opposite directions.
Properties of Vectors
Since a vector space is defined over a field , it is logically inherent that vectors have the same properties as those elements in a field.
For any vectors , , , and real numbers ,
 (Commutative in +)
 (Associative in +)
 There exists the zero vector such that (Additive identity)
 For each , there is a vector such that (Additive inverse)
 (Unit scalar identity)
 (Associative in scalar)
 (Distributive on vectors)
 (Distributive on scalars)
Vector Operations
Dot (Scalar) Product
Consider two vectors and in . The dot product is defined as , where is the angle formed by the two vectors. This also yields the geometric interpretation of the dot product: from basic right triangle trigonometry, it follows that the dot product is equal to the length of the projection (i.e. the distance from the origin to the foot of the head of to ) of onto times the length of . Note that the dot product is if and only if the two vectors are perpendicular.
Cross (Vector) Product
The cross product between two vectors and in is defined as the vector whose length is equal to the area of the parallelogram spanned by and and whose direction is in accordance with the righthand rule. Because of this, , where is the angle formed by the two vectors, and from the righthand rule condition, . Also, gives that .
If and , then the cross product of and is given by
where are unit vectors along the coordinate axes, or equivalently, . Also,
Triple Scalar Product
The triple scalar product of three vectors is defined as . Geometrically, the triple scalar product gives the signed volume of the parallelepiped determined by and . It follows that
It can also be shown that
Triple Vector Product
The vector triple product of is defined as the cross product of one vector, so that , which can be remembered by the mnemonic "BACCAB" (this relationship between the cross product and dot product is called the triple product expansion, or Lagrange's formula).