Multiobjective Linear Programming An Introduction 1st Edition Dinh The Luc Auth instant download
Multiobjective Linear Programming An Introduction 1st Edition Dinh The Luc Auth instant download
https://ebookbell.com/product/multiobjective-linear-programming-
an-introduction-1st-edition-dinh-the-luc-auth-5235464
https://ebookbell.com/product/multiobjective-linear-and-integer-
programming-1st-edition-carlos-henggeler-antunes-5483384
https://ebookbell.com/product/linear-and-multiobjective-programming-
with-fuzzy-stochastic-extensions-1st-edition-masatoshi-sakawa-4594000
https://ebookbell.com/product/multiobjective-optimization-algorithms-
for-bioinformatics-anirban-mukhopadhyay-57514188
https://ebookbell.com/product/multiobjective-programming-and-goal-
programming-theoretical-results-and-practical-applications-1st-
edition-gabriele-eichfelder-auth-2040824
Multiobjective Problem Solving From Nature From Concepts To
Applications Knowles
https://ebookbell.com/product/multiobjective-problem-solving-from-
nature-from-concepts-to-applications-knowles-22105846
https://ebookbell.com/product/multiobjective-genetic-algorithms-for-
clustering-applications-in-data-mining-and-bioinformatics-1st-edition-
ujjwal-maulik-2472458
https://ebookbell.com/product/multiobjective-shape-design-in-
electricity-and-magnetism-1st-edition-paolo-di-barba-auth-4194252
https://ebookbell.com/product/multiobjective-optimization-principles-
and-case-studies-1st-edition-phd-yann-collette-4229806
https://ebookbell.com/product/multiobjective-evolutionary-algorithms-
and-applications-1st-edition-kc-tan-phd-4239044
Dinh The Luc
Multiobjective
Linear
Programming
An Introduction
Multiobjective Linear Programming
Dinh The Luc
Multiobjective Linear
Programming
An Introduction
123
Dinh The Luc
Avignon University
Avignon
France
vii
viii Preface
Although some new research results are incorporated into the book, it is well
suited for use in the first part of a course on multiobjective optimization for
undergraduates or first-year graduate students in applied mathematics, engineering,
computer science, operations research, and economics. Neither integer problems
nor fuzzy linear problems are addressed. Further, applications to other domains are
not tackled, though students will certainly have no real difficulty in studying them,
once the basic results of this book assimilated.
During the preparation of this manuscript I have benefited from the assistance of
many people. I am grateful to my Post-Ph.D. and Ph.D. students Anulekha Dhara,
Truong Thi Thanh Phuong, Tran Ngoc Thang, and Moslem Zamani for their careful
reading of the manuscript. I would also like to thank Moslem Zamani for the
illustrative figures he made for this book. I want to take this opportunity to give
special thanks to Juan-Enrique Martinez-Legaz (Autonomous University of
Barcelona), Boris Mordukhovich (Wayne State University), Nguyen Thi Bach Kim
(Hanoi Polytechnical University), Panos Pardalos (University of Florida), Michel
Thera (University of Limoges), Majid Soleimani-Damaneh (University of Tehran),
Ralph E. Steuer (University of Georgia), Michel Volle (University of Avignon), and
Mohammad Yaghoobi (University of Kerman) for their valued support in this
endeavor.
1 Introduction. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
Part I Background
2 Convex Polyhedra . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
2.1 The Space Rn . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
2.2 System of Linear Inequalities . . . . . . . . . . . . . . . . . . . . . . . . . 14
2.3 Convex Polyhedra . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
2.4 Basis and Vertices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
3 Linear Programming . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
3.1 Optimal Solutions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
3.2 Dual Problems. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
3.3 The Simplex Method . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
Part II Theory
4 Pareto Optimality. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
4.1 Pareto Maximal Points . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
4.2 Multiobjective Linear Problems . . . . . . . . . . . . . . . . . . . . . . . . 102
4.3 Scalarization . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107
4.4 Exercises . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 112
5 Duality . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 119
5.1 Dual Sets and Dual Problems . . . . . . . . . . . . . . . . . . . . . . . . . 119
5.2 Ideal Dual Problem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 127
5.3 Strong Dual Problem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 131
5.4 Weak Dual Problem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 139
5.5 Lagrangian Duality . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 144
ix
x Contents
References. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 313
Index . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 323
Notations
N Natural numbers
R Real numbers
Rn Euclidean n-dimensional space
LðRn ; Rm Þ Space of m n matrices
Bn Closed unit ball in Rn
Sn Unit sphere in Rn
Bmn Closed unit ball in LðRn ; Rm Þ
e Vector of ones
ei i-th coordinate unit vector
Δ Standard simplex
k xk Euclidean norm
k x k1 Max-norm
hx; yi Canonical scalar product
5 Less than or equal to
Less than but not equal to
\ Strictly less than
affðAÞ Affine hull
clðAÞ, A Closure
intðAÞ Interior
riðAÞ Relative interior
coðAÞ Convex hull
coðAÞ Closed convex hull
coneðAÞ Conic hull
posðAÞ Positive hull
MaxðAÞ Set of maximal elements
WMaxðAÞ Set of weakly maximal elements
MinðAÞ Set of minimal elements
WMinðAÞ Set of weakly minimal elements
S(MOLP) Efficient solution set
WS(MOLP) Weakly efficient solution set
xi
xii Notations
supðAÞ Supremum
IðxÞ Active index set at x
A? Orthogonal
A Negative polar cone
A1 Recession/asymptotic cone
NA ðxÞ Normal cone
dðx; CÞ Distance function
hðA; BÞ Hausdorff distance
grðGÞ Graph
suppðxÞ Support
Chapter 1
Introduction
Mathematical optimization studies the problem of finding the best element from a set
of feasible alternatives with regard to a criterion or objective function. It is written
in the form
optimize f (x)
subject to x ∈ X,
where X is a nonempty set, called a feasible set or a set of feasible alternatives, and
f is a real function on X , called a criterion or objective function. Here “optimize”
stands for either “minimize” or “maximize” which amounts to finding x̄ ∈ X such
that either f (x̄) f (x) for all x ∈ X , or f (x̄) f (x) for all x ∈ X .
This model offers a general framework for studying a variety of real-world and
theoretical problems in the sciences and human activities. However, in many practical
situations, we tend to encounter problems that involve not just one criterion, but a
number of criteria, which are often in conflict with each other. It then becomes
impossible to model such problems in the above-mentioned optimization framework.
Here are some instances of such situations.
Automotive design The objective of automotive design is to determine the technical
parameters of a vehicle to minimize (1) production costs, (2) fuel consumption, and
(3) emissions, while maximizing (4) performance and (5) crash safety. These criteria
are not always compatible; for instance a high-performance engine often involves
very high production costs, which means that no design can optimally fulfill all
criteria.
House purchase Buying property is one of life’s weightiest decisions and often
requires the help of real estate agencies. An agency suggests a number of houses
or apartments which roughly meet the potential buyer’s budget and requirements. In
order to make a decision, the buyer assesses the available offers on the basis of his
or her criteria. The final choice should satisfy the following: minimal cost, minimal
maintenance charges, maximal quality and comfort, best environment etc. It is quite
natural that the higher the quality of the house, the more expensive it is; as such, it
is impossible to make the best choice without compromising.
Distributing electrical power In a system of thermal generators the chief problem
concerns allocating the output of each generator in the system. The aim is not only
to satisfy the demand for electricity, but also to fulfill two main criteria: minimizing
the costs of power generation and minimizing emissions. Since the costs and the
emissions are measured in different units, we cannot combine the two criteria into one.
Queen Dido’s city Queen Dido’s famous problem consists of finding a territory
bounded by a line which has the maximum area for a given perimeter. According to
elementary calculus, the solution is known to be a circle. However, as it is incon-
ceivable to have a city touching the sea without a seashore, Queen Dido set another
objective, namely for her territory to have as large a seashore as possible. As a result,
a semicircle partly satisfies her two objectives, but fails to maximize either aspect.
As we have seen, even in the simplest situations described above there can be
no alternative found that simultaneously satisfies all criteria, which means that the
known concepts of optimization do not apply and there is a real need to develop new
notions of optimality for problems involving multiple objective functions. Such a
concept was introduced by Pareto (1848–1923), an Italian economist who explained
the Pareto optimum as follows: “The optimum allocation of the resources of a society
is not attained so long as it is possible to make at least one individual better off in his
own estimation while keeping others as well off as before in their own estimation.”
Prior to Pareto, the Irish economist Edgeworth (1845–1926) had defined an optimum
for the multiutility problem of two consumers P and Q as “a point (x, y) such that in
whatever direction we take an infinitely small step, P and Q do not increase together
but that, while one increases, the other decreases.” According to the definition put
forward by Pareto, among the feasible alternatives, those that can simultaneously be
improved with respect to all criteria cannot be optimal. And an alternative is optimal
if any alternative better than it with respect to a certain criterion is worse with respect
to some other criterion, that is, if a tradeoff takes place when trying to find a better
alternative. From the mathematical point of view, if one defines a domination order
in the set of feasible alternatives by a set of criteria—an alternative a dominates
an alternative b if the value of every criterion function at a is bigger than that at
b—then an alternative is optimal in the Pareto sense if it is dominated by no other
alternatives. In other words, an alternative is optimal if it is maximal with respect
to the above order. This explains the mathematical origin of the theory of multiple
objective optimization, which stems from the theory of ordered spaces developed by
Cantor (1845–1918) and Hausdorff (1868–1942).
A typical example of ordered spaces, frequently encountered in practice, is the
finite dimensional Euclidean space Rn with n ≥ 2, in which two vectors a and b
are comparable, let’s say a is bigger than or equal to b if all coordinates of a are
bigger than or equal to the corresponding coordinates of b. A multiple objective
optimization problem is then written as
1 Introduction 3
We begin the chapter by introducing basic concepts of convex sets and linear func-
tions in a Euclidean space. We review some of fundamental facts about convex
polyhedral sets determined by systems of linear equations and inequalities, includ-
ing Farkas’ theorem of the alternative which is considered a keystone of the theory
of mathematical programming.
Throughout this book, Rn denotes the n-dimensional Euclidean space of real column
n-vectors. The norm of a vector x with components x1 , · · · , xn is given by
n 1/2
x = (xi ) 2
.
i=1
n
x, y = xi yi .
i=1
The closed unit ball, the open unit ball and the unit sphere of Rn are respectively
defined by
Bn := x ∈ Rn : x 1 ,
int(Bn ) := x ∈ Rn : x < 1 ,
Sn := x ∈ Rn : x = 1 .
Given a nonempty set Q ⊆ Rn , we denote the closure of Q by cl(Q) and its interior
by int(Q). The conic hull, the positive hull and the affine hull of Q are respectively
given by
cone(Q) := ta : a ∈ Q, t ∈ R, t 0 ,
k
pos(Q) := ti a i : a i ∈ Q, ti ∈ R, ti 0, i = 1, · · · , k with k ∈ N ,
i=1
k
k
aff(Q) := ti a : a ∈ Q, ti ∈ R, i = 1, · · · , k and
i i
ti = 1 with k ∈ N ,
i=1 i=1
where N denotes the set of natural numbers (Figs. 2.1, 2.2 and 2.3).
Q1
cone(Q)
Q2
Q2
2.1 The Space Rn 9
Q2
Among the sets described above cone(Q) and pos(Q) are cones, that is, they are
invariant under multiplication by positive numbers; pos(Q) is also invariant under
addition of its elements; and aff(Q) is an affine subspace of Rn . For two vectors x
and y of Rn , inequalities x > y and x y mean respectively xi > yi and xi yi
for all i = 1, · · · , n. When x y and x = y, we write x ≥ y. So a vector x is
positive, that is x 0, if its components are non-negative; and it is strictly positive
if its components are all strictly positive. The set of all positive vectors of Rn is the
positive orthant Rn+ . Sometimes row vectors are also considered. They are transposes
of column vectors. Operations on row vectors are performed in the same manner as
on column vectors. Thus, for two row n-vectors c and d, their inner product is
expressed by
n
c, d = c T , d T = ci di ,
i=1
where the upper index T denotes the transpose. On the other hand, if c is a row vector
and x is a column vector, then the product cx is understood as a matrix product which
is equal to the inner product c T , x.
Convex sets
We call a subset Q of Rn convex if the segment joining any two points of Q lies entirely
in Q, which means that for every x, y ∈ Q and for every real number λ ∈ [0, 1], one
has λx + (1 − λ)y ∈ Q (Figs. 2.4, 2.5). It follows directly from the definition that the
intersection of convex sets, the Cartesian product of convex sets, the image and inverse
image of a convex set under a linear transformation, the interior and the closure of a
convex set are convex. In particular, the sum Q 1 + Q 2 := {x + y : x ∈ Q 1 , y ∈ Q 2 }
of two convex sets Q 1 and Q 2 is convex; the conic hull of a convex set is convex.
The positive hull and the affine hull of any set are convex.
The convex hull of Q, denoted co(Q) (Fig. 2.6), consists of all convex combina-
tions of elements of Q, that is,
10 2 Convex Polyhedra
x
y
k
k
co(Q) := λi x : x ∈ Q, λi 0, i = 1, · · · , k and
i i
λi = 1 with k ∈ N .
i=1 i=1
It is the intersection of all convex sets containing Q. The closure of the convex hull
of Q will be denoted by co(Q), which is exactly the intersection of all closed convex
sets containing Q. The positive hull of a set is the conic hull of its convex hull. A
k
convex combination i=1 λi x i is strict if all coefficients λi are strictly positive.
Given a nonempty convex subset Q of Rn , the relative interior of Q, denoted
ri(Q), is its interior relative to its affine hull, that is,
ri(Q) := x ∈ Q : (x + εBn ) ∩ aff(Q) ⊆ Q for some ε > 0 .
Equivalently, a point x in Q is a relative interior point if and only if for any point y in
Q there is a positive number δ such that the segment joining the points x − δ(x − y)
and x + δ(x − y) entirely lies in Q. As a consequence, any strict convex combination
of a finite collection {x 1 , · · · , x k } belongs to the relative interior of its convex hull
(see also Lemma 6.4.8). It is important to note also that every nonempty convex set
in Rn has a nonempty relative interior. Moreover, if two convex sets Q 1 and Q 2 have
at least one relative interior point in common, then ri(Q 1 ∩ Q 2 ) = ri(Q 1 ) ∩ ri(Q 2 ).
Example 2.1.1 (Standard simplex) Let ei be the ith coordinate unit vector of Rn ,
that is its components are all zero except for the ith component equal to one. Let Δ
denote the convex hull of e1 , · · · , en . Then a vector x with components x1 , · · · , xn is
n
an element of Δ if and only if xi 0, i = 1, · · · , n and i=1 xi = 1. This set has no
interior point. However, its relative interior consists of x with xi > 0, i = 1, · · · , n
n
and i=1 xi = 1. The set Δ is called the standard simplex of Rn (Fig. 2.7).
Caratheodory’s theorem
It turns out that the convex hull of a set Q in the space Rn can be obtained by convex
combinations of at most n + 1 elements of Q. First we see this for positive hull.
Set ti
ε = min t j and − : i ∈ I with si < 0
si
and express
12 2 Convex Polyhedra
x= ti a i − ε a j − si a i
i∈I i∈I \{ j}
= (t j − ε)a + j
(ti + εsi )a i .
i∈I \{ j}
It is clear that in the latter sum those coefficients corresponding to the indices that
realize the minimum in the definition of ε are equal to zero. By this, x lies in the
positive hull of less than |I | vectors of the collection. This contradiction completes
the proof.
Linear functionals
A particular case of linear operators is when the value space is one-dimensional. This
is the space of linear functionals on Rn and often identified with the space Rn itself.
Thus, each linear functional φ is given by a vector dφ by the formula
are open halfspaces bounded by the hyperplane Kerφ. Given a real number α and a
nonzero vector d of Rn , one also understands a hyperplane of type
H (d, α) = x ∈ Rn : d, x = α .
The sets
H+ (d, α) = x ∈ Rn : d, x α ,
H− (d, α) = x ∈ Rn : d, x α
Proof Let y be any point in Q. Since x is a relative interior point, there exists a
positive number δ such that x + t (y − x) ∈ Q for |t| δ. Applying d, . to this
point we obtain
d, x + t (y − x) = td, y 0
We shall mainly deal with two kinds of systems of linear equations and inequalities.
The first system consists of k inequalities
a i , x bi , i = 1, · · · , k, (2.1)
a i , x = bi , i = 1, · · · , k (2.2)
x 0.
and
Ax = b (2.4)
x 0.
Notice that any system of linear equations and inequalities can be converted to the
two matrix forms described above. To this end it suffices to perform three operations:
2.2 System of Linear Inequalities 15
x1 + 2x2 = 1,
−x1 − x2 0.
Redundant equation
Given a system (2.4) we say it is redundant if at least one of the equations (called
redundant equation) can be expressed as a linear combination of the others. In other
words, it is redundant if there is a nonzero k-dimensional vector λ such that
A T λ = 0,
b, λ = 0.
Moreover, redundant equations can be dropped from the system without changing
its solution set. Similarly, an inequation of (2.1) is called redundant if its removal
from the system does not change the solution set.
16 2 Convex Polyhedra
Proposition 2.2.2 Assume that k n and that the system (2.4) is consistent. Then
it is not redundant if and only if the matrix A has full rank.
Proof If one of equations, say a 1 , x = b1 , is redundant, then a 1 is a linear combina-
tion of a 2 , · · · , a k . Hence the rank of A is not maximal, it is less than k. Conversely,
when the rank of A is maximal (equal to k), no row of A is a linear combination of
the others. Hence no equation of the system can be expressed as a linear combination
of the others.
Farkas’ theorem
One of the theorems of the alternative that are pillars of the theory of linear and
nonlinear programming is Farkas’ theorem or Farkas’ lemma. There are a variety of
ways to prove it, the one we present here is elementary.
Theorem 2.2.3 (Farkas’ theorem) Exactly one of the following systems has a
solution:
(i) Ax = b and x 0;
(ii) A T y 0 and b, y < 0.
Proof If the first system has a solution x, then for every y with A T y 0 one has
Ax = b
has no solution, or it does have a solution, but every solution of it is not positive. In the
first case, choose m linearly independent columns of A, say a1 , · · · , am , where m is
the rank of A. Then the vectors a1 , · · · , am , b are linearly independent too (because
b does not lie in the space spanned by a1 , · · · , am ). Consequently, the system
ai , y = 0, i = 1, · · · , m,
b, y = −1
admits a solution. This implies that the system (ii) has solutions too. It remains to
prove the solvability of (ii) when Ax = b has solutions and they are all non-positive.
We do it by induction on the dimension of x. Assume n = 1. If the system ai1 x1 =
bi , i = 1, · · · , k has a negative solution x1 , then y = −(b1 , · · · , bk )T is a solution
of (ii) because A T y = −(a11 2 + · · · + a 2 )x > 0 and b, y = −(b2 + · · · + b2 ) < 0.
k1 1 1 k
Now assume n > 1 and that the result is true for the case of dimension n −1. Given an
n-vector x, denote by x the (n − 1)-vector consisting of the first (n − 1) components
of x. Let Ā be the matrix composed of the first (n − 1) columns of A. It is clear that
the system
2.2 System of Linear Inequalities 17
Āx = b and x 0
T
A y 0,
b, y < 0.
We claim that this system of k equations has no positive solution. Indeed, if not, say
ξ1 , · · · , ξn−1 were non-negative solutions, then the vector x with
xi = ξi , i = 1, · · · , n − 1,
1
xn = − a1 ξ1 + · · · + an−1 ξn−1 , y − b, y
an , y
T
should be a positive solution of (i) because −b, y > 0 and Aξ, y = ξ, A y 0
for ξ = (ξ1 , · · · , ξn−1 )T 0, implying xn 0. Applying the induction hypothesis
to (2.5) we deduce the existence of a k-vector ŷ with
âi , ŷ 0, i = 1, · · · , n − 1,
b̂, ŷ < 0.
Then the vector y = an , ŷy − an , y ŷ satisfies the system (ii). The proof is
complete.
A number of consequences can be derived from Farkas’ theorem which are useful
in the study of linear systems and linear programming problems.
Proof If (ii) has a solution y, then for a positive vector x with Ax = 0 one has
So (i) is not solvable. Conversely, if (i) has no solution, then applying Farkas’ theorem
to the inconsistent system
A 0
x= and x 0
cT 1
Ax − I z = 0,
x
0,
z
x
c, = 1,
z
where c is an (n + k)-vector whose n first components are all zero and the remaining
components are one. According to Corollary 2.2.4 it has no solution if and only if
the following system has a solution
AT
y c.
−I
AT B T y 0
=
eT 0 z 1
y
0.
z
A set that can be expressed as the intersection of a finite number of closed half-spaces
is called a convex polyhedron. A convex bounded polyhedron is called a polytope.
According to the definition of closed half-spaces, a convex polyhedron is the solution
set to a finite system of inequalities
20 2 Convex Polyhedra
a i , x bi , i = 1, · · · , k (2.6)
H = {x ∈ Rn : v, x = α}
x1 + x2 1 (2.7)
−x1 − x2 0 (2.8)
−x1 0. (2.9)
x
2.3 Convex Polyhedra 21
The polyhedron defined by (2.7) and (2.8) has no vertex. It has two one-dimensional
faces determined respectively by x1 + x2 = 1 and x1 + x2 = 0, and one two-
dimensional face, the polyhedron itself. The polyhedron defined by (2.7)–(2.9) has
two vertices (zero-dimensional faces) determined respectively by
x1 = 0 x1 = 0
and ,
x2 = 0 x2 = 1
Proof We prove (i) first. Assume F1 and F2 are two faces with nonempty intersection.
If they coincide, there is nothing to prove. If not, let H1 and H2 be two supporting
hyperplanes that generate these faces, say
H1 = x ∈ Rn : v 1 , x = α1 ,
H2 = x ∈ Rn : v 2 , x = α2 .
Since these hyperplanes contain the intersection of distinct faces F1 and F2 , the
vector v = v 1 + v 2 is not zero. Consider the hyperplane
H = x ∈ Rn : v, x = α1 + α2 .
v, x = v 1 , x + v 2 , x α1 + α2 . (2.10)
It remains to show that the intersection of H and P coincides with the intersection
F1 ∩ F2 . The inclusion
F1 ∩ F2 ⊆ H ∩ P
being clear, we show the converse. Let x be in H ∩ P. Then (2.10) becomes equality
for this x. But v 1 , x α1 and v 2 , x α2 , so that equality of (2.10) is possible
only when the two latter inequalities are equalities. This proves that x belongs to
both F1 and F2 .
22 2 Convex Polyhedra
For the second assertion notice that if F1 and F2 have a relative interior point in
common, then in view of Theorem 2.1.4, the functional v 1 , . is constant on F2 . It
follows that F2 ⊆ H1 ∩ P ⊆ F1 . Similarly, one has F1 ⊆ F2 , and hence equality
holds.
Let x be a solution of the system (2.6). Define the active index set at x to be the
set
I (x) = i ∈ {1, · · · , k} : a i , x = bi .
a i , x = bi , i ∈ I (2.11)
a , x b j , j ∈ {1, · · · , k}\I,
j
(2.12)
Proof Denote the solution set to the system (2.11, 2.12) by F that we suppose
nonempty. To prove that it is a face, we set
v= a i and α = bi .
i∈I i∈I
Notice that v is nonzero because F is not empty and the system (2.6) is not redundant.
It is clear that the negative half-space H− (v, α) contains P. Moreover, if x is a
solution to the system, then, of course, x belongs to P and to H at the same time,
which implies F ⊆ H ∩ P. Conversely, any point x of the latter intersection satisfies
a i , x bi , i = 1, · · · , k,
a i , x = bi .
i∈I i∈I
The latter equality is possible only when those inequalities with indices from I are
equalities. In other words, x belongs to F .
Now, let F be a proper face of P. Pick a relative interior point x of F and consider
the system (2.11, 2.12) with I = I (x) the active index set of x. Being a proper face of
P, F has no interior point, and so the set I is nonempty. As before, F is the solution
set to that system. By the first part, it is a face. We wish to show that it coincides with
F. For this, in view of Proposition 2.3.2 it suffices to show that x is also a relative
interior point of F . Let x be another point in F . We have to prove that there is a
positive number δ such that the segment [x, x + δ(x − x)] lies in F . Indeed, note
2.3 Convex Polyhedra 23
that for indices j outside the set I , inequalities a j , x b j are strict. Therefore,
there is δ > 0 such that
a j , x + δa j , x − x b j
for all j ∈
/ I . Moreover, being a linear combination of x and x, the endpoint x +
δ(x − x) satisfies the equalities (2.11) too. Consequently, this point belongs to F ,
and hence so does the whole segment. Since F and F are two faces with a relative
interior point in common, they must be the same.
In general, for a given face F of P, there may exist several index sets I for which
F is the solution set to the system (2.11, 2.12). We shall, however, understand that
no inequality can be equality without changing the solution set when saying that the
system (2.11, 2.12) determines the face F. So, if two inequalities combined yields
equality, their indices will be counted in I .
Corollary 2.3.4 If an m-dimensional convex polyhedron has a vertex, then it has
faces of any dimension less than m.
Proof The corollary is evident for a zero-dimensional polyhedron. Suppose P is a
polyhedron of dimension m > 0. By Theorem 2.3.3 without loss of generality we
may assume that P is given by the system (2.11, 2.12) with |I | = n − m and that
the family {a i , i ∈ I } is linearly independent. Since P has a vertex, there is some
i 0 ∈ {1, · · · , k}\I such that the vectors a i , i ∈ I ∪ {i 0 } are linearly independent.
Then the system
a i , x = bi , i ∈ I ∪ {i 0 },
a j , x b j , j ∈ {1, · · · , k}\(I ∪ {i 0 })
I (x) ⊇ I.
a i , x = bi , i ∈ I,
a j , x < b j , j ∈ {1, · · · , k}\I.
a i , y = bi , i ∈ I (x),
a j , y b j , j ∈ {1, · · · , k}\I (x).
Since the system (2.11, 2.12) determines F, we have I (x) ⊆ I , and hence equality
follows.
Corollary 2.3.6 Let F be a face of the polyhedron P determined by the system (2.11,
2.12). Then a point v ∈ F is a vertex of F if and only if it is a vertex of P.
Proof It is clear from Proposition 2.3.2(ii) that relative interiors of different faces
are disjoint. Moreover, given a point x in P, consider the active index set I (x). If
it is empty, then the point belongs to the interior of P and we are done. If it is not
empty, by Corollary 2.3.5, the face determined by system (2.11, 2.12) with I = I (x)
contains x in its relative interior. The proof is complete.
Proof The corollary is evident when the dimension of a polytope is less or equal
to one in which case it is a point or a segment with two end-points. We make the
induction hypothesis that the corollary is true when a polytope has dimension less
than m with 1 < m < n and prove it for the case when P is a polytope determined by
the system (2.6) and has dimension equal to m. Since P is a convex set, the convex
hull of its vertices is included in P itself. Conversely, let x be a point of P. In view of
2.3 Convex Polyhedra 25
Corollary 2.3.9 A nontrivial polyhedral cone with vertex is the convex hull of its
one-dimensional faces.
a i , x 0, i = 1, · · · , k. (2.13)
a 1 + · · · + a k , x − y = 0. (2.14)
a j , x = 0, j ∈ J (2.15)
a + · · · + a k , x = a 1 + · · · + a k , y,
1
It is clear that (2.15) and (2.16) determine a one-dimensional face of P whose inter-
section with H is v.
26 2 Convex Polyhedra
and strict inequality is true for some of them (Fig. 2.9). The following result can be
considered as a version of Farkas’ theorem or Gordan’s theorem.
Theorem 2.3.10 If P and Q are convex polyhedra without relative interior points
in common, then there is a nonzero vector separating them.
Proof We provide a proof for the case where both P and Q have interior points only.
Without loss of generality we may assume that P is determined by the system (2.6)
and Q is determined by the system
d j , x c j , j = 1, · · · , m.
a i , x < bi , i = 1, · · · , k
d j , x < c j , j = 1, · · · , m
has no solution because the first k inequalities determine the interior of P and the last
m inequalities determine the interior of Q. This system is equivalent to the following
one: ⎛ ⎞ ⎛ ⎞
−A b 0
⎝ −D c ⎠ x > ⎝ 0 ⎠ ,
t
01 0
P
Q
2.3 Convex Polyhedra 27
A T λ + D T μ = 0,
b, λ + c, μ + s = 0.
It follows from the latter equality that (λ, μ) is nonzero. We may assume without
loss of generality that λ = 0. We claim that A T λ = 0. Indeed, if not, choose x an
interior point of P and y an interior point of Q. Then D T μ = 0 and hence
and
c, μ Dy, μ = y, D T μ = 0,
v, x = −A T λ, x = λ, −Ax λ, −b μ, c μ, Dy = v, y.
Of course inequality is strict when x and y are interior points. By this v separates P
and Q as requested.
Asymptotic cones
Given a nonempty convex and closed subset C of Rn , we say that a vector v is an
asymptotic or a recession direction of C if
x + t x ∈ C for all x ∈ C, t 0.
C∞
x + tv = lim (x + tts x s )
s→∞
The set C being closed and convex, the points under the latter limit belong to the set
C, and therefore their limit x + tv belongs to C too. Since x and t > 0 were chosen
arbitrarily we conclude that v ∈ C∞ .
a i , v 0, i = 1, · · · , k. (2.17)
Proof Let v be an asymptotic direction of P. Then for every positive number t one
has
a i , x + tv bi , i = 1, · · · , k,
where x is any point in P. By dividing both sides of the above inequalities by t > 0
and letting this t tend to ∞ we derive (2.17). For the converse, if v is a solution of
(2.17), then for every point x in P one has
a i , x + tv = a i , x + ta i , v bi , i = 1, · · · , k
2.3 Convex Polyhedra 29
−x1 − x2 − x3 −1,
x3 1,
x1 , x2 , x3 0.
−x1 − x2 − x3 0,
x3 0,
x1 , x2 , x3 0,
Using asymptotic directions we are also able to tell whether a convex polyhedron
has a vertex or not. A cone is called pointed if it contains no straight line. When a
cone C is not pointed, it contains a nontrivial linear subspace C ∩ (−C), called also
the lineality space of C.
Corollary 2.3.14 A convex polyhedron has vertices if and only if its asymptotic cone
is pointed. Consequently, if a convex polyhedron has a vertex, then so does any of its
faces.
Proof It is easy to see that when a polyhedron has a vertex, it contains no straight
line, and hence its asymptotic cone is pointed. We prove the converse by induction
on the dimension of the polyhedron. The case where a polyhedron is of dimension
less or equal to one is evident because a polyhedron with a pointed asymptotic cone
is either a point or a segment or a ray, hence it has a vertex. Assume the induction
hypothesis that the conclusion is true for all polyhedra of dimension less than m with
1 < m < n. Let P be m-dimensional with a pointed asymptotic cone. If P has no
proper face, then the inequalities (2.6) are strict, which implies that P is closed and
open at the same time. This is possible only when P coincides with the space Rn
which contradicts the hypothesis that P∞ is pointed. Now, let F be a proper face of
P. Its asymptotic cone, being a subset of the asymptotic cone of P is pointed too.
By induction, it has a vertex, which in view of Corollary 2.3.6 is also a vertex of P.
To prove the second part of the corollary it suffices to notice that if a face of P
has no vertex, by the first part of the corollary, its asymptotic cone contains a straight
line, hence so does the set P itself.
Corollary 2.3.15 A convex polyhedron with vertex is the convex hull of its vertices
and extreme directions.
Proof We conduct the proof by induction on the dimension of the polyhedron. The
corollary is evident when a polyhedron is zero or one-dimensional. We assume that
it is true for all convex polyhedra of dimension less than m with 1 < m < n and
prove it for an m-dimensional polyhedron P determined by system
a i , x = bi , i ∈ I
a j , x b j , j ∈ {1, · · · , k}\I,
Corollary 2.3.16 Every convex polyhedron is the sum of a bounded polyhedron and
its asymptotic cone.
x = x 1 + x 2 = y 1 + (x 1 − y 1 ) + y 2 = y + (x 1 − y 1 ) ∈ y + M ⊆ P,
is nonempty by Corollary 2.3.14. It follows from Corollary 2.3.18 below that the
asymptotic cone of P is the sum of the asymptotic cone of P⊥ and M. We deduce
P = Q + (P⊥ )∞ + M = Q + P∞ as requested.
The following calculus rule for asymptotic directions under linear transformations
is useful.
Corollary 2.3.17 Let P be the polyhedron determined by the system (2.6) and let L
be a linear operator from Rn to Rm . Then
L(P∞ ) = [L(P)]∞ .
Proof The inclusion L(P∞ ) ⊆ [L(P)]∞ is true for any closed convex set. Indeed,
if u is an asymptotic direction of P, then for every x in P and for every positive
number t one has x + tu ∈ P. Consequently, L(x) + t L(u) belongs to L(P) for all
t 0. This means that L(u) is an asymptotic direction of L(P). For the converse
inclusion, let v be a nonzero asymptotic direction of L(P). By definition, for a fixed
x of P, vectors L(x)+tv belong to L(P) for any t 0. Thus, there are x 1 , x 2 , · · · in
ν
P such that L(x ν ) = L(x) + νv, or equivalently v = L( x ν−x ) for all ν = 1, 2, · · ·
ν
Without loss of generality we may assume that the vectors x ν−x converge to some
nonzero vector u as ν tends to ∞. Then
xν x
a i , u = lim a i , − a i , 0
ν→∞ ν ν
for all i = 1, · · · , k. In view of Theorem 2.3.12 the vector u is an asymptotic direction
of P and v = L(u) ∈ L(P∞ ) as requested.
(P)∞ ⊆ (P1 )∞
(P1 × P2 )∞ = (P1 )∞ × (P2 )∞
(P1 + P2 )∞ = (P1 )∞ + (P2 )∞ .
Proof The first two expressions are direct from the definition of asymptotic direc-
tions. For the third expression consider the linear transformation L from Rn × Rn to
Rn defined by L(x, y) = x + y, and apply Corollary 2.3.17 and the second expression
to conclude.
Polar cones
Given a cone C in Rn , the (negative) polar cone of C (Fig. 2.11) is the set
The polar cone of C ◦ is called the bipolar cone of C. Here is a formula to compute
the polar cone of a polyhedral cone.
Theorem 2.3.19 The polar cone of the polyhedral cone determined by the system
a i , x 0, i = 1, · · · , k,
a i , x 0, i = 1, · · · , k,
v, x > 0.
y1 a 1 + · · · + yk a k = v,
y1 , · · · , yk 0
x1 − x2 0,
x3 = 0.
C◦
2.3 Convex Polyhedra 33
Corollary 2.3.22 The bipolar cone of a polyhedral cone C coincides with the cone
C itself.
a i , v 0, i = 1, · · · , k,
Corollary 2.3.23 A vector v belongs to the polar cone of the asymptotic cone of a
convex polyhedron if and only if the linear functional v, . attains its maximum on
the polyhedron.
Proof It suffices to consider the case where v is nonzero. Assume v belongs to the
polar cone of the asymptotic cone P∞ . In virtue of Theorems 2.3.12 and 2.3.19, it is
a positive combination of the vectors a 1 , · · · , a k . Then the linear functional v, . is
majorized by the same combination of real numbers b1 , · · · , bk on P. Let α be its
supremum on P. Our aim is to show that this value is realizable, or equivalently, the
system
34 2 Convex Polyhedra
a i , x bi , i = 1, · · · , k
v, x α
is solvable. Suppose to the contrary that the system has no solution. In view of
Corollary 2.2.4, there are a positive vector y and a real number t 0 such that
tv = A T y,
tα = b, y + 1.
1 T
v, x r = A y, x r
t
1
y, b
t
1
α− ,
t
which is a contradiction when r is sufficiently large.
For the converse part, let x be a point in P where the functional v, . achieves its
maximum. Then
v, x − x 0 for all x ∈ P.
In particular,
v, u 0 for all u ∈ P∞ ,
Normal cones
Given a convex polyhedron P determined by the system (2.6) and a point x in P, we
say that a vector v is a normal vector to P at x if
The set of all normal vectors to P at x forms a convex cone called the normal cone to
P at x and denoted N P (x) (Fig. 2.12). When x is an interior point of P, the normal
cone at that point is zero. When x is a boundary point, the normal cone is computed
by the next result.
Theorem 2.3.24 The normal cone to the polyhedron P at a boundary point x of P
is the positive hull of the vectors a i with i being active indices at the point x.
Proof Let x be a boundary point in P. Then the active index set I (x) is nonempty.
Let v be an element of the positive hull of the vectors a i , i ∈ I (x), say
v= λi a i with λi 0, i ∈ I (x).
i∈I (x)
Then for every point x in P and every active index i ∈ I (x), one has
a i , x − x = a i , x − bi 0,
which yields
v, x − x = λi a i , x − x 0.
i∈I (x)
a i , y 0, i ∈ I (x).
This will certainly complete the proof because the normal cone to that polyhedron
is exactly its polar cone, the formula of which was already given in Theorem 2.3.19.
Observe that normality condition (2.18) can be written as
a i , y = ta i , x − x 0,
P
y
x
NP (y) + y
NP (x) + x
a j , x + ta j , y b j
a i , x + t y = a i , x + ta i , y bi .
x1 + x2 + x3 1,
−2x1 − 3x2 −1,
x1 , x2 , x3 0.
x1 + x2 + x3 = 1,
x2 = 0,
x3 = 0,
Hence the normal cone at the vertex v1 is the positive hull of the vectors u 1 =
(1, 1, 1)T , u 2 = (0, −1, 0)T and u 3 = (0, 0, −1)T . Notice that u 1 generates
the normal cone at the point (1/3, 1/3, 1/3)T on the two-dimensional face F1 =
co{v1 , v2 , v6 , v5 }, u 2 generates the normal cone at the point (2/3, 0, 1/4)T on the
two-dimensional face F2 = co{v1 , v4 , v5 }, and the positive hull of u 1 and u 2 is the
normal cone at the point (3/4, 0, 1/4)T on the one-dimensional face [v1 , v5 ] that is
the intersection of the two-dimensional faces F1 and F2 .
It is to point out a distinction between this cone and the cone N (P), the normal cone
to P when P is considered as a face of itself. We shall see now that the collection N
of all normal cones N (Fi ), i = 1, · · · , q, is a nice dual object of the collection F.
a i , x bi , i = 1, · · · , k.
and coincides with the polar cone of the asymptotic cone of P. In particular,
it is a polyhedral cone, and it is the whole space if and only if P is a polytope
(bounded polyhedron).
38 2 Convex Polyhedra
Proof For the first property it is evident that N P is contained in the union of the right
hand side. Let x ∈ P. There exists an index i ∈ {1, · · · , k} such that x ∈ ri(Fi ).
Then N P (x) = N (Fi ) and equality of (i) is satisfied. To prove that N P coincides
with (P∞ )◦ , let v be a vector of the normal cone N (Fi ) for some i. Choose a relative
interior point x0 of the face Fi . Then, by definition,
By Corollary 2.3.23 the vector v belongs to the polar cone of the cone P∞ . Conversely,
let v be in (P∞ )◦ . In view of the same corollary, the linear functional v, . attains
its maximum on P at some point x, which means that
N (F j ) = N P (x j ) ⊂ N (Fi ).
N0 = pos{a : ∈ I0 } ⊆ N (Fi )
for some I0 ⊆ I Fi , which contains N (F j ) as a proper subset and such that its relative
interior meets N (F j ) at some point, say v0 . Let F0 be the solution set to the system
a , x = b , ∈ I0 ,
a , x b , ∈ {1, · · · , p}\I0 .
Since u, y − x 0 for all u ∈ N (Fi ) and v is a relative interior point of N (Fi ),
one deduces
u, x − y = 0 for all u ∈ N (Fi ).
a , x = b , ∈ I,
a , x b , ∈ {1, · · · , p}\I .
a , u = 0 for ∈ I,
a , u < 0 for ∈ I Fi \I .
Take x ∈ ri(Fi ) and consider the point x + tu with t > 0. One obtains
a , x + tu = b , ∈ I,
Consequently,
N (F) = N P (x + tu) = pos{a : ∈ I } = N
−x1 − x2 −1,
−x1 + x2 1,
−x2 0.
−x1 − x2 0,
−x1 + x2 0,
−x2 0,
Next we prove that the normal cone of a face is obtained from the normal cones
of its vertices.
2.3 Convex Polyhedra 41
Corollary 2.3.28 Assume that a face F of P is the convex hull of its vertices
v 1 , · · · , v q . Then
q
N (F) = N P (v i ).
i=1
q
Proof The inclusion N (F) ⊆ i=1 N P (v i ) is clear from (ii) of Theorem 2.3.26.
We prove the converse inclusion. Let u be a nonzero vector of the intersection
q
i=1 N P (v ). Let x be a relative interior point of F. Then x is a convex combi-
i
q
x= λi v i
i=1
This implies
q
q
u, x − x = u, λi x − λi v i
i=1 i=1
q
= λi u, x − v i 0
i=1
Combining this corollary with Corollary 2.3.8 we conclude that the normal cone
of a bounded face is the intersection of the normal cones of all proper faces of that
bounded face. This is not true for unbounded faces, for instance when a face has no
proper face.
Ax = b (2.19)
x 0.
Random documents with unrelated
content Scribd suggests to you:
CHAPTER VII
MYSTERY SHIP
Johnny did not reply. Truth was, he did not know what [73]
he had expected. It was strange about that airplane. He
had been watching it off and on for twenty minutes. All
that time it had been circling above the ball field. At first
it had seemed little more than a speck against the dull
gray of a leaden sky. Moment by moment it had circled
lower.
He did not finish. Came the crack of a bat and the ball
went soaring high and far.
“Yea! Yea! Yea!” The crowd sprang to its feet and
howled madly. “Yea! Yea! Yea! Prince! Prince! Prince!”
For all that, the airplane did circle lower and lower.
There was too in the mysterious pitcher’s action a
suggestion of tense nervousness that was hard to
explain.
A bat cracked. A ball popped into the air. The pitcher [77]
had it. One man down.
[82]
CHAPTER VIII
STRANGE PASSENGERS
And indeed they must. They had lost one game, could
not afford to lose another.
“Strike!”
“Ball!”
“There you are!” the big voice roared. “Two and three! [86]
Let’s see you get out of that!”
“But then, there’ll not be the need.” He smiled. “Our old [88]
friend, the ‘Prince’ will lead us to sure victory next time.”
“In a town like this?” Doug exclaimed. “It sure does [89]
seem strange!” Had he but known it, those were the
very words that were passing from lip to lip all over this
quiet little city. “A strange pitcher! A mysterious dark
stranger! And in a town like this!” That was what they
were saying. And, almost without exception, the answer
was, “Just think, in a town like this!”
“Well anyway,” Fred said, “he can pitch! And that’s just
what we need. We’ll just have to have him next
Wednesday when we go against Fairfield. They’re the
toughest battling bunch we’ll play for a long time. You
can’t count on me to lick them.”
“Two men in uniform came rushing up. One said, ‘Say! [94]
Where do you think you are?’
[96]
CHAPTER IX
“WHO’S AFRAID OF A
CHINAMAN?”
“Sure will.”
“No. Pop bottles would be bad for his eyes. Got forty
eyes, that umpire has.” Johnny laughed. “Guess the
crowd will go easy on that, though.
“Got to go.”
“So they’re looking for Tao Sing, those Federal agents,” [100]
he thought. “Wonder why? Wonder if the think-o-graphs
and the thought-camera have anything to do with that?”
He recalled his visit to the Chinese Chamber of
Commerce, of the pictures he had taken of Wung Lu’s
thoughts and how he had delivered them to Tao Sing.
The thought was disturbing. “Ought not to have been
snooping round gathering up another fellow’s thoughts,
then peddling them to someone else,” he grumbled.
“And yet—” ah yes, and yet—if he had not done that he
could not have had the thought-camera for his own use.
“Fellow’d think—”
[103]
CHAPTER X
CLUES FROM THE DUST
“No, but I’m going to,” Goggles replied. “It should not
be hard. They live here. They’re strangers in town.
They’d rent furnished rooms. All we have to do is to
check up on rentals.”
There was only one hitch—the men had checked out of [105]
the bungalow.
“Well now that’s fine!” (It did not sound fine to Johnny.) [107]
“But me and my pardners here moved out of this place
a short while back. We came here to get a few things
we forgot, didn’t we Joe?”
“Them shoes now,” the first voice went on. “We left ’em.
See you got ’em all cleaned up for us.” Goggles had
found a pair of shoes and had scraped the mud from
them in search of clues.
“Got what?”
“Now.” With a needle set into the end of an old pen- [109]
holder, he began dragging the stuff about, at the same
Welcome to our website – the perfect destination for book lovers and
knowledge seekers. We believe that every book holds a new world,
offering opportunities for learning, discovery, and personal growth.
That’s why we are dedicated to bringing you a diverse collection of
books, ranging from classic literature and specialized publications to
self-development guides and children's books.
ebookbell.com