Consideremos la integral funcional: \begin{equation} \int \mathcal{D} A e^{iS[A]} \end{equation} donde $S[A]$ es la acción para $U(1)$ medidor de campo y \begin{equation} \mathcal{D}A\equiv \mathcal{D}A_0 \mathcal{D}A_1 \mathcal{D}A_2 \mathcal{D}A_3; \\ \mathcal{D}A_i = \prod_x dA_i(x). \end{equation}
Ahora tengo dos preguntas:
1. Cómo demostrar que la integración de medida $\mathcal{D} A $ es invariante en el indicador de la transformación: \begin{equation} A_\mu (x) \to A_\mu (x) + \frac{1}{e}\partial_\mu \alpha(x) \end{equation} 2. Cómo demostrar que la integración de medida $\mathcal{D} A $ es invariante bajo la transformación de Lorentz?