Convex polytopes and linear programming

[16/75%]
Show
LaTeX

Suppose that the unit ball BB of the normed space LL is a convex polyhedron. Construct a natural correspondence between the kk-dimensional faces of BB and the (n−k)(n-k)-dimensional faces of the unit ball B′B' in L′L'.

?

Find the greatest value MM and the smallest value mm of the function uu on the given set.

?
(1)

u=x+2y+3z,x+y⩽3,x+y⩽z,3x+3y⩾z,x⩾0u = x+2 y+3 z, x+y \leqslant 3, x+y \leqslant z, 3 x+3 y \geqslant z, x \geqslant 0, y⩾0y \geqslant 0

(2)

u=3z−y−2x,x+y⩾2,3x+y⩽6,0⩽z⩽3,x⩾0u = 3 z-y-2 x, x+y \geqslant 2,3 x+y \leqslant 6,0 \leqslant z \leqslant 3, x \geqslant 0;

(3)

u=x+y+z,x2+y2⩽z⩽1u = x+y+z, x^{2}+y^{2} \leqslant z \leqslant 1

(4)

u=x2+2y2+3z2,x2+y2+z2⩽100u = x^{2}+2 y^{2}+3 z^{2}, x^{2}+y^{2}+z^{2} \leqslant 100.

Prove that a subset of a flat PP of an affine space AA is a convex polytope in PP if and only if it is a convex polytope in AA.

?

Let a convex polytope MM in an affine space be given by a system of linear inequalities

fi(x)⩾0(i=1,…,k;fi≠ const ). f_{i}(x) \geqslant 0 \quad \left(i=1, \ldots , k ; \quad f_{i} \neq \text{ const }\right).

Prove that for every nonempty subset J⊆{1,…,k}J \subseteq \left\{ 1, \ldots , k\right\} the set MJM^{J}, defined by the conditions fi(x)=0f_{i}(x)=0 for i∈J,fi(x)⩾0i \in J, f_{i}(x) \geqslant 0 for i∉Ji \notin J, if nonempty, is a face of the polytope MM, and, conversely, every face of the polytope MM has the form MJM^{J} for some set J⊆{1,…,k}J \subseteq \left\{ 1, \ldots , k\right\}.

?

Find the vertices and describe the shape of the convex polytope in a three-dimensional affine space given by the inequalities

x1⩽1,x2⩽1,x3⩽1x1+x2⩾−1,x1+x3⩾−1,x2+x3⩾−1. \begin{gathered} x_{1} \leqslant 1, \quad x_{2} \leqslant 1, \quad x_{3} \leqslant 1 \\ x_{1}+x_{2} \geqslant -1, \quad x_{1}+x_{3} \geqslant -1, \quad x_{2}+x_{3} \geqslant -1. \end{gathered}
?

Prove that the maximum of an affine linear function on a compact convex set is attained at some extreme point (but may also be attained at other points).

?

Prove that the extreme points of a convex polytope are its vertices.

?

Prove that every bounded convex polytope coincides with the convex hull of the set of its vertices.

?

Prove that the convex hull of a finite number of points is a convex polytope.

?

Give, by a system of linear inequalities, the convex hull of the indicated points of a four-dimensional affine space, and find the three-dimensional faces of this convex polytope:

?
(a)

O=(0,0,0,0),a=(1,0,0,0),b=(0,1,0,0)O=(0,0,0,0), \quad a=(1,0,0,0), \quad b=(0,1,0,0), c=(1,1,0,0),d=(0,0,1,0),e=(0,0,0,1),f=(0,0,1,1);c=(1,1,0,0), \quad d=(0,0,1,0), \quad e=(0,0,0,1), \quad f=(0,0,1,1) ;

(b)

O=(0,0,0,0),a=(1,0,0,0),b=(0,1,0,0)O=(0,0,0,0), \quad a=(1,0,0,0), \quad b=(0,1,0,0), c=(0,0,1,0),d=(1,1,0,0),e=(1,0,1,0),f=(0,1,1,0)c=(0,0,1,0), \quad d=(1,1,0,0), \quad e=(1,0,1,0), \quad f=(0,1,1,0), g=(1,1,1,0),h=(0,0,0,1)g=(1,1,1,0), \quad h=(0,0,0,1).

Let FF be an affine bilinear function on the direct product of affine spaces AA and BB, and let MM and NN be compact convex subsets of the spaces AA and BB, respectively.

Prove that:

?
(a)

max⁡x∈Mmin⁡y∈NF(x,y)=min⁡y∈Nmax⁡x∈MF(x,y)\max_{x \in M} \min_{y \in N} F(x, y)=\min_{y \in N} \max_{x \in M} F(x, y);

(b)

there exist points x0∈M,y0∈Nx_{0} \in M, y_{0} \in N such that for all x∈Mx \in M, y∈Ny \in N

F(x,y0)⩽F(x0,y0)⩽F(x0,y). F\left(x, y_{0}\right) \leqslant F\left(x_{0}, y_{0}\right) \leqslant F\left(x_{0}, y\right).

Determine whether the polytopes given by the following inequalities are bounded:

?
(a)

−3x1+5x2⩽10,5x1+2x2⩽35,x1⩾0,x2⩾0;-3 x_{1}+5 x_{2} \leqslant 10, \quad 5 x_{1}+2 x_{2} \leqslant 35, \quad x_{1} \geqslant 0, \quad x_{2} \geqslant 0 ;

(b)

−x1+x2⩽2,5x1−x2⩽10-x_{1}+x_{2} \leqslant 2, \quad 5 x_{1}-x_{2} \leqslant 10;

(c)

3x1−x2⩾4,−x1+3x2⩾43 x_{1}-x_{2} \geqslant 4, \quad -x_{1}+3 x_{2} \geqslant 4;

(d)

−3x1+4x2⩽17,3x1+4x2⩽47,x1−x2⩽4,x1+x2⩾0-3 x_{1}+4 x_{2} \leqslant 17, \quad 3 x_{1}+4 x_{2} \leqslant 47, \quad x_{1}-x_{2} \leqslant 4, \quad x_{1}+x_{2} \geqslant 0;

(e)

−x1+2x2⩽6,5x1−2x2⩽26,x1+2x2⩾10-x_{1}+2 x_{2} \leqslant 6, \quad 5 x_{1}-2 x_{2} \leqslant 26, \quad x_{1}+2 x_{2} \geqslant 10;

(f)

5x1−2x2⩾6,5x1−2x2⩽36,2⩽x1⩽75 x_{1}-2 x_{2} \geqslant 6, \quad 5 x_{1}-2 x_{2} \leqslant 36, \quad 2 \leqslant x_{1} \leqslant 7.

Find the vertex points of the polytopes:

?
(a)

x1+2x2+x3+3x4+x5=5,x1+x3−2x4=3x_{1}+2 x_{2}+x_{3}+3 x_{4}+x_{5}=5, \quad x_{1}+x_{3}-2 x_{4}=3, x1⩾0,x2⩾0,x3⩾0,x4⩾0,x5⩾0;x_{1} \geqslant 0, \quad x_{2} \geqslant 0, \quad x_{3} \geqslant 0, \quad x_{4} \geqslant 0, \quad x_{5} \geqslant 0 ;

(b)

x1+x2−x3=10,x1−x2+7x3=7x_{1}+x_{2}-x_{3}=10, \quad x_{1}-x_{2}+7 x_{3}=7, x1⩾0,x2⩾0,x3⩾0;x_{1} \geqslant 0, \quad x_{2} \geqslant 0, \quad x_{3} \geqslant 0 ;

(c)

4x1+5x2+x3+x4=29,6x1−x2−x3+x4=114 x_{1}+5 x_{2}+x_{3}+x_{4}=29, \quad 6 x_{1}-x_{2}-x_{3}+x_{4}=11, x1⩾0,x2⩾0,x3⩾0,x4⩾0;x_{1} \geqslant 0, \quad x_{2} \geqslant 0, \quad x_{3} \geqslant 0, \quad x_{4} \geqslant 0 ;

(d)

x1+2x2+x3=4,2x1+2x2+5x3=5x_{1}+2 x_{2}+x_{3}=4, \quad 2 x_{1}+2 x_{2}+5 x_{3}=5, x1⩾0,x2⩾0,x3⩾0x_{1} \geqslant 0, \quad x_{2} \geqslant 0, \quad x_{3} \geqslant 0.

Find the maximum and minimum values of the linear function zz on a bounded polytope:

?
(a)

x1+2x2+x3+3x4+x5=5,2x1+x3−2x4=3x_{1}+2 x_{2}+x_{3}+3 x_{4}+x_{5}=5, \quad 2 x_{1}+x_{3}-2 x_{4}=3, x1⩾0,x2⩾0,x3⩾0,x4⩾0,x5⩾0x_{1} \geqslant 0, \quad x_{2} \geqslant 0, \quad x_{3} \geqslant 0, \quad x_{4} \geqslant 0, \quad x_{5} \geqslant 0, z=x1−2x2+x3+3x5z=x_{1}-2 x_{2}+x_{3}+3 x_{5};

(b)

3x1−x2+2x3+x4+x5=12,x1−5x2−x4+x5=−43 x_{1}-x_{2}+2 x_{3}+x_{4}+x_{5}=12, \quad x_{1}-5 x_{2}-x_{4}+x_{5}=-4, x1⩾0,x2⩾0,x3⩾0,x4⩾0,x5⩾0x_{1} \geqslant 0, \quad x_{2} \geqslant 0, \quad x_{3} \geqslant 0, \quad x_{4} \geqslant 0, \quad x_{5} \geqslant 0, z=4x1−x2+2x3+x5;z=4 x_{1}-x_{2}+2 x_{3}+x_{5} ;

(c)

5x1+2x2−x3+x4+x5=42,4x1−4x2+x3+x4=165 x_{1}+2 x_{2}-x_{3}+x_{4}+x_{5}=42, \quad 4 x_{1}-4 x_{2}+x_{3}+x_{4}=16, x1⩾0,x2⩾0,x3⩾0,x4⩾0,x5⩾0x_{1} \geqslant 0, \quad x_{2} \geqslant 0, \quad x_{3} \geqslant 0, \quad x_{4} \geqslant 0, \quad x_{5} \geqslant 0, z=x1−2x2+4x4−x5z=x_{1}-2 x_{2}+4 x_{4}-x_{5};

(d)

x1−3x2+x3+2x5=8,4x2−3x4−x5=3x_{1}-3 x_{2}+x_{3}+2 x_{5}=8, \quad 4 x_{2}-3 x_{4}-x_{5}=3, x1⩾0,x2⩾0,x3⩾0,x4⩾0,x5⩾0x_{1} \geqslant 0, \quad x_{2} \geqslant 0, \quad x_{3} \geqslant 0, \quad x_{4} \geqslant 0, \quad x_{5} \geqslant 0, z=x1−2x2+x3−x5z=x_{1}-2 x_{2}+x_{3}-x_{5}.

Prove that every bounded polytope is the convex hull of the set of its vertices.

?

Using Exercise 1 and Theorem 13 from § 3, Ch. 4, prove that the maximum of a linear function on a bounded polytope is attained at one of its vertices.

?

References

[KiGv88] Kirillov A.A., Gvishiani A.D. Теоремы и задачи функционального анализа. 2-е изд., Наука, 1988.
[ККЧ+03] Кудрявцев Л.Д., Кутасов А.Д., Чехлов В.И., Шабунин М.И. Функции многих переменных. 2-е изд., ФИЗМАТЛИТ, 2003.
[Кос15] Кострикин А.И. Сборник задач по алгебре. МЦНМО, 2015.
[Кос00] Кострикин А.И. Линейная алгебра. ФИЗМАТЛИТ, 2000.