Active and passive transformation: Difference between revisions

Content deleted Content added
m R3 is not necessary here, as it is not referred to again
As left- and right-actions: Exchanging the role of V and K^n as discussed in the talk page.
 
(16 intermediate revisions by 5 users not shown)
Line 2:
{{For|the concept of "passive transformation" in grammar|active voice|passive voice}}
 
[[File:PassiveActive.JPG|thumb|310px|In the active transformation (left), a point moves{{mvar|P}} fromis position Ptransformed to point {{mvar|{{′|P'}}}} by rotating clockwise by an [[angle]] {{mvar|θ}} about the [[origin (mathematics)|origin]] of thea fixed coordinate system. In the passive transformation (right), point {{mvar|P}} doesstays not movefixed, while the coordinate system rotates counterclockwise by an angle {{mvar|θ}} about its origin. The coordinates of {{mvar|{{′|P'}}}} inafter the active case (that is,transformation relative to the original coordinate system) are the same as the coordinates of {{mvar|P}} relative to the rotated coordinate system.]]
 
[[Geometric transformation]]s incan anybe [[geometricdistinguished space]]into (suchtwo as the [[three-dimensional Euclidean space]]) are distinguished intotypes: '''active''' or '''alibi transformations''', and '''passive''' or '''alias transformations'''. An active transformation is a transformation which changeschange the physical position (''alibi'' means "elsewhere") of a set of [[point (geometry)|point]]s, orrelative [[rigidto body]],a which can be defined independently of anyfixed [[frame of reference]] or [[coordinate system]];<ref>Weisstein, Eric W. (''[http://mathworld.wolfram.com/AlibiTransformation.html[alibi]]'' meaning "Alibibeing Transformation.somewhere else at the same time"]); and ''Mathworld'passive'''.</ref> whereasor a'''alias passivetransformations''' transformationwhich isleave apoints changefixed inbut change the frame of reference or coordinate system relative to which thethey object isare described (''[[pseudonym|alias]]'' meansmeaning "othergoing under a different name").<ref>{{cite (changebook of|last1=Crampin coordinate|first1=M. map,|first2=F.A.E. or|last2=Pirani [[change|year=1986 of|title=Applicable basis]]).<ref>Weisstein,Differential EricGeometry W.|publisher=Cambridge [httpUniversity Press |page=22 |isbn=978-0-521-23190-9 |url=https://mathworldbooks.wolframgoogle.com/AliasTransformationbooks?id=iDfk7bjI5qAC&pg=PA22 }}</ref><ref name= Davidson>{{cite book | title=Robots and screw theory: applications of kinematics and statics to robotics | author=Joseph K.html "AliasDavidson, Kenneth Henderson Hunt | Transformationchapter=§4."]4.1 The active interpretation and the active transformation | page=74 ''Mathworldff'' | chapter-url=https://books.google.com/books?id=OQq67Tr7D0cC&pg=PA74 | isbn=0-19-856245-4 |year=2004 | publisher=Oxford University Press}}</ref> By ''transformation'', [[mathematician]]s usually refer to active transformations, while [[physicist]]s and [[engineer]]s could mean either.{{cn|date=September 2023}}
 
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.<ref name = Davidson/>
Put differently, a ''passive'' transformation refers to description of the ''same'' object relative to two different coordinate systems.<ref name= Davidson>{{cite book | title=Robots and screw theory: applications of kinematics and statics to robotics | author=Joseph K. Davidson, Kenneth Henderson Hunt | chapter=§4.4.1 The active interpretation and the active transformation | page=74 ''ff'' | chapter-url=https://books.google.com/books?id=OQq67Tr7D0cC&pg=PA74 | isbn=0-19-856245-4 |year=2004 | publisher=Oxford University Press}}</ref>
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.<ref name = Davidson/>
 
In [[three -dimensional Euclidean space]], any [[rigid transformation|proper rigid transformation]], whether active or passive, can be represented as a [[screw displacement]], the composition of a [[translation (geometry)|translation]] along an axis and a [[rotation (mathematics)|rotation]] about that axis.
 
The terms ''active transformation'' and ''passive transformation'' were first introduced in 1957 by [[Valentine Bargmann]] for describing [[Lorentz transformations]] in [[special relativity]].<ref>{{cite journal |last=Bargmann |first=Valentine |title=Relativity |journal=Reviews of Modern Physics |volume=29 |number=2 |year=1957 |pages=161–174 |doi=10.1103/RevModPhys.29.161 |bibcode=1957RvMP...29..161B }}</ref>
 
== Example ==
[[File:AliasAlibi and alibialias rotations.pngsvg|thumb|upright=1.8|Rotation considered as aan passiveactive (''aliasalibi'') or activepassive (''alibialias'') transformation]]
[[File:Alias and alibi transformations 1 en.png|thumb|upright=1.8|Translation and rotation as passive (''alias'') or active (''alibi'') transformations]]
As an example, let the vector <math>\mathbf{v}=(v_1,v_2) \in \R^2</math>, be a vector in the plane. A rotation of the vector through an angle ''θ'' in counterclockwise direction is given by the [[rotation matrix]]:
Line 36 ⟶ 37:
 
The new coordinates <math>(v_X,v_Y,v_Z)</math> of <math>\mathbf{v}</math> with respect to the new coordinate system ''XYZ'' are given by:
<math display="block">\mathbf{v} = (v_x,v_y,v_z) = v_Xe_Xv_X\mathbf{e}_X+v_Ye_Yv_Y\mathbf{e}_Y+v_Ze_Zv_Z\mathbf{e}_Z = T^{-1}(v_X,v_Y,v_Z).</math>
 
From this equation one sees that the new coordinates are given by
Line 47 ⟶ 48:
 
== In abstract vector spaces ==
{{unsourced-section|date=September 2023}}
 
The distinction between active and passive transformations can be seen mathematically by considering abstract [[vector spaces]].
 
Line 66 ⟶ 67:
The inverse in the passive transformation ensures the ''components'' transform identically under <math>\tau</math> and <math>T</math>. This then gives a sharp distinction between active and passive transformations: active transformations [[left action|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 <math>\mathcal{B}</math> as a choice of isomorphism <math>\Phi_{\mathcal{B}}: VK^n \rightarrow K^nV</math>. The space of bases is equivalently the space of such isomorphisms, denoted <math>\text{Iso}(V, K^n, V)</math>. Active transformations, identified with <math>\text{GL}(V)</math>, act on <math>\text{Iso}(V, K^n, V)</math> from the left by composition, whilethat is if <math>\tau</math> represents an active transformation, we have <math>\Phi_{\mathcal{B'}} = \tau \circ \Phi_{\mathcal{B}}</math>. On the opposite, passive transformations, identified with <math>\text{GL}(n, K)</math> acts on <math>\text{Iso}(V, K^n, V)</math> from the right by pre-composition, that is if <math>T</math> represents a passive transformation, we have <math>\Phi_{\mathcal{B''}} = \Phi_{\mathcal{B}} \circ T</math>.
 
This turns the space of bases into a ''left'' <math>\text{GL}(V)</math>-[[torsor]] and a ''right'' <math>\text{GL}(n, K)</math>-torsor.