представимы в виде полиномиальных функций переменных
и М. Однако пять перечисленных скаляров вовсе не образуют полного набора в том смысле, в каком это понимается в классической теории инвариантов. Так, величина
очевидно, не представима в указанной форме, ибо она нечетна по
тогда как скаляры
четны. Но величина
все же зависит от
в силу сизигии [232, 114]
Так что полным набором инвариантов для
и
можно считать только всю совокупность инвариантов
Ранее (в конце § 5) мы выяснили, что условием совпадения двух электромагнитных ГИН (ЭГИН) является равенство
Условием же совпадения ЭГИН и ГГИН является обращение в нуль результанта соответствующих форм четвертого и второго порядка:
Пользуясь инвариантами, это условие можно представить в виде [232]
Следовательно, чтобы оба ЭГИН лежали вдоль
должно выполняться условие
Если выполняются уравнения Эйнштейна — Максвелла (скажем, с
то, как следует из уравнений (5.2.6),
и можно утверждать, что 4 действительные величины
и три комплексные величины
представимы в виде инвариантов спиноров