1. Not finding help here? Sign up for a free 30min tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Show that this field is orthogonal to each vector field.

  1. Nov 17, 2011 #1
    1. The problem statement, all variables and given/known data
    If a, b, and c are any three vector fields in locally Minkowskain 4-manifold, show that the field ε[itex]_{ijkl}[/itex]a[itex]^{i}[/itex]b[itex]^{k}[/itex]c[itex]^{l}[/itex] is orthogonal to [itex]\vec{a}[/itex], [itex]\vec{b}[/itex], and [itex]\vec{c}[/itex].


    2. Relevant equations



    3. The attempt at a solution
    I know I have to show that multiplying the field by each individual vector field equals 0, but I don't know how to go about doing this.
     
  2. jcsd
  3. Nov 18, 2011 #2

    fzero

    User Avatar
    Science Advisor
    Homework Helper
    Gold Member

    The tensor [itex]\epsilon_{ijkl}[/itex] is totally antisymmetric. In particular, [itex]\epsilon_{ijkl}=-\epsilon_{jikl}[/itex]. What does that imply about [itex]\epsilon_{ijkl}a^i a^j[/itex]?
     
  4. Nov 18, 2011 #3
    So then ε[itex]_{ijkl}[/itex]a[itex]^{i}[/itex]a[itex]^{j}[/itex]= -ε[itex]_{jikl}[/itex]a[itex]^{i}[/itex]a[itex]^{j}[/itex]?
     
  5. Nov 18, 2011 #4

    fzero

    User Avatar
    Science Advisor
    Homework Helper
    Gold Member

    Yes, but also note that we can swap the indices that we're summing over:

    [itex]\epsilon_{jikl} a^i a^j = \epsilon_{ijkl} a^j a^i .[/itex]

    You might want to do this in steps if it's not completely obvious (first change i to m, j to n, then n to i, m to j).

    After you figure it out, put it all back together in the expression that you started with.
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: Show that this field is orthogonal to each vector field.
Loading...