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

How does a 2form act?

  1. Oct 13, 2006 #1
    How does a 2from w, act on vector fields X,Y?

    example w(X,Y) =?
  2. jcsd
  3. Oct 14, 2006 #2
    Come on, one of the math whizzes here must know!
  4. Oct 16, 2006 #3
    How it acts on vector fields is a tricky question to answer. How it acts on individual vectors is I think the question you mean to ask.

    Answering the question succintly isn't really possible, but here's an honest try. Take two vectors, [tex]\vec{a}[/tex] and [tex]\vec{b}[/tex]. You're asking the question, what is the effect of applying the two form [tex]\acute{\omega}[/tex] to these two vectors. What is [tex]\acute{\omega}(\vec{a},\vec{b})[/tex]?

    Any two vectors, regardless of dimension, both lie in some plane, and they both define a parallelogram whose edges are the two vectors. This parallelogram has a certain area, call it A. One thing to note here is that this area is "signed", i.e., it can be negative. This isn't really important, it's just something that may come up.

    Now, lets look of a two-form in a two dimensional vector space. Lets say that [tex]\acute{\omega}(\vec{a},\vec{b})= c d\acute{x}\wedge d\acute{y}(\vec{a},\vec{b})[/tex]

    This two form computes the area of the parallelogram spanned by [tex]\vec{a}[/tex] and [tex]\vec{b}[/tex], and then multiplies it by the value c. So the final answer will be cA. That's in two dimensions.

    In general, c does not have to be a constant. It can be a function of (x,y), which are the "base points" of the two vectors. So in general you'll have;
    [tex]\acute{\omega}(x,y,\vec{a},\vec{b})= c(x,y) d\acute{x}\wedge d\acute{y}(\vec{a},\vec{b})[/tex]

    A lot of authors leave out the x and y in the descrition of [tex]\omega[/tex]. It's best left in.

    That was all in two dimensions. But what happens in three dimensions? Or higher if one were so inclined?

    OK, consider two vectors in three dimensions. Again they define a parallelogram with area A. This parallelogram is in general going to lie in three dimensions. But what we can do is project it down onto each of the three flat planes at the axes. When we do, each of the projections will also be a parallelogram again with its own area. Let [tex]A_{xy} , A_{yz} , A_{zx}[/tex] be the area of each of the projections of the parallelogram onto respectively the xy plane, the yz plane and the zx plane.

    Now consider the two form defined by;
    [tex]\acute{\omega}(\vec{a},\vec{b})= c_{xy} d\acute{x}\wedge d\acute{y}(\vec{a},\vec{b}) + c_{yz} d\acute{y}\wedge d\acute{z}(\vec{a},\vec{b}) + c_{zx} d\acute{z}\wedge d\acute{x}(\vec{a},\vec{b})[/tex]
    What this two form does is, compute each of the projected parallelogram areas, [tex]A_{xy} , A_{yz} , A_{zx}[/tex], and then multiplies each by one of the respective constants [tex]c_{xy} , c_{yz} , c_{zx}[/tex]. So the final answer is;
    [tex]\acute{\omega}(\vec{a},\vec{b})= c_{xy} A_{xy} + c_{yz} A_{yz} + c_{zx} A_{zx}[/tex]

    Again, ingeneral, each of the constants can instead be a function of the base points of the vectors. The point lies in 3D, so [tex]\omega[/tex] is in general defined by;
    [tex]\acute{\omega}(x,y,z,\vec{a},\vec{b})= c_{xy}(x,y,z) d\acute{x}\wedge d\acute{y}(\vec{a},\vec{b}) + c_{yz}(x,y,z) d\acute{y}\wedge d\acute{z}(\vec{a},\vec{b}) + c_{zx}(x,y,z) d\acute{z}\wedge d\acute{x}(\vec{a},\vec{b})[/tex]

    You can extend this to higher dimensions by again thinking of the projection of the 2D parallelogram in n-D space being projected onto each of the 2-D planes at the axis. However, for n dimensions there are n(n-1)/2 possible planes to project down onto. Do in 4-D, 3 spaces axes plus time say, you have 6 planes to project onto, meaning sixe constants.

    I hope this helps somewhat.
    Last edited: Oct 16, 2006
  5. Oct 17, 2006 #4


    User Avatar

    It's simple. The 2-form can be regarded as a tensor [tex] T_{i,j} [/tex] of type (0, 2). Since if X,Y are two vectors then the scalar
    [tex] T_{i,j} X^i Y^j [/tex]
    is the result of your acting.
    Last edited: Oct 17, 2006
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook