Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Can an angle be considered to be a vector?

  1. Mar 9, 2012 #1
    Hello

    I have been thinking about dimensional analysis with respect to computer systems. It has become obvious to me that to be meaningful such an analysis has to distinguish dot product from vector products. An area can be considered the cross product of vectors. The question that arose is "Can an angle be considered a vector". Let us consider rotating a vector from one line of action to another line of action. Such a rotation will occur around an axis which is orthogonal to both vectors just like a cross product. Furthermore an, just as an area can only be viewed accurately from a normal to the plane, so to can an angle only be viewed accurately from that axis of rotation.

    If an angle was a vector defined in this way:
    WorkDone = Torque . RotationalAngle

    which is completely analoguous with:
    WorkDone = Force . Displacement

    Your comments are invited.
     
  2. jcsd
  3. Mar 9, 2012 #2

    tiny-tim

    User Avatar
    Science Advisor
    Homework Helper

    Welcome to PF!

    Hello Tony! Welcome to PF! :smile:

    Yes, angular velocity (angle per time), ω, and angular acceleration, α, are well-known vectors,

    equal to the time derivatives of the angle vector that you've described. :wink:

    (but we don't usually call angle a vector)
     
  4. Mar 9, 2012 #3
    When we were taught about angular velocity , we were told that angle is not a vector since it does not follow the rules of vector operations.
    However, a very small angle CAN be considered as an angle.
     
  5. Mar 9, 2012 #4

    Simon Bridge

    User Avatar
    Science Advisor
    Homework Helper
    Gold Member
    2016 Award

    An angular displacement would be a vector - it is related to "angle" like displacement is related to "length".

    iirc: the "angular" vectors are a special case: "pseudo-vectors".
    http://en.wikipedia.org/wiki/Pseudovector
     
  6. Mar 9, 2012 #5

    D H

    User Avatar
    Staff Emeritus
    Science Advisor

    Correct.

    Only infinitesimally small angles can be treated as a vector (better said, as a pseudovector), and even then, only in ℝ3.


    The reason angles cannot be treated as vectors is because rotation is not a commutative operation. Pick up a book. Imagine a set of coordinate axis based on the front cover. The x and y axes lie on the plane of the front cover, with +x pointing from the top to the bottom and +y pointing left to right. The +z axis completes a right hand system. Now rotate the book by 90 degrees about the book's +x axis, then another 90 degrees about the rotated +y axis. Reversing the order of the operations yields a very different orientation.

    There's nothing special about 90 degrees here. Define sequence 1 as a rotation about +x by some angle θ followed by a rotation about +y by some angle ϕ. Define sequence 2 as a rotation about +y by some angle ϕ followed by a rotation about +x by some angle θ. The orientations that result from these two sequences will only be the same if at least one of θ and ϕ is zero.

    The difference between the orientations becomes progressively smaller as the angles θ and ϕ get smaller. This difference in orientations goes to zero much faster than does either θ or ϕ. In the limit θ→0 and ϕ→0 (infinitesimal rotations), the sequences do commute. Infinitesimally small rotations in ℝ3 look somewhat like vectors, which is why we can describe angular velocity in terms of a vector.

    Angular velocities scale according to the rules of vector multiplication by a scalar, add according to the rules of vector addition, and for a proper transformation, they transform according to the rules of vector transformation. They behave oppositely from vectors under reflection (an improper transformation). Things that exhibit these characteristics are called pseudovectors.

    Angular velocities in general are co-vectors. Only one parameter is needed to describe an angular velocity in ℝ2. Six are needed for ℝ4, and in general N*(N-1)/2 are needed for ℝN. In ℝ3, this N*(N-1)/2 is three, which is why we can get away with treating angular velocity in ℝ3 as a vector (better said, pseudovector).
     
  7. Mar 9, 2012 #6
    I do not expect the application of a series of rotations of an object in 3d space to be commutative because they are cross product operations and cross products are not commutative. Therefore I do not accept your argument as it seems to be based on commutativity.
     
  8. Mar 9, 2012 #7
    If we agree that angular velocity and angular acceleration are vectors, the it can be seen that the differentiation by time results in a colinear vector with the one differentiated by. It would follow that integration would also result in a colinear vector as is true from angular acceleration to angular velocity. Why should the integration with respect to time of angular velocity result in anything but a vector, colinear with the angular velocity?
     
  9. Mar 10, 2012 #8
    Okay I have done some experiments and rotation does not follow cross product rules either. For a cross product (a X b)=-(b X a) and it does not work.

    I will read up pseudovectors on wikipedia as you suggest.
     
  10. Mar 10, 2012 #9
    I have gone to Hamiltons "Elements of Quarternions" and angles the way I have defined them are vectors according to his definition, having direction and magnitude.
     
  11. Mar 10, 2012 #10

    D H

    User Avatar
    Staff Emeritus
    Science Advisor

    That argument is essential. Rotations cannot be viewed as vectors precisely because rotations do not commutative.

    An even better reason is that vectors in three space and rotations in three space are creatures from very different mathematical spaces. Vectors are elements of ℝ3 while rotations are elements of SO(3), the group of special orthogonal 3x3 matrices. You wrote later about quaternions. Quaternions (unit quaternions) are one of many charts on SO(3). Other ways to represent rotations in three space include Euler angles and variations on that theme, Cayley-Klein parameters, Rodrigues parameters, modified Rodrigues parameters, ..., and of course the 3x3 special orthogonal matrices themselves.
     
  12. Mar 10, 2012 #11
    The earlier post about commutivity and turning the book was defined by operations in eucledian space. I suggest that the reason that the operations were not commutative was the choice of a rectangular coordinate system not appropriate for the discussion. Instead we should consider a spherical geometry when discussing operations on angles in three dimensions.

    Consider the earth. Let us take the north pole as our origin. If we take an equatorial axis such that any positive angle describes a line down the prime meridian, and we rotate through 130 degrees we get to 40 degrees south, in the region of South Africa. If we then rotate along the polar axis by 174 degrees we get to New Zealand. Now this second rotation has not changed the arc length as the resulting arc is from the North Pole to New Zealand. This is because we are working off a sphere.

    What now happens if we reverse the order of operations? Standing on the North Pole, we are rotated along the polar axis, next we rotate along a different meridian and end up at New Zealand. We have our commutivity back by changing our coordinate system. If you try this with the book it works, the book faces the same way after both rotations.
     
  13. Mar 10, 2012 #12
    Is that the essential argument, rotation is in the wrong type of space to be a vector, that vectors exist only in eucledian spaces? Rotation is obviously not a scalar because of its axial direction, if it is not a vector, scalar or field, then what is it?
     
  14. Mar 10, 2012 #13

    D H

    User Avatar
    Staff Emeritus
    Science Advisor

    Rotation in ℝN is well known to be non Abelian (non commutative) for all N≥3. I really don't want to argue about a known fact. I suggest you read about group theory in general and the special orthogonal groups in general.
     
  15. Mar 11, 2012 #14
    I accept that in general rotation is non-commutative. My question involves a number of different aspects. (1) The calculus aspect: if the integration of an angular acceleration to an angular velocity results in a colinear vector, why would the same operation, that is integration with respect to time when done an angular velocity result in anything but a vector? (2) Angles have obvious similarities with vectors, that is a magnitude and a direction. (3) If not a vector or a scalar or a field, what is an angle in terms of such aggregate classes? (4) The operation of a dimensionless number upon a physical quantity results in a new number of the same dimension. For example the area of a circle is πr2. r is in the dimension of length (vector) r2 is result giving an area (vector). The application of π leaves the answer still as an area (vector). This is to be contrasted with applying an torque to an angle and getting work. This change of physical expression is a characteristic of dimensional numbers, not dimensionless ones.

    I saw a comment time back about angular vectors being pseudo-vectors. Is a pseudo-vector a vector? Examples of cross-product pseudo-vectors abound in physics. Everyone would agree that torque for example is a vector, but it is defined by F X R, and is by the wikipedia definition a pseudo vector. If we agree that angle is a pseudo vector in that way, then we have agreement.

    I will do some more reading as you suggest.
     
    Last edited: Mar 11, 2012
  16. Mar 11, 2012 #15

    D H

    User Avatar
    Staff Emeritus
    Science Advisor

    Integrating angular velocity with respect to time obviously does result in a vector. The problem is that this integrated vector in general does not have any physical meaning.

    The problem is that rotations are not vectors. Having direction and magnitude is not enough to qualify as a "vector". There are rules. Amongst other things, vectors must add commutatively to form another vector. Rotations in 2 space are commutative, but beyond that they are not.

    Rotations in N-space are instead members of a different kind of mathematical structure, the group of the NxN special orthogonal matrices. An orthogonal NxN matrix is one in which each row, or each column, is a unit vector, and any two different rows, or any two different columns, are orthogonal to one another. The qualifier "special" means that the determinant is 1 rather than -1. (Note: Another name for an orthogonal matrix with a determinant of 1 is a proper rotation matrix. Those with a negative determinant are "improper".)

    While NxN matrices don't commute in general, a matrix does commute with itself. These means that one can unambiguously define An, where A is some NxN matrix, and n is any non-negative integer. This in turn means that one can unambiguously define the matrix exponential exp(A) by using the standard power series representation of the exponential function. This concept introduces another way to represent an NxN proper orthogonal matrix: As the matrix exponential of an NxN skew symmetric matrix. The matrix exponential of any NxN skew symmetric matrix is always a proper rotation matrix, and any proper rotation matrix can be represented as the matrix exponential of some NxN skew symmetric matrix. (Proving these statements is non-trivial.)

    As there are N*(N-1)/2 independent members of a skew symmetric matrix, the number of degrees of freedom in a N-dimensional rotation is N*(N-1)/2. The number of degrees of freedom is equal to the dimensionality of the space for N=3 only. It is this fact that make some people think that rotations in 3-space can be represented by vectors. They can't. Just because they can be represented by three numbers does not mean they are vectors. These three numbers don't obey the rules of what constitutes a vector.
     
  17. Mar 11, 2012 #16
    In general a rotational vector may not have physical meaning, but in rotational kinematics it is the rotational analogue of distance, and can be used in equations accordingly. WorkDone = Torque.Rotation. I accept that this is a special case, and that the more normal understanding of rotation is a mapping function. A mapping function has no physical significance.

    In rotational kinematics we are not working with an eucledian geometry, but rather a cylindrical or spherical geometry. In this case a vector from the centre which I will call a radial vector, is at right angles to a vector running in a circular loci around that centre which I will call a tangential vector. An angle is the quotient of arc length to radial length (which is an angle in radians). Because these vectors are at right angles to each other this quotient is not dimensionless as they are vectors and not scalars and do not cancel as their directions differ. For a rotating system this angle is integral of angular velocity with respect to time, and is colinear with the angular velocity vector. As a torque is applied over an angle, the radial vector in the torque cancels with the radial vector in the angle leaving the tangential vector of distance and the tangential vector of force resulting in work done. Thus if follows that WorkDone = Torque.Rotation. It also follows that this rotational vector has physical significance within this area of physics.
     
    Last edited: Mar 11, 2012
  18. Mar 11, 2012 #17

    D H

    User Avatar
    Staff Emeritus
    Science Advisor

    In the special case of rotation about an inertially fixed axis, yes rotation is commutative. This is because what you are talking about is just a plane (2D) rotation, and rotation in ℝ2 is commutative.

    Your final sentence makes no sense. Are you here to learn, or just argue nonsense?
     
  19. Mar 12, 2012 #18
    You said

    Integrating angular velocity with respect to time obviously does result in a vector. The problem is that this integrated vector in general does not have any physical meaning.

    The comment about physical meaning was yours, my comment was agreeing with you. I have shown quite clearly that this integrated vector does have physical meaning in this particular case. As the the general case, it may well have no meaning. I perceived that you were taking a general case of rotation in general rather than the specific case that I am referring to.

    I have been following up on your posts, primarily with wikipedia with regard to rotational matrices. I think in general the discussion has made good ground. Originally we were discussing rotation with regard to Cartesian coordinates, and we agreed that this was not the best. We have agreed that the integration of angular velocity with respect to time is a vector. I believe that I have shown in a single case that the integrated angular velocity vector has physical significance.
     
  20. Mar 12, 2012 #19
    I think I understand. A vector must follow the laws of vector addition. If we had 3 axes, representing the three possible orthogonal axes of rotation. each axis marked out with angle of rotation along its length, each point in that three dimensional space would be a specific rotation from the origin. For rotation to be a vector space then any combination of rotational vectors within that space would have to follow the laws of vectors. That means to rotate 1/4 rotations along the x axis followed by 1/4 rotations along the y axis must be the same as 1/4 rotations along y axis followed by 1/4 rotations along x axis. If this does not follow then this is not a vector space. If it is not a vector space, then these rotations are not vectors.
     
  21. Mar 13, 2012 #20
    D H, let me put it this way. If you didn't already know that rotations don't commute, what reason would you have to suspect that the integral of the angular velocity is not the rotation vector?

    The reason I ask this is that the non-commutativity rotation has been a deeply counterintuitive fact to me for many years (and yes, I've done the book thing countless times, and I'm still startled every time), and I want a better understanding of it. I know about rotation matrices not commuting, I know about the anti-commuting Lie algebra which gives rise to the non-commuting rotation group SO(3), and I know about quaternions not commuting, etc., but this all seems to be designed to capture the fact we already know that rotations don't commute. But what is the fundamental reason for this fact? Why don't rotation vectors add according to the parallelogram rule, or since rotations can be represented as arcs on the surface of a sphere, why don't such arcs obey a "spherical parallelogram rule"? I suspect the answer to my last question has somehing to do with the double cover property of the rotation group, and I have some inklings that the answer to the general question of how to geometrically understand compositions of rotations purely in terms of rotation vectors (i.e. axis-angle representations) can be found in the works of Olinde Rodrigues on rotations, but this requires more investigation.
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: Can an angle be considered to be a vector?
Loading...