The largest centrally symmetric subset (central shaded region) of a Reuleaux triangle and its reflection across the center of symmetry of the subset
In plane geometry the Kovner–Besicovitch measure is a number defined for any bounded convex set describing how close to being centrally symmetric it is. It is the fraction of the area of the set that can be covered by its largest centrally symmetric subset.[1]
Properties
This measure is one for a set that is centrally symmetric, and less than one for sets whose closure is not centrally symmetric. It is invariant under affine transformations of the plane. If is the center of symmetry of the largest centrally-symmetric set within a given convex body , then the centrally-symmetric set itself is the intersection of with its reflection across .[1]
Minimizers
The convex sets with the smallest possible Kovner–Besicovitch measure are the triangles, for which the measure is 2/3. The result that triangles are the minimizers of this measure is known as Kovner's theorem or the Kovner–Besicovitch theorem, and the inequality bounding the measure above 2/3 for all convex sets is the Kovner–Besicovitch inequality.[2] The curve of constant width with the smallest possible Kovner–Besicovitch measure is the Reuleaux triangle.[3]
Computational complexity
The Kovner–Besicovitch measure of any given convex polygon with vertices can be found in time by determining a translation of the reflection of the polygon that has the largest possible overlap with the unreflected polygon.[4]
Estermann measure, a measure of central symmetry defined using supersets in place of subsets
References
^ abcGrünbaum, Branko (1963), "Measures of symmetry for convex sets", in Klee, Victor L. (ed.), Convexity, Proceedings of Symposia in Pure Mathematics, vol. 7, Providence, Rhode Island: American Mathematical Society, pp. 233–270, MR0156259