Active and passive transformation

For the concept of "passive transformation" in grammar, see active voice and passive voice.

Geometric transformations in any geometric space (such as the three-dimensional Euclidean space ${\displaystyle \mathbb {R} ^{3}}$) are distinguished into active or alibi transformations, and passive or alias transformations. An active transformation is a transformation which changes the physical position (alibi means "elsewhere") of a set of points, or rigid body, which can be defined independently of any frame of reference or coordinate system;^[1] whereas a passive transformation is a change in the frame of reference or coordinate system relative to which the object is described (alias means "other name") (change of coordinate map, or change of basis).^[2] By transformation, mathematicians usually refer to active transformations, while physicists and engineers could mean either. In three dimensional Euclidean space, any proper rigid transformation, whether active or passive, can be represented as a screw displacement, the composition of a translation along an axis and a rotation about that axis.

In the active transformation (left), a point moves from position P to P' by rotating clockwise by an angle θ about the origin of the coordinate system. In the passive transformation (right), point P does not move, while the coordinate system rotates counterclockwise by an angle θ about its origin. The coordinates of P' in the active case (that is, relative to the original coordinate system) are the same as the coordinates of P relative to the rotated coordinate system.

Put differently, a passive transformation refers to description of the same object relative to two different coordinate systems.^[3] On the other hand, an active transformation is a transformation of an object with respect to a fixed coordinate system. For instance, active transformations are useful to describe successive positions of a rigid body. On the other hand, passive transformations may be useful in human motion analysis to observe the motion of the tibia relative to the femur, that is, its motion relative to a (local) coordinate system which moves together with the femur, rather than a (global) coordinate system which is fixed to the floor.^[3]

Example

 

Rotation considered as a passive (alias) or active (alibi) transformation

 

Translation and rotation as passive (alias) or active (alibi) transformations

As an example, let the vector ${\displaystyle \mathbf {v} =(v_{1},v_{2})\in \mathbb {R} ^{2}}$ , be a vector in the plane. A rotation of the vector through an angle θ in counterclockwise direction is given by the rotation matrix: $${\displaystyle R={\begin{pmatrix}\cos \theta &-\sin \theta \\\sin \theta &\cos \theta \end{pmatrix}},}$$  which can be viewed either as an active transformation or a passive transformation (where the above matrix will be inverted), as described below.

Spatial transformations in the Euclidean space R³

In general a spatial transformation ${\displaystyle T\colon \mathbb {R} ^{3}\to \mathbb {R} ^{3}}$  may consist of a translation and a linear transformation. In the following, the translation will be omitted, and the linear transformation will be represented by a 3×3 matrix ${\displaystyle T}$ .

Active transformation

As an active transformation, ${\displaystyle T}$  transforms the initial vector ${\displaystyle \mathbf {v} =(v_{x},v_{y},v_{z})}$  into a new vector ${\displaystyle \mathbf {v} '=(v'_{x},v'_{y},v'_{z})=T\mathbf {v} =T(v_{x},v_{y},v_{z})}$ .

If one views ${\displaystyle \{\mathbf {e} '_{x}=T(1,0,0),\ \mathbf {e} '_{y}=T(0,1,0),\ \mathbf {e} '_{z}=T(0,0,1)\}}$  as a new basis, then the coordinates of the new vector ${\displaystyle \mathbf {v} '=v_{x}\mathbf {e} '_{x}+v_{y}\mathbf {e} '_{y}+v_{z}\mathbf {e} '_{z}}$  in the new basis are the same as those of ${\displaystyle \mathbf {v} =v_{x}\mathbf {e} _{x}+v_{y}\mathbf {e} _{y}+v_{z}\mathbf {e} _{z}}$  in the original basis. Note that active transformations make sense even as a linear transformation into a different vector space. It makes sense to write the new vector in the unprimed basis (as above) only when the transformation is from the space into itself.

Passive transformation

On the other hand, when one views ${\displaystyle T}$  as a passive transformation, the initial vector ${\displaystyle \mathbf {v} =(v_{x},v_{y},v_{z})}$  is left unchanged, while the coordinate system and its basis vectors are transformed in the opposite direction, that is, with the inverse transformation ${\displaystyle T^{-1}}$ .^[4] This gives a new coordinate system XYZ with basis vectors: $${\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)}$$ 

The new coordinates ${\displaystyle (v_{X},v_{Y},v_{Z})}$  of ${\displaystyle \mathbf {v} }$  with respect to the new coordinate system XYZ are given by: $${\displaystyle \mathbf {v} =(v_{x},v_{y},v_{z})=v_{X}e_{X}+v_{Y}e_{Y}+v_{Z}e_{Z}=T^{-1}(v_{X},v_{Y},v_{Z}).}$$ 

From this equation one sees that the new coordinates are given by $${\displaystyle (v_{X},v_{Y},v_{Z})=T(v_{x},v_{y},v_{z}).}$$ 

As a passive transformation ${\displaystyle T}$  transforms the old coordinates into the new ones.

Note the equivalence between the two kinds of transformations: the coordinates of the new point in the active transformation and the new coordinates of the point in the passive transformation are the same, namely $${\displaystyle (v_{X},v_{Y},v_{Z})=(v'_{x},v'_{y},v'_{z}).}$$ 

In abstract vector spaces

The distinction between active and passive transformations can be seen mathematically by considering abstract vector spaces.

Fix a finite-dimensional vector space ${\displaystyle V}$  over a field ${\displaystyle K}$  (thought of as ${\displaystyle \mathbb {R} }$  or ${\displaystyle \mathbb {C} }$ ), and a basis ${\displaystyle {\mathcal {B}}=\{e_{i}\}_{1\leq i\leq n}}$  of ${\displaystyle V}$ . This basis provides an isomorphism ${\displaystyle C:K^{n}\rightarrow V}$  via the component map ${\textstyle (v_{i})_{1\leq i\leq n}=(v_{1},\cdots ,v_{n})\mapsto \sum _{i}v_{i}e_{i}}$ .

An active transformation is then an endomorphism on ${\displaystyle V}$ , that is, a linear map from ${\displaystyle V}$  to itself. Taking such a transformation ${\displaystyle \tau \in {\text{End}}(V)}$ , a vector ${\displaystyle v\in V}$  transforms as ${\displaystyle v\mapsto \tau v}$ . The components of ${\displaystyle \tau }$  with respect to the basis ${\displaystyle {\mathcal {B}}}$  are defined via the equation ${\textstyle \tau e_{i}=\sum _{j}\tau _{ji}e_{j}}$ . Then, the components of ${\displaystyle v}$  transform as ${\displaystyle v_{i}\mapsto \tau _{ij}v_{j}}$ .

A passive transformation is instead an endomorphism on ${\displaystyle K^{n}}$ . This is applied to the components: ${\displaystyle v_{i}\mapsto T_{ij}v_{j}=:v'_{i}}$ . Provided that ${\displaystyle T}$  is invertible, the new basis ${\displaystyle {\mathcal {B}}'=\{e'_{i}\}}$  is determined by asking that ${\displaystyle v_{i}e_{i}=v'_{i}e'_{i}}$ , from which the expression ${\displaystyle e'_{i}=(T^{-1})_{ji}e_{j}}$  can be derived.

Although the spaces ${\displaystyle {\text{End}}(V)}$  and ${\displaystyle {\text{End}}({K^{n}})}$  are isomorphic, they are not canonically isomorphic. Nevertheless a choice of basis ${\displaystyle {\mathcal {B}}}$  allows construction of an isomorphism.

As left- and right-actions

Often one restricts to the case where the maps are invertible, so that active transformations are the general linear group ${\displaystyle {\text{GL}}(V)}$  of transformations while passive transformations are the group ${\displaystyle {\text{GL}}(n,K)}$ .

The transformations can then be understood as acting on the space of bases for ${\displaystyle V}$ . An active transformation ${\displaystyle \tau \in {\text{GL}}(V)}$  sends the basis ${\displaystyle \{e_{i}\}\mapsto \{\tau e_{i}\}}$ . Meanwhile a passive transformation ${\displaystyle T\in {\text{GL}}(n,K)}$  sends the basis ${\textstyle \{e_{i}\}\mapsto \left\{\sum _{j}(T^{-1})_{ji}e_{j}\right\}}$ .

The inverse in the passive transformation ensures the components transform identically under ${\displaystyle \tau }$  and ${\displaystyle T}$ . This then gives a sharp distinction between active and passive transformations: active transformations act from the left on bases, while the passive transformations act from the right, due to the inverse.

This observation is made more natural by viewing bases ${\displaystyle {\mathcal {B}}}$  as a choice of isomorphism ${\displaystyle \Phi _{\mathcal {B}}:V\rightarrow K^{n}}$ . The space of bases is equivalently the space of such isomorphisms, denoted ${\displaystyle {\text{Iso}}(V,K^{n})}$ . Active transformations, identified with ${\displaystyle {\text{GL}}(V)}$ , act on ${\displaystyle {\text{Iso}}(V,K^{n})}$  from the left by composition, while passive transformations, identified with ${\displaystyle {\text{GL}}(n,K)}$  acts on ${\displaystyle {\text{Iso}}(V,K^{n})}$  from the right by pre-composition.

This turns the space of bases into a left ${\displaystyle {\text{GL}}(V)}$ -torsor and a right ${\displaystyle {\text{GL}}(n,K)}$ -torsor.

From a physical perspective, active transformations can be characterized as transformations of physical space, while passive transformations are characterized as redundancies in the description of physical space. This plays an important role in mathematical gauge theory, where gauge transformations are described mathematically by transition maps which act from the right on fibers.

See also

• Change of basis
• Covariance and contravariance of vectors
• Rotation of axes
• Translation of axes

References

1. Weisstein, Eric W. "Alibi Transformation." Mathworld.
2. Weisstein, Eric W. "Alias Transformation." Mathworld.
3. Joseph K. Davidson, Kenneth Henderson Hunt (2004). "§4.4.1 The active interpretation and the active transformation". Robots and screw theory: applications of kinematics and statics to robotics. Oxford University Press. p. 74 ff. ISBN 0-19-856245-4.
4. Amidror, Isaac (2007). "Appendix D: Remark D.12". The theory of the Moiré phenomenon: Aperiodic layers. Springer. p. 346. ISBN 978-1-4020-5457-0.

• Dirk Struik (1953) Lectures on Analytic and Projective Geometry, page 84, Addison-Wesley.

External links

• UI ambiguity