| has gloss | pol: Twierdzenie Lapunowa – twierdzenie teorii miar wektorowych głoszące, że obraz bezatomowej miary wektorowej o wartościach w rzeczywistej przestrzeni euklidesowej jest wypukły i zwarty. Twierdzenie udowodnione po raz pierwszy w roku 1940 przez radzieckiego matematyka Aleksjeja Lapunowa doczekało się wielu nowych dowodów, z których najbardziej znany pochodzi z pracy Jorama Lindenstraussa z roku 1966 . Mimo prostoty samego twierdzenia, każdy jego dowód jest nieefektywny (tzn. odwołuje się do pewnej wersji aksjomatu wyboru). W dowodzie Lindenstraussa wykorzystuje się tak silne wyniki jak twierdzenie Banacha-Alaoglu czy twierdzenie Kreina-Milmana. |