Consideremos una teoría en el formalismo hamiltoniano y supongamos que tiene restricciones entre variables canónicas $Q, \pi$ . Según la terminología de Dirac, el conjunto de restricciones $F_{a}(Q, \pi) \approx 0$ de la primera clase satisface las condiciones $\lbrace F_{a}, F_{b}\rbrace_{P} \approx 0$ mientras que el conjunto de restricciones de la segunda clase tiene corchetes de Poisson no nulos.
Tengamos casos de campos bosónicos masivos y sin masa con lagrangianos $$ L = -\frac{1}{4}F_{\mu \nu}F^{\mu \nu} - \lambda m^{2} A^{2} , \quad \lambda_{EM} = 0, \quad \lambda_{massive} = 1. $$ Para el primer caso tenemos el conjunto de las restricciones de segunda clase (la segunda es falsa ecuación de movimiento para $A_{0}$ componente) $$ \pi^{0} = \frac{\partial L}{\partial (\partial_{0}A_{0})} \approx 0, \quad F(A_{0}, \pi^{i}, j_{0}) = -\Delta A_{0} - \partial_{i}\pi^{i} + m^{2}A_{0} \approx 0,\quad \lbrace \pi_{0}(\mathbf x ), F_{b}(\mathbf y)\rbrace_{P} = -m^{2}\delta (\mathbf x - \mathbf y), $$ mientras que para la segunda tenemos restricciones de primera clase: $$ \pi^{0} = \frac{\partial L}{\partial (\partial_{0}A_{0})} \approx 0, \quad F(A_{0}, \pi^{i}, j_{0}) = -\Delta A_{0} - \partial_{i}\pi^{i} \approx 0,\quad \lbrace \pi_{0}(\mathbf x ), F_{b}(\mathbf y)\rbrace_{P} \approx 0. $$ Por qué en el primer caso después de introducir el corchete de Dirac podemos hacer la igualdad las restricciones a cero estrictas (es decir, podemos expresar $A_{0}$ como función definida de los momentos canónicos y de la corriente), mientras que en el segundo caso la imposibilidad de introducir los corchetes de Dirac conduce a la imposibilidad de expresar $A_{0}$ a través de otras coordenadas canónicas? Es decir, cómo cambia la posibilidad de inctorucción de los corchetes de Dirac $\approx$ a $=$ ?