Допустим, нам дан четырехкомпонентный объект. Чтобы быть явным, давайте рассмотрим, что эти компоненты с , т.е.
Позвольте мне расширить свой вопрос с помощью «примера». Рассмотрим также некоторое преобразование Лоренца, параметризованное формулой за "угол" наддувов и для углов поворота. Предположим, что нам даны компоненты этого объекта после преобразования и что они представляют собой некоторый массив чисел . Но нам не говорят, как они рассчитывались или, что еще интереснее, и то, и другое. и могут быть измерены. Таким образом, мы хотим связать и .
Предположим, что после некоторых «проб и ошибок» мы обнаруживаем, что они связаны линейным преобразованием
Правильно ли сделать следующий вывод?
Если заданы, то мы заключаем, что компоненты представляют собой 4-вектор.
Если с матрицы Дирака, или более явно, тогда мы заключаем, что компоненты представляют собой спинор.
Если отличаются от них, но удовлетворяют алгебре Лоренца, тогда компоненты представляют другой тип объекта, отличный от 4-вектора или спинора.
Это верно? Если да, то можно ли это рассматривать как определение спинора (как это происходит с 4-векторами) независимо от того, удовлетворяют они или нет уравнению Дирака?
Можно сказать, что можно различать векторы и спиноры по тому, как они трансформируются. Векторы и спиноры принадлежат разным представлениям группы Лоренца и поэтому имеют разные правила преобразования. Ваш пример действительно правильный. Поэтому, если вы знаете из контекста, как трансформируется объект, вы можете догадаться, что это такое.
Обычно математики сильно злятся, когда слышат об «определении объекта X по способу его преобразования». Как вы можете изменить то, что еще не определили? Тем не менее, именно так во многих учебниках по ОТО вводятся тензоры, и с точки зрения физики это нормально. Математики предпочли бы восходящий подход, при котором можно было бы начать с группы (например, группы Лоренца или группы вращения), классифицировать ее представления и только затем давать им глупые имена, такие как «спинор» и «тензор».
Кстати (довольно неуместно), я думаю, что в ваших генераторах Лоренца для 4-вектора есть несколько минусовых знаков: генераторы буста должны иметь два ненулевых элемента одного знака.
Александр
октонион
Чарли
Папа Кропоткин
Космас Захос
Космас Захос