dz′ − p′dx′ − q′dy′ = −d (z − px − qy) − xdp − ydq = −(dz − pdx − qdy).
A second simple example is that in which every surface-element is displaced, without change of orientation, normal to itself through a constant distance t. The analytical equations in this case are easily found in the form
| x′ = x + | pt | , y′ = y + | qt | , z′ = z − | t | , |
| √(1 + p2 + q2) | √(1 + p2 + q2) | √(1 + p2 + q2) |
p′ = q, q′ = q.
That this is a contact-transformation is seen geometrically by noticing that it changes a surface into a parallel surface. Every point is changed by it into a sphere of radius t, and when t is regarded as a parameter the equations define a cyclical group of contact-transformations.
The formal theory of continuous groups of contact-transformations is, of course, in no way distinct from the formal theory of continuous groups in general. On what may be called the geometrical side, the theory of groups of contact-transformations has been developed with very considerable detail in the second volume of Lie-Engel.
To the manifold applications of the theory of continuous groups in various branches of pure and applied mathematics Applications of the theory of continuous groups. it is impossible here to refer in any detail. It must suffice to indicate a few of them very briefly. In some of the older theories a new point of view is obtained which presents the results in a fresh light, and suggests the natural generalization. As an example, the theory of the invariants of a binary form may be considered.
If in the form ƒ = a0xn + na1xn−1y + ... + anyn, the variables be subjected to a homogeneous substitution
x′ = αx + βy, y′ = γx + δy,
(i.)