Теорема Больцано — Вейерштрасса (лемма Больцано — Вейерштрасса о предельной точке) гласит, что из всякой ограниченной последовательности точек пространства можно выделить сходящуюся подпоследовательность. 3

Теорема названа по именам чешского математика Больцано и немецкого математика Вейерштрасса, которые независимо друг от друга её сформулировали и доказали. 3

Теорема выводится из свойства полноты множества действительных чисел. 23