View source for Surface of the second order

A set of points in the three-dimensional real or complex space whose coordinates in a Cartesian coordinate system satisfy an [[Algebraic equation|algebraic equation]] of degree two:

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091390/s0913901.png" /></td> <td valign="top" style="width:5%;text-align:right;">(*)</td></tr></table>

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091390/s0913902.png" /></td> </tr></table>

Equation (*) need not define a real geometric image, and in such cases one says that (*) defines an imaginary second-order surface. Depending on the coefficients in the general equation (*), one may transform it by parallel translation and rotation in the coordinate system to one of the 17 canonical forms given below, each of which corresponds to a certain class of surfaces. Precisely, the non-singular irreducible surfaces:

<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091390/s0913903.png" /> (an [[Ellipsoid|ellipsoid]]),

<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091390/s0913904.png" /> (an imaginary ellipsoid),

<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091390/s0913905.png" /> (a one-sheet [[Hyperboloid|hyperboloid]]),

<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091390/s0913906.png" /> (a two-sheet hyperboloid),

<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091390/s0913907.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091390/s0913908.png" /> (an [[Elliptic paraboloid|elliptic paraboloid]]),

<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091390/s0913909.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091390/s09139010.png" /> (a [[Hyperbolic paraboloid|hyperbolic paraboloid]]);

the singular irreducible surfaces: the cylindrical surfaces (cf. [[Cylindrical surface (cylinder)|Cylindrical surface (cylinder)]]) —

<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091390/s09139011.png" /> (an [[Elliptic cylinder|elliptic cylinder]]),

<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091390/s09139012.png" /> (an imaginary elliptic cylinder),

<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091390/s09139013.png" /> (a [[Hyperbolic cylinder|hyperbolic cylinder]]),

<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091390/s09139014.png" /> (a [[Parabolic cylinder|parabolic cylinder]]);

the conical surfaces (cf. [[Conical surface|Conical surface]]) —

<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091390/s09139015.png" /> (a conical surface),

<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091390/s09139016.png" /> (an imaginary conical surface);

the singular reducible surfaces:

<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091390/s09139017.png" /> (a pair of intersecting planes),

<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091390/s09139018.png" /> (a pair of imaginary intersecting planes),

<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091390/s09139019.png" /> (a pair of parallel planes),

<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091390/s09139020.png" /> (a pair of imaginary parallel planes),

<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091390/s09139021.png" /> (a pair of coincident planes).

A second-order surface having a unique centre of symmetry (the centre of the surface) is called a central surface. The coordinates of the centre are defined as the solution to the system

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091390/s09139022.png" /></td> </tr></table>

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091390/s09139023.png" /></td> </tr></table>

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091390/s09139024.png" /></td> </tr></table>

A second-order surface without a centre of symmetry or with an indeterminate centre is called a non-central surface.

One can examine second-order surfaces without reducing the general equation to a canonical form by the joint consideration of the so-called basic invariants of second-order surfaces. These are expressions made up from the coefficients of (*) whose values do not alter under parallel translation and rotation of the coordinate system:

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091390/s09139025.png" /></td> </tr></table>

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091390/s09139026.png" /></td> </tr></table>

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091390/s09139027.png" /></td> </tr></table>

together with the semi-invariants <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091390/s09139028.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091390/s09139029.png" />, which are invariant under rotation of the coordinate system:

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091390/s09139030.png" /></td> </tr></table>

where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091390/s09139031.png" /> is the algebraic complement of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091390/s09139032.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091390/s09139033.png" />, and

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091390/s09139034.png" /></td> </tr></table>

''''''<table border="0" cellpadding="0" cellspacing="0" style="background-color:black;"> <tr><td> <table border="0" cellspacing="1" cellpadding="4" style="background-color:black;"> <tbody> <tr> <td colname="1" style="background-color:white;" colspan="1"></td> <td colname="2" style="background-color:white;" colspan="1"></td> <td colname="3" style="background-color:white;" colspan="1">Non-singular</td> <td colname="4" style="background-color:white;" colspan="1">surfaces</td> <td colname="5" style="background-color:white;" colspan="1">Singular surfaces</td> </tr> <tr> <td colname="1" style="background-color:white;" colspan="1"></td> <td colname="2" style="background-color:white;" colspan="1"></td> <td colname="3" style="background-color:white;" colspan="1"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091390/s09139035.png" /></td> <td colname="4" style="background-color:white;" colspan="1"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091390/s09139036.png" /></td> <td colname="5" style="background-color:white;" colspan="1"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091390/s09139037.png" /></td> </tr> <tr> <td colname="1" style="background-color:white;" colspan="1">Central surfaces <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091390/s09139038.png" /></td> <td colname="2" style="background-color:white;" colspan="1"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091390/s09139039.png" /></td> <td colname="3" style="background-color:white;" colspan="1">Imaginary ellipsoid</td> <td colname="4" style="background-color:white;" colspan="1">Ellipsoid</td> <td colname="5" style="background-color:white;" colspan="1">Imaginary cone</td> </tr> <tr> <td colname="1" style="background-color:white;" colspan="1"></td> <td colname="2" style="background-color:white;" colspan="1"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091390/s09139040.png" /></td> <td colname="3" style="background-color:white;" colspan="1">One-sheet hyperboloid</td> <td colname="4" style="background-color:white;" colspan="1">Two-sheet hyperboloid</td> <td colname="5" style="background-color:white;" colspan="1">Real cone</td> </tr> <tr> <td colname="1" style="background-color:white;" colspan="1">Non-central surfaces <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091390/s09139041.png" /></td> <td colname="2" style="background-color:white;" colspan="1"></td> <td colname="3" style="background-color:white;" colspan="1">Hyperbolic paraboloid</td> <td colname="4" style="background-color:white;" colspan="1">Elliptic paraboloid</td> <td colname="5" style="background-color:white;" colspan="1">Cylindrical and reducible surfaces (cf. Table 2)</td> </tr> </tbody> </table>

</td></tr> </table>

The invariants, in general, define a second-order surface up to a [[Motion|motion]] in Euclidean space; if corresponding invariants for two surfaces are equal, these surfaces may be brought to coincide by a motion. In other words, these surfaces are equivalent in relation to the group of spatial motions (are metrically equivalent).''''''<table border="0" cellpadding="0" cellspacing="0" style="background-color:black;"> <tr><td> <table border="0" cellspacing="1" cellpadding="4" style="background-color:black;"> <tbody> <tr> <td colname="1" style="background-color:white;" colspan="1"></td> <td colname="2" style="background-color:white;" colspan="1">Cylindrical</td> <td colname="3" style="background-color:white;" colspan="1">surfaces</td> <td colname="4" style="background-color:white;" colspan="1"></td> <td colname="5" style="background-color:white;" colspan="1">Reducible</td> <td colname="6" style="background-color:white;" colspan="1">surfaces</td> </tr> <tr> <td colname="1" style="background-color:white;" colspan="1"></td> <td colname="2" style="background-color:white;" colspan="1"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091390/s09139042.png" /></td> <td colname="3" style="background-color:white;" colspan="1"></td> <td colname="4" style="background-color:white;" colspan="1"></td> <td colname="5" style="background-color:white;" colspan="1"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091390/s09139043.png" /></td> <td colname="6" style="background-color:white;" colspan="1"></td> </tr> <tr> <td colname="1" style="background-color:white;" colspan="1"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091390/s09139044.png" /></td> <td colname="2" style="background-color:white;" colspan="1">Elliptic</td> <td colname="3" style="background-color:white;" colspan="1">cylinder</td> <td colname="4" style="background-color:white;" colspan="1"></td> <td colname="5" style="background-color:white;" colspan="1"></td> <td colname="6" style="background-color:white;" colspan="1"></td> </tr> <tr> <td colname="1" style="background-color:white;" colspan="1"></td> <td colname="2" style="background-color:white;" colspan="1">Imaginary (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091390/s09139045.png" />)</td> <td colname="3" style="background-color:white;" colspan="1">Real (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091390/s09139046.png" />)</td> <td colname="4" style="background-color:white;" colspan="1">A pair of</td> <td colname="5" style="background-color:white;" colspan="1">imaginary intersecting</td> <td colname="6" style="background-color:white;" colspan="1">planes</td> </tr> <tr> <td colname="1" style="background-color:white;" colspan="1"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091390/s09139047.png" /></td> <td colname="2" style="background-color:white;" colspan="1">Hyperbolic</td> <td colname="3" style="background-color:white;" colspan="1">cylinder</td> <td colname="4" style="background-color:white;" colspan="1">A pair</td> <td colname="5" style="background-color:white;" colspan="1">of</td> <td colname="6" style="background-color:white;" colspan="1">intersecting planes</td> </tr> <tr> <td colname="1" style="background-color:white;" colspan="1"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091390/s09139048.png" /></td> <td colname="2" style="background-color:white;" colspan="1">Parabolic</td> <td colname="3" style="background-color:white;" colspan="1">cylinder</td> <td colname="4" style="background-color:white;" colspan="1">A pair of imaginary parallel planes (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091390/s09139049.png" />)</td> <td colname="5" style="background-color:white;" colspan="1">A pair of parallel planes (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091390/s09139050.png" />)</td> <td colname="6" style="background-color:white;" colspan="1">A pair of coincident planes (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091390/s09139051.png" />)</td> </tr> </tbody> </table>

</td></tr> </table>

There is a classification of second-order surfaces from the point of view of other transformation groups. For example, with respect to the group of affine transformations, equivalence applies for any two surfaces defined by equations of the same canonical form, e.g. two similar second-order surfaces are equivalent.

The relationships between the various affine classes of second-order surfaces enable one to establish a classification from the point of view of projective geometry. Here one takes as equivalent those surfaces that can be mapped onto another by means of projective transformations. For example, ellipsoids, elliptic paraboloids and two-sheet hyperboloids are real oval surfaces from the point of view of projective geometry. Their projective equivalence manifests itself in that there is a certain system of projective coordinates in which the equations for these surfaces are identical in form:

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091390/s09139054.png" /></td> </tr></table>

i.e. the corresponding quadratic forms <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091390/s09139055.png" /> have identical rank

and identical signature . Their affine difference appears in the type of the line of intersection with the improper plane: an ellipsoid intersects it in an imaginary oval, a hyperboloid in a real oval and an elliptic paraboloid in a pair of imaginary intersecting straight lines. In all, there are eight projective equivalence classes for second-order surfaces:

<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091390/s09139056.png" /> (an imaginary oval surface),

<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091390/s09139057.png" /> (a real oval surface),

<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091390/s09139058.png" /> (an annular surface),

<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091390/s09139059.png" /> (an imaginary conical surface),

<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091390/s09139060.png" /> (a real conical surface),

<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091390/s09139061.png" /> (a pair of imaginary planes),

<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091390/s09139062.png" /> (a pair of real planes),

<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091390/s09139063.png" /> (a pair of coincident planes).

For references see [[Second-order curve|Second-order curve]].



====Comments====
Similar classifications are possible over other fields, such as <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091390/s09139064.png" />, finite fields and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s091/s091390/s09139065.png" />-adic fields.

====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> M. Berger, "Geometry" , '''II''' , Springer (1987) {{MR|0903026}} {{MR|0895392}} {{MR|0882916}} {{MR|0882541}} {{ZBL|0619.53001}} {{ZBL|0606.51001}} {{ZBL|0606.00020}} </TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> D. Hilbert, S.E. Cohn-Vossen, "Geometry and the imagination" , Chelsea (1952) (Translated from German) {{MR|0046650}} {{ZBL|0047.38806}} </TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top"> R.W. Brink, "Analytic geometry" , Appleton-Century (1935) {{MR|1523468}} {{ZBL|61.1393.02}} </TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top"> A.V. Pogorelov, "Geometry" , Moscow (1987) (In Russian) {{MR|1440529}} {{MR|0804808}} {{MR|0760631}} {{MR|0467543}} {{MR|0346714}} {{MR|0268787}} {{MR|0244909}} {{MR|0239488}} {{MR|1534647}} {{MR|0203551}} {{MR|0203550}} {{MR|1530777}} {{MR|0121692}} {{MR|0114163}} {{MR|0097836}} {{ZBL|0907.51005}} {{ZBL|0606.53003}} {{ZBL|0521.53001}} {{ZBL|0391.53001}} {{ZBL|0311.53067}} {{ZBL|0172.46401}} {{ZBL|0141.36702}} {{ZBL|0084.17702}} </TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top"> A.V. Pogorelov, "Analytical geometry" , Moscow (1980) (In Russian)</TD></TR></table>