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

'one form' vector?

  1. Mar 1, 2007 #1
    'one form' vector??

    Hi
    I am reading a book 'Relativity Demystified'
    Please help with the following, I will appreciate any little help.

    What is 'one form' vector??
    In the book the author says that --> A vector V can be represented with covariant Va. This type of vector is called one form.

    I also didnt understand anything about the word 'covariant'.....

    Please explain and tell me if any other free resource is available on web to understand this in better way.

    Abhishek Jain
     
  2. jcsd
  3. Mar 1, 2007 #2

    pervect

    User Avatar
    Staff Emeritus
    Science Advisor

    I'll try and give a brief explanation. If you want more info, the topic is covered briefly in linear algebra textbooks, and in more depth in tensor analysis.

    Basically, a one-form is a map from a vector to a scalar. (A scalar is just a number, in this context a real number).

    If a vector space has a dimensionality of 'n', the dual vector space (since a dual of a vector is a map of a vector to a scalar, a dual vector space is the abstract space defined by such maps) is also a vector space and has the same dimensionality of n as the original vector space. The interesting thing is that the dual of a dual of a vector space is equivalent to the original vector space. This much is mentioned in most linear algebra textbooks.

    The existence of a metric, which gives vectors a length, ultimately defines the mapping of vectors to their duals via the relationship

    [tex]u_a = \sum_{b=1..n} g_{ab} u^b[/tex]

    where [itex]u_a[/itex] is a dual vector (also called a covariant vector, unless I've gotten it backwards, or a cotangent vector and [itex]u^a[/itex] is a vector (also called a contravariant vector and sometimes a tangent vector).

    Pictorially, vectors are usually represented as little arrows with heads that indicate their directions. A graphical representation of a one-form used by some textbooks (most notably, MTW's textbook "Gravitation" ) is a stack of plates. The number of plates "pierced" by the arrow is the scalar defined by the composition of the one form and the vector. Remember that the one-form is a map from a vector to a scalar, thus if you compose a one-form and a vector, you get a scalar.
     
    Last edited: Mar 1, 2007
  4. Mar 1, 2007 #3
    A covariant tensor of rank 1, or a covariant vector, is often called a one-form. Other names are "bra" or "column vector". A "ket" or "row vector" is a contravariant vector, said to be "dual" to the one-form. The product of covariant and contravariant vectors is a scalar (see pervect, above).
     
    Last edited: Mar 1, 2007
  5. Mar 3, 2007 #4
    Just in case you are interested as to why they are called one forms: (if i remember correctly), an n-form is a fully antisymmetric covariant tensor of rank n.
     
  6. Mar 4, 2007 #5

    quasar987

    User Avatar
    Science Advisor
    Homework Helper
    Gold Member

    Just maybe to give it to you as simple as possible: if you don't plan on going deep into the subject, maybe just knowing that the word "covariant vector" only means that we are talking about the vector whose components are written with the index on the bottom, like so: [itex]V_a[/itex], while "contravariant vectors" are written with the index on top, like so: [itex]V^a[/itex], and that the two are linked via

    [tex]V_a = \sum_{b=1..n} g_{ab} V^b[/tex]

    And in the case of special relativity, g_{ab} is a very specific kind of metric which makes it so that contravariant and covariant vectors in the context of special relativity are always related by

    [tex]V_0=-V^0, \ \ \ V_1=V^1, \ \ \ V_2=V^2, \ \ \ V_3=V^3[/tex]
     
  7. Mar 4, 2007 #6
    It may be interesting to note that, historically, there has been an exception made for the space-time coordinates. The notation [itex]dx_i[/itex], with the index on the bottom, has often entered the equations as a contravariant tensor, just because that is the way the indices were traditionally written. Einstein wrote it this way in his original paper and apparently assumed that there would be no confusion. But it's best to write the contravariant coordinate tensor as [itex]dx^i[/itex].
     
  8. Mar 4, 2007 #7
    An example

    I am also beginning to learn some of these things. Let me share a simple example that really helped me.

    Imagine you are driving a car across a field, and your car is equipped with a thermometer. Your car is moving at a rate of 10 meters per second, and the temperature rises as you move at a rate of 0.1 degrees per meter (this is the gradient "vector" of the temperature). So, if you want to know how the measured temperature changes with respect to time (not distance) you can see that it is 1 degree per second.

    Now let's say that you want to use kilometers instead of meters (this is a change of coordinates).

    Your velocity becomes 0.01 kilometers per second and the gradient of temperature is then 100 degrees per kilometer. Then, you ask, how does the rate of change of temperature with respect to time change under the transformation from meters to kilometers? 0.01 kilometers/second * 100 degrees/kilometer = 1 degree per second! The quantity is invariant under the change.

    So where do vectors and covectors/one forms come into this?

    Your velocity is a contravariant vector (or just a vector) because it changes in a certain way under the transformation.

    The gradient, on the other hand, is covariant, because it changes exactly by the inverse of the change in velocity.

    And the rate of change of temperature with respect to time, which is a scalar, is not changed by the transformation.

    In general, tensors can have both upper (contravariant) and lower (covariant) indicies. Vectors are tensors with one upper index, One Forms/Covectors are tensors with one lower index. Scalars have no indices at all.

    The only problem with this example I think is that time is a very bad parameter when you're talking about spacetime.
     
  9. Apr 2, 2007 #8
    Reading the Same Book -- Errata Help?

    Hi,

    I'm reading the same book. There are a lot of things that the author
    just covers and I don't find sufficent information. Also, so far I've found
    a number of mistakes. So now when I come to something I confused on
    I don't know if its a mistake or I'm not getting something or both.

    Do you happen to have any errata sheet? and/or any tips.

    Thanks,
    Josh
     
  10. Apr 2, 2007 #9
    Hi Jainabhs and all respondents to this thread. I have nothing to add but my confusion and was not sure whether starting another thread was appropriate for my problem.

    My problem is related to this thread. I understand the difference between vectors and one forms and am familiar with Pervects explanation of one forms and the fact that one forms act on vectors ( and vice versa ) to give a scalar. All this I have read in many textbooks and web sites.

    A vector is an object which we can describe by using co-variant or contravariant components depending on which set of non orthogonal axes we use to read co-ordinates from and that in normal cartesian coordinates there is no difference between the two. I understand how to generate the reciprocal axes or basis vectors required. However the vector remains a vector no matter how we describe it. I have no problem with one forms and their visualization and with Pervect's description of them. I just cannot relate a certain description of a vector ( co or contra ) with a one form. I know it is I who have the problem and this is a genuine request for enlightenment. No matter how many times I read the many texts on the subject the problem will not go away.

    My mind is stuck on the fact that a vector is a vector and a one form is a one form and if it is the dual of a vector why a one form too cannot be co or contra variant. I need to understand as i know the difference is important in many descriptions of the physical world.

    Help !!! Mateinste.
     
  11. Apr 2, 2007 #10

    cristo

    User Avatar
    Staff Emeritus
    Science Advisor

    A covariant vector is a one form. They are two different names for the same thing.
     
  12. Apr 2, 2007 #11
    Thank you Cristo. But this is exactly my problem. I cannot grasp how a different representation of a vector makes it a different object. Surely a one form and a vector behave differently.

    Matheinst.
     
  13. Apr 2, 2007 #12
    When one uses the term "bra" then one is (usually?) working in quantum mechanics. I've never seen the term "bra" used in relativity.

    Pete
     
  14. Apr 2, 2007 #13
    Good Book on Tensor Math

    Can someone recommend a good book on Tensors
    and Tensor Math?

    Thanks,
    Josh
     
  15. Apr 2, 2007 #14

    Hurkyl

    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    You cannot pick and choose! If you're dealing with a tangent vector, you have to use contravariant components. If you're dealing with a one-form, you have to use covariant components. And if you're working with a higher tensor, you have to use the "type" of components appropriate for its rank.

    Although the collection of all tensors of a particular rank form a vector space, and thus it would be appropriate to call any tensor a "vector", the language of differential geometry is specialized to better suit its needs -- AFAIK the word "vector" is usually reserved specifically for tangent vectors nowadays.
     
  16. Apr 2, 2007 #15
    Thank you Hurky. Point taken. I think you have helped. I think maybe another mistake I was making was not realising that a covariant vector is only one example of a one form which by definition is anything that acts on a vector and returns a scalar.

    Thanks again Matheinste.
     
  17. Apr 2, 2007 #16

    robphy

    User Avatar
    Science Advisor
    Homework Helper
    Gold Member

    (emphasis mine)

    A one-form acts LINEARLY on a vector and returns a scalar.
     
  18. Apr 2, 2007 #17
    Hello Robphy. Missing out linearity was a slip on my part.

    Thanks.

    Matheinste.
     
  19. Apr 3, 2007 #18

    robphy

    User Avatar
    Science Advisor
    Homework Helper
    Gold Member

    One only has a "different representation of a vector" [in the context suggested] when there is additional structure around, like a metric tensor. With such a structure, one can take (say) a vector [represented by an arrow] and then obtain its metric-dual covector (a.k.a. one-form) [represented by a family of planes]. Technically, the vector and its metric-dual covector are different objects.... indeed, one cannot add a vector to a covector.. or have a [co]vector act linearly alone on another [co]vector.
     
  20. Apr 3, 2007 #19
    Hello robphy. you say
    ---""With such a structure, one can take (say) a vector [represented by an arrow] and then obtain its metric-dual covector (a.k.a. one-form) [represented by a family of planes].""--

    That is what I cannot visualise, a vector as an arrow becoming a one form as a sheet of planes. I have no doubt as to the correctness of what you say. All textbooks of course say the same. My mind is unable to grasp it. When I do see it then it will appear obvious.

    Matheinste.
     
  21. Apr 3, 2007 #20

    robphy

    User Avatar
    Science Advisor
    Homework Helper
    Gold Member

    There is a geometric construction for this due to William Burke (Applied Differential Geometry), which I believe is originally due to Jan Schouten (Ricci Calculus, 1924). I am actually going to several physics conferences this summer to present ideas for visualizing tensors. When I have some time later, I'll demonstrate the construction. [It'll be good practice for me to address questions that may arise.]
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?



Similar Discussions: 'one form' vector?
  1. One-forms and vectors (Replies: 27)

  2. Basis vectors one-forms (Replies: 17)

Loading...