Blaschke selection theorem

From HandWiki
Short description: Any sequence of convex sets contained in a bounded set has a convergent subsequence

The Blaschke selection theorem is a result in topology and convex geometry about sequences of convex sets. Specifically, given a sequence [math]\displaystyle{ \{K_n\} }[/math] of convex sets contained in a bounded set, the theorem guarantees the existence of a subsequence [math]\displaystyle{ \{K_{n_m}\} }[/math] and a convex set [math]\displaystyle{ K }[/math] such that [math]\displaystyle{ K_{n_m} }[/math] converges to [math]\displaystyle{ K }[/math] in the Hausdorff metric. The theorem is named for Wilhelm Blaschke.

Alternate statements

  • A succinct statement of the theorem is that the metric space of convex bodies is locally compact.
  • Using the Hausdorff metric on sets, every infinite collection of compact subsets of the unit ball has a limit point (and that limit point is itself a compact set).

Application

As an example of its use, the isoperimetric problem can be shown to have a solution.[1] That is, there exists a curve of fixed length that encloses the maximum area possible. Other problems likewise can be shown to have a solution:

Notes

  1. 1.0 1.1 1.2 Paul J. Kelly; Max L. Weiss (1979). Geometry and Convexity: A Study in Mathematical Methods. Wiley. pp. Section 6.4. 
  2. Wetzel, John E. (July 2005). "The Classical Worm Problem --- A Status Report". Geombinatorics 15 (1): 34–42. 

References

ru:Теорема выбора Бляшке