Эрлангенская программа — выступление 23-летнего немецкого математика Феликса Клейна в Эрлангенском университете (октябрь 1872 года), в котором он предложил общий алгебраический подход к различным геометрическим теориям и наметил перспективный путь их развития. Доклад был связан с процедурой утверждения Клейна в должности профессора и был опубликован в том же году. Первый русский перевод появился в 1895 году.
В оригинале доклад Клейна назывался «Сравнительное обозрение новейших геометрических исследований» (нем. Vergleichende Betrachtungen über neuere geometrische Forschungen)[1], но в историю науки он вошёл под кратким названием «Эрлангенская программа». Влияние этой программы на дальнейшее развитие геометрии было исключительно велико. На новом уровне повторилось открытие Декарта: алгебраизация геометрии позволила получить глубокие результаты, для старых инструментов крайне затруднительные или вовсе недостижимые.
Содержание
Краткое содержание
К середине XIX века геометрия разделилась на множество различных разделов: евклидова, сферическая, гиперболическая, проективная, аффинная, конформная, риманова, многомерная, комплексная и т. д. На рубеже веков, уже после доклада Клейна, к ним добавились ещё псевдоевклидова геометрия и топология.
Клейну принадлежит идея алгебраической классификации различных отраслей геометрии в соответствии с теми классами преобразований, которые для этой геометрии несущественны. Более точно выражаясь, один раздел геометрии отличается от другого тем, что им соответствуют разные группы преобразований пространства, а объектами изучения выступают инварианты таких преобразований[2].
Например, классическая евклидова геометрия изучает свойства фигур и тел, сохраняющиеся при движениях без деформации; ей соответствует группа, содержащая вращения, переносы и их сочетания. Проективная геометрия может изучать конические сечения, но не имеет дела с кругами или углами, потому что круги и углы не сохраняются при проективных преобразованиях. Топология исследует инварианты произвольных непрерывных преобразований (Клейн отметил это ещё до того, как родилась топология). Изучая алгебраические свойства групп преобразований, мы можем открыть новые глубокие свойства соответствующей геометрии, а также проще доказать старые. Подход Клейна унифицировал различные геометрии и их методы, прояснил их различия. Вне данной схемы осталась только риманова геометрия; для её включения в общую систему понадобилось в 1920-х годах значительно обобщить подход Клейна[3].
Пример простого доказательства того, что медианы любого треугольника пересекаются в одной точке. Медиана есть аффинный инвариант; если в равностороннем треугольнике медианы пересекаются в одной точке, то и в любом другом это будет верно, потому что любой треугольник можно аффинным преобразованием преобразовать в равносторонний и обратно.
Следует отметить, что после первой алгебраизации геометрии Декартом, то есть в аналитической геометрии, имелось одно неудобство: часто приходилось отдельно доказывать геометрический характер результатов, то есть их независимость от системы координат. Дополнительным достоинством подхода Клейна было то, что полученные инварианты по самому смыслу своего определения от системы координат не зависят.
Приложения
Основываясь на изложенных идеях, Клейн показал в докладе, что геометрия Лобачевского — пространство постоянной отрицательной кривизны, и пояснил её связь с проективной группой. Годом ранее (1871) он построил проективную модель геометрии Лобачевского и тем самым впервые доказал её непротиворечивость, закрыв двухтысячелетнюю историю попыток доказательства пятого постулата Евклида.
Подход Клейна оказался применим к самым абстрактным геометриям ― многомерным, неевклидовым, неархимедовым и т. д. В начале XX века Исай Шур, Эмми Нётер, Эли Картан и другие математики разработали общую теорию представлений групп и теорию инвариантов. Эти исследования не только существенно обогатили геометрию, но оказались полезны физике. Герман Минковский в 1905 году включил в схему Клейна теорию относительности, показав, что с математической точки зрения она представляет собой теорию инвариантов группы Пуанкаре, действующей в четырёхмерном пространстве-времени. Аналогичный подход понадобился в теории элементарных частиц, квантовой теории и в других физических теориях[4].
Текст в русском переводе
- Клейн Ф. Сравнительное обозрение новейших геометрических исследований («Эрлангенская программа»). В книге: Об основаниях геометрии. Сборник классических работ по геометрии Лобачевского и развитию ее идей, М., 1956, стр. 399-434.
Литература
- Визгин В. П. К истории «Эрлангенской программы» Ф. Клейна. // Историко-математические исследования. — М.: Наука, 1973. — № 18. — С. 218-248.
- Дополненный вариант: Визгин В. П. Эрлангенская программа и физика. М.: Наука, 1975. 111 с.
- Клейн Ф. Элементарная математика с точки зрения высшей, пер. с нем., 2-е изд., т. 2, М. — Л., 1934.
- Прасолов В. В., Тихомиров В. М. Геометрия. М.: МЦНМО, 1997, 352 с.
Ссылки
- Эрлангенская программа.
- Смирнов С. Г. Эрлангенская программа: прежде и теперь (к 125-летию программы Кляйна). Учёные записки Института информатизации образования (ИИО РАО), № 2, 1998.
- Розов Н. Х. Феликс Клейн и его эрлангенская программа.
Примечания
- ↑ Эрлангенская программа на немецком..
- ↑ Основы теории групп к этому времени уже были созданы Эваристом Галуа и Камиллом Жорданом.
- ↑ Визгин В. П., 1973, с. 223..
- ↑ Визгин В. П., 1973, с. 218, 245-246..
