МИНИСТЕРСТВО ОБРАЗОВАНИЯ РЕСПУБЛИКИ БЕЛАРУСЬ

БЕЛОРУССКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ

МЕХАНИКО-МАТЕМАТИЧЕСКИЙ ФАКУЛЬТЕТ

ДОКЛАД
Идеи Б. Больцано в области теории функций

Бычковой Валерии
студентки 1 курса
магистратуры
КМиСА

Преподаватель:
профессор Н. В. Бровка

Минск, 2019
 Бернард Больцано родился 5 октября 1781 года в Праге. Труды
периода до 1819 года в основном относятся к теологии и философии, в них
оппонировал Канту, выступал против психологизма в логике.
Свободомыслие Больцано вызвало раздражение церковных властей, Папа
римский потребовал у австрийского императора сместить Больцано. В
1820 году решением императора Больцано был снят со всех постов в
университете и взят под надзор полиции. Больцано уехал в деревню и
посвятил себя математике и логике.

При жизни Больцано опубликовал только пять небольших работ по

математике и несколько анонимных философских трактатов. Они
значительно опередили научный уровень того времени и не привлекли
внимания научной общественности. Только в конце XIX века, когда эти
идеи независимо переоткрыли Вейерштрасс и Дедекинд, историки
обнаружили и оценили по заслугам сочинения Больцано, и прежде всего
его строгое обоснование математического анализа, построенное в работе
«Чисто аналитическое доказательство теоремы, что между любыми двумя
значениями, дающими результаты противоположного знака, лежит по
меньшей мере один вещественный корень уравнения». Больцано также на
четыре года раньше Коши и более строго, чем он, вывел необходимое
условие сходимости вещественных рядов. Больцано первым подошел к
арифметической теории действительного числа (в опубликованных
рукописях 1816—1819).

В работе 1830 года Больцано нашёл первые примеры непрерывных

нигде не дифференцируемых функций. В труде «Наукоучение» (1837,
нем.Wissenschaftslehre) представил объемлющее изложение традиционных
логических учений.

Работая над техникой доказательств в математическом анализе,

Больцано дал некоторые образцы теоретико-множественных рассуждений
(теорема о предельной точке, понятие о сходимости ряда и др.). В работе
«Парадоксы бесконечного» (нем. Paradoxien des Unendlichen), впервые
изданной уже посмертно в 1851 году, сформулировал идеи, близкие к
наивной теории множеств Кантора. В этой работе Больцано ввёл понятие
множества и взаимно-однозначного соответствия. Также в этой работе
было доказано утверждение о наличии предельной точки у любого
бесконечного ограниченного множества, ставшее позднее известным как
теорема Больцано — Вейерштрасса. Она используется при доказательстве
многих предложений анализа, например, теоремы о достижении
непрерывной на отрезке функцией своих точных верхней и нижней
граней. Больцано и немецкий математик Вейерштрасс независимо друг от
друга её сформулировали и доказали.

2
 Еще до Лобачевского аналогичная точка зрения на понятие функции
была высказана чешским математиком Б. Больцано. Таким образом,
современное определение функции, свободное от упоминания об
аналитическом задании, обычно приписываемое Дирихле, неоднократно
предлагалось и до него.