Рихард Дедекинд¶

Рихард Дедекинд — немецкий математик, логик и философ, один из крупнейших представителей математики второй половины XIX века. Известен фундаментальными работами в области алгебры, теории чисел и оснований математики. Внёс решающий вклад в строгое определение понятия действительного числа (так называемые «дедекиндовы сечения»), а также в развитие теории алгебраических чисел и теории колец.

¶Биография

¶Ранние годы и образование

Юлиус Вильгельм Рихард Дедекинд родился 6 октября 1831 года в Брауншвейге (Герцогство Брауншвейг, ныне Германия). Его отец, Юлиус Левин Ульрих Дедекинд, был профессором права в Collegium Carolinum (предшественнике Брауншвейгского технического университета). Мать, Каролина Мария Энриетта, происходила из семьи академиков.

С 1848 по 1850 год Дедекинд учился в Collegium Carolinum, где получил основательную подготовку по математике и физике. В 1850 году поступил в Гёттингенский университет, где его учителями были Карл Фридрих Гаусс, Вильгельм Вебер и Бернхард Риман. В 1852 году Дедекинд защитил докторскую диссертацию под руководством Гаусса, посвящённую теории эйлеровых интегралов. В 1854 году он получил право на преподавание (хабилитацию) и стал приват-доцентом в Гёттингене.

¶Научная карьера

В 1858 году Дедекинд был назначен профессором в Цюрихском политехникуме (ныне Швейцарская высшая техническая школа Цюриха). В 1862 году он вернулся в Брауншвейг, где занял должность профессора в Collegium Carolinum. Здесь он проработал до выхода на пенсию в 1894 году, продолжая активные научные исследования.

Дедекинд вёл обширную переписку с ведущими математиками своего времени, включая Георга Кантора, Леопольда Кронекера, Карла Вейерштрасса и Давида Гильберта. Он был избран членом ряда академий наук, в том числе Берлинской (1880) и Гёттингенской (1892).

¶Последние годы

После выхода на пенсию Дедекинд продолжал публиковать работы и участвовать в научной жизни. Он скончался 12 февраля 1916 года в Брауншвейге.

¶Научные достижения

¶Теория действительных чисел: дедекиндовы сечения

Главное достижение Дедекинда — строгое построение теории действительных чисел на основе рациональных чисел. В 1872 году он опубликовал работу «Непрерывность и иррациональные числа» (Stetigkeit und irrationale Zahlen), где ввёл понятие сечения (Schnitt) в множестве рациональных чисел.

Сечение — это разбиение множества рациональных чисел на два непустых класса (нижний и верхний) таких, что каждое число нижнего класса меньше любого числа верхнего класса. Если в нижнем классе нет наибольшего числа, а в верхнем — наименьшего, то такое сечение определяет иррациональное число. Таким образом, Дедекинд показал, что множество действительных чисел можно рассматривать как множество всех сечений в множестве рациональных чисел. Этот подход позволил математически строго обосновать понятие непрерывности числовой прямой.

¶Теория алгебраических чисел

Дедекинд заложил основы современной теории алгебраических чисел. В 1871 году он опубликовал дополнения к «Лекциям по теории чисел» Петера Густава Лежёна Дирихле, где ввёл понятие алгебраического целого числа и идеала.

Он определил кольцо целых алгебраических чисел числового поля и показал, что в нём не всегда выполняется однозначность разложения на простые множители (как в обычных целых числах). Для преодоления этой проблемы Дедекинд ввёл понятие идеала — подмножества кольца, замкнутого относительно сложения и умножения на элементы кольца. Он доказал, что в кольце целых алгебраических чисел любой идеал однозначно разлагается на простые идеалы. Это стало одним из краеугольных камней алгебраической теории чисел.

¶Теория колец и модулей

Работы Дедекинда по идеалам фактически заложили основы теории колец и модулей — центральных разделов современной абстрактной алгебры. Он ввёл понятия дедекиндова кольца (кольца, в котором каждый ненулевой идеал однозначно разлагается на простые идеалы) и дедекиндова модуля. Эти понятия широко используются в алгебраической геометрии и теории чисел.

¶Основания математики

Дедекинд внёс вклад в обоснование математики. В 1888 году он опубликовал работу «Что такое числа и для чего они служат?» (Was sind und was sollen die Zahlen?), где дал аксиоматическое определение натуральных чисел, основанное на понятии цепи (Kette) — множества, замкнутого относительно некоторой функции. Эта работа, наряду с работами Георга Кантора и Джузеппе Пеано, стала важным шагом в формализации арифметики.

Дедекинд также сформулировал принцип Дедекинда (или лемму Дедекинда) о полноте упорядоченных множеств: если в упорядоченном множестве каждое непустое подмножество, ограниченное сверху, имеет точную верхнюю грань, то множество является непрерывным (в смысле Дедекинда).

¶Основные труды

«Непрерывность и иррациональные числа» (Stetigkeit und irrationale Zahlen, 1872) — введение дедекиндовых сечений.
«Что такое числа и для чего они служат?» (Was sind und was sollen die Zahlen?, 1888) — аксиоматическое построение натуральных чисел.
«Лекции по теории чисел» (Vorlesungen über Zahlentheorie, 1871, дополнения к изданию Дирихле) — основы теории алгебраических чисел и идеалов.
«О теории целых алгебраических чисел» (Über die Theorie der ganzen algebraischen Zahlen, 1879) — расширенное изложение теории идеалов.

¶Влияние и наследие

Работы Дедекинда оказали глубокое влияние на развитие математики XX века. Его идеи легли в основу:

Современной теории чисел (алгебраическая теория чисел, теория полей классов).
Абстрактной алгебры (теория колец, модулей, полей).
Оснований математики (аксиоматическая теория множеств, логицизм).
Математического анализа (строгое определение действительных чисел).

В честь Дедекинда названы:

Дедекиндово сечение — способ построения действительных чисел.
Дедекиндово кольцо — кольцо с однозначным разложением идеалов на простые.
Дедекиндова функция (дзета-функция Дедекинда) — обобщение дзета-функции Римана на алгебраические числовые поля.
Дедекиндово число — количество монотонных булевых функций от n переменных.

¶Интересные факты

Дедекинд был близким другом и коллегой Бернхарда Римана. После смерти Римана в 1866 году Дедекинд подготовил к изданию его собрание сочинений.
Он вёл многолетнюю переписку с Георгом Кантором, в которой обсуждались основы теории множеств и природы бесконечности.
Дедекинд никогда не был женат и жил с сестрой Юлией, которая вела его хозяйство.
В 1901 году, в возрасте 70 лет, он был награждён орденом «Pour le Mérite» за заслуги в науке.

¶Источники

Dedekind, R. Stetigkeit und irrationale Zahlen. — Braunschweig: Vieweg, 1872.
Dedekind, R. Was sind und was sollen die Zahlen? — Braunschweig: Vieweg, 1888.
Dedekind, R. Vorlesungen über Zahlentheorie von P. G. Lejeune Dirichlet. — 2. Aufl. — Braunschweig: Vieweg, 1871.
Edwards, H. M. The Genesis of Ideal Theory. — Archive for History of Exact Sciences, 1980.
Ferreirós, J. Labyrinth of Thought: A History of Set Theory and Its Role in Modern Mathematics. — Basel: Birkhäuser, 1999.
Stillwell, J. Mathematics and Its History. — 3rd ed. — New York: Springer, 2010.