The economics depends upon the following definitions and results from
convex geometry.
Real vector spaces A
real vector space of two
dimensions may be given a
Cartesian coordinate system in which every point is identified by a list of two real numbers, called "coordinates", which are conventionally denoted by
x and
y. Two points in the Cartesian plane can be
added coordinate-wise : (
x1,
y1) + (
x2,
y2) = (
x1+
x2,
y1+
y2); further, a point can be
multiplied by each real number
λ coordinate-wise :
λ (
x,
y) = (
λx,
λy). More generally, any real vector space of (finite) dimension
D can be viewed as the
set of all possible lists of
D real numbers {{nowrap|{ (
v1,
v2, . . . ,
vD)}} } together with two
operations:
vector addition and
multiplication by a real number. For finite-dimensional vector spaces, the operations of vector addition and real-number multiplication can each be defined coordinate-wise, following the example of the Cartesian plane.
Convex sets of the red set, each blue point is a
convex combination of some red points. In a real vector space, a set is defined to be
convex if, for each pair of its points, every point on the
line segment that joins them is
covered by the set. For example, a solid
cube is convex; however, anything that is hollow or dented, for example, a
crescent shape, is non‑convex.
Trivially, the
empty set is convex. More formally, a set
Q is convex if, for all points
v0 and
v1 in
Q and for every real number
λ in the
unit interval , the point : (1 −
λ)
v0 +
λv1 is a
member of
Q. By
mathematical induction, a set
Q is convex if and only if every
convex combination of members of
Q also belongs to
Q. By definition, a
convex combination of an indexed subset {
v0,
v1, . . . ,
vD} of a vector space is any
weighted average for some indexed set of non‑negative real numbers {
λd} satisfying the
equation = 1. The definition of a convex set implies that the
intersection of two convex sets is a convex set. More generally, the intersection of a family of convex sets is a convex set.
Convex hull For every subset
Q of a real vector space, its is the
minimal convex set that contains
Q. Thus Conv(
Q) is the intersection of all the convex sets that
cover Q. The convex hull of a set can be equivalently defined to be the set of all convex combinations of points in
Q. ==Duality: Intersecting half-spaces==