Остаются ли сложные векторы на плоскости при вращении?

Спасибо за прочтение.

Я пытаюсь лучше понять, как матрицы вращения работают с комплексными векторами.

Скажем, у нас есть матрица вращения:

р θ "=" [ потому что ( θ )   с я н ( θ ) грех ( θ ) потому что ( θ ) ]

Это вращает вектор с действительным знаком на декартовой плоскости на θ градусов.

Итак, если у нас есть вектор в , и мы вычисляем р θ в , выход в но повернут на θ градусов против часовой стрелки.

Впрочем, теперь скажи в допускается наличие сложных компонентов.

Если в в С 2 , то мы можем представить его реально существующим в 4 Д пространство, где есть настоящий Икс направление, настоящее Д направление, воображаемое Икс направление и воображаемое Д направление.

скажем в "=" [ 2 3 ] , или что-то вроде того. Дело в том, что его компоненты только реальны — он существует целиком на реальном ( Икс , Д ) самолет.

Когда мы вращаемся в на любую сумму, он останется на реальном ( Икс , Д ) самолет. Он никогда не будет вращаться ни в одном из воображаемых измерений.

Аналогично, скажем в "=" [ 2 я 3 я ] .

Теперь еще раз, когда мы вращаемся в на любую сумму, умножив ее на р θ слева, он останется на воображаемом ( Икс , Д ) самолет. Он никогда не будет вращаться ни в одном из реальных измерений.

Но теперь скажи в "=" [ ( 1 + я ) ( 3 ) ] .

...или что-то вроде того. Дело в том, что это Икс и у компоненты сами имеют как действительные , так и мнимые компоненты.

Будет ли вращение (умножение на р θ слева) еще держать в на какой-то плоскости, причем оси этой плоскости указывают на некоторую комбинацию воображаемого и действительного направлений?

Если это так, как мы можем узнать, что это за самолет?


Что я сделал до сих пор:

У меня возникает соблазн ответить «да» на мой вопрос, и вот почему.

Когда у нас есть вектор

в "=" [ а б ]

и мы поворачиваем его на 90 0 , мы получаем в "=" [ б а ]

в "=" [ б а ] и в "=" [ а б ]

являются ортогональными направлениями, которые очень ясно можно было бы использовать для определения осей некоторой плоскости.

Если а и б оба были настоящими, то это совершенно очевидно было настоящим ( Икс , Д ) плоскости, и поворот на ЛЮБОЙ угол сохранил бы вектор в этой плоскости.

Теперь, скажем, у нас есть... в "=" [ ( 2 + 3 я ) ( 1 + 4 я ) ] .

...или нечто подобное, где его компоненты имеют как мнимую, так и действительную части, и мы умножаем в матрицей вращения, которая соответствует вращению на 90 0 :

[ потому что ( 90 )   с я н ( 90 ) грех ( 90 ) потому что ( 90 ) ] [ ( 2 + 3 я ) ( 1 + 4 я ) ] "=" [ ( 1 + 4 я ) ( 2 + 3 я ) ]

Эти ортогональные направления, [ ( 1 + 4 я ) ( 2 + 3 я ) ] и [ ( 2 + 3 я ) ( 1 + 4 я ) ] также может определять некоторую плоскость.

Однако мне непонятно, что поворот на угол меньше 90 0 сохранил бы в на том самом самолете...

Было бы это?

Спасибо!

(Если мой вопрос не ясен, пожалуйста, оставьте комментарий!)

Ответы (1)

Будет ли вращение (умножение на 𝑅𝜃 слева) по-прежнему удерживать 𝑣⃗ в некоторой плоскости с осями этой плоскости, указывающими на некоторую комбинацию воображаемого и действительного направлений?

Я думаю, под самолетом вы имеете в виду 2 -мерное реальное подпространство?

Вид С 2 как р векторное пространство. Любые два линейно независимых вектора любого вещественного векторного пространства определяют плоскость. Если они линейно зависимы, то таких плоскостей на выбор много. В любом случае преобразование «сохраняет в и р θ ( в ) в самолете».

Если вы пытаетесь спросить, является ли образ р θ действующий на С 2 является 2 -реально-мерные, то конечно нет. Это неособое преобразование, действующее на 4 -реальномерное пространство. Его изображение также будет 4 размерный.

Я считаю, что вопрос: для данного вектораv р4р2р2 , делает образθ (рθв1,рθв2) лежат в двумерном линейном подпространстве?
@ user7530 Пользователь пишет: "[потому что( 90 )грех( 90 ) s я п ( 90 )потому что( 90 )] [( 2 + 3 я )( 1 + 4 я )] = [( 1 + 4 я )( 2 + 3 я )] " это не то, что вы предполагаете, что они имеют в виду (что, как я полагаю, "применяет вращение к двум сложным записям по отдельности). Похоже, что матрица просто обрабатывается какС -линейный оператор наС2 .
@user7530 user7530 это именно тот вопрос ... если я правильно понимаю обозначение. Для определенного вектора (возможно, со сложными компонентами) его умножение на любую матрицу вращениярθ , независимо от того, чтоθ есть, дайте нам вектор, лежащий в одной плоскости? То самое двумерное линейное подпространство?
@rschwieb, возможно, вы тоже правы в том, что я имею в виду ... Я не очень хорошо разбираюсь во всех обозначениях :( Кроме того, спасибо за ваш ответ, +1, но я все еще в замешательстве, так как я не знаю если вы поняли мой вопрос...
@JoshuaRonis Что такое «сложная запись»? Это не имеет значения, если вы используетер илиС , матричная алгебра все та же... Если вы имели в виду "комплекс" в буквальном английском смысле, то плевать :)
Я имею в виду то, что @user7530 написал в своем комментарии. То, как я переписал это на английском языке в своем ответе на его комментарий, вы имели в виду своим ответом? Да, я имел в виду сложный в английском смысле! Здесь еще школьник!
@JoshuaRonis То, что вы написали в своем посте, предполагает, что вы просто используете настоящий2 × 2 матрица для умножения элементовС2 через умножение матриц. Мое понимание (возможно, неправильное) того, что написал пользователь 7530, заключается в том, чторθ( а , б ) для комплексаа иб было бы(рθ( а ) ,рθ( б ) ) С2 . Эти две операции совершенно разные, поэтому предлагаю вам тщательно определиться, о какой из них вы хотите написать.
@JoshuaRonis Второй способ отправил бы( 2 + 3 я , 1 + 4 я ) к( - 3 + 2 я , - 4 + я )
@rschwieb А, извините за путаницу, я имею в видув1 ив2 быть реальной и мнимой частямив соответственно (что, я считаю, совпадает с вопросом ОП)
В любом случае я полагаю, что ответ таков: «орбита лежит в плоскости тогда и только тогда, когда действительная и мнимая частив линейно зависимы", хотя я не вижу доказательства
@user7530 user7530 Хм, хорошо, спасибо за разъяснение. Я подумаю об этом. Я ничего не вижу о разделении частей, хотя...
@ user7530 Орбита под действием всех вращений, вы имеете в виду?
Да, все 2D-вращения (где одно и то же вращение действует на действительную и мнимую части вектора)
@user7530 user7530 хорошо, так что нет, я не имею в виду то, что, по мнению rscwieb , имел в виду user7530 в своем комментарии, но я думаю, что имею в виду то, что на самом деле имел в виду user7530 в своем комментарии! Как бы то ни было, последняя формулировка лучше всего: поворачивается ли вся орбита любого комплексного вектора на уголθ , что под всей орбитой я имею в виду, мы позволяемθдиапазон от 0до 360^0, лежат в одной плоскости? Спасибо вам обоим!
@JoshuaRonis Можете ли вы тогда переписать свою математику, чтобы она действительно отражала то, что вы хотите? Это очень сбивает с толку, когда говоришь, что хочешь одно, а пишешь другое.
@rschwieb, не могли бы вы сделать это, и я приму редактирование? Я не уверен, что сделаю это правильно... Буду очень признателен!
@JoshuaRonis Как я могу? Я вообще не очень понимаю, что вы имеете в виду. Если это проблема форматирования, я уверен, что мы сможем это исправить, как только вы предоставите исходный материал.
@rschwieb подождите, я немного запутался... есть ли часть моей математики, которая неверна? Кроме того, должны ли мы продолжить эту дискуссию в чате? Ну, по крайней мере, сегодня позже, я прямо сейчас гтг, но я не хочу продолжать захламлять комментарии...
@JoshuaRonis Обязательно создайте чат. Я был бы счастлив сделать это. Мой самый первый комментарий в ветке здесь поддерживает мою первоначальную точку зрения на то, что вы имели в виду. Если я неправильно понял ваше значение, вам придется переписать это так, чтобы оно было тем, что вы действительно имели в виду.