Ingeometry,theconvex hull,convex envelopeorconvex closure[1]of a shape is the smallestconvex setthat contains it. The convex hull may be defined either as the intersection of all convex sets containing a given subset of aEuclidean space,or equivalently as the set of allconvex combinationsof points in the subset. For aboundedsubset of the plane, the convex hull may be visualized as the shape enclosed by a rubber band stretched around the subset.

The convex hull of the red set is the blue and redconvex set.

Convex hulls ofopen setsare open, and convex hulls ofcompact setsare compact. Every compact convex set is the convex hull of itsextreme points.The convex hull operator is an example of aclosure operator,and everyantimatroidcan be represented by applying this closure operator to finite sets of points. Thealgorithmicproblems of finding the convex hull of a finite set of points in the plane or other low-dimensional Euclidean spaces, and itsdualproblem of intersectinghalf-spaces,are fundamental problems ofcomputational geometry.They can be solved in timefor two or three dimensional point sets, and in time matching the worst-case output complexity given by theupper bound theoremin higher dimensions.

As well as for finite point sets, convex hulls have also been studied forsimple polygons,Brownian motion,space curves,andepigraphs of functions.Convex hulls have wide applications in mathematics, statistics, combinatorial optimization, economics, geometric modeling, and ethology. Related structures include theorthogonal convex hull,convex layers,Delaunay triangulationandVoronoi diagram,andconvex skull.

Definitions

edit
Convex hull of a bounded planar set: rubber band analogy

A set of points in aEuclidean spaceis defined to beconvexif it contains the line segments connecting each pair of its points. The convex hull of a given setmay be defined as[2]

  1. The (unique) minimal convex set containing
  2. The intersection of all convex sets containing
  3. The set of allconvex combinationsof points in
  4. The union of allsimpliceswith vertices in

Forbounded setsin the Euclidean plane, not all on one line, the boundary of the convex hull is thesimple closed curvewith minimumperimetercontaining.One may imagine stretching arubber bandso that it surrounds the entire setand then releasing it, allowing it to contract; when it becomes taut, it encloses the convex hull of.[3]This formulation does not immediately generalize to higher dimensions: for a finite set of points in three-dimensional space, a neighborhood of aspanning treeof the points encloses them with arbitrarily small surface area, smaller than the surface area of the convex hull.[4]However, in higher dimensions, variants of theobstacle problemof finding a minimum-energy surface above a given shape can have the convex hull as their solution.[5]

For objects in three dimensions, the first definition states that the convex hull is the smallest possible convexbounding volumeof the objects. The definition using intersections of convex sets may be extended tonon-Euclidean geometry,and the definition using convex combinations may be extended from Euclidean spaces to arbitraryreal vector spacesoraffine spaces;convex hulls may also be generalized in a more abstract way, tooriented matroids.[6]

Equivalence of definitions

edit
3D convex hull of 120 point cloud

It is not obvious that the first definition makes sense: why should there exist a unique minimal convex set containing,for every?However, the second definition, the intersection of all convex sets containing,is well-defined. It is a subset of every other convex setthat contains,becauseis included among the sets being intersected. Thus, it is exactly the unique minimal convex set containing.Therefore, the first two definitions are equivalent.[2]

Each convex set containingmust (by the assumption that it is convex) contain all convex combinations of points in,so the set of all convex combinations is contained in the intersection of all convex sets containing.Conversely, the set of all convex combinations is itself a convex set containing,so it also contains the intersection of all convex sets containing,and therefore the second and third definitions are equivalent.[7]

In fact, according toCarathéodory's theorem,ifis a subset of a-dimensional Euclidean space, every convex combination of finitely many points fromis also a convex combination of at mostpoints in.The set of convex combinations of a-tuple of points is asimplex;in the plane it is atriangleand in three-dimensional space it is a tetrahedron. Therefore, every convex combination of points ofbelongs to a simplex whose vertices belong to,and the third and fourth definitions are equivalent.[7]

Upper and lower hulls

edit

In two dimensions, the convex hull is sometimes partitioned into two parts, the upper hull and the lower hull, stretching between the leftmost and rightmost points of the hull. More generally, for convex hulls in any dimension, one can partition the boundary of the hull into upward-facing points (points for which an upward ray is disjoint from the hull), downward-facing points, and extreme points. For three-dimensional hulls, the upward-facing and downward-facing parts of the boundary form topological disks.[8]

Topological properties

edit

Closed and open hulls

edit

Theclosed convex hullof a set is theclosureof the convex hull, and theopen convex hullis theinterior(or in some sources therelative interior) of the convex hull.[9]

The closed convex hull ofis the intersection of all closedhalf-spacescontaining. If the convex hull ofis already aclosed setitself (as happens, for instance, ifis afinite setor more generally acompact set), then it equals the closed convex hull. However, an intersection of closed half-spaces is itself closed, so when a convex hull is not closed it cannot be represented in this way.[10]

If the open convex hull of a setis-dimensional, then every point of the hull belongs to an open convex hull of at mostpoints of.The sets of vertices of a square, regular octahedron, or higher-dimensionalcross-polytopeprovide examples where exactlypoints are needed.[11]

Preservation of topological properties

edit
Thewitch of Agnesi.The points on or above the red curve provide an example of a closed set whose convex hull is open (the openupper half-plane).

Topologically, the convex hull of anopen setis always itself open, and the convex hull of a compact set is always itself compact. However, there exist closed sets for which the convex hull is not closed.[12]For instance, the closed set

(the set of points that lie on or above thewitch of Agnesi) has the openupper half-planeas its convex hull.[13]

The compactness of convex hulls of compact sets, in finite-dimensional Euclidean spaces, is generalized by theKrein–Smulian theorem,according to which the closed convex hull of a weakly compact subset of aBanach space(a subset that is compact under theweak topology) is weakly compact.[14]

Extreme points

edit

Anextreme pointof a convex set is a point in the set that does not lie on any open line segment between any other two points of the same set. For a convex hull, every extreme point must be part of the given set, because otherwise it cannot be formed as a convex combination of given points. According to theKrein–Milman theorem,every compact convex set in a Euclidean space (or more generally in alocally convex topological vector space) is the convex hull of its extreme points.[15]However, this may not be true for convex sets that are not compact; for instance, the whole Euclidean plane and the open unit ball are both convex, but neither one has any extreme points.Choquet theoryextends this theory from finite convex combinations of extreme points to infinite combinations (integrals) in more general spaces.[16]

Geometric and algebraic properties

edit

Closure operator

edit

The convex-hull operator has the characteristic properties of aclosure operator:[17]

  • It isextensive,meaning that the convex hull of every setis a superset of.
  • It isnon-decreasing,meaning that, for every two setsandwith,the convex hull ofis a subset of the convex hull of.
  • It isidempotent,meaning that for every,the convex hull of the convex hull ofis the same as the convex hull of.

When applied to a finite set of points, this is the closure operator of anantimatroid,the shelling antimatroid of the point set. Every antimatroid can be represented in this way by convex hulls of points in a Euclidean space of high-enough dimension.[18]

Minkowski sum

edit

The operations of constructing the convex hull and taking theMinkowski sumcommute with each other, in the sense that the Minkowski sum of convex hulls of sets gives the same result as the convex hull of the Minkowski sum of the same sets. This provides a step towards theShapley–Folkman theorembounding the distance of a Minkowski sum from its convex hull.[19]

Projective duality

edit

Theprojective dualoperation to constructing the convex hull of a set of points is constructing the intersection of a family of closed halfspaces that all contain the origin (or any other designated point).[20]

Special cases

edit

Finite point sets

edit
Convex hull of points in the plane

The convex hull of a finite point setforms aconvex polygonwhen,or more generally aconvex polytopein.Each extreme point of the hull is called avertex,and (by the Krein–Milman theorem) every convex polytope is the convex hull of its vertices. It is the unique convex polytope whose vertices belong toand that encloses all of.[3] For sets of points ingeneral position,the convex hull is asimplicial polytope.[21]

According to theupper bound theorem,the number of faces of the convex hull ofpoints in-dimensional Euclidean space is.[22]In particular, in two and three dimensions the number of faces is at most linear in.[23]

Simple polygons

edit
Convex hull ( in blue and yellow) of a simple polygon (in blue)

The convex hull of asimple polygonencloses the given polygon and is partitioned by it into regions, one of which is the polygon itself. The other regions, bounded by apolygonal chainof the polygon and a single convex hull edge, are calledpockets.Computing the same decomposition recursively for each pocket forms a hierarchical description of a given polygon called itsconvex differences tree.[24]Reflecting a pocket across its convex hull edge expands the given simple polygon into a polygon with the same perimeter and larger area, and theErdős–Nagy theoremstates that this expansion process eventually terminates.[25]

Brownian motion

edit

The curve generated byBrownian motionin the plane, at any fixed time, has probability 1 of having a convex hull whose boundary forms acontinuously differentiable curve.However, for any anglein the range,there will be times during the Brownian motion where the moving particle touches the boundary of the convex hull at a point of angle.TheHausdorff dimensionof this set of exceptional times is (with high probability).[26]

Space curves

edit
Anoloid,the convex hull of two circles in 3d space

For the convex hull of aspace curveor finite set of space curves in general position in three-dimensional space, the parts of the boundary away from the curves aredevelopableandruled surfaces.[27]Examples include theoloid,the convex hull of two circles in perpendicular planes, each passing through the other's center,[28]thesphericon,the convex hull of two semicircles in perpendicular planes with a common center, and D-forms, the convex shapes obtained fromAlexandrov's uniqueness theoremfor a surface formed by gluing together two planar convex sets of equal perimeter.[29]

Functions

edit

The convex hull orlower convex envelopeof a functionon a real vector space is the function whoseepigraphis the lower convex hull of the epigraph of. It is the unique maximalconvex functionmajorized by.[30]The definition can be extended to the convex hull of a set of functions (obtained from the convex hull of the union of their epigraphs, or equivalently from theirpointwise minimum) and, in this form, is dual to theconvex conjugateoperation.[31]

Computation

edit

Incomputational geometry,a number of algorithms are known for computing the convex hull for a finite set of points and for other geometric objects. Computing the convex hull means constructing an unambiguous, efficientrepresentationof the required convex shape. Output representations that have been considered for convex hulls of point sets include a list oflinear inequalitiesdescribing thefacetsof the hull, anundirected graphof facets and their adjacencies, or the fullface latticeof the hull.[32]In two dimensions, it may suffice more simply to list the points that are vertices, in their cyclic order around the hull.[3]

For convex hulls in two or three dimensions, the complexity of the corresponding algorithms is usually estimated in terms of,the number of input points, and,the number of points on the convex hull, which may be significantly smaller than.For higher-dimensional hulls, the number of faces of other dimensions may also come into the analysis.Graham scancan compute the convex hull ofpoints in the plane in time.For points in two and three dimensions, more complicatedoutput-sensitive algorithmsare known that compute the convex hull in time.These includeChan's algorithmand theKirkpatrick–Seidel algorithm.[33]For dimensions,the time for computing the convex hull is,matching the worst-case output complexity of the problem.[34]The convex hull of a simple polygon in the plane can be constructed inlinear time.[35]

Dynamic convex hulldata structures can be used to keep track of the convex hull of a set of points undergoing insertions and deletions of points,[36]andkinetic convex hullstructures can keep track of the convex hull for points moving continuously.[37] The construction of convex hulls also serves as a tool, a building block for a number of other computational-geometric algorithms such as therotating calipersmethod for computing thewidthanddiameterof a point set.[38]

edit

Several other shapes can be defined from a set of points in a similar way to the convex hull, as the minimal superset with some property, the intersection of all shapes containing the points from a given family of shapes, or the union of all combinations of points for a certain type of combination. For instance:

  • Theaffine hullis the smallest affine subspace of a Euclidean space containing a given set, or the union of all affine combinations of points in the set.[39]
  • Thelinear hullis the smallest linear subspace of a vector space containing a given set, or the union of all linear combinations of points in the set.[39]
  • Theconical hullor positive hull of a subset of a vector space is the set of all positive combinations of points in the subset.[39]
  • Thevisual hullof a three-dimensional object, with respect to a set of viewpoints, consists of the pointssuch that every ray from a viewpoint throughintersects the object. Equivalently it is the intersection of the (non-convex) cones generated by the outline of the object with respect to each viewpoint. It is used in3D reconstructionas the largest shape that could have the same outlines from the given viewpoints.[40]
  • The circular hull or Alpha -hull of a subset of the plane is the intersection of all disks with a given radiusthat contain the subset.[41]
  • Therelative convex hullof a subset of a two-dimensionalsimple polygonis the intersection of all relatively convex supersets, where a set within the same polygon is relatively convex if it contains thegeodesicbetween any two of its points.[42]
  • Theorthogonal convex hullor rectilinear convex hull is the intersection of all orthogonally convex and connected supersets, where a set is orthogonally convex if it contains all axis-parallel segments between pairs of its points.[43]
  • The orthogonal convex hull is a special case of a much more general construction, thehyperconvex hull,which can be thought of as the smallestinjective metric spacecontaining the points of a givenmetric space.[44]
  • Theholomorphically convex hullis a generalization of similar concepts tocomplex analytic manifolds,obtained as an intersection of sublevel sets ofholomorphic functionscontaining a given set.[45]

TheDelaunay triangulationof a point set and itsdual,theVoronoi diagram,are mathematically related to convex hulls: the Delaunay triangulation of a point set incan be viewed as the projection of a convex hull in[46] TheAlpha shapesof a finite point set give a nested family of (non-convex) geometric objects describing the shape of a point set at different levels of detail. Each of Alpha shape is the union of some of the features of the Delaunay triangulation, selected by comparing theircircumradiusto the parameter Alpha. The point set itself forms one endpoint of this family of shapes, and its convex hull forms the other endpoint.[41] Theconvex layersof a point set are a nested family of convex polygons, the outermost of which is the convex hull, with the inner layers constructed recursively from the points that are not vertices of the convex hull.[47]

Theconvex skullof a polygon is the largest convex polygon contained inside it. It can be found inpolynomial time,but the exponent of the algorithm is high.[48]

Applications

edit

Convex hulls have wide applications in many fields. Within mathematics, convex hulls are used to studypolynomials,matrixeigenvalues,andunitary elements,and several theorems indiscrete geometryinvolve convex hulls. They are used inrobust statisticsas the outermost contour ofTukey depth,are part of thebagplotvisualization of two-dimensional data, and define risk sets ofrandomized decision rules.Convex hulls ofindicator vectorsof solutions to combinatorial problems are central tocombinatorial optimizationandpolyhedral combinatorics.In economics, convex hulls can be used to apply methods ofconvexity in economicsto non-convex markets. In geometric modeling, the convex hull propertyBézier curveshelps find their crossings, and convex hulls are part of the measurement of boat hulls. And in the study of animal behavior, convex hulls are used in a standard definition of thehome range.

Mathematics

edit
Partition of seven points into three subsets with intersecting convex hulls, guaranteed to exist for any seven points in the plane byTverberg's theorem

Newton polygonsof univariatepolynomialsandNewton polytopesof multivariate polynomials are convex hulls of points derived from the exponents of the terms in the polynomial, and can be used to analyze theasymptoticbehavior of the polynomial and the valuations of its roots.[49]Convex hulls and polynomials also come together in theGauss–Lucas theorem,according to which therootsof the derivative of a polynomial all lie within the convex hull of the roots of the polynomial.[50]

Inspectral analysis,thenumerical rangeof anormal matrixis the convex hull of itseigenvalues.[51] TheRusso–Dye theoremdescribes the convex hulls ofunitary elementsin aC*-algebra.[52] Indiscrete geometry,bothRadon's theoremandTverberg's theoremconcern the existence of partitions of point sets into subsets with intersecting convex hulls.[53]

The definitions of a convex set as containing line segments between its points, and of a convex hull as the intersection of all convex supersets, apply tohyperbolic spacesas well as to Euclidean spaces. However, in hyperbolic space, it is also possible to consider the convex hulls of sets ofideal points,points that do not belong to the hyperbolic space itself but lie on the boundary of a model of that space. The boundaries of convex hulls of ideal points of three-dimensional hyperbolic space are analogous toruled surfacesin Euclidean space, and their metric properties play an important role in thegeometrization conjectureinlow-dimensional topology.[54]Hyperbolic convex hulls have also been used as part of the calculation ofcanonicaltriangulationsofhyperbolic manifolds,and applied to determine the equivalence ofknots.[55]

See also the section onBrownian motionfor the application of convex hulls to this subject, and the section onspace curvesfor their application to the theory ofdevelopable surfaces.

Statistics

edit
Abagplot.The outer shaded region is the convex hull, and the inner shaded region is the 50% Tukey depth contour.

Inrobust statistics,the convex hull provides one of the key components of abagplot,a method for visualizing the spread of two-dimensional sample points. The contours ofTukey depthform a nested family of convex sets, with the convex hull outermost, and the bagplot also displays another polygon from this nested family, the contour of 50% depth.[56]

In statisticaldecision theory,the risk set of arandomized decision ruleis the convex hull of the risk points of its underlying deterministic decision rules.[57]

Combinatorial optimization

edit

Incombinatorial optimizationandpolyhedral combinatorics,central objects of study are the convex hulls ofindicator vectorsof solutions to a combinatorial problem. If the facets of these polytopes can be found, describing the polytopes as intersections of halfspaces, then algorithms based onlinear programmingcan be used to find optimal solutions.[58]Inmulti-objective optimization,a different type of convex hull is also used, the convex hull of the weight vectors of solutions. One can maximize anyquasiconvex combinationof weights by finding and checking each convex hull vertex, often more efficiently than checking all possible solutions.[59]

Economics

edit

In theArrow–Debreu modelofgeneral economic equilibrium,agents are assumed to have convexbudget setsandconvex preferences.These assumptions ofconvexity in economicscan be used to prove the existence of an equilibrium. When actual economic data isnon-convex,it can be made convex by taking convex hulls. TheShapley–Folkman theoremcan be used to show that, for large markets, this approximation is accurate, and leads to a "quasi-equilibrium" for the original non-convex market.[60]

Geometric modeling

edit

Ingeometric modeling,one of the key properties of aBézier curveis that it lies within the convex hull of its control points. This so-called "convex hull property" can be used, for instance, in quickly detecting intersections of these curves.[61]

In the geometry of boat and ship design,chain girthis a measurement of the size of a sailing vessel, defined using the convex hull of a cross-section of thehullof the vessel. It differs from theskin girth,the perimeter of the cross-section itself, except for boats and ships that have a convex hull.[62]

Ethology

edit

The convex hull is commonly known as the minimum convex polygon inethology,the study of animal behavior, where it is a classic, though perhaps simplistic, approach in estimating an animal'shome rangebased on points where the animal has been observed.[63]Outlierscan make the minimum convex polygon excessively large, which has motivated relaxed approaches that contain only a subset of the observations, for instance by choosing one of the convex layers that is close to a target percentage of the samples,[64]or in thelocal convex hullmethod by combining convex hulls ofneighborhoodsof points.[65]

Quantum physics

edit

Inquantum physics,thestate spaceof any quantum system — the set of all ways the system can be prepared — is a convex hull whose extreme points arepositive-semidefinite operatorsknown as pure states and whose interior points are called mixed states.[66]TheSchrödinger–HJW theoremproves that any mixed state can in fact be written as a convex combination of pure states in multiple ways.[67]

Thermodynamics

edit
Convex hull ofmagnesiumcarboncompounds.[68]Mg2C3is expected to be unstable as it lies above the lower hull.

A convex hull inthermodynamicswas identified byJosiah Willard Gibbs(1873),[69]although the paper was published before the convex hull was so named. In a set of energies of severalstoichiometriesof a material, only those measurements on the lower convex hull will be stable. When removing a point from the hull and then calculating its distance to the hull, its distance to the new hull represents the degree of stability of the phase.[70]

History

edit

The lower convex hull of points in the plane appears, in the form of a Newton polygon, in a letter fromIsaac NewtontoHenry Oldenburgin 1676.[71]The term "convex hull" itself appears as early as the work ofGarrett Birkhoff(1935), and the corresponding term inGermanappears earlier, for instance inHans Rademacher's review ofKőnig(1922). Other terms, such as "convex envelope", were also used in this time frame.[72]By 1938, according toLloyd Dines,the term "convex hull" had become standard; Dines adds that he finds the term unfortunate, because the colloquial meaning of the word "hull" would suggest that it refers to the surface of a shape, whereas the convex hull includes the interior and not just the surface.[73]

Notes

edit
  1. ^The terminologyconvex closurerefers to the fact that the convex hull defines aclosure operator.However, this term is also frequently used to refer to theclosed convex hull,with which it should not be confused — see e.gFan (1959),p.48.
  2. ^abRockafellar (1970),p. 12.
  3. ^abcde Berg et al. (2008),p. 3.
  4. ^Williams & Rossignac (2005).See also Douglas Zare,answer to "the perimeter of a non-convex set",MathOverflow,May 16, 2014.
  5. ^Oberman (2007).
  6. ^Knuth (1992).
  7. ^abRockafellar (1970),p. 12;Lay (1982),p. 17.
  8. ^de Berg et al. (2008),p. 6. The idea of partitioning the hull into two chains comes from an efficient variant ofGraham scanbyAndrew (1979).
  9. ^Sontag (1982).
  10. ^Rockafellar (1970),p. 99.
  11. ^Steinitz (1914);Gustin (1947);Bárány, Katchalski & Pach (1982)
  12. ^Grünbaum (2003),p. 16;Lay (1982),p. 21;Sakuma (1977).
  13. ^This example is given byTalman (1977),Remark 2.6.
  14. ^Whitley (1986).
  15. ^Krein & Milman (1940);Lay (1982),p. 43.
  16. ^Okon (2000).
  17. ^Kiselman (2002).
  18. ^Kashiwabara, Nakamura & Okamoto (2005).
  19. ^Krein & Šmulian (1940),Theorem 3, pages 562–563;Schneider (1993),Theorem 1.1.2 (pages 2–3) and Chapter 3.
  20. ^de Berg et al. (2008),p. 254.
  21. ^Grünbaum (2003),p. 57.
  22. ^de Berg et al. (2008),p. 256.
  23. ^de Berg et al. (2008),p. 245.
  24. ^Rappoport (1992).
  25. ^Demaine et al. (2008).
  26. ^Cranston, Hsu & March (1989).
  27. ^Sedykh (1981).
  28. ^Dirnböck & Stachel (1997).
  29. ^Seaton (2017).
  30. ^Rockafellar (1970),p. 36.
  31. ^Rockafellar (1970),p. 149.
  32. ^Avis, Bremner & Seidel (1997).
  33. ^de Berg et al. (2008),p. 13.
  34. ^Chazelle (1993);de Berg et al. (2008),p. 256.
  35. ^McCallum & Avis (1979);Graham & Yao (1983);Lee (1983).
  36. ^Chan (2012).
  37. ^Basch, Guibas & Hershberger (1999).
  38. ^Toussaint (1983).
  39. ^abcWestermann (1976).
  40. ^Laurentini (1994).
  41. ^abEdelsbrunner, Kirkpatrick & Seidel (1983).
  42. ^Toussaint (1986).
  43. ^Ottmann, Soisalon-Soininen & Wood (1984).
  44. ^Herrlich (1992).
  45. ^Rossi (1961).
  46. ^Brown (1979).
  47. ^Chazelle (1985).
  48. ^Chang & Yap (1986).
  49. ^Artin (1967);Gel'fand, Kapranov & Zelevinsky (1994)
  50. ^Prasolov (2004).
  51. ^Johnson (1976).
  52. ^Gardner (1984).
  53. ^Reay (1979).
  54. ^Epstein & Marden (1987).
  55. ^Weeks (1993).
  56. ^Rousseeuw, Ruts & Tukey (1999).
  57. ^Harris (1971).
  58. ^Pulleyblank (1983);see especially remarks following Theorem 2.9.
  59. ^Katoh (1992).
  60. ^Nicola (2000).See in particular Section 16.9, Non Convexity and Approximate Equilibrium, pp. 209–210.
  61. ^Chen & Wang (2003).
  62. ^Mason (1908).
  63. ^Kernohan, Gitzen & Millspaugh (2001),p. 137–140;Nilsen, Pedersen & Linnell (2008)
  64. ^Worton (1995).
  65. ^Getz & Wilmers (2004).
  66. ^Rieffel & Polak (2011).
  67. ^Kirkpatrick (2006).
  68. ^Kim et al. (2019).
  69. ^Gibbs (1873).
  70. ^Hautier (2014);Fultz (2020)
  71. ^Newton (1676);seeAuel (2019),page 336, andEscobar & Kaveh (2020).
  72. ^See, e.g.,White (1923),page 520.
  73. ^Dines (1938).

References

edit
edit