DifferentialGeometry:-Tools[CanonicalBasis] - Maple Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Mathematics : DifferentialGeometry : Tools : DifferentialGeometry/Tools/CanonicalBasis

DifferentialGeometry:-Tools[CanonicalBasis]

Calling Sequence

CanonicalBasis(S, T)

Parameters

S

-

a list of vectors, forms, or tensors

T

-

a list of vectors, forms, or tensors, the span of S must be contained in the span of T.

Description

• 

The command CanonicalBasis(S, T) will return a list W  of vectors, forms or tensors such that [i] span(S) = span(W) and [ii] the matrix whose rows are the coefficients of the elements of W with respect to T is in reduced row echelon form.

• 

In the typical use of this command, S is a list of vectors or 1-forms on a manifold M and T is the standard basis for the tangent space or cotangent space of M.

• 

The use of this command can dramatically simplify subsequent computations with the subspace spanned by S.

• 

This command is part of the DifferentialGeometry:-Tools package, and so can be used in the form CanonicalBasis(...) only after executing the commands with(DifferentialGeometry) and with(Tools) in that order.  It can always be used in the long form DifferentialGeometry:-Tools:-CanonicalBasis.

Examples

withDifferentialGeometry:withTools:

 

Define a manifold M with local coordinates [x, y, z, w].

DGsetupx,y,z,w,M:

 

Example 1.

Define a 3-dimensional subspace of vectors by the span of S and compute a simpler base for this subspace relative to the coordinate basis T for the tangent space of M.

S1:=evalDGD_xD_y,D_x+D_y,D_x+D_y+D_w

S1:=`*`D_x`*`D_y,`*`D_x+`*`D_y,`*`D_x+`*`D_y+`*`D_w

(1)

T1:=D_x,D_y,D_z,D_w

T1:=`*`D_x,`*`D_y,`*`D_z,`*`D_w

(2)

W1:=CanonicalBasisS1,T1

W1:=`*`D_x,`*`D_y,`*`D_w

(3)

We use the command DGEqual to check that the span of S and W agree.

DGequalS1,W1

true

(4)

Example 2.

We use the same vectors S as in Example 1 but reverse the ordering of the vectors in the basis S.

S2:=evalDGD_xD_y,D_x+D_y,D_x+D_y+D_w

S2:=`*`D_x`*`D_y,`*`D_x+`*`D_y,`*`D_x+`*`D_y+`*`D_w

(5)

T2:=D_w,D_z,D_y,D_x

T2:=`*`D_w,`*`D_z,`*`D_y,`*`D_x

(6)

W2:=CanonicalBasisS2,T2

W2:=`*`D_w,`*`D_y,`*`D_x

(7)

We note that the matrix of coefficients of W with respect to T is in reduced row echelon form.

A:=MatrixGetComponentsW2,T2

A:=100000100001

(8)

 

Example 3.

Find a canonical basis for the space of 2-forms spanned by S3.

S3:=evalDGdx &w dy+dy &w dzdy &w dw,dx &w dy+dy &w dy+dy &w dz,dy &w dz+dy &w dw

S3:=`*`dxdy+`*`dydz`*`dydw,`*`dxdy+`*`dydz,`*`dydz+`*`dydw

(9)

T3:=GenerateFormsdx,dy,dz,dw,2

T3:=`*`dxdy,`*`dxdz,`*`dxdw,`*`dydz,`*`dydw,`*`dzdw

(10)

W3:=CanonicalBasisS3,T3

W3:=`*`dxdy,`*`dydz,`*`dydw

(11)

DGequalS3,W3

true

(12)
M > 

See Also

• 

DifferentialGeometry, Tensor, Tools, DGequal, GenerateForms, GenerateTensors, GetComponents


Download Help Document

Was this information helpful?



Please add your Comment (Optional)
E-mail Address (Optional)
What is ? This question helps us to combat spam