ChangeRepresentationBasis - Maple Help
For the best experience, we recommend viewing online help using Google Chrome or Microsoft Edge.

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Mathematics : DifferentialGeometry : LieAlgebras : ChangeRepresentationBasis

LieAlgebras[ChangeRepresentationBasis] - change the basis for a representation, either in the Lie algebra or in the representation space

Calling Sequences

    ChangeRepresentationBasis(, B, Fr)

    ChangeRepresentationBasis(, P, keyword, Fr)

Parameters

               - a representation of a Lie algebra on a vector space

     B          - a list of vectors defining a new basis B for either or

     Fr         - a Maple name or string, the name of the Lie algebra or vector space with the new basis B

     P          - a change of basis matrix, the columns of which are the components of the new basis vectors Bwith respect to the original basis

     keyword    - either "Domain" or "Range", indicating that the matrix  is a change of basis matrix for the Lie algebra or the representation space

 

Description

Examples

Description

• 

Let  be a representation of a Lie algebra  on a vector space . Let be the given basis for  and let be the given basis for . Let , the matrix representing the linear transformation with respect to the basis . If is another basis for the representation space , then in this new basis where and is the change of basis matrix whose columns are the components of with respect to the basis If is another basis for then where and  is the change of basis matrix whose columns are the components of the with respect to the , that is, .

• 

If  =  is a list of vectors defining a basis for , then ChangeReperesentationBasis( B, Fr) computes the matrices for the representation  with respect to the basis . If is the change of basis matrix, then the calling sequence ChangeRepresentationBasis(, P, "Range", Fr) produces the same result.

• 

If is a list of vectors defining a basis for , then ChangeRepresentationBasis(, B, Fr) computes the matrices for the representation  with respect to the basis . If Q is the change of basis matrix, then the command ChangeRepresentationBasis(, Q, "Domain", Fr) produces the same result.

Examples

 

Example 1.

We define a representation and make a change of basis for the representation space.

(2.1)

(2.2)
Alg1 > 

(2.3)
V > 

V > 

 

Define the new basis for the representation space.

Alg1 > 

(2.4)

 

Compute the representation in the basis B.

V > 

 

We can use the Query command to check that is a representation of Alg1.

Alg1 > 

(2.5)

 

Check, by example, that the matrices for are correct. We apply rho(e1) to Fr[1] and express the result as a linear combination of the vectors Fr. This should give the first column of the matrix for e1 in phi1.

Alg1 > 

(2.6)
V > 

(2.7)

 

Example 2.

We obtain the same change of basis as in Example 1 using the other calling sequence for the procedure ChangeRepresentationBasis. We take the matrix A to be the matrix whose columns are the coefficients of the new basis in terms of the old.

V > 

(2.8)
V > 

V > 

 

Example 3.

Now we make a change of basis in the Lie algebra. First we use the LieAlgebraData command to create the Lie algebra in the new basis.

Alg1 > 

(2.9)
Alg1 > 

(2.10)
Alg1 > 

(2.11)
Alg1 > 

(2.12)
Alg2 > 

Alg2 > 

(2.13)

 

Example 4. We obtain the same change of basis as in Example 3 using the other calling sequence for the procedure ChangeRepresentationBasis. We take the matrix A to be the matrix whose columns are the coefficients of the new basis in terms of the old.

Alg2 > 

(2.14)
Alg1 > 

Alg1 > 

See Also

DifferentialGeometry

LieAlgebras

ChangeFrame

GetComponents

LieAlgebraData

Query

 


Download Help Document