Notación de corchetes en índices tensoriales

Conozco los paréntesis de () simetrización y [] antisimetrización en los índices de tensor siempre que aparezcan solos, como:

V [ α β ] = 1 2 ( V α β V β α )

Sin embargo, estoy algo confundido en cuanto a lo que sucede cuando estos corchetes abarcan índices en más de un tensor a la vez, y especialmente si hay más de un corchete dentro de dicho término. Para ver a lo que me refiero, considere la siguiente expresión para el tensor de Weyl, como se da en el capítulo 13 de MTW:

C α β γ d = R α β γ d 2 d [ α [ γ R β ] d ] + 1 3 d [ α [ γ d β ] d ] R

¿Cómo se expanden las expresiones entre paréntesis como las del segundo y tercer término anteriores en notación de índice sin paréntesis? Encuentro esta notación realmente confusa.

Respuestas (2)

La (anti)simetrización simplemente actúa sobre todos los índices encerrados (a la misma "altura" que realmente están encerrados entre paréntesis), independientemente de que pertenezcan al mismo tensor oa diferentes tensores. Por ejemplo,

d [ α [ γ R β ] d ] = 1 2 ( d [ α γ R β ] d d [ α d R β ] γ ) =
y cada término en el lado derecho aún puede expandirse porque es una antisimetrización del α β índices:
= 1 4 ( d α γ R β d d α d R β γ d β γ R α d + d β d R α γ )
Del mismo modo para todos sus otros términos (el d d término se computa en la otra respuesta que apoyo), o cualquier otro tensor. El número de términos en estas expansiones aumenta "exponencialmente" si hay muchas (anti)simetrizaciones, por lo que se vuelve realmente tedioso escribir todos los términos; esta tediosa es la razón por la que se usan los símbolos de (anti)simetrización, después de todo.

Siempre que los diversos grupos de índices que están (anti)simetrizados sean disjuntos (y los grupos de índices superiores nunca tienen ninguna intersección con un grupo de índices inferiores), no importa en qué orden expanda la (anti)simetrización. Tiene la garantía de obtener el mismo resultado.

Se supone que no debes considerar la γ para ser parte del soporte superior en su ejemplo. Solo estás anti-simetrizando sobre el par. α y β y la pareja γ y d . la regla seria V [ α [ γ β ] d ] = 1 2 ( V α [ γ β d ] V β [ γ α d ] ) = 1 2 ( V [ α γ β ] d V [ α d β ] γ ) = 1 4 ( V α γ β d V α d β γ V β γ α d + V β d α γ ) .

Tenga en cuenta que el orden en que realiza las dos antisimetrizaciones no importa.

Como ejemplo, d [ α [ γ d β ] d ] = 1 4 ( d α γ d β d d α d d β γ d β γ d α d + d β d d α γ ) .

El de la d y el R da la misma respuesta excepto la segunda d se convierte en un R .

LOL, manténgalo, para que el OP vea algún consenso, aunque reproduje sus factores de 1 / 2 y no lo hiciste ;-)
ups acaba de editar. Pensé que lo recordaba sin el 1/2. Ha pasado un tiempo desde que hice estas cosas.