Хоакин Наварро - Том 37. Женщины-математики. От Гипатии до Эмми Нётер
К счастью, проницательность Нётер, ее ум и знания заметили два светила Гёттингенского университета, «самого математического университета мира». Этими светилами были Феликс Клейн и Давид Гильберт (1862–1943). Шел 1915 год, Первая мировая война была в самом разгаре. И Клейн, и Гильберт отличались крайним либерализмом в вопросах обучения женщин (и их участия в исследовательской работе) и были специалистами высочайшего уровня. Они убедили Эмми покинуть Эрланген и переехать к ним в Гёттинген для совместной работы. В то время гремели революционные физические идеи Альберта Эйнштейна, а Эмми была экспертом по алгебраическим и прочим инвариантам, составлявшим крайне полезный математический аппарат теории Эйнштейна (к разговору об инвариантах мы вернемся чуть позже).
Все это было бы смешно, если бы не было так грустно — даже поддержка таких авторитетов не помогла Эмми преодолеть сопротивление ученого совета Гёттингенского университета, от членов которого можно было услышать заявления в духе: «Что скажут наши героические солдаты, когда вернутся на родину, и в аудиториях им придется сидеть перед женщиной, которая будет обращаться к ним с кафедры?». Гильберт, присутствовавший при подобном разговоре, возмущенно возразил: «Не понимаю, как пол кандидата мешает избрать ее приват-доцентом. Ведь здесь университет, а не мужская баня!»
Но Эмми так и не была избрана приват-доцентом. Ученый совет объявил ей настоящую войну. Конфликт вскоре прекратился, была провозглашена Веймарская республика, и положение женщин улучшилось: они получили право голосовать, Эмми смогла занять должность профессора (но без жалования), однако лишь в 1922 году, приложив огромные усилия, она наконец начала получать деньги за свой труд. Эмми раздражало, что ее работа на посту редактора журнала «Анналы математики», отнимавшая немало времени, не была оценена по достоинству.
В 1918 году была опубликована сенсационная теорема Нётер. Многие называли ее именно так, хотя Эмми доказала немало и других теорем, в том числе очень важных. Нётер заслужила бы бессмертие, даже если бы умерла на следующий день после публикации теоремы в 1918 году, хотя на самом деле она нашла доказательство тремя годами ранее. Эта теорема не относится к абстрактной алгебре и находится на стыке между физикой и математикой, точнее говоря, принадлежит к механике. К сожалению, чтобы объяснить ее понятным для читателя языком, пусть даже в упрощенном виде, мы не сможем обойтись без высшей математики и физики.
Если говорить просто, без символов и уравнений, то теорема Нётер в наиболее общей формулировке гласит: «Если физическая система обладает непрерывной симметрией, то в ней найдутся соответствующие величины, которые сохраняют свои значения с течением времени».
Понятие непрерывной симметрии в высшей физике объясняется с помощью групп Ли. Не будем углубляться в детали и скажем, что в физике под симметрией понимается любое изменение физической системы, относительно которого физические величины в системе инвариантны. Это изменение посредством математически непрерывного преобразования должно затрагивать координаты системы, а рассматриваемая величина до и после преобразования должна оставаться неизменной.
Откуда же взялся термин «симметрия»? Он принадлежит к чисто физическому языку и применяется потому, что по смыслу схож с термином «симметрия» в математике. Представьте себе повороты пространства, образующие группу симметрии. Если мы применим один из таких поворотов к системе координат, то получим другую систему координат. Изменение координат будет описываться непрерывными уравнениями. Согласно теореме Нётер, если система инвариантна относительно подобной непрерывной симметрии (в данном случае — поворота), то в ней автоматически существует закон сохранения той или иной физической величины. В нашем случае, проведя необходимые вычисления, можно убедиться, что этой величиной будет момент импульса.
Не будем останавливаться на этой теме и приведем некоторые разновидности симметрии, группы симметрии и соответствующие физические величины, которые будут сохраняться.
Эта теорема вызвала множество хвалебных отзывов, в том числе от Эйнштейна, который писал Гильберту:
«Вчера я получил очень интересную статью госпожи Нётер о построении инвариантов. На меня производит впечатление то, что такие вещи можно рассматривать со столь общей точки зрения. Старой гвардии в Гёттингене не повредило бы, если бы ее послали на обучение к госпоже Нётер. Похоже, она хорошо знает свое ремесло».
Похвала была заслуженной: теорема Нётер сыграла нетривиальную роль в решении задач общей теории относительности. Эта теорема, по мнению многих специалистов, является фундаментальной, а некоторые даже ставят ее в один ряд с известной всем теоремой Пифагора.
Перенесемся в простой и понятный мир экспериментов, описанный Карлом Поппером (1902–1994), и предположим, что мы создали новую теорию, описывающую некое физическое явление. По теореме Нётер, если в рамках нашей теории присутствует некая разновидность симметрии (предполагать подобное вполне разумно), то в системе будет сохраняться некоторая величина, которую можно измерить. Таким образом можно определить, верна наша теория или нет.
* * *
ТЕОРЕМА НЁТЕР
Физическая система в механике определяется с помощью достаточно сложных терминов, в том числе такого понятия, как действие, которое можно рассматривать как произведение выделенной энергии на время, затраченное на ее поглощение. Поведение физической системы на языке математики описывается ее лагранжианом L, который представляет собой функционал (функцию от функций) вида
где q — положение, q· — скорость (точка вверху в нотации Ньютона обозначает производную от q), t- время. Обратите внимание, что q — положение в системе координат общего вида, которая необязательно является декартовой.
Действие А на языке математики выражается интегралом вдоль пути, выбранного системой:
Принцип наименьшего действия, сыгравший столь важную роль в физике XIX века, гласит: физическая система движется согласно закону наименьших усилий, следовательно, если использовать язык математического анализа, действие А должно представлять собой экстремальное значение, то есть минимум или максимум, поэтому его первая производная должна равняться нулю.
