Жизнь науки

Существует, по-моему, четко различимая параллель между современными достижениями математики и физики. Математика Запада за последние века отошла от точки зрения греков и пошла по пути, который, по-видимому, возник в Индии и был затем передан нам, с некоторыми добавлениями, арабами. В этом подходе понятие числа логически предшествует понятиям геометрии. В результате мы систематически прилагаем это далеко развитое понятие о числе ко всем отраслям науки, безотносительно к тому, насколько оно соответствует таким частным приложениям. Однако совремепная тенденция в математике несомненно направлена в сторону возврата к позициям греков. Теперь мы смотрим на каждую отрасль математики, как определяющую собственную область количественных понятий. Современный алгебраист рассматривает континуум вещественных или комплексных чисел лишь как одно «поле» среди многих. Современная аксиоматика проективной геометрии может рассматриваться как соответственное проявление той Яче тенденции в области геометрии. Эта новая математика, включающая современную теорпю групп и «абстрактную алгебру», движется силой, отличной от духа «классической математики», высшее выражение которой мы находим в теории функций комплексного переменного. Континуум вещественных чисел сохранил свою древнюю прерогативу в физике для выражения результатов физических измерений. Но справедливо можно утверждать, что сущность новой квантовой механики Гейзенберга — Шредингера — Дирака заключается в том, что она связывает с каждой физической системой набор величин, составляющих некоммутативную алгебру в точном математическом смысле, элементами которой являются сами физические величины.

Цюрих, август 1928 г.

КЛАССИЧЕСКИЕ ГРУППЫ, ИХ ИНВАРИАНТЫ И ПРЕДСТАВЛЕНИЯ

С тех пор как мне удалось в 1925 г., комбинируя инфинитезимальныс методы Э. Картана и интегральный метод И. Шура, определить характеры полупростых непрерывных групп, я поставил своей целью вывести главные результаты для наиболее важных из этих групп, в частности, для полной группы невырожденных линейных преобразований и для ортогональной группы, прямым алгебраическим построением. Благодаря, главным образом, работам и сотрудничеству Р. Броуэра в течение последних нескольких лет, я в настоящее время обладаю всеми необходимыми для этого средствами. Задачу можно точно охарактеризовать следующим образом: разложить пространство тензоров заданного ранга на его неприводимые инвариантные подпространства относительно заданной группы линейных преобразований в полояхениом в основу векторном пространстве. Другими словами, предметом нашего изучения будут различные типы линейно преобразующихся «величин», которые можно приготовить из материала тензоров прп режиме той или иной группы. Такова проблема, образующая один из стержней этой книги, и, в соответствии с алгебраическим подходом, решение ее разыскивается не только в поле вещественных чисел, на котором анализ и физика разыгрывают свои сражения, но и в произвольном поле характеристики нуль. Однако я не пытался охватить поля простой характеристики.

Понятие алгебраического инварианта абстрактной группы у

не может быть сформулировано, покуда мы не владеем понятием представления Я группы линейными преобразованиями, или эквивалентным понятием «величины типа St». Поэтому проблема нахождения всех представлений или величин группы у должна логически предшествовать проблеме нахождения алгебраических инвариантов этой группы. (По поводу понятии величин и инвариантов более общего характера и их тесной взаимосвязи отсылаем читателя к главе I, где эрлангенская программа Клейна пересказана в несколько более абстрактных терминах.) Второй моей целью является — дать современное введение в теорию инвариантов. Уже давно пора омолодить классическую теорию инвариантов, впавшую почти в окаменелое состояние. Оправданием тому, что я придерживался значительно более копсервативпого стиля, чем это, вероятно, казалось бы желательным нашему молодому поколению алгебраистов, является нежела-ппе жертвовать прошлым; но даже при этом, надеюсь, я достаточно решительно прокладывал путь к современным концепциям. Я не претендовал на то, чтобы написать монографию по современной теории инвариантов: систематическое руководство должно было бы содержать много вещей, обойденных здесь молчанием.