Convex Body


Also found in: Wikipedia.

convex body

[′kän‚veks ′bäd·ē]
(mathematics)
A convex set that has at least one interior point.

Convex Body

 

a geometric body having the property that any segment joining two of its points is entirely contained within it. The body shown in Figure l,a is convex and that shown in Figure l,b is not. A sphere, a cube, a spherical segment, or a half-space are examples of convex bodies. Any connected part of a boundary of a convex body is called a convex surface. Through every point of the boundary of a convex body passes at least one plane of support having a point (or segment or part of a plane) in common with the boundary of the body but not intersecting it (plane P in Figure l,a). At points where the boundary of the convex body is a smooth surface, the plane of support will be tangential. At points where the smoothness of the surface is violated (as at the corner of a cube), an infinite number of planes of support can be drawn.

Figure 1

There are five types of convex bodies: finite (the boundary is a closed convex surface), infinite (the boundary is one infinite surface; for example, a convex body bounded by a paraboloid), cylinders infinite in both directions (the boundary is a closed convex cylindrical surface; for example, an infinite circular cylinder), layers between pairs of parallel surfaces; and all space. Convex bodies can be defined by a support function expressing the distance from the origin of coordinates to the support surface as a function of the outer normal to the convex body (that is, of a unit vector that is perpendicular to the support surface and directed toward that one of two half-spaces that is defined by this surface and which contains no points of the convex body).

Convex polyhedrons are the simplest convex bodies; they are convex bodies bounded by a finite number of polygons. For any finite convex body it is possible to construct polyhedrons approximating it to any degree. This makes it possible to solve many problems of convex bodies as follows: the problem is solved for convex polyhedrons, and then by going to the limit, the corresponding result is established for any convex body. For example, the areas of convex surfaces and the volumes of any convex bodies are determined in this way. In particular, it can be proved that if one finite convex body encompasses another, then the surface area of the first is greater than the surface area of the second. The method described was worked out in detail by A. D. Aleksandrov and is used to solve a variety of new problems in the theory of convex bodies.

The general theory of convex bodies and convex surfaces constitutes the so-called geometry of convex bodies. Problems in the geometry of convex bodies cover a wide range of questions: the general properties of convex bodies (theorems on support surfaces, classification of convex bodies, and approximation by polyhedrons), extreme properties of convex bodies (for example, of all convex bodies with a given volume, the sphere has the minimum surface), existence and uniqueness theorems about convex bodies with given proper-ties (for example, the theorem on the existence of a convex polyhedron with given directions and areas of faces), properties of various classes of convex bodies (for example, of bodies of constant width), general properties of convex sur-faces, existence and uniqueness theorems for convex surfaces, the internal geometry of convex surfaces, and others. The concept of convex bodies naturally arises in the geometry of spaces of constant curvature. Many of the problems listed above have been formulated and solved for convex bodies in such spaces. The methods and results of the theory of convex bodies are used in various branches of mathematics: in geometry, the theory of numbers, and mathematical analysis. The principles of the theory of convex bodies were established in the late 19th century by the German mathematicians H. Brunn and H. Minkowski. Major new results of this theory have been obtained by Soviet mathematicians A. D. Aleksandrov and A. V. Pogorelov.

REFERENCES

Aleksandrov, A. D. Vnutrenniaia geometriia vypuklykh poverkhnostei. Moscow-Leningrad, 1948.
Aleksandrov, A. D. Vypuklye mnogogranniki. Moscow-Leningrad, 1950.
Pogorelov, A. V. Vneshniaia geometriia vypuklykh poverkhnostei. Moscow, 1969.

E. G. POZNIAK

References in periodicals archive ?
The dual affine quermassintegrals were defined, for a convex body [mathematical expression not reproducible] and for 0 < j < n (see, e.g., [30], p.
When the geometric object is a convex body, there are many results from convex geometry.
They mainly investigated the ways in which a tetrahedral or a pentahedral cage may hold a disc (see [5]), or how small can be the length of a cage holding a given convex body (see [4]).
If [K.sub.1], [K.sub.2] [member of] [K.sup.n] and [[lambda].sub.1], [[lambda].sub.2] > 0 (not both zero), then there exists a convex body [[lambda].sub.1] * [K.sub.1]# [[lambda].sub.2] * [K.sub.2], such that
We will study a particular effect of geometry on the f-vector: if a polytope is close to a convex body whose boundary is sufficiently smooth, then the shape of the g-vector, and hence also of the f-vector is subject to additional constraints stronger than the ones of the general g-theorem.
Inspired by Steinhaus' rectification approach, Patrick Alfred Pierce Moran (1917-1988) published the method for the estimation of the surface area of a convex body, based on the identity Eq.
In this note we study the following problem: let K be a convex body in [R.sup.d] and consider a product of polynomials [q.sub.r], where q is arbitrary and r is a monic multivariate polynomial.
Radical styling involving a collection of concave and convex body lines give the car its own identity while still being an unmistakable BMW.
Radical styling involving a collection of concave and convex body lines give the new car its own identity while still being an unmistakable BMW.
where S(K; u) is the surface area measure of Th, K is a convex body containing the origin in its interior, and L is a compact convex set containing the origin.
The projection body of K [member of] K(V) is the convex body [PI]K [member of] K([V.sup.*]) whose support function is defined by