Twierdzenie Bolzano-Weierstrassa

Twierdzenie Bolzana-Weierstrassa – jeden z podstawowych wyników w analizie matematycznej. Mówi ono, że każdy ograniczony ciąg liczb rzeczywistych zawiera podciąg zbieżny. We współczesnym ujęciu oznacza to, że domknięte i ograniczone podzbiory prostej rzeczywistej są ciągowo zwarte. Twierdzenie to jest bezpośrednim wnioskiem z twierdzenia Heinego-Borela, głoszącego, że podzbiór prostej jest zwarty wtedy i tylko wtedy, gdy jest on domknięty i ograniczony oraz z równoważności zwartości ze w przestrzeniach metryzowalnych. Twierdzenie było najpierw udowodnione przez czeskiego matematyka Bernarda Bolzana, ale jego praca pozostała niezauważona. Twierdzenie było później ponownie odkryte i udowodnione przez niemieckiego matematyka Karla Weierstrassa.