DifferentialGeometry
DualBasis
calculate the dual basis to a given basis of vectors or 1-forms
Calling Sequence
Parameters
Description
Examples
DualBasis(S, T)
S
-
a list of independent vectors or 1-forms
T
(optional) a list of independent 1-forms if S is a list of vectors; a list of independent vectors if S is a list of 1-forms
Let S = [X_1, X_2, ..., X_n] be a list of vectors, defined on a manifold M, which define a basis for the tangent space at a point p. Then the dual basis for the cotangent space at p is the list of 1-forms B = [alpha_1, alpha_2, ..., alpha_n] such that alpha_i(X_j) = delta_ij = {0 if i <> j and 1 if i = j}. The command DualBasis(S) will return the list of 1-forms B.
Let S = [alpha_1, alpha_2, ..., alpha_n] be a list of 1-forms, defined on a manifold M, which define a basis for the cotangent space at a point p. Then the dual basis for the tangent space at p is the list of vectors B = [X_1, X_2, ..., X_n] such that alpha_i(X_j) = delta_ij. The command DualBasis(S) will return the list of 1-forms B.
More generally, let S = [X_1, X_2, ..., X_k] be a list of independent vectors defined on a manifold M and let T = [theta_1, theta_2, ..., theta_k] be a list of independent 1-forms which are transverse to S in the sense that the k x k matrix A_ij = alpha_i(X_j) is non-singular. In this case DualBasis(S, T) returns a list of 1-forms B = [alpha_1, alpha_2, ..., alpha_k] such that span(B) = span(T) and alpha_i(X_j) = delta_ij.
This command is part of the DifferentialGeometry package, and so can be used in the form DualBasis(...) only after executing the command with(DifferentialGeometry). It can always be used in the long form DifferentialGeometry:-DualBasis.
withDifferentialGeometry:
Initialize a 3-dimensional manifold M with coordinates [x, y, z].
DGsetupx,y,z,M:
Example 1.
S1 ≔ D_x,D_y,D_z
_DGvector,M,,1,1,_DGvector,M,,2,1,_DGvector,M,,3,1
B1 ≔ DualBasisS1
_DGform,M,1,1,1,_DGform,M,1,2,1,_DGform,M,1,3,1
Example 2.
S2 ≔ evalDGD_x+D_y−D_z,D_y−D_z,D_x+D_y+3D_z
_DGvector,M,,1,1,2,1,3,−1,_DGvector,M,,2,1,3,−1,_DGvector,M,,1,1,2,1,3,3
B2 ≔ DualBasisS2
_DGform,M,1,1,1,2,−14,3,−14,_DGform,M,1,1,−1,2,1,_DGform,M,1,2,14,3,14
We check the answer by computing the interior products of S2[i] with B2[j].
Matrix3,3,i,j→HookS2i,B2j
100010001
Example 3.
The dual basis for the forms B2 from Example 2 are the vectors S2.
B3 ≔ DualBasisB2
Example 4.
Calculate the dual basis to the vectors S3 relative to the subspace of 1-forms T3.
S4 ≔ evalDGD_x+D_y+D_z,D_x−2D_y+D_z
_DGvector,M,,1,1,2,1,3,1,_DGvector,M,,1,1,2,−2,3,1
T4 ≔ evalDGdx+dy+dz,dx−2dy+3dz
_DGform,M,1,1,1,2,1,3,1,_DGform,M,1,1,1,2,−2,3,3
B4 ≔ DualBasisS4,T4
_DGform,M,1,1,13,2,13,3,13,_DGform,M,1,1,124,2,−13,3,724
Matrix2,2,i,j→HookS4i,B4j
1001
See Also
Annihilator
ComplementaryBasis
DGbasis
CanonicalBasis
Download Help Document
What kind of issue would you like to report? (Optional)
