create a transformation or mapping from one manifold to another
Transformation(M, N, Eq)
Transformation(M, N, A)
an unassigned Maple name or string, the domain for the transformation
an unassigned Maple name or string, the range for the transformation
a list of equations specifying each range variable as a function of the domain variables
The Transformation command creates an internal data structure for a mapping between two frames. This internal data structure contains information regarding the transformation (domain, range, prolongation order, transformation type (projectable, point, contact, differential substitution etc.), and the Jacobian of the transformation). Once a mapping between frames has been encoded using the Transformation command, the mapping can then be using to transform vectors, differential forms and tensors using the Pushforward, Pullback, and PushPullTensor commands in the DifferentialGeometry package and in the Tensor subpackage.
If M and N are the names of initialized Lie algebras, then the second calling sequence can be used to define a linear transformation from M to N with matrix representation A.
This command is part of the DifferentialGeometry package, and so can be used in the form Transformation(...) only after executing the command with(DifferentialGeometry). It can always be used in the long form DifferentialGeometry:-Transformation.
Define 4 different manifolds:
Define a transformation from R to Q, that is, the parametric representation of a space-curve.
T1 ≔ Transformation⁡R,Q,x=2⁢t⁢sin⁡t,y=3⁢t⁢cos⁡t,z=tt+1
Define a transformation presenting the mapping in the complex plane z -> w = z^3.
w ≔ evalc⁡x+I⁢y3
We use the real and imaginary parts of w to define the components of the transformation. We can set up the transformation as a map from M to N or as a map from M to itself.
T2 ≔ Transformation⁡M,N,u=evalc⁡ℜ⁡w,v=evalc⁡ℑ⁡w
T3 ≔ Transformation⁡M,M,x=evalc⁡ℜ⁡w,y=evalc⁡ℑ⁡w
Define a transformation encoding the change from polar to Cartesian coordinates.
T4 ≔ Transformation⁡P,M,x=r⁢cos⁡θ,y=r⁢sin⁡θ
Define a transformation from P to Q which parameterizes the hyperboloid of revolution z^2 = 1 + x^2 + y^2.
T5 ≔ Transformation⁡P,Q,x=r⁢cos⁡θ,y=r⁢θ,z=1+x2
Define the canonical projection map [x, y, z] -> [x, y] from Q to M.
T6 ≔ Transformation⁡Q,M,x=x,y=y
The command DGinfo can be used to access various attributes of a transformation.
Where an adapted frame is used, the Jacobian is computed relative to that frame. Here is a simple example:
Fr ≔ D_x+y⁢D_y,D_y
FrData ≔ FrameData⁡Fr,M1
The following coordinates have been protected:
The following vector fields have been defined and protected:
The following differential 1-forms have been defined and protected:
frame name: M1
T7 ≔ Transformation⁡M,M,x=2⁢x+y,y=−x+3⁢y
J7 ≔ Tools:-DGinfo⁡T7,JacobianMatrix
T8 ≔ Transformation⁡M,M1,x=2⁢x+y,y=−x+3⁢y
J8 ≔ Tools:-DGinfo⁡T8,JacobianMatrix
Here we use the second calling sequence to define a Lie algebra homomorphism between two Lie algebras. See the LieAlgebraData help page for information on creating Lie algebras with Maple.
Initialize a Lie algebra Alg1 which will serve as the domain for the Lie algebra homomorphism.
L1 ≔ LieAlgebraData⁡x1,x4=x1,x2,x4=x1+x2,x3,x4=x2+x3,x1,x2,x3,x4,Alg1
Lie algebra: Alg1
Initialize a Lie algebra Alg2 which will serve as the range for the Lie algebra homomorphism.
L2 ≔ LieAlgebraData⁡x1,x2=−x2−x3,x1,x3=−x3,x1,x2,x3,Alg2
Lie algebra: Alg2
Define a matrix which will determine the linear transformation from Alg1 to Alg2.
A ≔ Matrix⁡0,0,0,1,0,0,1,0,0,1,0,−1
φ ≔ Transformation⁡Alg1,Alg2,A
The output indicates that phi sends e1 to 0f1, e2 to f3, e3 to f2, and e4 to f1 - f3. The LieAlgebras Query command allows us to check that phi is a Lie algebra homomorphism.
Download Help Document
What kind of issue would you like to report? (Optional)