Important terms and ideas for discussing feasible regions in LP

advertisement
Important terms and ideas for discussing feasible regions in LP problems
[Chapter 2 of "Strategic Mathematics"]
The shape of the feasible region in LP programs is an important feature that makes possible the techniques
used to solve LP problems fairly routinely. We will develop the theory that justifies these methods.
Here is a list of many of the critical terms, ideas, and theorems on which the theory is based [details in
Strategic Mathematics, Chapters 2 & 3]
Definition 2.1.1: For two points X and Y (which may also be considered to be vectors) in Rn, the line
determined by X and Y is {tX + (1-t)Y| t  R}
The segment joining X and Y is the set {tX + (1-t)Y| t  [0,1]} (the subset of the line formed by the
points X & Y & the points between them)
Definition 2.1.6: A set S  Rn is convex if, for every pair of points X and Y in S, the segment joining
X and Y is also in S.
[We will be working with linear equations and functions, and matrix representations; notice this requirement
has strong connections to the idea of linear operations. In particular, the feasible set for an LP problem will
always be a convex set]
Theorem 2.1.8 The intersection of a finite collection of convex sets is convex.
Theorem 2.1.9 For an mxn matrix A and a vector b in Rn, the solution set for the system of linear
equations AX = b is a convex set
Definition 2.1.10 A hyperplane in Rn, is a set H(C,k) = {X  Rn | CTX = k} for some non-zero vector C
in Rn, and constant k. [Note: This says a hyperplane is the solution set for one linear equation in n
unknowns – an n-1 – dimensional subset. In R2 it is a line, in R3 a plane If k = 0, this is an n-1
dimensional subspace of RN]
Theorem 2.1.11 A subset H of Rn is a hyperplane if and only if there is a subspace S of Rn for which H
can be written as H = S + X [= { P + X | P  S} – the algebraic sum] for every X  H.
[Note that this exactly matches what happens with solutions of a system of linear equations – a particular
solution plus any element of a subspace.]
Definition2.1.13, 2.1.14: For any n—dimensional vector (coefficient vector) C and any number k, we have
h+(C,k) = {X  Rn| CTX > k} – the open upper half-space
h-(C,k) = {X  Rn| CTX < k} – the open lower half-space
H+(C,k) = {X  Rn| CTX ≥ k} – the closed upper half-space
H-(C,k) = {X  Rn| CTX ≤ k} – the closed lower half-space
Note that H(C,k) = H+(C,k) H-(C,k) and that Rn,= h+(C,k) H(C,k) h-(C,k) [A hyperplane and its
halspaces completely cover Rn]
Half-spaces are solution sets for linear inequalities and hyperplanes are solution sets for linear equations –
the basic building blocks of the feasible regions for linear programming problems – it is significant that they
Math 438 Geometry of Rn p.2
are convex (and so intersections – which are solutions of systems of inequalities and equations - are also
convex sets.)
Theorem 2.1.16 Half-spaces are convex sets
Corollary 2.1.17 Hyperplanes are convex sets
Corollary 2.1.19 The solution set for m linear inequalities in n unknowns is a convex set in Rn.
Definition 2.1.21 A set S is a convex polyhedron if it is the intersection of half spaces.
Corollary 2.1.22 The fesible set for a linear programming problem is a convex polyhedron
[These are the sets that can be feasible regions for LP problems, remember – and are convex sets]
There are several “hulls” that may be formed using a set of points/vectors in Rn. All are convex sets which
include the original points [Thus “hull” – as on a nut or a ship]. The conical hull and the convex hull are of
particular importance for proving that solutions for linear programming problems can be found only in
certain places – reducing the search to a finite collection of options. [Compare max/min problems on closed
intervals in Calc I – if the function is continuous, we need only check values at critical points and endpoints
– a finite set of points]
Definition 2.2.1 (summarized)
A linear combination of vectors from some space Rn is called
an affine combination if the coefficients total 1
a conical combination if all the coefficients are nonnegative
a convex combination if both conditions are met (coefficients all nonnegative and add up to 1)
Definition 2.2.2:
For a set S of vectors in some Rn,
the linear hull L(S) is the set of all linear combinations of vectors in S (the span of S)
the affine hull Aff(S) is the set of all affine combinations of members of S
the conical hull Coni(S) is the set of all conical combinations of members of S
the convex hull Conv(S) is the set of all convex combinations of members of S
We will be using the convex hull of a set of points and the conical hull of a related set of points to describe
feasible regions of LP problems
Theorem 2.2.7 Conv(S) is a convex set.
Definition 2.2.8 The convex hull of a finite set of points in Rn is called a convex polytope
Definition 2.2.9 A point X in a convex set S is an extreme point of S if it cannot be written as a convex
combination of two distinct points of S
[That is, X is not on the segment determined by two other points of S - whenever we write X = tA + (1t)B with 0 < t < 1(so neither A nor B is equal to X) then at least one of A , B is not in S]
Definition 2.2.11 A bounding ray of a convex polyhedron S is a ray R for which
a.) The vertex of R is an extreme point of S
Math 438 Geometry of Rn p.3
b.) A point X’ of R can be written as a convex combination of distinct points X, Y of S only if X, Y are
on R.
A direction vector of a convex polyhedron is a direction vector of one of its bounding rays.
Definition 2.2.14 A set S in Rn, is a convex cone with vertex at the origin if, for every pair of non-negative
real numbers a and b and every X, Y  S we have aX + bY  S [that is , if every conical
combination of vectors in S [including the origin] is also in S]
[This describes a set which is an infinite cone – or multi-sided [infinite] pyramid – with the peak at the
origin]
Theorem2.2.15 The conical hull Coni(S) of any set S in Rn is a convex cone with vertex at the origin.
Theorem 2.2.16 The conical hull of any set is a convex set.
Theorem2.2.14 [Finite Basis Theorem] For any convex polyhedron F in Rn, If the extreme points are X1, .
. . Xd and the direction vectors are Y1, . . . Yt, then F = Conv({X1, . . . Xd }) + Coni ({Y1, . . . Yt })
This says that a convex polyhedron [any feasible region for any LP problem] can be completely described in
terms of
1. the convex hull of its extreme points and
2. the conical hull of its direction vectors .
Thus we are looking at linear combinations (of special types) of finitely many objects (points and vectors) –
this gives a handle on what points we must test as solutions, and some hope for developing a testing method.
– This will allow us to prove (in Chapter 3)
Theorem 3.1.1 The Extreme Point Theorem If the linear function f(X) = CTX is bounded below (has a
lower bound) on the convex polyhedron F = {X | AX ≤ b, X ≥ 0} then f(X) attains a minimum and this
occurs at one of the extreme points of F.
[Once we prove this, we can focus on setting up search methods – “plug all the extreme points into the
function” is not, typically, a reasonable approach – unlike the Calc I max/min problems, we are likely to
have many extreme points to look at and many variables to keep track of ]
Download