narzucają te dodatkowe warunki. Oznaczmy te warunki przez Ga(A)-mamy wtedy <br>&lt;gap&gt;<br>gdzie ba(x) są mnożnikami Lagrange'a. (Stosuje się często, zwłaszcza w teorii kwantowej, "rozmycie" warunku cechowania poprzez dodanie do (4.94) funkcji b, najczęściej kwadratowej). Działanie w tej postaci nie jest już oczywiście niezmiennicze ze względu na lokalną transformację cechowania (4.93). Jednak pewne uogólnienie powyższej procedury ustalania cechowania pozwala na wykazanie, że działanie to jest niezmiennicze ze względu na globalną (niezależną od punktu czasoprzestrzeni) transformację ściśle związaną z transformacją cechowania - transformację BRST. Aby wprowadzić tę symetrię, napiszmy w (4.93) <br>&lt;gap&gt; <br>gdzie . jest stałym parametrem, natomiast ca(x) to