How to prove $T_{(a_1 \dots [a_i \dots a_j] \dots a_n)} = 0$?

50 Views Asked by At

How to prove this property of tensor:

$$T_{(a_1 \dots [a_i \dots a_j] \dots a_n)} = 0,$$

where $()$ is symmetrization and $[]$ is antisymmetrization ?

I do not know where to start.

Thank you for any help.

1

There are 1 best solutions below

0
On BEST ANSWER

Provided $j > i$, then what you state is true. To see this, note that by symmetry, we have

$$T_{a_1\dots [a_{i+1} a_i \dots a_j] \dots a_n} = T_{a_1\dots [a_i a_{i+1} \dots a_j] \dots a_n}.$$

However, by skew-symmetry, we have

$$T_{a_1\dots [a_{i+1} a_i \dots a_j] \dots a_n} = -T_{a_1\dots [a_i a_{i+1} \dots a_j] \dots a_n}.$$

So

$$T_{a_1\dots [a_i a_{i+1} \dots a_j] \dots a_n} = -T_{a_1\dots [a_i a_{i+1} \dots a_j] \dots a_n}$$

and hence

$$T_{a_1\dots [a_i a_{i+1} \dots a_j] \dots a_n} = 0.$$