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}\mathbf {e} _{X}+v_{Y}\mathbf {e} _{Y}+v_{Z}\mathbf {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}).}$$

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}}:K^{n}\rightarrow V}$. The space of bases is equivalently the space of such isomorphisms, denoted ${\displaystyle {\text{Iso}}(K^{n},V)}$. Active transformations, identified with ${\displaystyle {\text{GL}}(V)}$, act on ${\displaystyle {\text{Iso}}(K^{n},V)}$ from the left by composition, that is if ${\displaystyle \tau }$ represents an active transformation, we have ${\displaystyle \Phi _{\mathcal {B'}}=\tau \circ \Phi _{\mathcal {B}}}$. On the opposite, passive transformations, identified with ${\displaystyle {\text{GL}}(n,K)}$ acts on ${\displaystyle {\text{Iso}}(K^{n},V)}$ from the right by pre-composition, that is if ${\displaystyle T}$ represents a passive transformation, we have ${\displaystyle \Phi _{\mathcal {B''}}=\Phi _{\mathcal {B}}\circ T}$.

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.