Ackley's function of three variables, with time the 3rd variable.
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 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.
A hypersurface may have singularities, so not in fact be a submanifold in the strict sense. "Primal" is an old term for an irreducible hypersurface.
- Hazewinkel, Michiel, ed. (2001), "Hypersurface", Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4
- Shoshichi Kobayashi and Katsumi Nomizu (1969), Foundations of Differential Geometry Vol II, Wiley Interscience
- P.A. Simionescu & D. Beal (2004) Visualization of hypersurfaces and multivariable (objective ) functions by partial globalization, The Visual Computer 20(10):665–81.