Активная и пассивная трансформация

Различие значений преобразований евклидова пространства

При активном преобразовании (слева) точка P преобразуется в точку P ′ путем поворота по часовой стрелке на угол θ вокруг начала координат фиксированной системы координат. При пассивном преобразовании (справа) точка P остается неподвижной, а система координат поворачивается против часовой стрелки на угол θ относительно ее начала. Координаты P ' после активного преобразования относительно исходной системы координат такие же, как координаты P относительно повернутой системы координат.

Геометрические преобразования можно разделить на два типа: активные преобразования или преобразования алиби , которые изменяют физическое положение набора точек относительно фиксированной системы отсчета или системы координат ( алиби означает «нахождение где-то в другом месте в одно и то же время»); и пассивные преобразования или преобразования псевдонимов , которые оставляют точки фиксированными, но меняют систему отсчета или систему координат, относительно которой они описаны ( псевдоним означает «переходить под другим именем»). ^[1] [ ^2] Под преобразованием математики обычно подразумевают активные преобразования, тогда как физики и инженеры могут иметь в виду и то, и другое. ^{[ нужна цитата ]}

Например, активные преобразования полезны для описания последовательных положений твердого тела . С другой стороны, пассивные преобразования могут быть полезны при анализе движений человека, чтобы наблюдать движение большеберцовой кости относительно бедренной кости , то есть ее движение относительно ( локальной ) системы координат, которая движется вместе с бедренной костью, а не (локальной) системой координат, которая движется вместе с бедренной костью. глобальная ) система координат, привязанная к полу. ^[2]

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

Термины «активное преобразование» и «пассивное преобразование» были впервые введены в 1957 году Валентином Баргманном для описания преобразований Лоренца в специальной теории относительности . ^[3]

Пример

Ротация рассматривается как пассивная ( псевдоним ) или активная ( алиби ) трансформация.

Перевод и вращение как пассивные ( алиас ) или активные ( алиби ) трансформации.

В качестве примера пусть вектор будет вектором на плоскости. Поворот вектора на угол θ против часовой стрелки задается матрицей вращения : ${\displaystyle \mathbf {v} =(v_{1},v_{2})\in \mathbb {R} ^{2}}$

$${\displaystyle R={\begin{pmatrix}\cos \theta &-\sin \theta \\\sin \theta &\cos \theta \end{pmatrix}},}$$

активное преобразованиепассивное преобразованиематрицаинвертирована

Пространственные преобразования в евклидовом пространстве R 3

В общем, пространственная трансформация может состоять из трансляции и линейной трансформации. Далее перевод будет опущен, а линейное преобразование будет представлено матрицей 3×3 . ${\displaystyle T\colon \mathbb {R} ^{3}\to \mathbb {R} ^{3}}$ ${\displaystyle T}$

Активная трансформация

В качестве активного преобразования преобразует исходный вектор в новый вектор . ${\displaystyle T}$ ${\displaystyle \mathbf {v} =(v_{x},v_{y},v_{z})}$ ${\displaystyle \mathbf {v} '=(v'_{x},v'_{y},v'_{z})=T\mathbf {v} =T(v_{x},v_{y},v_{z})}$

Если рассматривать как новый базис , то координаты нового вектора в новом базисе такие же, как и в исходном базисе. Обратите внимание, что активные преобразования имеют смысл даже в качестве линейного преобразования в другое векторное пространство . Имеет смысл записывать новый вектор в базисе без штриха (как указано выше) только тогда, когда преобразование происходит из пространства в себя. ${\displaystyle \{\mathbf {e} '_{x}=T(1,0,0),\ \mathbf {e} '_{y}=T(0,1,0),\ \mathbf {e} '_{z}=T(0,0,1)\}}$ ${\displaystyle \mathbf {v} '=v_{x}\mathbf {e} '_{x}+v_{y}\mathbf {e} '_{y}+v_{z}\mathbf {e} '_{z}}$ ${\displaystyle \mathbf {v} =v_{x}\mathbf {e} _{x}+v_{y}\mathbf {e} _{y}+v_{z}\mathbf {e} _{z}}$

Пассивная трансформация

С другой стороны, если рассматривать как пассивное преобразование, исходный вектор остается неизменным, а система координат и ее базисные векторы преобразуются в противоположном направлении, то есть с помощью обратного преобразования . ^[4] Это дает новую систему координат XYZ с базисными векторами: ${\displaystyle T}$ ${\displaystyle \mathbf {v} =(v_{x},v_{y},v_{z})}$ ${\displaystyle T^{-1}}$

$${\displaystyle \mathbf {e} _{X}=T^{-1}(1,0,0),\ \mathbf {e} _{Y}=T^{-1}(0,1,0),\ \mathbf {e} _{Z}=T^{-1}(0,0,1)}$$

Новые координаты относительно новой системы координат XYZ определяются как: ${\displaystyle (v_{X},v_{Y},v_{Z})}$ ${\displaystyle \mathbf {v} }$

$${\displaystyle \mathbf {v} =(v_{x},v_{y},v_{z})=v_{X}\mathbf {e} _{X}+v_{Y}\mathbf {e} _{Y}+v_{Z}\mathbf {e} _{Z}=T^{-1}(v_{X},v_{Y},v_{Z}).}$$

Из этого уравнения видно, что новые координаты определяются выражением

$${\displaystyle (v_{X},v_{Y},v_{Z})=T(v_{x},v_{y},v_{z}).}$$

Пассивное преобразование преобразует старые координаты в новые. ${\displaystyle T}$

Обратите внимание на эквивалентность двух видов преобразований: координаты новой точки в активном преобразовании и новые координаты точки в пассивном преобразовании одинаковы, а именно

$${\displaystyle (v_{X},v_{Y},v_{Z})=(v'_{x},v'_{y},v'_{z}).}$$

В абстрактных векторных пространствах

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

Зафиксируйте конечномерное векторное пространство над полем (думаемое как или ) и базис . Этот базис обеспечивает изоморфизм через отображение компонентов . ${\displaystyle V}$ ${\displaystyle K}$ ${\displaystyle \mathbb {R} }$ ${\displaystyle \mathbb {C} }$ ${\displaystyle {\mathcal {B}}=\{e_{i}\}_{1\leq i\leq n}}$ ${\displaystyle V}$ ${\displaystyle C:K^{n}\rightarrow V}$ ${\textstyle (v_{i})_{1\leq i\leq n}=(v_{1},\cdots ,v_{n})\mapsto \sum _{i}v_{i}e_{i}}$

Активное преобразование тогда является эндоморфизмом на , то есть линейным отображением из в себя. При таком преобразовании вектор преобразуется как . Компоненты относительно базиса определяются уравнением . Затем компоненты преобразуются как . ${\displaystyle V}$ ${\displaystyle V}$ ${\displaystyle \tau \in {\text{End}}(V)}$ ${\displaystyle v\in V}$ ${\displaystyle v\mapsto \tau v}$ ${\displaystyle \tau }$ ${\displaystyle {\mathcal {B}}}$ ${\textstyle \tau e_{i}=\sum _{j}\tau _{ji}e_{j}}$ ${\displaystyle v}$ ${\displaystyle v_{i}\mapsto \tau _{ij}v_{j}}$

Вместо этого пассивное преобразование является эндоморфизмом на . Это относится к компонентам: . При условии, что это обратимо, новый базис определяется путем запроса того , из которого может быть получено выражение . ${\displaystyle K^{n}}$ ${\displaystyle v_{i}\mapsto T_{ij}v_{j}=:v'_{i}}$ ${\displaystyle T}$ ${\displaystyle {\mathcal {B}}'=\{e'_{i}\}}$ ${\displaystyle v_{i}e_{i}=v'_{i}e'_{i}}$ ${\displaystyle e'_{i}=(T^{-1})_{ji}e_{j}}$

Хотя пространства и изоморфны, они не канонически изоморфны. Тем не менее выбор базиса позволяет построить изоморфизм. ${\displaystyle {\text{End}}(V)}$ ${\displaystyle {\text{End}}({K^{n}})}$ ${\displaystyle {\mathcal {B}}}$

Как левые и правые действия

Часто ограничиваются случаем, когда отображения обратимы, так что активные преобразования представляют собой общую линейную группу преобразований, а пассивные преобразования — группу . ${\displaystyle {\text{GL}}(V)}$ ${\displaystyle {\text{GL}}(n,K)}$

Тогда преобразования можно понимать как действия на пространстве оснований для . Активное преобразование отправляет базу . Тем временем пассивная трансформация отправляет базу . ${\displaystyle V}$ ${\displaystyle \tau \in {\text{GL}}(V)}$ ${\displaystyle \{e_{i}\}\mapsto \{\tau e_{i}\}}$ ${\displaystyle T\in {\text{GL}}(n,K)}$ ${\textstyle \{e_{i}\}\mapsto \left\{\sum _{j}(T^{-1})_{ji}e_{j}\right\}}$

Обратное пассивное преобразование гарантирует, что компоненты преобразуются одинаково при и . Таким образом, это дает резкое различие между активными и пассивными преобразованиями: активные преобразования действуют слева на основаниях, а пассивные преобразования действуют справа из-за обратного. ${\displaystyle \tau }$ ${\displaystyle T}$

Это наблюдение становится более естественным, если рассматривать базисы как выбор изоморфизма . Пространство базисов эквивалентно пространству таких изоморфизмов, обозначаемому . Активные преобразования, обозначенные значком , действуют слева по композиции, тогда как пассивные преобразования, обозначенные значком, действуют справа по предварительной композиции. ${\displaystyle {\mathcal {B}}}$ ${\displaystyle \Phi _{\mathcal {B}}:V\rightarrow K^{n}}$ ${\displaystyle {\text{Iso}}(V,K^{n})}$ ${\displaystyle {\text{GL}}(V)}$ ${\displaystyle {\text{Iso}}(V,K^{n})}$ ${\displaystyle {\text{GL}}(n,K)}$ ${\displaystyle {\text{Iso}}(V,K^{n})}$

Это превращает пространство оснований в лево - торсор и право -торсор. ${\displaystyle {\text{GL}}(V)}$ ${\displaystyle {\text{GL}}(n,K)}$

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

Смотрите также

• Изменение базы
• Ковариантность и контравариантность векторов
• Вращение осей
• Перевод осей

Рекомендации

1. Крампин, М.; Пирани, ФАЭ (1986). Применимая дифференциальная геометрия. Издательство Кембриджского университета. п. 22.
2. Джозеф К. Дэвидсон, Кеннет Хендерсон Хант (2004). «§4.4.1 Активная интерпретация и активное преобразование». Роботы и теория винтов: приложения кинематики и статики в робототехнике . Издательство Оксфордского университета. п. 74 и далее . ISBN 0-19-856245-4.
3. Баргманн, Валентин (1957). «Относительность». Обзоры современной физики . 29 (2): 161–174. doi : 10.1103/RevModPhys.29.161.
4. Амидрор, Исаак (2007). «Приложение D: Замечание D.12». Теория явления Муара: Апериодические слои . Спрингер. п. 346. ИСБН 978-1-4020-5457-0.

• Дирк Струик (1953) Лекции по аналитической и проективной геометрии , стр. 84, Аддисон-Уэсли .

Внешние ссылки

• Неоднозначность пользовательского интерфейса