<<

Vector in Physics 8/25/2015

Chapter 1. Vectors

We are all familiar with the distinction between things which have a direction and those which don't. The of the (see figure 1.1) is a classical example of a vector

Figure 1-1. Where is the vector? quantity. There are many more of interest in physics, and in this and subsequent chapters we will try to exhibit the fundamental properties of vectors. Vectors are intimately related to the very nature of . Euclidian ( and spherical geometry) was an early way of describing space. All the basic concepts of Euclidian geometry can be expressed in terms of and . A more recent development in describing space was the introduction by Descartes of coordinates along three orthogonal axes. The modern use of Cartesian vectors provides the mathematical for much of physics.

A. The Vector

The preceding discussion did not lead to a definition of a vector. But you can convince yourself that all of the things we think of as vectors can be related to a single fundamental quantity, the vector r representing the displacement from one in space to another. Assuming we know how to measure distances and angles, we can define a displacement vector (in two ) in terms of a (its magnitude), and an : displacement from r12  point 1 to point 2 (1-1)  distance, angle measured counterclockwise from due East (See figure 1.2.) Note that to a given pair of points corresponds a unique displacement, but a given displacement can link many different pairs of points. Thus the fundamental definition of a displacement gives just its magnitude and angle. We will use the definition above to discuss certain properties of vectors from a strictly geometrical point of view. Later we will adopt the coordinate representation of vectors for a more general and somewhat more abstract discussion of vectors.

1 - 1 Vector Spaces in Physics 8/25/2015

distance point 2 r angle east point 1

Figure 1-2. A vector, specified by giving a distance and an angle.

B. Vector Addition

A quantity related to the displacement vector is the vector for a point. Positions are not absolute – they must be measured relative to a reference point. If we call this point O (the "origin"), then the position vector for point P can be defined as follows:

rP  displacement from point O to point P (1-2)

It seems reasonable that the displacement from point 1 to point 2 should be expressed in terms of the position vectors for 1 and 2. We are be tempted to write    r12  r2  r1 (1-3) A "difference law" like this is certainly valid for , or even for distances along a road, if 1 and 2 are two points on the road. But what does subtraction mean for vectors? Do you subtract the lengths and angles, or what? When are two vectors equal? In order to answer these questions we need to systematically develop the algebraic properties of vectors.    We will let A , B , C , etc. represent vectors. For the , the only vector quantities we have defined are displacements in space. Other vector quantities which we will define later will obey the same rules.

Definition of Vector Addition. The sum of two vector displacements can be defined so as to agree with our intuitive notions of displacements in space. We will define the sum of two displacements as the single displacement which has the same effect as carrying out the two individual displacements, one after the other. To use this definition, we need to be able to calculate the magnitude and angle of the sum vector. This is straightforward using the laws of plane geometry. (The laws of geometry become more complicated in three dimensions, where the coordinate representation is more convenient.) Let and be two displacement vectors, each defined by giving its length and angle:  A  (A, ),  A (1-4) B  (B, B ).

1 - 2 Vector Spaces in Physics 8/25/2015

Here we follow the convention of using the quantity A (without an arrow over it) to  represent the magnitude of A ; and, as stated above, angles are measured counterclockwise from the easterly direction. Now imagine points 1, 2, and 3 such that  represents the displacement from 1 to 2, and B represents the displacement from 2 to 3. This is illustrated in figure 1-3.  3 B 2   B A

A 1

Figure 1-3. Successive displacements and .

Definition: The sum of two given displacements and is the third displacement C which has the same effect as making displacements and in succession. It is clear that the sum exists, and we know how to find it. An example is shown in figure 1-4 with two given vectors and and their sum . It is fairly clear that the length and angle of can be determined (using trigonometry), since for the triangle 1-2- 3, two sides and the included angle are known. The example below illustrates this calculation.

 Example: Let and B be the two vectors shown in figure 1-4: =(10 m,  48), B =(14 m, 20). Determine the magnitude and angle from due east of their     sum C , where C  A B . The angle opposite side C can be calculated as shown in figure 1-4; the result is that 2 = 152. Then the length of side C can be calculated from the law of

1 - 3 Vector Spaces in Physics 8/25/2015

  

C  A  B  48-20 3 B = 28 3 14 m 3 48 2 20 2  20 A 2  C 10 m 48 180-28 1 C = 152 1 1

Figure 1-4. Example of vector addition. Each vector's direction is measured counterclockwise from due East. Vector A is a displacement of 10 m at an angle of 48and vector B is a displacement of 14 m at an angle of 20.

cosines: 2 2 2 C = A + B -2AB cos 2 giving C = [(10 m)2 + (14 m)2 - 2(10m)(14m)cos 152]1/2 = 23.3072 m .

The angle 1 can be calculated from the law of sines: sin 1 / B = sin 2 / C giving -1 1 = sin .28200 = 16.380 . The angle C is then equal to 48  - 1 = 31.620 . The result is thus

C 23.3072 m, 31.620  . One conclusion to be drawn from the previous example is that calculations using the geometrical representation of vectors can be complicated and tedious. We will soon see that the component representation for vectors simplifies things a great deal.

C. Product of Two Vectors

Multiplying two scalars together is a familiar and useful operation. Can we do the same thing with vectors? Vectors are more complicated than scalars, but there are two useful ways of defining a vector product.

The Product. The scalar product, or dot product, combines two vectors to give a scalar:   A B  AB cos(B -A ) (1-5)

1 - 4 Vector Spaces in Physics 8/25/2015

This simple definition is illustrated in figure 1-5. One special property of the dot product   is its relation to the length A of a vector A :   B 2 A  A  A (1-6) B - A This in fact can be taken as the definition of the length, or magnitude, A. 

An interesting and useful type of vector is a A  unit vector, defined as a vector of length 1. Figure 1-5. Vectors and B . Their dot We usually write the symbol for a unit vector product is equal to A B cos( B - A). with a hat over it instead of a vector symbol: Their A B has magnitude uˆ . Unit vectors always have the property A B sin(B - A), directed out of the paper. uˆ uˆ 1 (1-7) Another use of the dot product is to define orthogonality of two vectors. If the angle between the two vectors is 90, they are usually said to be perpendicular, or orthogonal. Since the cosine of 90 is equal to zero, we can equally well define orthogonality of two vectors using the dot product: ABAB    0 (1-8)

Example. One use of the scalar product in physics is in calculating the  done by a  F acting on a body while it is displaced by the vector displacement d . The work done depends on the distance moved, but in a special way which projects out the distance moved in the direction of the force: Work Fd (1-9) Similarly, the produced by the of an applied force whose point of application is moving with velocity v is given by Power Fv (1-10) In both of these cases, two vectors are combined to produce a scalar.

Example. To find the component of a vector A in a direction given by the unit vector nˆ , take the dot product of the two vectors. Component of A along n  A nˆ (1-11)

The Vector Product. The vector product, or cross product, is considerably more complicated than the scalar product. It involves the concept of left and right, which has an interesting history in physics. Suppose you are trying to explain to someone on a distant planet which side of the road we drive on in the USA, so that they could build a car, bring it to San Francisco and drive around. Until the 1930's, it was thought that there was no way to do this without referring to specific objects which we arbitrarily designate as left-handed or right-handed. Then it was shown, by Madame Wu, that both the electron and the neutrino are intrinsically left-handed! This permits us to tell the alien how to determine which is her right hand. "Put a sample of 60Co nuclei in front of you, on a mount where it can rotate freely about a vertical axis. Orient the nuclei in a

1 - 5 Vector Spaces in Physics 8/25/2015 magnetic field until the majority of the decay electrons go downwards. The sample will gradually start to rotate so that the edge nearest you moves to the right. This is said to be a right-handed about the vertically upward axis." The reason this works is that the magnetic field aligns the cobalt nuclei vertically, and the subsequent nuclear decays emit electrons preferentially in the opposite direction to the nuclear spin. (Cobalt-60 decays into nickel-60 plus an electron and an anti-electron neutrino, 60 60  Co Ni  e  νe (1-12) See the Feynman Lectures for more information on this subject.) Now you can just tell the alien, "We drive on the right." (Hope she doesn't land in Australia.)

z

  A B

 y B  A x

Figure 1-6. Illustration of a cross product. Can you prove that if is along the x- axis, then A B is in the y-z plane?   This lets us define the cross product of two vectors A and B as shown in figure 1-5.  The cross product of these two vectors is a third vector C , with magnitude C = |A B sin (B - A)|, (1-13) perpendicular to the plane containing and , and in the "determined by the right-hand rule." This last phrase, in quotes, is shorthand for the following operational definition: Place and so that they both start at the same point. Choose a third direction perpendicular to both and (so far, there are two choices), and call it the upward direction. If, as rotates towards , it rotates in a right-handed direction, then this third direction is the direction of .

Example. The Lorentz Force is the force exerted on a charged particle due to electric and magnetic fields. If the particle's charge is given by q and it is moving with velocity v , in electric field E and magnetic field B , the force F is given by F qE  qv  B (1-14) The term is an example of a vector quantity created from two other vectors.

1 - 6 Vector Spaces in Physics 8/25/2015

Example. The cross product is used to find the direction of the third axis in a three-dimensional space. Let uˆ and vˆ be two orthogonal unit vectors, representing the first (or x) axis and the second (or y) axis, respectively. A unit vector wˆ in the correct direction for the third (or z) axis of a right-handed is found using the cross product: wˆ u ˆ v ˆ (1-15)

D. Vectors in Terms of Components

Until now we have discussed vectors from a purely geometrical point of view. There is another representation, in terms of components, which makes both theoretical analysis and practical calculations easier. It is a fact about the space that we live in that it is possible to find three, and no more than three, vectors that are mutually orthogonal. (This is the basis for calling our space three dimensional.) Descartes first introduced the idea of measuring position in space by giving a distance along each of three such vectors. A Cartesian coordinate system is determined by a particular choice of these three vectors. In addition to requiring the vectors to be mutually orthogonal, it is convenient to take each one to have unit length.

A set of three unit vectors defining a Cartesian coordinate system can be chosen as follows. Start with a unit vector iˆ in any direction you like. Then choose any second unit vector ˆj which is perpendicular to iˆ . As the third unit vector, take kˆ  iˆ ˆj . These three unit vectors (iˆ, ˆj,kˆ) are said to be orthonormal. This means that they are mutually orthogonal, and normalized so as to be unit vectors. We will often refer to their directions as the x, y, and z directions. We will also sometimes refer to the three vectors as (eˆ1 ,eˆ2 ,eˆ3 ) , especially when we start writing sums over the three directions.

 Suppose that we have a vector A and three orthogonal unit vectors (iˆ, ˆj,kˆ), all defined as in the previous sections by their length and direction. The three unit vectors can be used to define vector components of , as follows: A  A  iˆ, x  ˆ Ay  A  j, (1-16)  ˆ Az  A  k. This suggests that we can start a discussion of vectors from a component view, by simply defining vectors as triplets of scalar numbers:

Ax  AA Component Representation of Vectors (1-17) y  Az It remains to prove that this definition is completely equivalent to the geometrical definition, and to define vector addition and multiplication of a vector by a scalar in terms of components.

1 - 7 Vector Spaces in Physics 8/25/2015

Let us show that these two ways of specifying a vector are equivalent - that is, to each geometrical vector (magnitude and direction) there corresponds a single set of components, and (conversely) to each set of components there corresponds a single geometrical vector. The first assertion follows from the relation (1-16), showing how to determine the triplet of components for any given geometrical vector. The dot product of any two vectors exists, and is unique.

 The converse is demonstrated in Figure 1-7. It is seen that the vector A can be written as the sum of three vectors proportional to its three components:  ˆ ˆ ˆ A  iAx  jAy  kAz (1-18) From the diagram it is clear that, given three components, there is just one such sum. So, we have established the equivalence

z

ˆ kAz

y

ˆ iAx ˆ jAy x

Figure 1-7. Illustration of the addition of the component vectors iAx, jAy, and kAz to get the vector .

This proves that a given set of values for (Ax, Ay, Az) leads to a unique vector in the geometrical picture.

Ax  A(,) magnitude direction A (1-19) y  Az

E. Algebraic Properties of Vectors.

As a warm-up, consider the familiar algebraic properties of scalars. This provides a road map for defining the analogous properties for vectors. Equality.

1 - 8 Vector Spaces in Physics 8/25/2015

a b  b  a

a band b  c  a  c Addition and multiplication of scalars. a b  b  a a()() b  c  a  b  c  a  b  c ab ba a()() bc ab c abc a() b c  ab  ac Zero, negative numbers. aa0

aa(  )  0 No surprises there.

Equality. We will say that two vectors are equal, meaning that they are really the same vector, if all three of their components are equal:

ABABABAB x  x,,. y  y z  z (1-20) The commutative property, ABBA   , and the transitive property, ABBCAC and    follow immediately, since components are scalars.

Vector Addition. We will adopt the obvious definition of vector addition using components:    C  A  B

Cx  Ax  Bx    DEFINITION (1-21)  C y  Ay  By    Cz  Az  Bz  That is to say, the components of the sum are the sums of the components of the vectors being added. It is necessary to show that this is in fact the same definition as the one we introduced for geometrical vectors. This can be seen from the geometrical construction shown in figure 1-7a.

1 - 9 Vector Spaces in Physics 8/25/2015

z

C B

y A

x

Figure 1.7a. The components of the sum vector C are seen to be the algebraic sum of the components of the two vectors being summed.

Multiplication of a vector by a scalar. We will take the following, rather obvious,  definition of multiplication of a vector A by a scalar c:

cAx  cA cA DEFINITION (1-23) y  cAz It is pretty clear that this is consistent with the procedure in the geometrical representation: just multiply the length by the scalar c, leaving the angle unchanged.

The Zero Vector

We define the zero vector as follows: 0  00  DEFINITION (1-24)  0 Taken with the definition of vector addition, it is clear that the essential relation AA0

1 - 10 Vector Spaces in Physics 8/25/2015 is satisfied. And a vector with all zero-length components certainly fills the bill as the geometrical version of the zero vector.

The Negative of a Vector. The negative of a vector in terms of components is also easy to guess:

Ax  AA   DEFINITION (1-26) y  Az The essential relation AA   0 will clearly be satisfied, in terms of components. It is also easy to prove that this corresponds to the geometrical vector with the direction reversed; we will also omit this proof.

Subtraction of Vectors. Subtraction is then defined by ABAB  (  ) subtraction of vectors (1-27) That is, to subtract a vector from another one, just add the vector's negative. The   "vector-subtraction parallelogram" for B  A B two vectors A and B is shown in figure A 1-8. The challenge is to choose the A directions of and such that the  diagonal correctly represents head-to-tail B A  B addition of the vectors on the sides. Figure 1-8. The vector-subtraction parallelogram. E. Algebraic properties of vector Can you put arrows on the sides of the addition. parallelogram so that both triangles read as correct vector-addition equations? Vectors follow algebraic rules similar to those for scalars: ABBA   commutative property of vector addition ABCABC(  )  (  )  ) associative property of vector addition a A B  aA  aB distributive property of (1-28) a b A  aA  aB another distributive property cdA   cd A associative property of scalar multiplication In the case of geometrically defined vectors, these properties are not so easy to prove, especially the second one. But for component vectors they all follow immediately (see the problems). And so they must be correct also for geometrical vectors.

As an illustration, we will prove the distributive law of scalar multiplication, above, for component vectors. We use only properties of component vectors.

1 - 11 Vector Spaces in Physics 8/25/2015

ABxx  a( A B )  a A  B definition of addition of vectors yy  ABzz

a Axx B   a Ayy B  definition of multiplication by a scalar  a Azz B 

aAxx aB  aA aB distributive property of scalar multiplication yy  aAzz aB

aAxx   aB      aA aB definition of addition of vectors yy        aAzz   aB 

ABxx        a A a B definition of multiplication of a vector by a scalar yy        ABzz    aA aB QED The proofs of the other four properties are similar.

F. Properties of a .

Vectors are clearly important to physicists (and astronomers), but the simplicity and power of representing quantities in terms of Cartesian components is such that vectors have become a sort of mathematical paradigm. So, we will look in more detail at their abstract properties, as members of a Vector Space.

In Table 1-1 we give a summary of the basic properties which a set of objects must have to constitute a vector space.

1 - 12 Vector Spaces in Physics 8/25/2015

A vector space is a set of objects, called vectors, with the operations of addition of two vectors and multiplication of a vector by a scalar defined, satisfying the following properties.   1. Closure under addition. If A and B are both vectors, then so is CAB. 2. Closure under scalar multiplication. If is a vector and d is a scalar, then B dA is a vector.  3. Existence of a zero. There exists a zero vector 0 , such that, for any vector ,    . A  0  A  4. Existence of a negative. For any vector there exists a negative  A , such that    A (A)  0 . 5. Algebraic Properties. Vector addition and scalar multiplication satisfy the following rules: ABBA   (1-29) commutative ABCABC(  )  (  )  (1-30) associative a( A B )  aA  aB (1-31) distributive a b A  aA  bA (1-32) distributive c dA  ( cd ) A (1-33) associative

Table 1-1. Properties of a vector space.

Notice that in the preceding box, vectors are not specifically defined. Nor is the method of adding them specified. We will see later that there are many different classes of objects which can be thought of as vectors, not just displacements or other three- dimensional objects.

Example: Check that the set of all component vectors, defined as triplets of real numbers, does in fact satisfy all the requirements to constitute a vector space.

Referring to Table 1-1, it is easy to see that the first four properties of a vector space are satisfied:

Ax Bx   1. Closure under addition. If AA and BB are both vectors, then so y y   Az Bz

ABxx  is CABAB    . This follows from the fact that the sum of two scalars yy  ABzz gives another scalar.

1 - 13 Vector Spaces in Physics 8/25/2015

 2. Closure under multiplication. If A is a vector and d is a scalar, then

dAx  B dA dA is a vector. This follows from the fact that the product of two y  dAz scalars gives another scalar. 0  3. Zero. There exists a zero vector 00 , such that, for any vector ,  0

Axx 0  AAA00    . This follows from the addition-of-zero property for yy  Azz 0 scalars.

Ax  4. Negative. For any vector there exists a negative AA   , such that y  Az    A (A)  0 . Adding components gives zero for the components of the sum.

5. The algebraic properties (1-29) through (1-33) were discussed above; they are satisfied for component vectors.

So, all the requirements for a vector space are satisfied by component vectors. This had better be true! The whole point of vector spaces is to generalize from component vectors in three-dimensional space to a broader category of mathematical objects that are very useful in physics.

Example: The properties above have clearly been chosen so that the usual definition of vectors, including how to add them, satisfies these conditions. But the concept of a vector space is intended to be more general. What if we define vectors in two dimensions geometrically (having a magnitude and an angle) and we keep multiplication by a scalar the same, but we redefine vector addition in the following way.

CABAB  (,) AB  (1-34) This might look sort of reasonable, if you didn't know better. Which of the properties (1)-(5) in Table 1-1 are satisfied? 1. Closure under addition: OK. A + B is an acceptable magnitude, and A + B is an acceptable angle. (Angles greater than 360 are wrapped around.) 2. Closure under scalar multiplication: OK 3. Zero: the vector 0 (0,0) works fine; adding it on doesn't change A . 4. Negative: Not OK. There is no way to add two positive magnitudes (magnitudes are non-negative) to get zero. 5. Algebraic properties: You can easily show that these are all satisfied.

1 - 14 Vector Spaces in Physics 8/25/2015

Conclusion: With this definition of vector addition, this is not a vector space.

G. Metric Spaces and the Scalar Product

The vector space as we have just defined it lacks something important. Thinking of displacements, the length of a displacement, measuring the distance between two points, is essential to describing space. So we want to add a way of assigning a magnitude to a vector. This is provided by the scalar product.

The scalar product. The components of two vectors can be combined to give a scalar as follows:   A  B  Ax Bx  Ay By  Az Bz DEFINITION (1-40)   It is easy to show that the result follows from the representation of A and B in terms of the three unit vectors of the Cartesian coordinate system:   A B  (iˆA  ˆjA  kˆA )  (iˆB  ˆjB  kˆB ) x y z x y z  Ax Bx  Ay By  Az Bz where we have used the orthonormality of the unit vectors, iˆ iˆ  ˆj  ˆj  kˆ  kˆ 1, iˆ  ˆj  iˆ  kˆ  ˆj  kˆ  0 . From the above definition in terms of components, it is easy to demonstrate the following algebraic properties for the scalar product: ABBA   1-13 ABCABAC      1-14 A aB  a A  B 1-15

The inner product of a displacement with itself can then be used to define a distance between points 1 and 2: 2 2 2 r12 r 12 r 12  x 12  y 12  z 12 (1-41) From this expression we see that the distance between two points will not be zero unless they are in fact the same point.

The scalar product can be used to define the direction cosines of an arbitrary vector, with respect to a set of Cartesian coordinate axes. The direction cosines are defined as follows (see figure 1-9):  DIRECTION COSINES  ,  , and  of a vector A (1-42)

1 - 15 Vector Spaces in Physics 8/25/2015

1  A cos  A iˆ  x z A A 1  A cos  A ˆj  y A A 1  A  A cos  A kˆ  z A A Specifying these three values is one way of  giving the direction of a vector. However, y only two angles are required to specify a direction in space, so these three angles must  not be independent. It can be shown (see x problems) that Figure 1-9. The direction cosines for the vector 2 2 2 cos   cos   cos   1 A are the cosines of the three angles shown. (1-43)

Definition of a Metric Space. The properties given in table 1-1 constitute the standard definition of a vector space. However, inclusion of a scalar product turns a vector space into the much more useful metric space, as defined in table 1-2. The difference between a vector space and a metric space is the concept of distance introduced by the inner product. A metric space is defined as a vector space with, in addition to its usual properties, an inner product defined which has the following properties:  1. If and B are vectors, then the inner product AB is a scalar.   2. AA  0  A  0. (1-44) 3. The following algebraic properties of the inner product must be obeyed: ABBA

ABCABAC   (1-45)

A aB a A B Table 1-2. Properties of a metric space. Note that the scalar product of two vectors as just defined has all of these properties.

H. The vector product.

  A B The geometrical definition of the cross product of and results in a third vector, say, C . The relation between , and is C quite complicated, involving the idea of right- handedness vs. left-handedness. We have already built a handedness into our coordinate system in the way we choose the third unit vector, kˆ  iˆ  ˆj . As a preliminary to

1 - 16 Vector Spaces in Physics 8/25/2015

  evaluating the cross product A B , we work out the various cross products among the unit vectors iˆ, ˆj,kˆ. From equation (1-17) we see that the cross product of two perpendicular unit vectors has magnitude 1. We use the right-hand rule and refer to figure 1-11 to get the direction of the cross products. This gives iˆ  ˆj  kˆ ˆj  kˆ  iˆ kˆ  iˆ  ˆj (1-46) ˆj  iˆ  kˆ kˆ  ˆj  iˆ  iˆ  kˆ   j Now it is straight forward to evaluate in terms of components:   ˆ ˆ ˆ ˆ ˆ ˆ A B  iAx  jAy  kAz  iBx  jBy  kBz 

ˆ ˆ ˆ ˆ ˆ ˆ  Ax By k  Ax Bz j  Ay Bx k  Ay Bzi  Az Bx j  Az Byi; ˆ A B  i() Ay B z  A z B y ˆ j() Az B x A x B z definition of the cross product ˆ k() Ax B y A y B x (1-47) This is not as hard to memorize as you might think - stare at it for a while and notice permutation patterns (yz vs. zy, etc.) Later on we will have some other, even more elegant ways of writing the cross product.

The cross product is used to represent a number of interesting physical quantities - for       example, the ,   r  F , and the magnetic force, F  qv  B , to name just a .

The cross product satisfies the following algebraic properties: ABBA    (1-48) ABCABAC(  )     (1-49) A( aB )  a ( A  B ) (1-50) Note that the order ; the cross product is not commutative.

I. Dimensionality of a vector space and linear independence.

In constructing our coordinate system we used a very specific procedure for choosing the directions of the axes, which only works for 3 dimensions. There is a broader, general question to be asked about any vector space: What is the minimum number of vectors required to "represent" all the others? This minimum number n is the dimensionality of a vector space.

1 - 17 Vector Spaces in Physics 8/25/2015

   Here is a more precise definition of dimensionality. Consider vectors E1 , E2 , . . . Em . These vectors are said to be linearly dependent if there exist constants (scalars) c1, c2, . . . cm, not all zero, such that     c1E1  c2 E2  ...  cm Em  0 . (1-51) If it is not possible to find such y constants ci, then the m vectors are said to be linearly independent. Now imagine searching among all B the vectors in the space to find the largest group of linearly independent vectors. The A C x dimensionality n of a vector space is the largest number of linearly Figure 1-10. Three vectors in a plane. independent vectors which can be found in the space.*

Example using geometrical vectors. Consider the three vectors shown in figure 1-       10. Which of the pairs A, B, A,C, and B,C are linearly independent?

   Solution: It is pretty clear that aA  C  0, for some value of a about equal to 2;     so A and C are not linearly independent. But A and B do not add up to zero no what scale factors are used. To see this more clearly, suppose that there exist a and b     a  such that aA  bB  0; then one can solve for , giving B   A. This means that b and are in the same direction, and this is clearly not so, showing by contradiction that and are not linearly dependent. A similar line of reasoning applies to and  C . Conclusion: and are the possible choices of two linearly independent vectors.

Example using coordinates. Consider the three vectors 2   4   3        EEE1 ,  3 ,  2 . (1-52) 1  2   3         1   3   1  Are they linearly independent?

Solution: Try to find c1, c2, and c3 such that

* This may sound a bit vague. Suppose you look high and low and you can only find at most two linearly independent displacement vectors. Are you sure that the dimensionality of your space is two? What if you just haven't found the vectors representing the third (or the fourth dimension!) This is the subject of the short film Flatland.

1 - 18 Vector Spaces in Physics 8/25/2015

    c1E1  c2 E2  c3 E3  0 . (1-53) This means that the sums of x-components, y-components and z-components must separately add up to zero, giving three equations:

2c1  4c2  3c3  0 x  component

c1  3c2  2c3  0 y - component .

c1  3c2  c3  0 z - component

Now we solve for c1, c2, and c3. Subtracting the third equation from the second gives c3 =0. The first and second equations then become

2c1  4c2  0 . c1  3c2  0

The first equation gives c1 = -2c2, and the second equation gives c1 = -3c2. The only consistent solution is c1 = c2 = c3 = 0. These three vectors are linearly independent!

This second example is a little messier and less satisfying than the previous example, and it is clear that in 4, 5 or more dimensions the process would be difficult. In chapter 2 we will discuss more elegant and powerful methods for solving simultaneous linear equations.

Solving simultaneous linear equations with Mathematica. It is hard to resist asking Mathematica to do this problem. Here is how you do it:

Solve[{2c1+4c2+3c3==0,c1+3c2+2c3==0,c1+3c2+c3==0},{c2,c3}] {}

This is Mathematica’s way of telling us that there is no solution.

4     What if we try to make E , E , and E linearly dependent? If we change to 3 , 1 2 3   1 then the sum of and is twice , so the linear dependence relation     E1  E2  2E3  0 should be satisfied; this corresponds to c2 = c1, c3 = -2c1. Let’s ask Mathematica:

Solve[{2c1+4c2+3c3==0,c1+3c2+2c3==0,c1+c2+c3==0},{c2,c3}] {{c2->c1,c3->-2 c1}}

Sure enough!!

Is this cheating? I don't think so!

1 - 19 Vector Spaces in Physics 8/25/2015

J. Components in a Rotated Coordinate System. In physics there are lots of reasons for changing from one coordinate system to another. Usually we try to work only with coordinate systems defined by orthonormal unit vectors. Even so, the coordinates of a vector fixed in space are different from one such coordinate system to another. As an  example, consider the vector A shown in figure 1-11.

A cos  y' y x

Ay sin 

Ax'

A x' Ay  x Ax Figure 1-11. Coordinates of a vector in two different coordinate systems.

It has components Ax and Ay, relative to the x and y axes. But, relative to the x' and y' axes, it has different components Ax' and Ay'. You can perhaps see from the complicated construction in figure 2-3 that

Ax'=Ax cos  + Ay sin  (1-54) And a similar construction leads to

Ay'=-Ax sin  + Ay cos  (1-55)

There is another, easier (algebraic rather than geometrical) way to obtain this result:  ˆ Ax ' A  i '  (iˆA  ˆjA )  iˆ' , x y j' j ˆ ˆ ˆ ˆ  Ax i  i ' Ay j  i '  ˆ i' Ay ' A  j'  (iˆA  ˆjA )  ˆj' , x y  i ˆ ˆ ˆ ˆ  Ax i  j' Ay j  j' Figure 1-12. Unit vectors for unrotated (i and j) and rotated We can evaluate the dot products between unit vectors (i' and j') coordinate systems. with the aid of figure 1-12, with the result

1 - 20 Vector Spaces in Physics 8/25/2015

iˆ  iˆ'  cos ,  iˆ  ˆj'  cos(  )  sin 2 , (1-57)  ˆj  iˆ'  cos(  )  sin , 2 ˆj  ˆj'  cos This gives for the transformation from unprimed to primed coordinates

Ax ' Ax cos  Ay sin , (1-58) Ay ' Ax sin  Ay cos

It is easy to generalize this procedure to three or more dimensions. However, we will wait to do this until we have introduced some more powerful notation, in the next chapter.

K. Other Vector Quantities

You may wonder, "What happened to all the other vectors in physics, like velocity, , force, . . . ?" They can ALL be derived from the displacement vector, by taking or by using a law such as 's 2nd law. For example, the average velocity of a migrating duck which flies from point 1 to point 2 in t is equal to  1   v  (r  r ) (1-40) 12 t 2 1     The quantity (r  r ), is the sum of two vectors (the vector r and the vector  r , which 2 1  1 2 is the negative of the vector r2 ), and so is itself a vector. It is multiplied by a 1 scalar, the quantity . And the product of a vector and a scalar is a vector. So, average t are vector quantities. Instantaneous velocities are obtained by taking the limit as t  0, and the same argument still applies. You should be able to reconstruct the line of reasoning showing that the acceleration is a vector quantity.

PROBLEMS

NOTE: In working homework problems, please: (a) make a diagram with every problem. (b) Explain what you are doing; calculation is not enough. (c) Short is good, but not always.

Problem 1-1. Consider the 5 quantities below as possible vector quantities:

1. Compass bearing to go to San Jose. 2. Cycles of Mac G4 clock signal in one second.

1 - 21 Vector Spaces in Physics 8/25/2015

3. Depth of the water above a point on the bottom of San Francisco Bay, say somewhere under the Golden Gate Bridge. 4. of wind, compass direction it comes from. 5. Distance and direction to the student union.

Explain why each of these is or is not a vector. (Be careful with number 3. Do you need to use g , a vector in the direction of the gravitational field near the Golden Gate Bridge, to define the water depth?)

 Problem 1-2. [Mathematica] Consider two displacements: A  (5 feet,0) ,  B  (5 feet,90) (The angle is measured from due East, the usual x axis.)    (a) Make a drawing, roughly to scale, showing the vector addition C  A  B.  Then, using standard plane geometry and trigonometry as necessary, calculate C (magnitude and angle). (b) Appendix C gives a Mathematica function, Vsum, for adding two vectors. Use Vsum to add the two given vectors. (Note that the function can be downloaded from the Ph 385 website.)

Attach a printout showing this operation and the result. Include a brief account of what you did and an interpretation of the results

Problem 1-3. [Mathematica] Consider the following vectors:  A  (1, 90),  B  (2, 45) ,  C  (1, 180) .

Use the Mathematica function Vsum given in Appendix C to verify that, for these three       vectors, the associative law of vector addition, A B  C A B C , is satisfied. [This is, of course, not a general proof of the associative property.] Attach a printout showing this operation and the result. Include a brief account of what you did and an interpretation of the B C results. 2 A Problem 1-4. Consider adding two   C1 vectors A and B in two different ways, as shown in the diagram. These vector-addition triangles correspond to the vector-addition equations CAB 1 . CBA2 

Show using geometrical arguments (no components!) that CC12 .

1 - 22 Vector Spaces in Physics 8/25/2015

New Problem 1-4. The object of this problem is to show, by geometrical construction, that vector addition satisfies the commutativity relation, ABBA   (to be demonstrated) Start with the two vectors shown to the right. Draw the vector-summation diagram forming the following sum: A B ABAB     

This should form a closed figure, adding up to 0 . (a) Explain why this figure is a parallelogram. (b) Use this parallelogram to illustrate that ABBA   . (You can use the definition of the negative of a vector as being the vector, drawn in the opposite direction.)

   Problem 1-5. Suppose that a quadrilateral is formed by adding four vectors A , B , C ,   and D , lying in a plane, such that the end of D just reaches the beginning of . That is      to say, the four vectors add up to zero: A B  C  D  0 . Using vector algebra (not plane geometry), prove that the figure formed by joining the center points of , , , and is a parallelogram. [It is sufficient to show that the vector from the center of to the center of is equal to the vector from the center of to the center of , and similarly for the other two parallel sides.] Note: , , and are arbitrary vectors. Do not assume that the quadrilateral itself is a square or a parallelogram.

Problem 1-6. Consider the "vector-subtraction parallelogram'' shown here, representing the vector equation B ABAB (  )  (  )  0 . A (a) Draw the "vector-subtraction parallelogram,''    A and on it draw the two vectors D1  A  B and B DBA2    ; they should lie along the diagonals of the quadrilateral. (b) The two diagonals are alleged to bisect each The vector-subtraction parallelogram other. Using vector algebra, show this by showing that displacing halfway along D1 leads to the same point in the plane as moving along one side and displacing halfway along D2 . HINT: you can show that amounts to proving that DBD12/ 2 / 2 .

Problem 1-7. Explain why acceleration is a vector quantity. You may assume that velocity is a vector quantity and that time is a scalar. Be as rigorous as you can.

1 - 23 Vector Spaces in Physics 8/25/2015

Problem 1-8. Using Hooke's law, and assuming that displacements are vectors, explain why force should be considered as a vector quantity. Be as rigorous as you can.

Problem 1-9. Can you devise an argument to show that the electric field is a vector? The magnetic field?

Problem 1-10. Consider a set of vectors defined as objects with magnitude (the magnitude must be non-negative) and a single angle to give the direction (we are in a two-dimensional space). Let us imagine defining vector addition as follows:

AB ABABmax( , ), . 2 That is, the magnitude of the sum is equal to the greater of the magnitudes of the two vectors being added, and the angle is equal to the average of their angles. We keep the usual definition of multiplication of a vector by a scalar, as described in the text. (Note: The symbol  indicates an alternate definition of vector addition, and is not the same as the usual vector addition in the geometrical representation.)

In order to see if this set of vectors constitutes a vector space, (a) Try to define the zero vector. (b) Try to define the negative of a vector. (c) Test to see which of the properties (1-29) through (1-33) of a vector space can be satisfied.

New Problem 1-10. Consider a set of vectors defined as objects with magnitude (the magnitude must be non-negative) and a single angle to give the direction (we are in a two-dimensional space). Let us imagine defining vector addition as follows:

ABAB  ,AB   . That is, the magnitude of the sum is equal to the absolute value of the difference in magnitude of the two vectors being added, and the angle is equal to the difference of their angles. We keep the usual definition of multiplication of a vector by a scalar, as described in the text. (Note: The symbol indicates an alternate definition of vector addition, and is not the same as the usual vector addition in the geometrical representation.)

In order to see if this set of vectors constitutes a vector space, (a) Try to define the zero vector. (b) Try to define the negative of a vector. (c) Test to see which of the properties (1-29) through (1-33) of a vector space can be satisfied.

Problem 1-10a. Consider a set of vectors defined as objects with three scalar components;

Ax  AA . y  Az

1 - 24 Vector Spaces in Physics 8/25/2015

Let us imagine defining vector addition as follows: AB xx ABAB yz  .  ABzy We keep the usual definition of multiplication of a vector by a scalar, as described in the text. (Note: The symbol  indicates an alternate definition of vector addition, and is not the same as the usual vector addition in the component representation.)

In order to see if this set of vectors constitutes a vector space, (a) Try to define the zero vector. (b) Try to define the negative of a vector. (c) Test to see which of the properties (1-29) through (1-33) of a vector space can be satisfied.

Problem 1-11. Vector addition, in the generalized sense discussed in this chapter, is a process which turns any two given vectors into a third vector which is defined to be their sum. Consider the space of 3-component vectors. Suppose someone suggests that the cross product could actually be thought of as vector addition, since from any two given vectors it produces a third vector. What is the most serious objection that you can think of to this idea, based on the general properties of a vector space given in the chapter?

Problem 1-12. The Lorentz force on a charged particle is given by equation (1-14) in the text. Let us consider only the second term, representing the force on a particle of charge q, moving with velocity v in a magnetic field B : F qv B . The power produced by the operation of such a force, moving with velocity v , is given by P F v . Using these definitions, show that the Lorentz force on a moving charged particle does no work.   Problem 1-13. Let us consider two vectors A and B , members of an abstract metric space. These vectors can be said to be perpendicular if AB  0 . Using the basic properties of the vector space (Table 1-1) and of the inner product (Table 1-2), prove that, if , then and are linearly independent; that is, that if you write    c1 A  c2 B  0 , prove using the inner product that c1=0 and c2=0. (It is assumed that neither nor is equal to 0 .) This is a general proof that does not depend on geometrical properties of vectors in space. Hint: Start with A c12 A c B 0 .

Problem 1-14. One of the important properties of a rotation is that the length of a vector is supposed to be invariant under rotation. Use the expressions (1-54) and (1-55) for the

1 - 25 Vector Spaces in Physics 8/25/2015

 A coordinates of vector in a rotated coordinate system to compare the length of before and after the rotation of the coordinate system. [Use A2  A  A to determine the length of .]

The following seven problems will all make reference to these three vectors: 4   0   7        ABC4  ,   5  ,    1  .       4    5    1 

       Problem 1-15. Calculate the following dot products: A  B , A C , and B  A 2C.

  Problem 1-16. Which vector (among , B , and C ) is the longest? Which is the shortest?

   Problem 1-17. Calculate the vector product A BC.

Problem 1-18. Find a unit vector parallel to .

Problem 1-19. Find the component of in the direction perpendicular to the plane containing and C . (Hint: the component of a vector in a particular direction can be found by taking the dot product of the vector with a unit vector in that direction.)

 B Problem 1-20. Find the angle between and .  Problem 1-21. Use Mathematica to determine whether or not , , and C (the three vectors given above) are linearly independent. That is, ask Mathematica to find values of     c1, c2, and c3 such that c1 A  c2 B  c3C  0 . (See section I of this chapter, using the "solve" function.) Your results should be briefly annotated in such a way as to explain what you did and to interpret the results.

Problem 1-22. Use the definition of vector addition in terms of components to prove the associative property of vector addition, equation (1-30).

   Problem 1-23. Find 2 A , 3 B , and 2 -3 B , when 1 2   (a) A  2 and B  1 ;   1 2 3 1   (b) A  2 and B  1 ;   3 2

1 - 26 Vector Spaces in Physics 8/25/2015

6 4   (c) A  3 and B  2 ;   1 1   Prove that 2A  3B is parallel to the (x,y)-plane in (b), and parallel to the z axis in (c).

 Problem 1-24. Suppose that the vector D  x0 , y0  points from the origin to the center of a . (We are working in two dimensions in this problem.) The points on the circle are defined to be those for which the distance from the center point is equal to the  constant R. Let the vector from the origin to a point on the circle be X  x, y. Then the vector from the circle's center to the point on the circle is given by    R  X  D . The condition that the point is on the circle can then be expressed in terms of the dot product as follows:   R R R2 . Show that this condition leads to the standard equation for a circle, in terms of x, y, x0, y0, and R.

2 2 1  Problem 1-25. Consider the vector uˆ  iˆˆ  j  2 , lying in the x-y plane. 2 2 0   (a) Show that uˆ is a unit vector.

(b) Find another unit vector vˆ which is also in the x-y plane, and is orthogonal to .

(c) Find a third unit vector wˆ , such that , , and are mutually orthogonal.

Problem 1-26. Show that the three direction cosines corresponding to a given vector satisfy the relation cos2   cos2   cos2   1.

1 - 27 Vector Spaces in Physics 8/25/2015

Problem 1-27. Use the dot product and coordinate notation to find the cosine of the angle between the body diagonal A of the cube y shown and one side B of the cube. B Problem 1-28. Consider the following situation, analogous to the expansion of the Universe. A swarm of particles expands through all space, with the a A velocity vt() of a given particle with position vector a rt() relative to a fixed origin O given by a dr z v()() t f t r , dt with f(t) some universal function of time. This is the Hubble law. Show that the same rule applies to positions rt()and velocities vt() measured relative to any given particle, say particle A, with position rtA (). That is, show that for dr r() t r t r t and v  , A dt v f() t r . This invariance with respect to position in the Universe is sometimes called the cosmological principle. Can you explain why it implies that we are not at the "center of the Universe?"

 Problem 1-29. It is sometimes convenient to think of a vector B as having components  parallel to and perpendicular to another vector A ; call these components B and B , respectively (a) Show that     B  A B  A || A2 is parallel to and has magnitude equal to the component BA ˆ of in the direction of ; that is, show that ˆˆ BABA||   where as usual Aˆ is a unit vector in the direction of (and A is its magnitude).

(b) Consider an expression for the part of perpendicular  to :    B  A B  B  A .  A2 Show that

1. BBB

2. BA 0

1 - 28 Vector Spaces in Physics 8/25/2015

Problem 1-30. Consider a cube of side a, with one z corner at the origin and sides along the x, y, and z axes  as shown. Let the vector A be the displacement from B the origin to the opposite side of the cube, as shown, and  let B be the vector from the origin to the other corner of y a A the cube on the z axis, as shown. Use the result of the previous problem to find the a component of perpendicular to . Express the result a in component form, in terms of a. x

Problem 1-31. Consider the set of positive real numbers (zero not included). Of course we know how to add and multiply such numbers. But let us think of them as vectors, with a crazy definition for vector addition, represented by the symbol  . Here is the definition of this possible vector space.

Consider the set V  {abc , , ,... real numbers greater than zero}, with its elements referred to as vectors, with vector addition defined in the following way: a b ab , where ab represents the usual product of the two numbers.

Refer to Table 1.1, all of the properties of a vector space except those involving scalar multiplication. Are properties 1, 3, and 4 satisfied? Are the associative and commutative properties of vector addition, (1-29) and (1-30), satisfied? Explain.

Problem 1-32. Consider component vectors defined in the usual way, as in section E of this chapter. However, hoping to elevate this vector space to metric-space status, we define the inner product of two vectors A and B in the following way: 2 2 2 2 2 2 ABAAABBB x  y  z x  y  z . Consider the properties of the inner product listed in Table 1-2. Are they satisfied with this definition of the inner product? Explain.

1 - 29