Hypersurface
In geometry, a hypersurface is a generalization of the concept of hyperplane. Suppose an enveloping manifold M has n dimensions; then any submanifold of M of n − 1 dimensions is a hypersurface. Equivalently, the codimension of a hypersurface is one. For example, the n-sphere in Rn + 1 is called a hypersphere. Hypersurfaces occur frequently in multivariable calculus as level sets.
In Rn, every closed hypersurface is orientable. Every connected compact hypersurface is a level set, and separates Rn in two connected components, which is related to the Jordan–Brouwer separation theorem.
In algebraic geometry, a hypersurface in projective space of dimension n is an algebraic set (algebraic variety) that is purely of dimension n − 1. It is then defined by a single equation f(x1,x2,...,xn) = 0, a homogeneous polynomial in the homogeneous coordinates.
Thus, it generalizes those algebraic curves f(x1,x2) = 0 (dimension one), and those algebraic surfaces f(x1,x2,x3) = 0 (dimension two), when they are defined by homogeneous polynomials.
Podcasts:
