Эрлангенская программа¶

Эрлангенская программа — это программный доклад, представленный немецким математиком Феликсом Клейном в 1872 году при вступлении в должность профессора на философском факультете и в семинарии Университета Эрлангена. В этом докладе, официально озаглавленном «Сравнительное рассмотрение новых геометрических исследований» (нем. Vergleichende Betrachtungen über neuere geometrische Forschungen), была предложена новая, единая классификация геометрий на основе теории групп преобразований. Программа оказала фундаментальное влияние на развитие геометрии и алгебры в конце XIX — начале XX века, заложив основы современного понимания геометрии как науки об инвариантах групп преобразований.

¶Исторический контекст

К середине XIX века в геометрии возникла ситуация, которую математики называли «вавилонским столпотворением». Помимо классической евклидовой геометрии, существовали и активно развивались:

• Неевклидовы геометрии (Лобачевского, Бойяи, Римана), которые по-разному трактовали аксиому о параллельных прямых.
• Проективная геометрия, изучающая свойства фигур, сохраняющиеся при центральном проектировании.
• Аффинная геометрия и геометрия подобия, которые рассматривались как промежуточные между проективной и метрической.
• Метрическая геометрия, включающая как евклидову, так и неевклидовы варианты.

Каждая из этих геометрий имела собственные аксиомы, теоремы и методы. Отсутствовало единое понимание того, что такое «геометрия» вообще и как соотносятся между собой различные геометрические системы. Клейн, будучи учеником и последователем Юлиуса Плюккера, а также под влиянием идей норвежского математика Софуса Ли о группах преобразований, предложил радикально новый подход.

¶Основная идея программы

Центральная идея Эрлангенской программы заключается в том, что каждая геометрия определяется своей группой преобразований. Предметом изучения данной геометрии являются те свойства фигур, которые остаются неизменными (инвариантными) при всех преобразованиях, входящих в эту группу.

Формально это можно выразить так: пусть задано множество точек \( M \) (пространство) и группа \( G \) взаимно однозначных преобразований этого множества на себя. Тогда геометрия — это наука, изучающая свойства подмножеств (фигур) пространства \( M \), которые сохраняются при всех преобразованиях из группы \( G \).

Таким образом, различные геометрии перестают быть разрозненными дисциплинами и выстраиваются в иерархию, основанную на включении групп преобразований.

¶Иерархия геометрий по Клейну

Клейн показал, что классические геометрии можно упорядочить по принципу: чем «больше» группа преобразований, тем «беднее» геометрия (меньше инвариантов), и наоборот. Основная цепочка выглядит следующим образом:

1. Проективная геометрия. Её группа — группа проективных преобразований (коллинеаций). Инвариантами являются: принадлежность точек прямой, двойное отношение (сложное отношение) четырёх точек на прямой, порядок точек на конике. Это самая «общая» из классических геометрий.
2. Аффинная геометрия. Является подгеометрией проективной. Её группа — группа аффинных преобразований (параллельные проекции, сдвиги, растяжения). Инвариантами являются: параллельность прямых, отношение отрезков на одной прямой, отношение площадей. Аффинная геометрия «богаче» проективной, так как сохраняет больше свойств.
3. Геометрия подобия (евклидова геометрия без сохранения длины). Группа — преобразования подобия (гомотетии, движения, отражения). Инвариантами являются: углы, отношение длин отрезков, форма фигур.
4. Метрическая геометрия (евклидова геометрия). Группа — группа движений (изометрий): повороты, параллельные переносы, отражения. Инвариантами являются: длины отрезков, величины углов, площади, объёмы. Это самая «богатая» по числу инвариантов, но и самая «частная» геометрия в этой иерархии.

Клейн также включил в эту схему неевклидовы геометрии (Лобачевского и Римана), показав, что их можно рассматривать как геометрии на определённых поверхностях (псевдосфере, сфере) с соответствующими группами преобразований, которые являются подгруппами проективной группы.

¶Значение и влияние

Эрлангенская программа имела огромное значение для развития математики.

¶Для геометрии

• Унификация: Программа дала единый язык и метод для описания всех известных на тот момент геометрий. Вопрос «Что изучает геометрия?» получил чёткий ответ: «Инварианты групп преобразований».
• Классификация: Была построена чёткая иерархия, позволившая понять взаимосвязи между различными геометрическими дисциплинами.
• Стимул для развития: Программа стимулировала поиск новых геометрий, соответствующих новым группам преобразований. Например, геометрия Лобачевского была интерпретирована как геометрия на псевдосфере, а проективная геометрия стала фундаментом для всех остальных.

¶Для алгебры и теории групп

• Связь геометрии и алгебры: Программа установила глубокую связь между геометрией и теорией групп. Группы преобразований стали центральным объектом изучения не только в алгебре, но и в геометрии.
• Развитие теории групп: Идеи Клейна способствовали развитию теории непрерывных групп (групп Ли), которые активно изучал Софус Ли. Понятие инварианта группы стало одним из ключевых в математике.

¶Выход за рамки геометрии

• Физика: Принцип симметрии, основанный на идее инвариантности относительно группы преобразований, стал фундаментальным в физике XX века. Специальная теория относительности Эйнштейна основана на инвариантности законов физики относительно преобразований Лоренца (группа Пуанкаре). Общая теория относительности использует группу всех диффеоморфизмов пространства-времени.
• Современная математика: Эрлангенская программа стала одним из источников современной теории инвариантов и теории представлений групп. Она также повлияла на развитие топологии и алгебраической геометрии.

¶Критика и ограничения

Несмотря на огромный успех, Эрлангенская программа не является универсальным определением геометрии. Она имеет ряд ограничений:

1. Не охватывает все геометрии: Программа Клейна не описывает риманову геометрию в её общем виде (геометрию искривлённых пространств), которая является основой общей теории относительности. В римановой геометрии группа преобразований, сохраняющих метрику, может быть тривиальной (состоять только из тождественного преобразования), что делает такой подход неинформативным.
2. Глобальный характер: Программа предполагает, что группа преобразований действует на всём пространстве. Однако многие важные геометрические структуры (например, расслоения) имеют локальный характер и не описываются глобальной группой.
3. Не учитывает топологию: Программа сосредоточена на локальных свойствах (инвариантах, связанных с дифференцируемостью). Глобальные топологические свойства (например, связность, наличие дыр) не всегда могут быть описаны в рамках этого подхода.

В середине XX века, с развитием теории категорий, была предложена более общая концепция геометрии, известная как «синтетическая геометрия» или «геометрия в смысле Гротендика», которая в определённом смысле обобщает подход Эрлангенской программы.

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

• Сам Клейн не публиковал этот доклад в виде отдельной книги. Он был издан в виде брошюры тиражом 100 экземпляров и разослан коллегам. Широкую известность программа получила благодаря публикации в 1893 году в журнале «Mathematische Annalen».
• В 1872 году Клейну было всего 23 года. Он стал профессором в Эрлангене, будучи самым молодым профессором в Германии.
• Идея программы возникла у Клейна под влиянием работ Софуса Ли, с которым он был дружен. Ли разрабатывал теорию непрерывных групп, и Клейн применил её к геометрии.
• Эрлангенская программа оказала влияние не только на математику, но и на философию науки, в частности на концепцию научных революций Томаса Куна, который рассматривал смену парадигм как смену группы преобразований.

¶Источники

• Клейн Ф. Сравнительное обозрение новейших геометрических исследований (Эрлангенская программа). — В кн.: Об основаниях геометрии. — М.: ГИТТЛ, 1956.
• Клейн Ф. Элементарная математика с точки зрения высшей. Том 2. Геометрия. — М.: Наука, 1987.
• Александров А. Д. Геометрия. — В кн.: Математическая энциклопедия. Т. 1. — М.: Советская энциклопедия, 1977.
• Шафаревич И. Р. Основные понятия алгебры. — Ижевск: НИЦ «Регулярная и хаотическая динамика», 2001.
• Yaglom I. M. Felix Klein and the Erlangen Program. — Moscow: Mir Publishers, 1988.