DifferentialGeometry[Tools] - Maple Help

Online Help

All Products    Maple    MapleSim


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

DifferentialGeometry[Tools]

  

CanonicalBasis

 

Calling Sequence

Parameters

Description

Examples

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.

S1evalDGD_xD_y,D_x+D_y,D_x+D_y+D_w

S1D_xD_y,D_x+D_y,D_x+D_y+D_w

(1)

T1D_x,D_y,D_z,D_w

T1D_x,D_y,D_z,D_w

(2)

W1CanonicalBasisS1,T1

W1D_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.

S2evalDGD_xD_y,D_x+D_y,D_x+D_y+D_w

S2D_xD_y,D_x+D_y,D_x+D_y+D_w

(5)

T2D_w,D_z,D_y,D_x

T2D_w,D_z,D_y,D_x

(6)

W2CanonicalBasisS2,T2

W2D_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.

AMatrixGetComponentsW2,T2

A100000100001

(8)

 

Example 3.

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

S3evalDGdx &w dy+dy &w dzdy &w dw,dx &w dy+dy &w dy+dy &w dz,dy &w dz+dy &w dw

S3dxdy+dydzdydw,dxdy+dydz,dydz+dydw

(9)

T3GenerateFormsdx,dy,dz,dw,2

T3dxdy,dxdz,dxdw,dydz,dydw,dzdw

(10)

W3CanonicalBasisS3,T3

W3dxdy,dydz,dydw

(11)

DGequalS3,W3

true

(12)
M > 

See Also

DGequal

DifferentialGeometry

GenerateForms

GenerateTensors

GetComponents

Tensor

Tools

 


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