Что такое «вектор SO (n) SO (n) SO (n)»?

Я смотрю (или пытаюсь смотреть) эту лекцию от NPTEL по классической теории поля. Я понял все в этой серии до этого момента, включая первую половину лекции по элементарной теории групп. Однако в какой-то момент он начинает говорить о «векторе С О ( д ) ". Он по существу определяет такой объект как d-кортеж ( в 1 в 2 в д ) такой, что он преобразуется следующим образом под матрицами р е С О ( д ) :

( в ) я "=" р Дж я в Дж "=" Дж р я Дж в Дж

Тут я начал путаться. Разве это не определение умножения матрицы на вектор, где в "=" р в ? Из-за этого я, по сути, не мог разобраться в остальной части лекции, которая обобщала эту идею до «тензора С О ( д ) ", определяя его как объект Т я 1 я 2 я н который трансформируется как

Т Дж 1 Дж н "=" р я 1 Дж 1 р я 1 Дж 1 Т я 1 я н

Отсюда я по существу потерян. Поиск соответствующих терминов в Google не очень помог - это стандартная запись, которую я не понимаю, или это просто загадочный язык этого конкретного лектора?

Ответы (3)

Уравнение , которое вы дали, действительно является определением матричного умножения, примененного к д × д матрица и д × 1 матрица. Но в основе концепции лежит нечто большее.

Суть векторов в том, что они существуют в некотором смысле независимо от чисел, используемых для их представления. Например, обычный трехмерный вектор смещения представляет физическую длину и физическое направление. Это не числа, это абстрактные идеи. Вы получаете числа только тогда, когда выбираете систему координат, а затем сравниваете вектор с осями координат. Различные системы координат дадут вам разные наборы чисел для одного и того же вектора.

Две системы координат могут быть связаны преобразованиями, такими как вращение и отражение. Другими словами, для заданной системы координат А вы можете определить некоторое преобразование, которое превращает ее в систему координат В, и вы можете получить д × д матрица, р д × д , который представляет это преобразование. Что делает вектор вектором, так это то, что числа, описывающие вектор в системе координат A, и числа, описывающие вектор в системе координат B, связаны одной и той же матрицей.

(1) ( в Б 1 в Б д ) "=" р д × д ( в А 1 в А д )

Группа всех возможных преобразований имеет какое-то имя. Например, С О ( 3 ) это группа всех вращений в трехмерном пространстве. Соответственно, все, что ведет себя как вектор (то есть следует уравнению 1) при вращении трехмерной системы координат, называется вектором С О ( 3 ) или С О ( 3 ) вектор.

Если это кажется очевидным, позвольте мне указать, что есть наборы величин, которые не ведут себя таким образом, особенно когда вы начинаете говорить о других видах преобразований, помимо трехмерных вращений. Например, все возможные преобразования Лоренца, включая повороты и повышения, образуют группу С О ( 3 , 1 ) . Энергия и импульс (одной частицы) образуют вектор С О ( 3 , 1 ) , так как они меняются в соответствии с уравнением (1) (при р д × д являющийся матрицей преобразования Лоренца) при смене системы отсчета. Но электромагнитное поле — нет. На самом деле вам нужны два фактора р д × д для учета того, как электромагнитные поля меняются между системами отсчета. Это делает электромагнитное поле тензором второго ранга С О ( 3 , 1 ) .

Я также хотел бы отослать вас к этому моему вопросу по математике о значении «физического векторного пространства», который касается разницы между математическим вектором и физическим вектором. Только последний подчиняется требованию уравнения (1).

Означает ли ваш ответ, что мы не можем дать количеству название вектора, тензора или скаляра, пока мы не определились с преобразованием, и что эти термины имеют значение только в отношении преобразований, которые мы делаем? Также можете ли вы привести пример, когда вектор был вектором какой-то группы, а не вектором какой-то другой группы?
@NamanAgarwal (1) Да, в значительной степени. Вы можете идентифицировать что-то только как скаляр/вектор/тензор по отношению к конкретной группе преобразования; бессмысленно говорить «это вектор», если не указано, по отношению к какой группе преобразования он является вектором. Конечно, все это относится только к значению вектора, используемому в физике, а не к тому, который используется в математике (см. Математический вопрос, который я связал). (2) Eg полная энергия частицы есть С О ( 3 ) скаляр, а компонент вектора в С О ( 3 , 1 ) .

Да, он определил вектор как ведущий себя таким образом (поворот вектора эквивалентен изменению базиса), иначе он не был бы вектором. Тензор - это объект другого типа, он имеет как минимум два индекса и ведет себя иначе, чем вектор при преобразовании координат (как определено в вашей книге). Вы, вероятно, могли бы прочитать больше о линейной алгебре до тензоров, прежде чем читать книгу по физике (это облегчит вашу жизнь), потому что в физике они вводятся как очевидные вещи, но это довольно хорошо определенные математические понятия. На противоположном конце находится скаляр, который не меняется при преобразовании координат.

В контексте, например, псевдоортогональной группы Ли

(1) О ( п , д )   "="   { Λ е М а т н × н ( р )   |   Λ Т η Λ "=" η }

псевдоортогональных матриц Λ для метрики

(2) η мю ν   "="   д я а г ( 1 , , 1 п   раз , 1 , 1 д   раз ) , н   "="   п + д ,

"вектор О ( п , д ) "является элементом н -мерное векторное представление (также известное как определяющее представление или фундаментальное представление) О ( п , д ) .

См. также соответствующий пост Phys.SE.