What Does \partial_{[\mu}\omega_{\nu]} Mean?

  • Thread starter Jheriko
  • Start date
  • Tags
    Notation
In summary, the notation \partial_{[\mu}\omega_{\nu]} means to antisymmetrize the tensor component \omega_{\nu} with respect to the coordinate with index \mu. The factor of 1/2 is a convention that can be omitted, but it is often included to simplify calculations. The same convention applies to symmetrization, which is denoted by \partial_{(\mu}\omega_{\nu)}. Different books and papers may use different conventions, so it is important to infer the intended definition from context.
  • #1
Jheriko
158
1
I have seen [itex]\partial_{[\mu}\omega_{\nu]}[/itex] this sort of notation ( the [ ] ) a few times now, what does it mean?

I am already familiar with [itex]\partial_{\mu}[/itex] as being the comma derivative, or partial derivative with respect to the coordinate with index [itex]\mu[/itex]. Is this something similar but with respect to tensor components perhaps?

I have tried Google, but I think it ignores [ and ] in its search terms, and not knowing what the operation is actually called makes it harder to search too.

Any answer is appreciated, but preferably something short and sweet.
 
Last edited:
Physics news on Phys.org
  • #2
It means antisymmetrize:

[tex]
\partial_{[\mu}\omega_{\nu]} = \frac{1}{2} \left( \partial_{\mu}\omega_{\nu} - \partial_{\nu}\omega_{\mu} \right).
[/tex]
 
  • #3
Thanks very much for the quick response. Short and sweet too. :)
 
  • #4
The 1/2 factor can very well be omitted. It's just a matter of convention.

Daniel.
 
  • #5
I would guess that the factor can be omitted since, if I am remembering correctly, [itex]A_{\mu}B_{\nu} - B_{\mu}A_{\nu}[/itex] is always anti-symmetric. I would also guess that the 1/2 is conventionally included to simplify some frequently occurring expression(s).

I suppose I can always just work out what factor is used in what text from whatever ends up as the result of expanding the [ ].

Thanks for the help guys. It is much appreciated.
 
  • #6
Jheriko said:
I would guess that the factor can be omitted since, if I am remembering correctly, [itex]A_{\mu}B_{\nu} - B_{\mu}A_{\nu}[/itex] is always anti-symmetric. I would also guess that the 1/2 is conventionally included to simplify some frequently occurring expression(s).

I suppose I can always just work out what factor is used in what text from whatever ends up as the result of expanding the [ ].

Thanks for the help guys. It is much appreciated.

The factor of [itex]1/2[/itex] (or, more generally in the case of a [itex]m[/itex] index tensor, [itex]1/m![/itex]) can indeed be omitted. However, it's good practice to include it since it tends to simplify nasty combinatorial factors encountered in, for example, index calculations involving differential forms.

You may also find that the degree to which this particular convention is enforced depends very much on the context in which it is used. Relativists, for example, always seem to adhere to it whereas a lot of the string theory literature seems to ignore it.
 
  • #7
To halve or halve not?

Following up on coalquay's remark about context, choosing one convention might be convenient for some purposes, e.g. it might be nice to be able to write (using the 1/2 convention) simply [tex]T_{ab} = T_{(ab)} + T_{[ab]} [/tex], while other conventions might be more convenient for other purposes. Kinda like the multiple conventions for writing orthogonal polynomials; if you want your polynomials to form an orthonormal set, certain rational factors are required; if you only need orthogonality, these are simply a bother and you will probably adopt a convention which omits them.
 
  • #8
Chris Hillman said:
.. simply [tex]T_{ab} = T_{(ab)} + T_{[ab]} [/tex]..

Now I am even more confused.

I assumed from the previous posts that [itex]T_{[a}U_{b]}[/itex] means [itex]T_{a}U_{b} - T_{b}U_{a}[/itex]. So what does [itex]T_{[ab]}[/itex] mean? Or [itex]T_{(ab)}[/itex] for that matter?

I will guess based on my existing knowledge that () is "symmetrisation" as opposed to "anti-symmetrisation", which would fit with the statement that "any tensor can be expressed as the sum of a symmetric tensor and an anti-symmetric tensor".

In the case of [itex]T_{(ab)}[/itex] or [itex]T_{[ab]}[/itex]. we would have to decompose the original tensor into lower rank tensors like [itex]T_{ab} = V_{a}W_{b}[/itex], then we would have [itex]T_{(ab)} = V_{a}W_{b} + V_{b}W_{a}[/itex] and [itex]T_{[ab]} = V_{a}W_{b} - V_{b}W_{a}[/itex].

Is this correct? Or am I groping in the dark still?


I suppose that really I need to get a decent textbook on tensors to work through...
 
Last edited:
  • #9
[tex] T_{(ab)}=\left(\frac{1}{2}\right) \left(T_{ab}+T_{ba}\right) [/tex]

where the 1/2 factor can be missing.

The same goes for the antisymmetrized tensor.

Daniel.
 
  • #10
dextercioby said:
[tex] T_{(ab)}=\left(\frac{1}{2}\right) \left(T_{ab}+T_{ba}\right) [/tex]

where the 1/2 factor can be missing.

The same goes for the antisymmetrized tensor.

Daniel.

Thanks for your answer.

That does seem quite obvious now that I have seen it. Don't know why I suddenly thought I would need to decompose the tensor to be able to do this.. I should have realized that the [itex]V_{b}W_{a}[/itex] in my expressions were equal to [itex]T_{ba}[/itex].
 
  • #11
When the combinatorial factor is included in the definition, one can write
[tex]A_{[ab]}=\frac{1}{2!}\left(A_{ab}-A_{ba}\right)[/tex]
and refer to [tex]A_{[ab]}[/tex] as the "[totally] antisymmetric part of [tex]A_{ab}[/tex]"... and similarly for [tex]A_{(ab)}[/tex]
 
  • #12
Oh dear!

Chris Hillman said:
Following up on coalquay's remark about context, choosing one convention might be convenient for some purposes, e.g. it might be nice to be able to write (using the 1/2 convention) simply [tex]T_{ab} = T_{(ab)} + T_{[ab]} [/tex], while other conventions might be more convenient for other purposes. Kinda like the multiple conventions for writing orthogonal polynomials; if you want your polynomials to form an orthonormal set, certain rational factors are required; if you only need orthogonality, these are simply a bother and you will probably adopt a convention which omits them.

Jheriko said:
Now I am even more confused.

I assumed from the previous posts that [itex]T_{[a}U_{b]}[/itex] means [itex]T_{a}U_{b} - T_{b}U_{a}[/itex]. So what does [itex]T_{[ab]}[/itex] mean? Or [itex]T_{(ab)}[/itex] for that matter?

I am sorry that I confused you! The point is that different books/papers use different conventions. The factor 1/2 (for both symmetrization and antisymmetrization operators) allows you to write a second rank tensor as the sum of its symmetric part plus its antisymmetric part, which is often useful. If you don't need to do that, though, the factors are just a pain, so in other contexts they are often ommitted. You will often have to infer from context which definition is intended.

Jheriko said:
I will guess based on my existing knowledge that () is "symmetrisation" as opposed to "anti-symmetrisation", which would fit with the statement that "any tensor can be expressed as the sum of a symmetric tensor and an anti-symmetric tensor".

Right, that's the idea: you can symmetrize or antisymmetrize any pair of indices in any tensor and then by trivial algebra this will hold true (if you use the convention with factors of 1/2). Similar but more elaborate statements can be formulated for symmetrizing and so on over three or more indices, but these will usually require additional terms.

I suppose that really I need to get a decent textbook on tensors to work through...

Probably you don't actually need to know very much at all about "tensor analysis" to jump right in and start reading about physical applications of tensor analysis. This is the approach advocated in MTW Gravitation, for example.
 
  • #13
Chris Hillman said:
Probably you don't actually need to know very much at all about "tensor analysis" to jump right in and start reading about physical applications of tensor analysis. This is the approach advocated in MTW Gravitation, for example.

I have been reading Dirac's "General Theory of Relativity" from Princeton Milestones in Physics (http://press.princeton.edu/titles/5813.html) , I have been able to make my way through the book well enough so far. Basically that has been my reference for tensors, in combination with the internet.

I came across the [] and () notation for the first time in an internet textbook which I was reading to help "fill out" my background knowledge.

The only problem I have with the book is the small size, I think the author assumes that the reader is already familiar with Special Relativity and using tensors in that context, although he does cover the basics (very briefly) and in fairness it was almost enough for me to learn what I needed in order to get through the book. No exercises though...

I am thinking of buying MTW at some point, I have heard it mentioned and praised in many places (including here).
 
Last edited by a moderator:
  • #14
Yes, Dirac's book is fun for those who already know gtr to see how he compresses the essence into such a short book (not one extraneous word is to be found!), but very few beginners will benefit from reading this book, IMO.

I highly recommend MTW, but some students complain that they find this tough going. Some easier textbooks which offer a fine introduction to modern notation are listed in http://www.math.ucr.edu/home/baez/RelWWW/reading.html#gtr . Enjoy!
 
Last edited by a moderator:

Related to What Does \partial_{[\mu}\omega_{\nu]} Mean?

1. What is the meaning of the notation $\partial_{[\mu}\omega_{\nu]}$?

The notation $\partial_{[\mu}\omega_{\nu]}$ is used in mathematics and physics to represent the antisymmetric part of the derivative of a tensor field $\omega_{\nu}$. It is also known as the exterior derivative or the differential form of the tensor.

2. How is $\partial_{[\mu}\omega_{\nu]}$ different from $\partial_{\mu}\omega_{\nu}$?

The notation $\partial_{[\mu}\omega_{\nu]}$ is different from $\partial_{\mu}\omega_{\nu}$ because it represents the antisymmetric part of the derivative, while $\partial_{\mu}\omega_{\nu}$ represents the full derivative. This means that $\partial_{[\mu}\omega_{\nu]}$ contains only the terms with the antisymmetric indices, while $\partial_{\mu}\omega_{\nu}$ contains all terms regardless of their symmetry.

3. How is the antisymmetric part of a derivative calculated?

The antisymmetric part of a derivative can be calculated by taking the average of the derivative with respect to two variables and subtracting the average of the derivative with respect to the same two variables but with the indices swapped. In mathematical notation, it can be written as $\frac{1}{2}(\partial_{\mu}\omega_{\nu} - \partial_{\nu}\omega_{\mu})$.

4. What is the significance of the antisymmetric part in physics?

In physics, the antisymmetric part of a derivative is important because it represents the contribution of the electromagnetic field to the derivative of a tensor. This is known as the exterior derivative of the tensor, and it plays a crucial role in the theory of electromagnetism.

5. Can $\partial_{[\mu}\omega_{\nu]}$ be extended to higher dimensions?

Yes, $\partial_{[\mu}\omega_{\nu]}$ can be extended to higher dimensions. In fact, the notation is most commonly used in four-dimensional space-time, but it can also be used in higher dimensions. The generalization of this notation is known as the exterior derivative in differential geometry.

Similar threads

  • Differential Geometry
Replies
34
Views
2K
  • Differential Geometry
Replies
3
Views
1K
  • Advanced Physics Homework Help
Replies
1
Views
437
  • Special and General Relativity
4
Replies
124
Views
6K
  • Special and General Relativity
Replies
10
Views
737
  • Differential Geometry
Replies
7
Views
2K
  • Differential Geometry
Replies
3
Views
1K
  • Classical Physics
Replies
4
Views
367
  • Special and General Relativity
Replies
17
Views
1K
  • Beyond the Standard Models
Replies
1
Views
1K
Back
Top