Linear Programming Lecture Notes - Penn State Personal Web Server
Linear Programming Lecture Notes - Penn State Personal Web Server
Linear Programming Lecture Notes - Penn State Personal Web Server
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
If δi = 0 if i > k, then we have succeeded in expressing x as a convex combination of the<br />
extreme points of P . Suppose not. Consider xv with v > k (so xv is an extreme point of P<br />
but not P ). Then it follows that e T xv = M must hold (otherwise, xv is an extreme point of<br />
P ). Since there are n binding hyperplanes at xv, there must be n − 1 hyperplanes defining<br />
P binding at xv. Thus, there is an edge connecting xv and some extreme point of P (i.e.,<br />
there is an extreme point of P that shares n − 1 binding hyperplanes with xv). Denote this<br />
extreme point as xi(v); it is adjacent to xv. Consider the direction xv − xv(i). This must be a<br />
recession direction of P since there is no other hyperplane that binds in this direction before<br />
e T x = M. Define:<br />
and let<br />
θv = e T (xv − xv(i))<br />
d = xv − xv(i)<br />
θv<br />
then e T d = 1 as we have normalized the direction elements and therefore d ∈ D. Again,<br />
let Gy = g be the system of n − 1 binding linear hyperplanes shared by xv and xv(i). Then<br />
trivially:<br />
G(xv − xv(i)) = Gd = 0<br />
and therefore, there are n−1 linearly independent binding hyperplanes in the system Ad ≤ 0,<br />
d ≥ 0. At last we see that with e T d = 1 that d must be an extreme point of D and therefore<br />
an extreme direction of P . Let dj(v) = d be this extreme direction. Thus we have:<br />
xv = xi(v) + θvdj(v)<br />
At last we can see that by substituting this into Expression 4.34 for each such v and arbitrarily<br />
letting i(v) = j(v) = 1 if δv = 0 (in which case it doesn’t matter), we obtain:<br />
k k+u<br />
k+u<br />
(4.35) x = δjxj + δvxi(v) +<br />
i=1<br />
v=k+1<br />
v=k+1<br />
δvθvdj(v)<br />
We have now expressed x as desired. This completes the proof. <br />
Example 4.45. The Cartheodory Characterization Theorem is illustrated for a bounded<br />
and unbounded polyhedral set in Figure 4.11. This example illustrates simply how one could<br />
construct an expression for an arbitrary point x inside a polyhedral set in terms of extreme<br />
points and extreme directions.<br />
67