find the intersection of a list of vector subspaces of vectors, forms or tensors
a list [A1, A2, ...], where each Ai is a list of vectors, forms or tensors
IntersectSubspaces(S) computes the intersection of the subspaces spanned by the elements of the list.
This command is part of the DifferentialGeometry package, and so can be used in the form IntersectSubspaces(...) only after executing the command with(DifferentialGeometry). It can always be used in the long form DifferentialGeometry:-IntersectSubspaces.
Initialize a 4-dimensional manifold M with coordinates [x, y, z, w].
Find the intersection of the three 3 dimensional subspaces spanned by A1, A2, A3.
A1 ≔ D_x,D_y,D_z
A2 ≔ D_x,D_y,D_w
A3 ≔ evalDG⁡D_y+D_z,D_z+D_w,D_w
Find the intersection of the subspaces of 2-forms spanned by B1 and B2. Check the result using the GetComponents command.
B1 ≔ evalDG⁡dx &w dy+dy &w dz,dx &w dw−dy &w dz,dx &w dw+dy &w dw,dx &w dy+dx &w dz−dz &w dw
B2 ≔ evalDG⁡dx &w dy−dy &w dz,dy &w dz+dz &w dw,dx &w dz+dz &w dw
C ≔ IntersectSubspaces⁡B1,B2
The command GetComponents returns the components of the 2-form in C with respect to the 2-forms in B1 and B2. This proves that the 2-form in C does indeed belong to the intersection of the spans of B1 and B2.
Download Help Document
What kind of issue would you like to report? (Optional)