The Full Wiki

Quadric: Wikis

Advertisements
  

Note: Many of our articles have direct quotes from sources you can cite, within the Wikipedia article! This article doesn't yet, but we're working on it! See more info or our list of citable articles.

Encyclopedia

From Wikipedia, the free encyclopedia

In mathematics, a quadric, or quadric surface, is any D-dimensional hypersurface in (D + 1)-dimensional space defined as the locus of zeros of a quadratic polynomial. In coordinates {x1, x2, ..., xD+1}, the general quadric is defined by the algebraic equation[1]

 \sum_{i,j=1}^{D+1} x_i Q_{ij} x_j + \sum_{i=1}^{D+1} P_i x_i + R = 0

which may be compactly written in vector and matrix notation as:

 x Q x^T + P x^T + R = 0\,

where x = {x1, x2, ..., xD+1} is a row vector, xT is the transpose of x (a column vector), Q is a (D + 1)×(D + 1) matrix and P is a (D + 1)-dimensional row vector and R a scalar constant. The values Q, P and R are often taken to be real numbers or complex numbers, but in fact, a quadric may be defined over any ring. In general, the locus of zeros of a set of polynomials is known as an algebraic variety, and is studied in the branch of algebraic geometry.

A quadric is thus an example of an algebraic variety. For the projective theory see quadric (projective geometry).

Contents

Euclidean plane and space

Quadrics in the Euclidean plane are those of dimension D = 1, which is to say that they are curves. Such quadrics are the same as conic sections, and are typically known as conics rather than quadrics.

Ellipse (e=1/2), parabola (e=1) and hyperbola (e=2) with fixed focus F and directrix.

In Euclidean space, quadrics have dimension D = 2, and are known as quadric surfaces. By making a suitable Euclidean change of variables, any quadric in Euclidean space can be put into a certain normal form by choosing as the coordinate directions the principal axes of the quadric. In three-dimensional Euclidean space there are 16 such normal forms. Of these 16 forms, five are nondegenerate, and the remaining are degenerate forms. Degenerate forms include planes, lines, points or even no points at all.[2]

Non-degenerate quadric surfaces
Ellipsoid {x^2 \over a^2} + {y^2 \over b^2} + {z^2 \over c^2} = 1 \, Quadric Ellipsoid.jpg
    Spheroid (special case of ellipsoid) {x^2 \over a^2} + {y^2 \over a^2} + {z^2 \over b^2} = 1 \,
        Sphere (special case of spheroid) {x^2 \over a^2} + {y^2 \over a^2} + {z^2 \over a^2} = 1 \,
Elliptic paraboloid {x^2 \over a^2} + {y^2 \over b^2} - z = 0 \, Quadric Elliptic Paraboloid.jpg
    Circular paraboloid (special case of elliptic paraboloid) {x^2 \over a^2} + {y^2 \over a^2} - z = 0 \,
Hyperbolic paraboloid {x^2 \over a^2} - {y^2 \over b^2} - z = 0 \, Quadric Hyperbolic Paraboloid.jpg
Hyperboloid of one sheet {x^2 \over a^2} + {y^2 \over b^2} - {z^2 \over c^2} = 1 \, Quadric Hyperboloid 1.jpg
Hyperboloid of two sheets {x^2 \over a^2} + {y^2 \over b^2} - {z^2 \over c^2} = - 1 \, Quadric Hyperboloid 2.jpg
Degenerate quadric surfaces
Cone {x^2 \over a^2} + {y^2 \over b^2} - {z^2 \over c^2} = 0 \, Quadric Cone.jpg
    Circular Cone (special case of cone) {x^2 \over a^2} + {y^2 \over a^2} - {z^2 \over c^2} = 0 \,
Elliptic cylinder {x^2 \over a^2} + {y^2 \over b^2} = 1 \, Quadric Elliptic Cylinder.jpg
    Circular cylinder (special case of elliptic cylinder) {x^2 \over a^2} + {y^2 \over a^2} = 1 \,
Hyperbolic cylinder {x^2 \over a^2} - {y^2 \over b^2} = 1 \, Quadric Hyperbolic Cylinder.jpg
Parabolic cylinder x^2 + 2ay = 0 \, Quadric Parabolic Cylinder.jpg

Projective geometry

The quadrics can be treated in a uniform manner by introducing homogeneous coordinates on a Euclidean space, thus effectively regarding it as a projective space. Thus if the original (affine) coordinates on RD+1 are

(x_1,\dots,x_{D+1})

one introduces new coordinates on RD+2

[X_0,\dots,X_{D+1}]

related to the original coordinates by xi = Xi / X0. In the new variables, every quadric is defined by an equation of the form

Q(X)=\sum_{ij} a_{ij}X_iX_j=0\,

where the coefficients aij are symmetric in i and j. Regarding Q(X) = 0 as an equation in projective space exhibits the quadric as a projective algebraic variety. The quadric is said to be non-degenerate if the quadratic form is non-singular; equivalently, if the matrix (aij) is invertible.

In real projective space, by Sylvester's law of inertia, a non-singular quadratic form Q(X) may be put into the normal form

Q(X) = \pm X_0^2 \pm X_1^2 \pm\cdots\pm X_{D+1}^2

by means of a suitable projective transformation. The normal forms of singular quadrics can have zeros as well as ±1 for coefficients. This normal form thus classifies real non-singular quadrics up to a projective transformation. In dimension D = 2, there are exactly three inequivalent cases:

Q(X) = \begin{cases} X_0^2+X_1^2+X_2^2+X_3^2\ X_0^2+X_1^2+X_2^2-X_3^2\ X_0^2+X_1^2-X_2^2-X_3^2 \end{cases}

Consequently, the ellipsoid, the elliptic paraboloid and the hyperboloid of two sheets are equivalent to each other up to a projective transformation as these all correspond to the second normal form. The hyperbolic paraboloid and the hyperboloid of one sheet are both equivalent to the third form (these are ruled surfaces). The cone and the cylinder are equivalent to the degenerate form

X_0^2-X_1^2-X_2^2=0.

These latter are degenerate quadrics because the coefficient on X3 is zero; they also have zero Gaussian curvature.

In complex projective space all of the nondegenerate quadrics become indistinguishable from each other.

See also

References

  1. ^ [1], Quadrics in Geometry Formulas and Facts by Silvio Levy, excerpted from 30th Edition of the CRC Standard Mathematical Tables and Formulas (CRC Press).
  2. ^ Stewart Venit and Wayne Bishop, Elementary Linear Algebra (fourth edition), International Thompson Publishing, 1996.

External links

Advertisements

Advertisements






Got something to say? Make a comment.
Your name
Your email address
Message