Movatterモバイル変換


[0]ホーム

URL:


Jump to content
WikipediaThe Free Encyclopedia
Search

Active and passive transformation

From Wikipedia, the free encyclopedia
Distinction between meanings of Euclidean space transformations
For the concept of "passive transformation" in grammar, seeactive voice andpassive voice.
In the active transformation (left), a pointP is transformed to pointP by rotating clockwise byangleθ about theorigin of a fixed coordinate system. In the passive transformation (right), pointP stays fixed, while the coordinate system rotates counterclockwise by an angleθ about its origin. The coordinates ofP after the active transformation relative to the original coordinate system are the same as the coordinates ofP relative to the rotated coordinate system.

Geometric transformations can be distinguished into two types:active oralibi transformations which change the physical position of a set ofpoints relative to a fixedframe of reference orcoordinate system (alibi meaning "being somewhere else at the same time"); andpassive oralias transformations which leave points fixed but change the frame of reference or coordinate system relative to which they are described (alias meaning "going under a different name").[1][2] Bytransformation,mathematicians usually refer to active transformations, whilephysicists andengineers could mean either.[citation needed]

For instance, active transformations are useful to describe successive positions of arigid body. On the other hand, passive transformations may be useful in human motion analysis to observe the motion of thetibia relative to thefemur, 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.[2]

Inthree-dimensional Euclidean space, anyproper rigid transformation, whether active or passive, can be represented as ascrew displacement, the composition of atranslation along an axis and arotation about that axis.

The termsactive transformation andpassive transformation were first introduced in 1957 byValentine Bargmann for describingLorentz transformations inspecial relativity.[3]

Example

[edit]
Rotation considered as an active (alibi) or passive (alias) transformation
Translation and rotation as passive (alias) or active (alibi) transformations

As an example, let the vectorv=(v1,v2)R2{\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 therotation matrix:R=(cosθsinθsinθcosθ),{\displaystyle R={\begin{pmatrix}\cos \theta &-\sin \theta \\\sin \theta &\cos \theta \end{pmatrix}},}which can be viewed either as anactive transformation or apassive transformation (where the abovematrix will beinverted), as described below.

Spatial transformations in the Euclidean space R3

[edit]

In general a spatial transformationT:R3R3{\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 matrixT{\displaystyle T}.

Active transformation

[edit]

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

If one views{ex=T(1,0,0), ey=T(0,1,0), ez=T(0,0,1)}{\displaystyle \{\mathbf {e} '_{x}=T(1,0,0),\ \mathbf {e} '_{y}=T(0,1,0),\ \mathbf {e} '_{z}=T(0,0,1)\}} as a newbasis, then the coordinates of the new vectorv=vxex+vyey+vzez{\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 ofv=vxex+vyey+vzez{\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 differentvector 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

[edit]

On the other hand, when one viewsT{\displaystyle T} as a passive transformation, the initial vectorv=(vx,vy,vz){\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 transformationT1{\displaystyle T^{-1}}.[4] This gives a new coordinate systemXYZ with basis vectors:eX=T1(1,0,0), eY=T1(0,1,0), eZ=T1(0,0,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)}

The new coordinates(vX,vY,vZ){\displaystyle (v_{X},v_{Y},v_{Z})} ofv{\displaystyle \mathbf {v} } with respect to the new coordinate systemXYZ are given by:v=(vx,vy,vz)=vXeX+vYeY+vZeZ=T1(vX,vY,vZ).{\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(vX,vY,vZ)=T(vx,vy,vz).{\displaystyle (v_{X},v_{Y},v_{Z})=T(v_{x},v_{y},v_{z}).}

As a passive transformationT{\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(vX,vY,vZ)=(vx,vy,vz).{\displaystyle (v_{X},v_{Y},v_{Z})=(v'_{x},v'_{y},v'_{z}).}

In abstract vector spaces

[edit]
icon
This sectiondoes notcite anysources. Please helpimprove this section byadding citations to reliable sources. Unsourced material may be challenged andremoved.(September 2023) (Learn how and when to remove this message)

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

Fix a finite-dimensional vector spaceV{\displaystyle V} over a fieldK{\displaystyle K} (thought of asR{\displaystyle \mathbb {R} } orC{\displaystyle \mathbb {C} }), and a basisB={ei}1in{\displaystyle {\mathcal {B}}=\{e_{i}\}_{1\leq i\leq n}} ofV{\displaystyle V}. This basis provides an isomorphismC:KnV{\displaystyle C:K^{n}\rightarrow V} via the component map(vi)1in=(v1,,vn)iviei{\textstyle (v_{i})_{1\leq i\leq n}=(v_{1},\cdots ,v_{n})\mapsto \sum _{i}v_{i}e_{i}}.

Anactive transformation is then anendomorphism onV{\displaystyle V}, that is, a linear map fromV{\displaystyle V} to itself. Taking such a transformationτEnd(V){\displaystyle \tau \in {\text{End}}(V)}, a vectorvV{\displaystyle v\in V} transforms asvτv{\displaystyle v\mapsto \tau v}. The components ofτ{\displaystyle \tau } with respect to the basisB{\displaystyle {\mathcal {B}}} are defined via the equationτei=jτjiej{\textstyle \tau e_{i}=\sum _{j}\tau _{ji}e_{j}}. Then, the components ofv{\displaystyle v} transform asviτijvj{\displaystyle v_{i}\mapsto \tau _{ij}v_{j}}.

Apassive transformation is instead an endomorphism onKn{\displaystyle K^{n}}. This is applied to the components:viTijvj=:vi{\displaystyle v_{i}\mapsto T_{ij}v_{j}=:v'_{i}}. Provided thatT{\displaystyle T} is invertible, the new basisB={ei}{\displaystyle {\mathcal {B}}'=\{e'_{i}\}} is determined by asking thatviei=viei{\displaystyle v_{i}e_{i}=v'_{i}e'_{i}}, from which the expressionei=(T1)jiej{\displaystyle e'_{i}=(T^{-1})_{ji}e_{j}} can be derived.

Although the spacesEnd(V){\displaystyle {\text{End}}(V)} andEnd(Kn){\displaystyle {\text{End}}({K^{n}})} are isomorphic, they are not canonically isomorphic. Nevertheless a choice of basisB{\displaystyle {\mathcal {B}}} allows construction of an isomorphism.

As left- and right-actions

[edit]

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

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

The inverse in the passive transformation ensures thecomponents transform identically underτ{\displaystyle \tau } andT{\displaystyle T}. This then gives a sharp distinction between active and passive transformations: active transformationsact 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 basesB{\displaystyle {\mathcal {B}}} as a choice of isomorphismΦB:KnV{\displaystyle \Phi _{\mathcal {B}}:K^{n}\rightarrow V}. The space of bases is equivalently the space of such isomorphisms, denotedIso(Kn,V){\displaystyle {\text{Iso}}(K^{n},V)}. Active transformations, identified withGL(V){\displaystyle {\text{GL}}(V)}, act onIso(Kn,V){\displaystyle {\text{Iso}}(K^{n},V)} from the left by composition, that is ifτ{\displaystyle \tau } represents an active transformation, we haveΦB=τΦB{\displaystyle \Phi _{\mathcal {B'}}=\tau \circ \Phi _{\mathcal {B}}}. On the opposite, passive transformations, identified withGL(n,K){\displaystyle {\text{GL}}(n,K)} acts onIso(Kn,V){\displaystyle {\text{Iso}}(K^{n},V)} from the right by pre-composition, that is ifT{\displaystyle T} represents a passive transformation, we haveΦB=ΦBT{\displaystyle \Phi _{\mathcal {B''}}=\Phi _{\mathcal {B}}\circ T}.

This turns the space of bases into aleftGL(V){\displaystyle {\text{GL}}(V)}-torsor and arightGL(n,K){\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 mathematicalgauge theory, wheregauge transformations are described mathematically by transition maps which actfrom the right on fibers.

See also

[edit]

References

[edit]
  1. ^Crampin, M.; Pirani, F.A.E. (1986).Applicable Differential Geometry. Cambridge University Press. p. 22.ISBN 978-0-521-23190-9.
  2. ^abJoseph 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. 74ff.ISBN 0-19-856245-4.
  3. ^Bargmann, Valentine (1957). "Relativity".Reviews of Modern Physics.29 (2):161–174.Bibcode:1957RvMP...29..161B.doi:10.1103/RevModPhys.29.161.
  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.

External links

[edit]
Retrieved from "https://en.wikipedia.org/w/index.php?title=Active_and_passive_transformation&oldid=1321683030"
Categories:
Hidden categories:

[8]ページ先頭

©2009-2025 Movatter.jp