86 



is said to be a point transformation, carrying point x, y into point xi, yi. 

 Here it is assumed that inversely 



X = *! (xi, yi), J = -fi (xi, yi) 



carries the point from xi, yi back to x, y. A point transformation may be 

 looked upon either as a transference of axes from one system to another, 

 not necessarily the same kind of system, or it may be considered as an 

 actual transference of one point into another position in the plane, the 

 axes of reference remaining unchanged. 



2. Group of Transformations. A point transformation containing one 

 or more parameters 



xi = <i' (x, y, a, b, c, . . . k), 

 yi =-i (x, y, a, b, c, .. . k), 



such that fer ao, b,,, c, ko, the point x, y transforms into itself, is said 



to constitute a group of transformations when a succession of two such 

 operations may be replaced by one of the same species. That is, if 

 X2=4'(xi, yi, ai, bi, ci . .. )=*!* (x, y, a, . . .k), 1' (x, y, a, . . . k), ai. . . ki | 



= * (x, y, a,2, bo, C2, ... k2), 

 y2='i' (x, y, a2, h^, Cj, ... kj), 



where a2 = fi (a, b, . . . k, ai, bi, c, . . . ki), h^ = f 2 (a, b, . . ki) , then 



xi = * (X, y, a, b, ... k), y: = t (x, y, a, b, ... k) 



are the transformations of an r-parameter group, the parameters a, b, c, 

 . . . k being r in number and independent. A similar definition may be 

 given to a group in one, tliree, four, or n variables*. 



3. TIw Infinitesimal Transformations. An infinitesimal transformation 

 is defined analytically by 



(5x = f (X, y) (h; fSy = I] (x, y) fit. 



Such a transformation attaches to any point x, y an infinitesimal motion 

 whose projections on the x — , and y — axes arc respectively, j>5t and lA-, 

 and whose distance is |/ f ^ -\- if fJt. Lie shows such infinitesimal trans- 

 formations to belong to a single-parameter group. 



XI = 4> (X, y, a), yi = * (x, y, a). 



This may be easily seen by letting Oo be the value of a which leaves x, y 

 fixed; then 



XI = '!> (X, y, ao + r^a), y, = * (x, y, ao + ''a) 



•See Lie -Scheffers, Ditferential-pleichungen, pp. 24-25. 



