In mathematics, a level set of a real-valued function of real variables is a set where the function takes on a given constant value, that is:
Lc(f)=\left\{(x1,\ldots,xn)\midf(x1,\ldots,xn)=c\right\}~.
When the number of independent variables is two, a level set is called a level curve, also known as contour line or isoline; so a level curve is the set of all real-valued solutions of an equation in two variables and . When, a level set is called a level surface (or isosurface); so a level surface is the set of all real-valued roots of an equation in three variables, and . For higher values of, the level set is a level hypersurface, the set of all real-valued roots of an equation in variables.
A level set is a special case of a fiber.
Level sets show up in many applications, often under different names. For example, an implicit curve is a level curve, which is considered independently of its neighbor curves, emphasizing that such a curve is defined by an implicit equation. Analogously, a level surface is sometimes called an implicit surface or an isosurface.
The name isocontour is also used, which means a contour of equal height. In various application areas, isocontours have received specific names, which indicate often the nature of the values of the considered function, such as isobar, isotherm, isogon, isochrone, isoquant and indifference curve.
Consider the 2-dimensional Euclidean distance: A level set
Lr(d)
r
(3,4)\inL5(d)
d(3,4)=5
(3,4)
(M,m)
r
x\inM
Lr(y\mapstom(x,y))
A second example is the plot of Himmelblau's function shown in the figure to the right. Each curve shown is a level curve of the function, and they are spaced logarithmically: if a curve represents
Lx
Lx/10
L10x
If the function is differentiable, the gradient of at a point is either zero, or perpendicular to the level set of at that point.
To understand what this means, imagine that two hikers are at the same location on a mountain. One of them is bold, and decides to go in the direction where the slope is steepest. The other one is more cautious and does not want to either climb or descend, choosing a path which stays at the same height. In our analogy, the above theorem says that the two hikers will depart in directions perpendicular to each other.
A consequence of this theorem (and its proof) is that if is differentiable, a level set is a hypersurface and a manifold outside the critical points of . At a critical point, a level set may be reduced to a point (for example at a local extremum of) or may have a singularity such as a self-intersection point or a cusp.
A set of the form
| -(f) | |
| L | |
| c |
=\left\{(x1,...,xn)\midf(x1,...,xn)\leqc\right\}
is called a sublevel set of f (or, alternatively, a lower level set or trench of f). A strict sublevel set of f is
\left\{(x1,...,xn)\midf(x1,...,xn)<c\right\}
Similarly
| +(f) | |
| L | |
| c |
=\left\{(x1,...,xn)\midf(x1,...,xn)\geqc\right\}
is called a superlevel set of f (or, alternatively, an upper level set of f). And a strict superlevel set of f is
\left\{(x1,...,xn)\midf(x1,...,xn)>c\right\}
Sublevel sets are important in minimization theory. By Weierstrass's theorem, the boundness of some non-empty sublevel set and the lower-semicontinuity of the function implies that a function attains its minimum. The convexity of all the sublevel sets characterizes quasiconvex functions.[1]