Mean width
   HOME

TheInfoList



OR:

In geometry, the mean width is a measure of the "size" of a body; see
Hadwiger's theorem In integral geometry (otherwise called geometric probability theory), Hadwiger's theorem characterises the valuations on convex bodies in \R^n. It was proved by Hugo Hadwiger. Introduction Valuations Let \mathbb^n be the collection of all c ...
for more about the available measures of bodies. In n dimensions, one has to consider (n-1)-dimensional hyperplanes perpendicular to a given direction \hat in S^, where S^n is the
n-sphere In mathematics, an -sphere or a hypersphere is a topological space that is homeomorphic to a ''standard'' -''sphere'', which is the set of points in -dimensional Euclidean space that are situated at a constant distance from a fixed point, cal ...
(the surface of a (n+1)-dimensional sphere). The "width" of a body in a given direction \hat is the distance between the closest pair of such planes, such that the body is entirely in between the two hyper planes (the planes only intersect with the boundary of the body). The mean width is the average of this "width" over all \hat in S^. More formally, define a compact body B as being equivalent to set of points in its interior plus the points on the boundary (here, points denote elements of \mathbb^n). The support function of body B is defined as : h_B(n)=\max\ where n is a direction and \langle,\rangle denotes the usual inner product on \mathbb^n. The mean width is then : b(B)=\frac \int_ h_B(\hat)+h_B(-\hat), where S_ is the (n-1)-dimensional volume of S^. Note, that the mean width can be defined for any body (that is compact), but it is most useful for convex bodies (that is bodies, whose corresponding set is a
convex set In geometry, a subset of a Euclidean space, or more generally an affine space over the reals, is convex if, given any two points in the subset, the subset contains the whole line segment that joins them. Equivalently, a convex set or a convex r ...
).


Mean widths of convex bodies in low dimensions


One dimension

The mean width of a line segment ''L'' is the length (1-volume) of ''L''.


Two dimensions

The mean width ''w'' of any compact shape ''S'' in two dimensions is ''p''/π, where ''p'' is the perimeter of the
convex hull In geometry, the convex hull or convex envelope or convex closure of a shape is the smallest convex set that contains it. The convex hull may be defined either as the intersection of all convex sets containing a given subset of a Euclidean space ...
of ''S''. So ''w'' is the diameter of a circle with the same perimeter as the convex hull.


Three dimensions

For convex bodies ''K'' in three dimensions, the mean width of ''K'' is related to the average of the
mean curvature In mathematics, the mean curvature H of a surface S is an ''extrinsic'' measure of curvature that comes from differential geometry and that locally describes the curvature of an embedded surface in some ambient space such as Euclidean space. The ...
, ''H'', over the whole surface of ''K''. In fact, : \int_ \frac dS = b(K) where \delta K is the boundary of the convex body K and dS a surface integral element, H is the
mean curvature In mathematics, the mean curvature H of a surface S is an ''extrinsic'' measure of curvature that comes from differential geometry and that locally describes the curvature of an embedded surface in some ambient space such as Euclidean space. The ...
at the corresponding position on \delta K. Similar relations can be given between the other measures and the generalizations of the mean curvature, also for other dimensions . As the integral over the mean curvature is typically much easier to calculate than the mean width, this is a very useful result.


See also

*
Curve of constant width In geometry, a curve of constant width is a simple closed curve in the plane whose width (the distance between parallel supporting lines) is the same in all directions. The shape bounded by a curve of constant width is a body of constant width ...


References

{{reflist


Further reading

The mean width is usually mentioned in any good reference on convex geometry, for instance, ''Selected topics in convex geometry'' by Maria Moszyńska (Birkhäuser, Boston 2006). The relation between the mean width and the mean curvature is also derived in that reference. The application of the mean width as one of the measures featuring in
Hadwiger's theorem In integral geometry (otherwise called geometric probability theory), Hadwiger's theorem characterises the valuations on convex bodies in \R^n. It was proved by Hugo Hadwiger. Introduction Valuations Let \mathbb^n be the collection of all c ...
is discussed in Beifang Chen in "A simplified elementary proof of Hadwiger's volume theorem." ''Geom. Dedicata'' 105 (2004), 107—120. Integral geometry