JetCalculus[ProjectionTransformation] - construct the canonical projection map between jet spaces of a fiber bundle
Calling Sequences
ProjectionTransformation(n, m)
Parameters
n - a non-negative integer, the order for the domain jet space
m - a non-negative integer, the order for the range jet space,
|
Description
|
|
•
|
Let be a fiber bundle.Then ProjectionTransformation(n, m) defines the canonical projection map of the jet space to
|
•
|
The command ProjectionTransformation is part of the DifferentialGeometry:-JetCalculus package. It can be used in the form ProjectionTransformation(...) only after executing the commands with(DifferentialGeometry) and with(JetCalculus), but can always be used by executing DifferentialGeometry:-JetCalculus:-ProjectionTransformation(...).
|
|
|
Examples
|
|
>
|
|
Example 1.
Define the 6-th order jet bundle for with coordinates .
>
|
|
Define the canonical projection from to .
E >
|
|
| (2.1) |
E >
|
|
E >
|
|
|
|
|
|
|
|