Blaschke selection theorem

From Wikipedia, the free encyclopedia

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

Contents

[edit] Alternate statements

  • 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).

[edit] Application

As an example of its use, the Moser worm problem can be shown to have a solution.[1] That is, there exists a convex universal cover of minimal size for the collection of planar curves of unit length.

[edit] Notes

  1. ^ Paul J. Kelly; Max L. Weiss (1979). Geometry and Convexity: A Study in Mathematical Methods. Wiley, Section 6.4. 

[edit] References