Projection Body
   HOME

TheInfoList



OR:

In
convex geometry In mathematics, convex geometry is the branch of geometry studying convex sets, mainly in Euclidean space. Convex sets occur naturally in many areas: computational geometry, convex analysis, discrete geometry, functional analysis, geometry of num ...
, the projection body \Pi K of a
convex body In mathematics, a convex body in n-dimensional Euclidean space \R^n is a compact convex set with non- empty interior. Some authors do not require a non-empty interior, merely that the set is non-empty. A convex body K is called symmetric if it ...
K in ''n''-dimensional
Euclidean space Euclidean space is the fundamental space of geometry, intended to represent physical space. Originally, in Euclid's ''Elements'', it was the three-dimensional space of Euclidean geometry, but in modern mathematics there are ''Euclidean spaces ...
is the convex body such that for any vector u\in S^, the
support function In mathematics, the support function ''h'A'' of a non-empty closed convex set ''A'' in \mathbb^n describes the (signed) distances of supporting hyperplanes of ''A'' from the origin. The support function is a convex function on \mathbb^n. Any ...
of \Pi K in the direction ''u'' is the (''n'' – 1)-dimensional volume of the projection of ''K'' onto the
hyperplane In geometry, a hyperplane is a generalization of a two-dimensional plane in three-dimensional space to mathematical spaces of arbitrary dimension. Like a plane in space, a hyperplane is a flat hypersurface, a subspace whose dimension is ...
orthogonal to ''u''.
Hermann Minkowski Hermann Minkowski (22 June 1864 – 12 January 1909) was a mathematician and professor at the University of Königsberg, the University of Zürich, and the University of Göttingen, described variously as German, Polish, Lithuanian-German, o ...
showed that the projection body of a convex body is convex. and used projection bodies in their solution to Shephard's problem. For K a convex body, let \Pi^\circ K denote the
polar body A polar body is a small haploid cell that is formed at the same time as an egg cell during oogenesis, but generally does not have the ability to be fertilized. It is named from its polar position in the egg. When certain diploid cells in animal ...
of its projection body. There are two remarkable affine
isoperimetric inequality In mathematics, the isoperimetric inequality is a geometric inequality involving the square of the circumference of a closed curve in the plane and the area of a plane region it encloses, as well as its various generalizations. '' Isoperimetric'' ...
for this body. proved that for all convex bodies K, : V_n(K)^ V_n(\Pi^\circ K)\le V_n(B^n)^ V_n(\Pi^\circ B^n), where B^n denotes the ''n''-dimensional unit ball and V_n is ''n''-dimensional volume, and there is equality precisely for ellipsoids. proved that for all convex bodies K, : V_n(K)^ V_n(\Pi^\circ K)\ge V_n(T^n)^ V_n(\Pi^\circ T^n), where T^n denotes any n-dimensional simplex, and there is equality precisely for such simplices. The intersection body ''IK'' of ''K'' is defined similarly, as the star body such that for any vector ''u'' the radial function of ''IK'' from the origin in direction ''u'' is the (''n'' – 1)-dimensional volume of the intersection of ''K'' with the hyperplane ''u''. Equivalently, the radial function of the intersection body ''IK'' is the
Funk transform In the mathematical field of integral geometry, the Funk transform (also known as Minkowski–Funk transform, Funk–Radon transform or spherical Radon transform) is an integral transform defined by integrating a function on great circles of the ...
of the radial function of ''K''. Intersection bodies were introduced by . showed that a centrally symmetric star-shaped body is an intersection body
if and only if In logic and related fields such as mathematics and philosophy, "if and only if" (often shortened as "iff") is paraphrased by the biconditional, a logical connective between statements. The biconditional is true in two cases, where either bo ...
the function 1/, , ''x'', , is a positive definite distribution, where , , ''x'', , is the
homogeneous function In mathematics, a homogeneous function is a function of several variables such that the following holds: If each of the function's arguments is multiplied by the same scalar (mathematics), scalar, then the function's value is multiplied by some p ...
of degree 1 that is 1 on the boundary of the body, and used this to show that the unit balls l, 2 < ''p'' ≤ ∞ in ''n''-dimensional space with the l''p'' norm are intersection bodies for ''n''=4 but are not intersection bodies for ''n'' ≥ 5.


See also

* Busemann–Petty problem * Shephard's problem


References

* * * * * * * *{{Citation , last1=Zhang , first1=Gaoyong , title=Restricted chord projection and affine inequalities , mr=1119653 , year=1991 , journal=
Geometriae Dedicata ''Geometriae Dedicata'' is a mathematical journal, founded in 1972, concentrating on geometry and its relationship to topology, group theory and the theory of dynamical systems. It was created on the initiative of Hans Freudenthal in Utrecht, the ...
, volume=39 , issue=4 , pages=213–222, doi=10.1007/BF00182294 Convex geometry