Twierdzenie Straszewicza
Twierdzenie Straszewicza – twierdzenie geometrii wypukłej, mówiące, że dla każdego zwartego i wypukłego podzbioru przestrzeni euklidesowej zbiór punktów ekstremalnych zawiera się w domknięciu zbioru punktów eksponowanych zbioru symbolicznie:
W szczególności
tj. jest domknięciem otoczki wypukłej zbioru swoich punktów eksponowanych[1].
Twierdzenie udowodnione w 1935 roku przez Stefana Straszewicza[2].
Przypisy
- ↑ Schneider 1993 ↓, s. 18.
- ↑ S. Straszewicz, Über exponierte Punkte abgeschlossener Punktmengen, Fund. Math., 24 (1935), s. 139–143.
Bibliografia
- Rolf Schneider: Convex Bodies: The Brunn-Minkowski Theory. Cambridge University Press, 1993, seria: Encyclopedia of Mathematics and its Applications. ISBN 978-0521352208.