Zonoid
Template:Short description Template:DMCA Template:DMCA Template:CS1 config In convex geometry, a zonoid is a type of centrally symmetric convex body.
Definitions
The zonoids have several definitions, equivalent up to translations of the resulting shapes:[1]Template:R/superscript
- A zonoid is a shape that can be approximated arbitrarily closely (in Hausdorff distance) by a zonotope, a convex polytope formed from the Minkowski sum of finitely many line segments. In particular, every zonotope is a zonoid.[1]Template:R/superscript Approximating a zonoid to within Hausdorff distance requires a number of segments that (for fixed ) is near-linear in the dimension, or linear with some additional assumptions on the zonoid.[2]Template:R/superscript
- A zonoid is the range of an atom-free vector-valued sigma-additive set function. Here, a function from a family of sets to vectors is sigma-additive when the family is closed under countable disjoint unions, and when the value of the function on a union of sets equals the sum of its values on the sets. It is atom-free when every set whose function value is nonzero has a proper subset whose value remains nonzero. For this definition the resulting shapes contain the origin, but they may be translated arbitrarily as long as they contain the origin.[1]Template:R/superscript The statement that the shapes described in this way are closed and convex is known as Lyapunov's theorem.
- A zonoid is the convex hull of the range of a vector-valued sigma-additive set function. For this definition, being atom-free is not required.[1]Template:R/superscript
- A zonoid is the polar body of a central section of the unit ball of , the space of Lebesgue integrable functions on the unit interval. Here, a central section is the intersection of this ball with a finite-dimensional subspace of . This definition produces zonoids whose center of symmetry is at the origin.[1]Template:R/superscript
- A zonoid is a convex set whose polar body is a projection body.[1]Template:R/superscript
Examples
Every two-dimensional centrally-symmetric convex shape is a zonoid.[3]Template:R/superscript In higher dimensions, the Euclidean unit ball is a zonoid.[1]Template:R/superscript A polytope is a zonoid if and only if it is a zonotope.[2]Template:R/superscript Thus, for instance, the regular octahedron is an example of a centrally symmetric convex shape that is not a zonoid.[1]Template:R/superscript
The solid of revolution of the positive part of a sine curve is a zonoid, obtained as a limit of zonohedra whose generating segments are symmetric to each other with respect to rotations around a common axis.[4]Template:R/superscript The bicones provide examples of centrally symmetric solids of revolution that are not zonoids.[1]Template:R/superscript
Properties
Zonoids are closed under affine transformations,[2]Template:R/superscript under parallel projection,[5]Template:R/superscript and under finite Minkowski sums. Every zonoid that is not a line segment can be decomposed as a Minkowski sum of other zonoids that do not have the same shape as the given zonoid. (This means that they are not translates of homothetes of the given zonoid.)[1]Template:R/superscript
The zonotopes can be characterized as polytopes having centrally-symmetric pairs of opposite faces, and the zonoid problem is the problem of finding an analogous characterization of zonoids. Ethan Bolker credits the formulation of this problem to a 1916 publication of Wilhelm Blaschke.[3]Template:R/superscript
References
- ^ a b c d e f g h i j Page Module:Citation/CS1/styles.css has no content.Bolker, Ethan D. (1969), "A class of convex bodies", Transactions of the American Mathematical Society, 145: 323–345, doi:10.2307/1995073, JSTOR 1995073, MR 0256265
- ^ a b c Page Module:Citation/CS1/styles.css has no content.Bourgain, J.; Lindenstrauss, J.; Milman, V. (1989), "Approximation of zonoids by zonotopes", Acta Mathematica, 162 (1–2): 73–141, doi:10.1007/BF02392835, MR 0981200
- ^ a b Page Module:Citation/CS1/styles.css has no content.Bolker, E. D. (1971), "The zonoid problem", Research Problems, The American Mathematical Monthly, 78 (5): 529–531, doi:10.2307/2317764, JSTOR 2317764, MR 1536334
- ^ Page Module:Citation/CS1/styles.css has no content.Chilton, B. L.; Coxeter, H. S. M. (1963), "Polar zonohedra", The American Mathematical Monthly, 70 (9): 946–951, doi:10.2307/2313051, JSTOR 2313051, MR 0157282
- ^ Page Module:Citation/CS1/styles.css has no content.Ryabogin, Dmitry; Zvavitch, Artem (2014), "Analytic methods in convex geometry" (PDF), Analytical and probabilistic methods in the geometry of convex bodies, IMPAN Lect. Notes, vol. 2, Polish Acad. Sci. Inst. Math., Warsaw, pp. 87–183, ISBN 978-83-86806-24-9, MR 3329057, archived from the original (PDF) on 2024-12-17, retrieved 2024-12-08; see in particular section 4, "Zonoids and zonotopes"
Further reading
- Page Module:Citation/CS1/styles.css has no content.Goodey, Paul; Weil, Wolfgang (1993), "Zonoids and generalisations", in Gruber, Peter M.; Wills, Jörg M. (eds.), Handbook of Convex Geometry, vol. B, Elsevier, pp. 1297–1326, doi:10.1016/b978-0-444-89597-4.50020-2, ISBN 9780444895974
- Page Module:Citation/CS1/styles.css has no content.Schneider, Rolf; Weil, Wolfgang (1983), "Zonoids and related topics", in Gruber, Peter M.; Wills, Jörg M. (eds.), Convexity and Its Applications, Basel: Birkhäuser, pp. 296–317, doi:10.1007/978-3-0348-5858-8_13, ISBN 9783034858588
