关于张量等式$A^{[ab]}B_{ab} = A^{ab}B_{[ab]}$的指标替换逻辑疑问

我完全理解你的困惑——刚接触张量指标运算时，这种“随便换指标名字”的操作确实会让人摸不着头脑，其实核心就在于爱因斯坦求和约定里的**哑指标（dummy indices）**的本质：它们只是求和的“占位符”，名字完全不影响最终结果。下面我一步步拆解每一步的逻辑：

1. 先明确哑指标的核心规则 #

在爱因斯坦求和约定中，**成对出现的上标和下标（即哑指标）**是需要遍历所有可能取值求和的，而这些指标的名称仅仅是个代号——不管你叫它$a,b$还是$m,n$，只要遍历的是同一个指标集合，求和的结果就完全一致。

比如拿3维空间举例，指标取值为1,2,3，那么$\sum_{a,b=1}^3 A^{{ba}B_{ab}$和$\sum_{m,n=1}}3 A^{mn}B_{nm}$展开后的每一项都是完全相同的，只是把$b$换成了$m$、$a$换成了$n$而已，求和结果自然相等。

2. 拆解你疑惑的步骤 #

来看你标注的红色项$A^{ba}B_{ab}$：

• 第一步替换成$A^{{mn}B_{nm}$：这就是典型的哑指标重命名，因为$b$和$m$都是上标哑指标，$a$和$n$都是下标哑指标，替换后求和的每一项没有任何变化，所以$A}{ba}B_{ab} = A^{mn}B_{nm}$，这就是(*)行的依据。
• 第二步把$A^{{mn}B_{nm}$换成$A}{ab}B_{ba}$：同样是哑指标重命名——把$m$换成$a$，$n$换成$b$，本质还是一样的，只是再次换了指标的代号，求和结果依然不变。

3. 串联整个推导过程 #

把替换后的项代入原式：
$$
\begin{align*}
A^{[ab]}B_{ab} &= \frac{1}{2}(A^{ab}B_{ab}-A{ba}B_{ab}) \
&= \frac{1}{2}(A^{ab}B_{ab}-A{mn}B_{nm}) \
&= \frac{1}{2}(A^{ab}B_{ab}-A{ab}B_{ba}) \
&= A^{ab} \cdot \frac{1}{2}(B_{ab} - B_{ba}) \
&= A^{ab}B_{[ab]}
\end{align*}
$$
最后一步利用了反对称化的定义$B_{[ab]} := \frac{1}{2}(B_{ab} - B_{ba})$，就得到了我们要证的等式。

关键提醒 #

要注意区分哑指标和自由指标：自由指标是没有成对出现的指标，不能随便换名字；但在你的问题里，所有出现的指标都是哑指标（成对的上标下标），所以可以随意替换名称，只要保持上标和下标的配对关系即可。

备注：内容来源于stack exchange，提问作者Taylor Rendon