Convex sets
[37/62%]Prove that every flat of an affine space is the intersection of a finite number of half-spaces.
Prove that a subset of a flat of an affine space is a convex polytope in if and only if it is a convex polytope in .
Let a convex polytope in an affine space be given by a system of linear inequalities
Prove that for every nonempty subset the set , defined by the conditions for for , if nonempty, is a face of the polytope , and, conversely, every face of the polytope has the form for some set .
Let be points of an -dimensional affine space in general position, the hyperplane passing through all these points except , and the half-space bounded by it that contains the point . Prove that
Prove that the faces of an -dimensional simplex
are the convex hulls of all possible proper subsets of the set .
Find the faces of an -dimensional parallelepiped given, in some system of affine coordinates, by the inequalities , .
Find the vertices and describe the shape of the convex polytope in a three-dimensional affine space given by the inequalities
Find the vertices and describe the shape of the sections of the four-dimensional parallelepiped given by the inequalities , by the hyperplanes:
;
;
;
.
Prove that the closure of a convex set is convex.
Prove that the open kernel of a solid convex set is convex and its closure contains .
Prove that the image and the full preimage of a convex set under an affine map are convex sets.
Prove that:
under a surjective affine map, the full preimage of a hyperplane is a hyperplane;
the full preimage of a half-space is a half-space.
Prove that the convex hull of a set consists of all possible combinations of the form , where
Let be a convex set and . Prove that
Let be a subset of an -dimensional affine space . Prove that if , then conv is a union of -dimensional simplices with vertices at points of the set .
Prove that the convex hull of a compact set is compact.
Let be a convex subset of a two-dimensional affine space and (see 50.10). Prove that a line can be drawn through the point such that the set lies on one side of it.
Let be a convex subset of an -dimensional affine space and (see 50.10). Prove that a hyperplane can be drawn through the point such that the set lies on one side of it.
Prove that through any point of a closed convex set not belonging to its open kernel, a supporting hyperplane can be drawn.
Prove that every closed convex set is the intersection of (in general, infinitely many) half-spaces.
Prove that every closed convex cone in a vector space is the intersection of (in general, infinitely many) half-spaces whose boundaries pass through zero.
Let be affine linear functions on an affine space . Prove that the system of inequalities is inconsistent if and only if there exist numbers such that is a positive constant.
Let be a compact convex set containing a neighborhood of zero, in a vector space regarded as an affine space, and let
Prove that:
is a compact convex set in containing a neighborhood of zero;
under the canonical identification of with .
Prove that every compact convex set coincides with the convex hull of the set of its extreme points.
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:
,
, , .
Let and be convex sets in an affine space . Prove that:
the midpoints of the segments joining points of with points of form a convex set in the space ;
the vectors joining points of with points of form a convex set in the space .
Let and be disjoint closed convex sets in an affine space , one of which is bounded. Prove that there exists an affine linear function on such that for all and for all .
Let be a compact convex set in an affine space , a compact convex set in the vector space of all affine linear functions on , and suppose that for every point there is a function such that . Prove that there exists a function such that for all .
Let be an affine bilinear function on the direct product of affine spaces and , and let and be compact convex subsets of the spaces and , respectively.
Prove that:
;
there exist points such that for all ,
Prove that:
the maximal number of parts (convex polytopes) into which an -dimensional real affine space can be divided by hyperplanes equals
the number of parts is maximal if and only if the intersection of any of the given hyperplanes, for , is an -dimensional flat, and for is empty;
if the number of parts is maximal, then the number of bounded parts equals .
Determine whether the polytopes given by the following inequalities are bounded:
;
;
;
;
.
Find the vertex points of the polytopes:
,
,
,
, .
Find the maximum and minimum values of the linear function on a bounded polytope:
, , ;
, ,
, , ;
, , .