Большая Советская Энциклопедия (МА)
Шрифт:
В период увлечения теорией функций комплексного переменного крупнейшим представителем интереса к конкретным вопросам теории функций в действительной области является П. Л. Чебышев. Наиболее ярким выражением этой тенденции явилась созданная (начиная с 1854) П. Л. Чебышевым, исходившим из запросов теории механизмов, теория наилучших приближений.
В алгебре после упомянутого доказательства неразрешимости в радикалах общего уравнения пятой степени (П. Руффини , Н. Абель) Э. Галуа показал, что вопрос о разрешимости уравнений в радикалах зависит от свойств связанной с уравнением группы Галуа (см. Галуа теория ). Задача общего абстрактного изучения групп ставится А. Кэли. Следует отметить, что даже в алгебре всеобщее признание значения теории групп произошло только после работ К. Жордана в 70-х годах. От работ Э. Галуа и Н. Абеля берёт начало также понятие поля алгебраических чисел, приведшее к созданию новой науки — алгебраической теории чисел. На существенно новую ступень поднимается в 19
Дифференциальная геометрия поверхностей создаётся К. Гауссом (1827) и К. М. Петерсоном (1853). Для выработки новых взглядов на предмет геометрии основное значение, как уже было указано, имело создание Н. И. Лобачевским неевклидовой геометрии. Параллельно развивалась, долгое время независимо от неевклидовой геометрии, проективная геометрия (Ж. Понселе , Я. Штейнер , К. Штаудт и другие), также связанная с существенным изменением старых взглядов на пространство. Ю. Плюккер строит геометрию, рассматривая в качестве основных элементов прямые, Г. Грасман создаёт аффинную и метрическую геометрию n– мерного векторного пространства.
Уже в гауссовской внутренней геометрии поверхностей дифференциальная геометрия по существу также освобождается от неразрывной связи с геометрией Евклида: то, что поверхность лежит в трёхмерном евклидовом пространстве, является для этой теории случайным обстоятельством. Исходя из этого, Б. Риман создаёт (1854, опубликована 1866) концепцию n– мерного многообразия с метрической геометрией, определяемой дифференциальной квадратичной формой. Этим было положено начало общей дифференциальной геометрии n– мерных многообразий (см. Римановы геометрии ). Б. Риману же принадлежат и первые идеи в области топологии многомерных многообразий.
Конец 19 века и начало 20 века. Лишь в начале 70-х годов 19 века Ф. Клейн находит модель неевклидовой геометрии Лобачевского, которая окончательно устраняет сомнения в её непротиворечивости. Ф. Клейн подчиняет (1872) всё разнообразие построенных к этому времени «геометрий» пространств различного числа измерений идее изучения инвариантов той или иной группы преобразований. В это же время (1872) работы по обоснованию анализа получают необходимый фундамент в виде строгой теории иррациональных чисел (Р. Дедекинд , Г. Кантор и К. Вейерштрасс). В 1879—84 публикуются основные работы Г. Кантора по общей теории бесконечных множеств. Только после этого могли быть сформулированы современные общие представления о предмете М., строении математической теории, роли аксиоматики и т. д. Широкое их распространение потребовало ещё нескольких десятилетий (общее признание современной концепции строения геометрии обычно связывается с выходом в свет в 1899 «Оснований геометрии» Д. Гильберта ).
Дальнейшее углубление исследований по основаниям математики сосредоточивается на преодолении логических трудностей, возникших в общей теории множеств, и на исследовании строения математической теории и приёмов конструктивного решения математических задач средствами математической логики. Эти исследования возрастают в большой самостоятельный отдел М. — математическую логику. Основы математической логики создаются в 19 веке Дж. Булем , П. С. Порецким , Э. Шредером , Г. Фреге , Дж. Пеано и другими. В начале 20 века в этой области получены большие достижения (теория доказательств Д. Гильберта; интуиционистская логика, созданная Л. Брауэром и его последователями).
Чрезвычайное развитие, превосходящее предшествующие периоды не только по количеству работ, но также по совершенству и силе методов и окончательности результатов, получают в конце 19 века и в начале 20 века все разделы М., начиная с самого старого из них — теории чисел. Э. Куммер , Л. Кронекер , Р. Дедекинд, Е. И. Золотарев и Д. Гильберт закладывают основы современной алгебраической теории чисел. Ш. Эрмит в 1873 доказывает трансцендентность числа e , немецкий математик Ф. Линдеман в 1882 — числа p, Ж. Адамар (1896) и Ш. Ла Валле Пуссен (1896) завершают исследования П. Л. Чебышева о законе убывания плотности расположения простых чисел в натуральном ряду. Г. Минковский вводит в теоретико-числовые исследования геометрические методы. В России работы по теории чисел после П. Л. Чебышева блестяще развивают, кроме уже упомянутого Е. И. Золотарёва, А. Н. Коркин ,
Г. Ф. Вороной и А. А. Марков .Центр тяжести алгебраических исследований переносится в её новые области: теорию групп, полей, колец и т. д. Многие из этих отделов алгебры получают глубокие применения в естествознании: в частности, теория групп — в кристаллографии, а позднее — в вопросах квантовой физики.
На границе между алгеброй и геометрией С. Ли создаёт (начиная с 1873) теорию непрерывных групп, методы которой позднее проникают во все новые области М. и естествознания.
Элементарная и проективная геометрия привлекают внимание математиков главным образом под углом зрения изучения их логических и аксиоматических основ. Но основными отделами геометрии, привлекающими наиболее значительные научные силы, становятся дифференциальная и алгебраическая геометрия . Дифференциальная геометрия евклидова трёхмерного пространства получает полное систематическое развитие в работах Э. Бельтрам , Г. Дарбу и других. Позднее бурно развивается дифференциальная геометрия различных более широких (чем группа евклидовых движений) групп преобразований и особенно дифференциальная геометрия многомерных пространств. Это направление геометрических исследований, получившее мощный импульс к развитию с возникновением общей теории относительности, создано прежде всего работами Т. Леви-Чивита , Э. Картана и Г. Вейля .
В связи с развитием более общих точек зрения теории множеств и теории функций действительного переменного теория аналитических функций в конце 19 века лишается того исключительного положения ядра всего математического анализа, которое намечается для неё в начале и середине 19 века. Однако она продолжает не менее интенсивно развиваться как в соответствии со своими внутренними потребностями, так и из-за обнаруживающихся новых связей её с другими отделами анализа и непосредственно с естествознанием. Особенно существенным в этом последнем направлении было выяснение роли конформных отображений при решении краевых задач для уравнений с частными производными (например, задачи Дирихле для уравнения Лапласа), при изучении плоских течений идеальной жидкости и в задачах теории упругости.
Ф. Клейн и А. Пуанкаре создают теорию автоморфных функций, в которой находит замечательные применения геометрия Лобачевского. Э. Пикар , А. Пуанкаре, Ж. Адамар, Э. Борель глубоко разрабатывают теорию целых функций, что позволяет, в частности, получить уже упоминавшуюся теорему о плотности расположения простых чисел. Геометрическую теорию функций и теорию римановых поверхностей развивают А. Пуанкаре, Д. Гильберт и другие. Конформные отображения находят применение в аэромеханике (Н. Е. Жуковский , С. А. Чаплыгин ).
В результате систематического построения математического анализа на основе строгой арифметической теории иррациональных чисел и теории множеств возникла новая отрасль М. — теория функций действительного переменного. Если ранее систематически изучались лишь функции, возникающие «естественно» из тех или иных специальных задач, то для теории функций действительного переменного типичен интерес к полному выяснению действительного объёма общих понятий анализа (в самом начале её развития Б. Больцано и позднее К. Вейерштрассом было, например, обнаружено, что непрерывная функция может не иметь производной ни в одной точке). Исследования по теории функций действительного переменного привели к общим определениям понятий меры множества , измеримых функций и интеграла , играющих важную роль в современной М. Основы современной теории функций действительного переменного заложили математики французской школы (К. Жордан, Э. Борель, А. Лебег , Р. Бэр), позднее ведущая роль переходит к русской и советской школе (см. Функций теория ).
Помимо своего непосредственного интереса, теория функций действительного переменного оказала большое влияние на развитие многих других отделов М. Выработанные в её пределах методы оказались особенно необходимыми при построении основ функционального анализа. Если в отношении методов функциональный анализ развивался под влиянием теории функций действительного переменного и теории множеств, то по своему содержанию и характеру решаемых в нём задач он примыкает непосредственно к классическому анализу и математической физике, становясь особенно необходимым (главным образом в форме операторов теории ) в квантовой физике. Впервые сознательное выделение функционального анализа как особой ветви М. было произведено В. Вольтерра в конце 19 века. В качестве частей функционального анализа воспринимаются теперь возникшее много ранее вариационное исчисление и теория интегральных уравнений , систематическое построение которой было начато тем же В. Вольтерра и продолжено Э. Фредгольмом . Наиболее важный специальный случай операторов в гильбертовом пространстве , основная роль которого выяснилась из работ Д. Гильберта по интегральным уравнениям, разрабатывается особенно интенсивно.