SURFACES IN HYPERSPACE. 345 



To determine the outstanding constants X, A, B, so that the indi- 

 catrix takes this form we have merely to take 



a 



a{ac — b^) ac — h^ 



and this choice is always possible. Hence we have shown that: The 

 indicafri.v may be any ellipse or any segment of a straight line in the 

 normal 8„_2. (We are ordinarily more interested in the domain of 

 reals than in the domain of complex numbers, and this theorem holds 

 for reals.) 



If we are working in the special case of four dimensions we have 

 merely to set / = throughout the work. The results are the same 

 for the special case as for the general case, — the indicatrix may be any 

 ellipse or segment of a line in the normal plane. 



The dyadic $ = (hh — H-M- — 85)a = |yiiy22 + lyseYu — YnYai, is 



$ = (/,2 _ p2)kjki -.Pkoko - (.42 + B2)k3k3 

 - .f.Kfekg + kgk^) - .-k(kik3 + kski) - /Kkiko + kok,), (114) 

 $g = G' - ¥ - e"" - P - A~ - B\ 



The vertex of ConeJI is located at 



^^_ (txx8).(txx6xh )_^(.f ki-rk2) . 



(Hix8xh)2 B fh 



and retreats to infinity if h vanishes unless special conditions are 

 fulfilled. If JB = the vertex is indeterminate. The determinant 

 of <S> reduces to f~h-B- and hence $ becomes singular and Cone II degen- 

 erates when f = or h = or B = 0. It is however clear, from the 

 equations (109') of the surface, that \i jBh = 0, the surface lies in four 

 dimensions at the point considered. Hence for a true five dimensional 

 surface in the neighborhood of a point, the indicatrix must be a true 

 ellipse (cannot degenerate to a linear segment) in a plane not contain- 

 ing h, and Cone II cannot degenerate nor its vertex retreat to infinity. 

 Special cases. It remains to discuss the case for a locally four 

 dimensional surface 



zr = ^[h{x' + f) + e(x^- - y% z, = hlHx'^ - y'^) + 2Bx-y]. 

 Here |ix8 = ^cki^kg. This vanishes only when Z? = or e = 0. As 



