Большая Советская Энциклопедия (МА) - Большая Советская Энциклопедия "БСЭ" (бесплатные версии книг txt) 📗
2. История математики в 19 веке и начале 20 века.
Начало и середина 19 века. В начале 19 века происходит новое значительное расширение области приложений математического анализа. Если до этого времени основными отделами физики, требовавшими большого математического аппарата, оставались механика и оптика, то теперь к ним присоединяются электродинамика, теория магнетизма и термодинамика. Получают широкое развитие важнейшие разделы механики непрерывных сред, из которых только гидродинамика несжимаемой идеальной жидкости была создана ещё в 18 веке Д. Бернулли, Л. Эйлером, Ж. Д’Аламбером и Ж. Лагранжем. Быстро растут и математические запросы техники. В начале 19 века — это вопросы термодинамики паровых машин, технической механики, баллистики. В качестве основного аппарата новых областей механики и математической физики усиленно разрабатывается теория дифференциальных уравнений с частными производными и особенно теория потенциала . В этом направлении работает большинство крупных аналитиков начала и середины века — К. Гаусс, Ж. Фурье , С. Пуассон , О. Коши, П. Дирихле , Дж. Грин , М. В. Остроградский . М. В. Остроградский заложил основы вариационного исчисления для функций нескольких переменных. В результате исследований по уравнениям математической физики в работах Дж. Стокса и других английских математиков возникает векторный анализ.
Несмотря на господствовавшее в естествознании начала 19 века механистическое убеждение в возможности описать все природные явления дифференциальными уравнениями, под давлением запросов практики получает значительное дальнейшее развитие теория вероятностей. П. Лаплас и С. Пуассон создают с этой целью новый мощный аналитический аппарат. П. Л. Чебышев даёт строгое обоснование элементов теории вероятностей и доказывает свою знаменитую теорему (1867), объединившую в одной общей формулировке известные ранее формы закона больших чисел.
Как уже отмечалось, наряду с развитием работ, возникших из новых запросов естествознания и техники, чрезвычайное внимание математиков с самого начала 19 века привлекают вопросы строгого обоснования анализа (О. Коши, 1821, 1823). Н. И. Лобачевский (1834) и, позднее, П. Дирихле (1837) отчётливо сформулировали определение функции как совершенно произвольного соответствия. В 1799 К. Гаусс опубликовал первое доказательство основной теоремы алгебры, осторожно формулируя, однако, эту теорему в чисто действительных терминах (разложимость действительного многочлена на действительные множители первой и второй степени). Лишь значительно позже (1831) К. Гаусс явно изложил теорию комплексных чисел.
На основе ясного понимания природы комплексных чисел возникает теория функций комплексного переменного. К. Гаусс очень много знал в этой области, но почти ничего не опубликовал. Общие основы теории были заложены О. Коши, теория эллиптических функций была развита Н. Абелем и К. Якоби . Уже на этом этапе характерно, в отличие от чисто алгоритмического подхода 18 века, сосредоточение внимания на выяснении своеобразия поведения функций в комплексной области и основных господствующих здесь геометрических закономерностей (начиная с зависимости радиуса сходимости ряда Тейлора от расположения особых точек, открытой О. Коши). Этот в известном смысле слова «качественный» и геометрический характер теории функций комплексного переменного ещё усиливается в середине 19 века у Б. Римана . Здесь оказывается, что естественным геометрическим носителем аналитической функции в случае её многозначности является не плоскость комплексного переменного, а так называемая риманова поверхность, соответствующая данной функции. К. Вейерштрасс достигает той же общности, что и Б. Риман, оставаясь на почве чистого анализа. Однако геометрические идеи Б. Римана оказываются в дальнейшем всё более определяющими весь стиль мышления в области теории функций комплексного переменного.
В период увлечения теорией функций комплексного переменного крупнейшим представителем интереса к конкретным вопросам теории функций в действительной области является П. Л. Чебышев. Наиболее ярким выражением этой тенденции явилась созданная (начиная с 1854) П. Л. Чебышевым, исходившим из запросов теории механизмов, теория наилучших приближений.
В алгебре после упомянутого доказательства неразрешимости в радикалах общего уравнения пятой степени (П. Руффини , Н. Абель) Э. Галуа показал, что вопрос о разрешимости уравнений в радикалах зависит от свойств связанной с уравнением группы Галуа (см. Галуа теория ). Задача общего абстрактного изучения групп ставится А. Кэли. Следует отметить, что даже в алгебре всеобщее признание значения теории групп произошло только после работ К. Жордана в 70-х годах. От работ Э. Галуа и Н. Абеля берёт начало также понятие поля алгебраических чисел, приведшее к созданию новой науки — алгебраической теории чисел. На существенно новую ступень поднимается в 19 веке и разработка старых задач теории чисел, связанных с простейшими свойствами обычных целых чисел. К. Гаусс разрабатывает (1801) теорию представимости чисел квадратичными формами, П. Л. Чебышев получает (1848, 1850) основные результаты о плотности расположения в натуральном ряде простых чисел. П. Дирихле доказывает (1837) теорему о существовании бесконечного числа простых чисел в арифметических прогрессиях и т. д.
Дифференциальная геометрия поверхностей создаётся К. Гауссом (1827) и К. М. Петерсоном (1853). Для выработки новых взглядов на предмет геометрии основное значение, как уже было указано, имело создание Н. И. Лобачевским неевклидовой геометрии. Параллельно развивалась, долгое время независимо от неевклидовой геометрии, проективная геометрия (Ж. Понселе , Я. Штейнер , К. Штаудт и другие), также связанная с существенным изменением старых взглядов на пространство. Ю. Плюккер строит геометрию, рассматривая в качестве основных элементов прямые, Г. Грасман создаёт аффинную и метрическую геометрию n -мерного векторного пространства.
Уже в гауссовской внутренней геометрии поверхностей дифференциальная геометрия по существу также освобождается от неразрывной связи с геометрией Евклида: то, что поверхность лежит в трёхмерном евклидовом пространстве, является для этой теории случайным обстоятельством. Исходя из этого, Б. Риман создаёт (1854, опубликована 1866) концепцию n -мерного многообразия с метрической геометрией, определяемой дифференциальной квадратичной формой. Этим было положено начало общей дифференциальной геометрии n -мерных многообразий (см. Римановы геометрии ). Б. Риману же принадлежат и первые идеи в области топологии многомерных многообразий.
Конец 19 века и начало 20 века. Лишь в начале 70-х годов 19 века Ф. Клейн находит модель неевклидовой геометрии Лобачевского, которая окончательно устраняет сомнения в её непротиворечивости. Ф. Клейн подчиняет (1872) всё разнообразие построенных к этому времени «геометрий» пространств различного числа измерений идее изучения инвариантов той или иной группы преобразований. В это же время (1872) работы по обоснованию анализа получают необходимый фундамент в виде строгой теории иррациональных чисел (Р. Дедекинд , Г. Кантор и К. Вейерштрасс). В 1879—84 публикуются основные работы Г. Кантора по общей теории бесконечных множеств. Только после этого могли быть сформулированы современные общие представления о предмете М., строении математической теории, роли аксиоматики и т. д. Широкое их распространение потребовало ещё нескольких десятилетий (общее признание современной концепции строения геометрии обычно связывается с выходом в свет в 1899 «Оснований геометрии» Д. Гильберта ).
Дальнейшее углубление исследований по основаниям математики сосредоточивается на преодолении логических трудностей, возникших в общей теории множеств, и на исследовании строения математической теории и приёмов конструктивного решения математических задач средствами математической логики. Эти исследования возрастают в большой самостоятельный отдел М. — математическую логику. Основы математической логики создаются в 19 веке Дж. Булем , П. С. Порецким , Э. Шредером , Г. Фреге , Дж. Пеано и другими. В начале 20 века в этой области получены большие достижения (теория доказательств Д. Гильберта; интуиционистская логика, созданная Л. Брауэром и его последователями).
