Active and passive transformation

Last updated
In the active transformation (left), a point P is transformed to point P' by rotating clockwise by angle th about the origin of a fixed coordinate system. In the passive transformation (right), point P stays fixed, while the coordinate system rotates counterclockwise by an angle th about its origin. The coordinates of P' after the active transformation relative to the original coordinate system are the same as the coordinates of P relative to the rotated coordinate system. PassiveActive.JPG
In the active transformation (left), a point P is transformed to point P by rotating clockwise by angle θ about the origin of a fixed coordinate system. In the passive transformation (right), point P stays fixed, while the coordinate system rotates counterclockwise by an angle θ about its origin. The coordinates of P after the active transformation relative to the original coordinate system are the same as the coordinates of P relative to the rotated coordinate system.

Geometric transformations can be distinguished into two types: active or alibi transformations which change the physical position of a set of points relative to a fixed frame of reference or coordinate system ( alibi meaning "being somewhere else at the same time"); and passive or alias 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] By transformation, mathematicians usually refer to active transformations, while physicists and engineers could mean either.[ citation needed ]

Contents

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. [2]

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.

The terms active transformation and passive transformation were first introduced in 1957 by Valentine Bargmann for describing Lorentz transformations in special relativity. [3]

Example

Rotation considered as an active (alibi) or passive (alias) transformation Alibi and alias rotations.svg
Rotation considered as an active (alibi) or passive (alias) transformation
Translation and rotation as passive (alias) or active (alibi) transformations Alias and alibi transformations 1 en.png
Translation and rotation as passive (alias) or active (alibi) transformations

As an example, let the vector , be a vector in the plane. A rotation of the vector through an angle θ in counterclockwise direction is given by the rotation matrix: 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 R3

In general a spatial transformation 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 .

Active transformation

As an active transformation, transforms the initial vector into a new vector .

If one views as a new basis, then the coordinates of the new vector in the new basis are the same as those of 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 as a passive transformation, the initial vector is left unchanged, while the coordinate system and its basis vectors are transformed in the opposite direction, that is, with the inverse transformation . [4] This gives a new coordinate system XYZ with basis vectors:

The new coordinates of with respect to the new coordinate system XYZ are given by:

From this equation one sees that the new coordinates are given by

As a passive transformation 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

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 over a field (thought of as or ), and a basis of . This basis provides an isomorphism via the component map .

An active transformation is then an endomorphism on , that is, a linear map from to itself. Taking such a transformation , a vector transforms as . The components of with respect to the basis are defined via the equation . Then, the components of transform as .

A passive transformation is instead an endomorphism on . This is applied to the components: . Provided that is invertible, the new basis is determined by asking that , from which the expression can be derived.

Although the spaces and are isomorphic, they are not canonically isomorphic. Nevertheless a choice of basis 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 of transformations while passive transformations are the group .

The transformations can then be understood as acting on the space of bases for . An active transformation sends the basis . Meanwhile a passive transformation sends the basis .

The inverse in the passive transformation ensures the components transform identically under and . 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 as a choice of isomorphism . The space of bases is equivalently the space of such isomorphisms, denoted . Active transformations, identified with , act on from the left by composition, while passive transformations, identified with acts on from the right by pre-composition.

This turns the space of bases into a left-torsor and a right-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

Related Research Articles

<span class="mw-page-title-main">Normed vector space</span> Vector space on which a distance is defined

In mathematics, a normed vector space or normed space is a vector space over the real or complex numbers on which a norm is defined. A norm is a generalization of the intuitive notion of "length" in the physical world. If is a vector space over , where is a field equal to or to , then a norm on is a map , typically denoted by , satisfying the following four axioms:

  1. Non-negativity: for every ,.
  2. Positive definiteness: for every , if and only if is the zero vector.
  3. Absolute homogeneity: for every and ,
  4. Triangle inequality: for every and ,
<span class="mw-page-title-main">Affine transformation</span> Geometric transformation that preserves lines but not angles nor the origin

In Euclidean geometry, an affine transformation or affinity is a geometric transformation that preserves lines and parallelism, but not necessarily Euclidean distances and angles.

In linear algebra, the trace of a square matrix A, denoted tr(A), is defined to be the sum of elements on the main diagonal of A. The trace is only defined for a square matrix.

In mathematics, a topological vector space is one of the basic structures investigated in functional analysis. A topological vector space is a vector space that is also a topological space with the property that the vector space operations are also continuous functions. Such a topology is called a vector topology and every topological vector space has a uniform topological structure, allowing a notion of uniform convergence and completeness. Some authors also require that the space is a Hausdorff space. One of the most widely studied categories of TVSs are locally convex topological vector spaces. This article focuses on TVSs that are not necessarily locally convex. Other well-known examples of TVSs include Banach spaces, Hilbert spaces and Sobolev spaces.

In mathematics, particularly linear algebra, an orthonormal basis for an inner product space with finite dimension is a basis for whose vectors are orthonormal, that is, they are all unit vectors and orthogonal to each other. For example, the standard basis for a Euclidean space is an orthonormal basis, where the relevant inner product is the dot product of vectors. The image of the standard basis under a rotation or reflection is also orthonormal, and every orthonormal basis for arises in this fashion.

<span class="mw-page-title-main">Covariance and contravariance of vectors</span> Vector behavior under coordinate changes

In physics, especially in multilinear algebra and tensor analysis, covariance and contravariance describe how the quantitative description of certain geometric or physical entities changes with a change of basis. Briefly, a contravariant vector is a list of numbers that transforms oppositely to a change of basis, and a covariant vector is a list of numbers that transforms in the same way. Contravariant vectors are often just called vectors and covariant vectors are called covectors or dual vectors. The terms covariant and contravariant were introduced by James Joseph Sylvester in 1851.

In special relativity, four-momentum (also called momentum–energy or momenergy) is the generalization of the classical three-dimensional momentum to four-dimensional spacetime. Momentum is a vector in three dimensions; similarly four-momentum is a four-vector in spacetime. The contravariant four-momentum of a particle with relativistic energy E and three-momentum p = (px, py, pz) = γmv, where v is the particle's three-velocity and γ the Lorentz factor, is

<span class="mw-page-title-main">Minkowski space</span> Spacetime used in theory of relativity

In physics, Minkowski space is the main mathematical description of spacetime in the absence of gravitation. It combines inertial space and time manifolds into a four-dimensional model.

In mathematics, and especially differential geometry and gauge theory, a connection on a fiber bundle is a device that defines a notion of parallel transport on the bundle; that is, a way to "connect" or identify fibers over nearby points. The most common case is that of a linear connection on a vector bundle, for which the notion of parallel transport must be linear. A linear connection is equivalently specified by a covariant derivative, an operator that differentiates sections of the bundle along tangent directions in the base manifold, in such a way that parallel sections have derivative zero. Linear connections generalize, to arbitrary vector bundles, the Levi-Civita connection on the tangent bundle of a pseudo-Riemannian manifold, which gives a standard way to differentiate vector fields. Nonlinear connections generalize this concept to bundles whose fibers are not necessarily linear.

In mathematics, the covariant derivative is a way of specifying a derivative along tangent vectors of a manifold. Alternatively, the covariant derivative is a way of introducing and working with a connection on a manifold by means of a differential operator, to be contrasted with the approach given by a principal connection on the frame bundle – see affine connection. In the special case of a manifold isometrically embedded into a higher-dimensional Euclidean space, the covariant derivative can be viewed as the orthogonal projection of the Euclidean directional derivative onto the manifold's tangent space. In this case the Euclidean derivative is broken into two parts, the extrinsic normal component and the intrinsic covariant derivative component.

<span class="mw-page-title-main">Cross-correlation</span> Covariance and correlation

In signal processing, cross-correlation is a measure of similarity of two series as a function of the displacement of one relative to the other. This is also known as a sliding dot product or sliding inner-product. It is commonly used for searching a long signal for a shorter, known feature. It has applications in pattern recognition, single particle analysis, electron tomography, averaging, cryptanalysis, and neurophysiology. The cross-correlation is similar in nature to the convolution of two functions. In an autocorrelation, which is the cross-correlation of a signal with itself, there will always be a peak at a lag of zero, and its size will be the signal energy.

The representation theory of groups is a part of mathematics which examines how groups act on given structures.

In physics, the Hamilton–Jacobi equation, named after William Rowan Hamilton and Carl Gustav Jacob Jacobi, is an alternative formulation of classical mechanics, equivalent to other formulations such as Newton's laws of motion, Lagrangian mechanics and Hamiltonian mechanics.

<span class="mw-page-title-main">Complex torus</span>

In mathematics, a complex torus is a particular kind of complex manifold M whose underlying smooth manifold is a torus in the usual sense. Here N must be the even number 2n, where n is the complex dimension of M.

In mathematics, a super vector space is a -graded vector space, that is, a vector space over a field with a given decomposition of subspaces of grade and grade . The study of super vector spaces and their generalizations is sometimes called super linear algebra. These objects find their principal application in theoretical physics where they are used to describe the various algebraic aspects of supersymmetry.

In linear algebra, particularly projective geometry, a semilinear map between vector spaces V and W over a field K is a function that is a linear map "up to a twist", hence semi-linear, where "twist" means "field automorphism of K". Explicitly, it is a function T : VW that is:

In mathematics, the moduli stack of elliptic curves, denoted as or , is an algebraic stack over classifying elliptic curves. Note that it is a special case of the moduli stack of algebraic curves . In particular its points with values in some field correspond to elliptic curves over the field, and more generally morphisms from a scheme to it correspond to elliptic curves over . The construction of this space spans over a century because of the various generalizations of elliptic curves as the field has developed. All of these generalizations are contained in .

In functional analysis and related areas of mathematics, a complete topological vector space is a topological vector space (TVS) with the property that whenever points get progressively closer to each other, then there exists some point towards which they all get closer. The notion of "points that get progressively closer" is made rigorous by Cauchy nets or Cauchy filters, which are generalizations of Cauchy sequences, while "point towards which they all get closer" means that this Cauchy net or filter converges to The notion of completeness for TVSs uses the theory of uniform spaces as a framework to generalize the notion of completeness for metric spaces. But unlike metric-completeness, TVS-completeness does not depend on any metric and is defined for all TVSs, including those that are not metrizable or Hausdorff.

In functional analysis and related areas of mathematics, a metrizable topological vector space (TVS) is a TVS whose topology is induced by a metric. An LM-space is an inductive limit of a sequence of locally convex metrizable TVS.

Tau functions are an important ingredient in the modern mathematical theory of integrable systems, and have numerous applications in a variety of other domains. They were originally introduced by Ryogo Hirota in his direct method approach to soliton equations, based on expressing them in an equivalent bilinear form.

References

  1. Crampin, M.; Pirani, F.A.E. (1986). Applicable Differential Geometry. Cambridge University Press. p. 22.
  2. 1 2 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.
  3. Bargmann, Valentine (1957). "Relativity". Reviews of Modern Physics. 29 (2): 161–174. 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.