Закон преобразования для ковариантной производной в SU(2)SU(2)SU(2) Янга-Миллса

На странице 488 Пескина и Шредера говорится (выделено мной):

Нетрудно проверить с помощью (15.27) и (15.21), что даже при конечных преобразованиях ковариантная производная имеет тот же закон преобразования, что и поле, на которое она действует.

Я действительно пытался это проверить.

Это то, что я пробовал:

1. $V\left(x\right)\in SU\left(2\right)^{\mathbb{R}^4}$
2. $\psi\left(x\right)\mapsto V\left(x\right)\psi\left(x\right)$.
3. $D_\mu\left(x\right)\equiv\partial_\mu-igA_{\mu,\,j}\left(x\right)\frac{\sigma^j}{2}$.
4. $igA_{\mu,\,j}\left(x\right)\frac{\sigma^j}{2}\mapsto V\left(x\right)igA_{\mu,\,j}\left(x\right)\frac{\sigma^j}{2}\left[V\left(x\right)^\dagger\right]-V\left(x\right)\left\{\partial_\mu\left[V\left(x\right)^\dagger\right]\right\}$

Таким образом:

$$\begin{align} D_\mu\left(x\right)\psi\left(x\right) \mapsto & \left\{\partial_\mu -V\left(x\right)igA_{\mu,\,j}\left(x\right)\frac{\sigma^j}{2}\left[V\left(x\right)^\dagger\right]+V\left(x\right)\left\{\partial_\mu\left[V\left(x\right)^\dagger\right]\right\}\right\}V\left(x\right)\psi\left(x\right) = \\\ &= \left[\partial_\mu V\left(x\right)\right]\psi\left(x\right)+V\left(x\right)\partial_\mu\psi\left(x\right)-V\left(x\right)igA_{\mu,\,j}\left(x\right)\frac{\sigma^j}{2}\psi\left(x\right)+V\left(x\right)\left\{\partial_\mu\left[V\left(x\right)\dagger\right]\right\}V\left(x\right)\psi\left(x\right) = & \\\ &= V\left(x\right)D_\mu\left(x\right)\psi\left(x\right)+\left\{\left[\partial_\mu V\left(x\right)\right] + V\left(x\right)\left\{\partial_\mu\left[V\left(x\right)\dagger\right]\right\}V\left(x\right)\right\}\psi\left(x\right) \end{align}$$

Итак, насколько я понимаю,$\boxed{\left[\partial_\mu V\left(x\right)\right] + V\left(x\right)\left\{\partial_\mu\left[V\left(x\right)\dagger\right]\right\}V\left(x\right)\stackrel{?}{=}0}$должно быть равно нулю.

Чтобы доказать это, я использовал тот факт, что$VV\dagger=1$:

$$\begin{align} \partial_\mu\left[ V\left(x\right)\right] + V\left(x\right)\left\{\partial_\mu\left[V\left(x\right)\dagger\right]\right\}V\left(x\right) &= \\ \partial_\mu\left[ V\left(x\right)1\right] + V\left(x\right)\left\{\partial_\mu\left[V\left(x\right)\dagger\right]\right\}V\left(x\right) &= \\ \partial_\mu\left[ V\left(x\right)V\left(x\right)^\dagger V\left(x\right)\right] + V\left(x\right)\left\{\partial_\mu\left[V\left(x\right)\dagger\right]\right\}V\left(x\right) &= \\ \left[\partial_\mu V\left(x\right)\right]V\left(x\right)^\dagger V\left(x\right) +V\left(x\right)\left[ \partial_\mu V\left(x\right)^\dagger \right]V\left(x\right) +V\left(x\right)V\left(x\right)^\dagger\left[ \partial_\mu V\left(x\right)\right] + V\left(x\right)\left\{\partial_\mu\left[V\left(x\right)\dagger\right]\right\}V\left(x\right) &= \\2\left\{\partial_\mu\left[ V\left(x\right)\right] + V\left(x\right)\left\{\partial_\mu\left[V\left(x\right)\dagger\right]\right\}V\left(x\right)\right\}\end{align}$$

Это все правильно?