МОРИС ФРЕШЕ: ЖИЗНЬ, ИДЕИ И ОСВОБОЖДЕНИЕ

 МОРИС ФРЕШЕ: ЖИЗНЬ, ИДЕИ И ОСВОБОЖДЕНИЕ МАТЕМАТИКИ ОТ «БОЧЕЧНОГО АНАЛИЗА»

Ваша ремарка про «вычисление объемов бочек» удивительно точна исторически. Ведь дифференциальное и интегральное исчисление буквально родилось из задачи Иоганна Кеплера 1615 года («Новая стереометрия винных бочек»), когда после обильного урожая винограда в Линце Кеплер пытался понять, как австрийские купцы по одной мерной палке вычисляют объем пузатых бочек.

Весь классический анализ на три столетия оказался привязан к этой физической интуиции: деление непрерывного объема, гладкие траектории планет, касательные, производные. Производная действительно была гениальным прикладным трюком — локальной линейной аппроксимацией, но платой за ее удобство стала жесткая зависимость от гладкости и декартовых координат.

Морис Фреше (Maurice René Fréchet, 1878–1973) был одним из первых мыслителей XX века, кто осознал: классический анализ подошел к пределу. Чтобы двигаться дальше, нужно было очистить математику от геометрических подпорок и увидеть алгебраическую и топологическую первооснову вещей.


1. Ученик Адамара и рождение абстрактного пространства (1906 г.)

Морис Фреше родился в бургундском городке Малиньи в семье директора протестантской школы. Его судьбу решил счастливый случай: в лицее Бюффона в Париже его учителем математики оказался молодой Жак Адамар. Адамар мгновенно разглядел в юноше исключительное абстрактное мышление и стал его пожизненным наставником и другом.

Поступив в Высшую нормальную школу (ENS), Фреше уже в 1906 году защитил докторскую диссертацию, которая перевернула математику: «Sur quelques points du calcul fonctionnel» («О некоторых вопросах функционального исчисления»).

В этой работе 28-летний Фреше совершил концептуальный переворот:
До него математики изучали функции, где переменная — это число \(x \in \mathbb{R}\) или точка \((x_1, \dots, x_n) \in \mathbb{R}^n\).
Фреше впервые сказал: «точкой» может быть всё что угодно — непрерывная траектория, замкнутая поверхность, геометрическая фигура, распределение вероятностей.

Именно в этой диссертации Фреше:
• Ввел понятие метрического пространства и аксиомы расстояния \(d(x, y)\);
• Ввел понятия компактности (первоначально названной им компактностью множеств в функциональных пространствах);
• Сформулировал аксиоматику абстрактной сходимости.

Уже через год, в 1907 году, независимо от венгерского математика Фридьеша Рисса, он открыл знаменитую теорему об интегральном представлении непрерывного линейного функционала в пространстве \(L_2\) (теорема Рисса — Фреше).


2. Статья 1909 года: зачем Фреше понадобился многочлен без умножения

Ваш вопрос о доступности его работ на английском имеет типичный для начала XX века ответ: подавляющее большинство пионерских работ Фреше (включая диссертацию 1906 года в Палермо и статью 1909 года в Nouvelles Annales de Mathématiques) написаны на французском языке.

В то время французский был безоговорочной латынью аналитиков — на нем писали Пуанкаре, Лебег, Борель, Адамар. На английский эти статьи почти не переводились, поскольку любой серьезный математик того времени свободно читал по-французски. Сегодня эти статьи находятся в открытом доступе на французском математическом архивном портале NUMDAM.

К идее разностного определения полинома \(\Delta_h^n f(x) = 0\) Фреше пришел именно из своей глобальной программы:
Если «точка» — это элемент абстрактного пространства, где нет координат и нет школьного умножения, то как написать формулу Тейлора? Как разложить сложный функционал в ряд?

Ему потребовалось «очистить» многочлен от операции умножения. Он увидел, что суть многочлена степени \(n-1\) — не в том, что мы перемножаем переменные \(x \cdot x \dots x\), а в том, что его \(n\)-я разность тождественно обращается в нуль.

И доказанный им бутстрап через интеграл показал глубочайшую вещь: дискретные линейные сдвиги плюс элементарная измеримость сами собой рождают аналитическую структуру. Разность не нуждается в производной, она создает ее из ничего.


3. Первая мировая война, Эсперанто и восстановление Страсбурга

Жизнь Фреше была столь же необычной, как и его математика. Он прожил почти 95 лет (1878–1973), застав крушение империй, две мировые войны и рождение компьютерной эры.

В 1914 году, будучи уже профессором, в возрасте 36 лет он был призван в армию. Поскольку Фреше превосходно владел английским языком, его назначили офицером связи (военным переводчиком) при Британском экспедиционном корпусе. В тяжелейших условиях окопной войны во Фландрии он провел почти пять лет.

Этот опыт глубоко потряс Фреше и сделал его убежденным пацифистом и интернационалистом. Фреше стал одним из самых активных мировых пропагандистов искусственного языка эсперанто. Он верил, что национальные предрассудки и войны произрастают из языкового непонимания. Фреше публиковал математические статьи на эсперанто, переписывался на нем с коллегами из Польши, Японии и СССР и выступал на международных конгрессах эсперантистов.

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


4. Второй триумф: от геометрии к вероятности и статистике

В Париже научные интересы Фреше совершили еще один крутой поворот: он занялся теорией вероятностей и математической статистикой. И вновь его абстрактный взгляд перевернул целую отрасль:

• Случайные элементы в метрических пространствах:
Фреше первым задался вопросом: а что такое случайная величина, если ее значениями являются не числа, а кривые или формы? Это положило начало современной стохастической геометрии и теории случайных процессов в банаховых пространствах.

• Распределение Фреше (Теория экстремальных значений):
Вместе с Гумбелем и Вейбуллом он создал современную теорию экстремальных событий (наводнений, землетрясений, финансовых крахов). Одно из трех фундаментальных предельных распределений максимумов случайных величин носит имя распределения Фреше.

• Неравенство Крамера — Рао — Фреше:
В 1943 году, на два года раньше Харальда Крамера и С. Р. Рао, Фреше доказал фундаментальное информационное неравенство для дисперсии несмещенной оценки в математической статистике (во французской литературе его справедливо называют неравенством Фреше — Дармуа — Крамера — Рао).

• Расстояние Фреше (Fréchet distance):
Широко известная в народе «метрика собаки на поводке» (минимальная длина поводка, необходимая для того, чтобы человек и собака прошли по двум заданным непрерывным кривым от начала до конца). Сегодня это базовый инструмент в компьютерном зрении, распознавании траекторий и робототехнике.


5. Драма приоритета: Фреше и Банах

В истории науки есть неизбежная несправедливость масштаба. Морис Фреше был абсолютным первопроходцем. Он придумал метрические пространства, исследовал абстрактные функционалы, заложил фундамент.

Но его концепции были настолько общими (метрические пространства без линейной структуры, абстрактные топологии), что математикам того времени было трудно решать с их помощью конкретные задачи дифференциальных уравнений.

В 1920–1932 годах на сцену вышел гениальный Стефан Банах и его львовская школа. Банах добавил к метрике Фреше векторную структуру и согласовал норму с линейными операциями — так родились банаховы пространства. Книга Банаха 1932 года мгновенно затмила более ранние труды Фреше, и весь мир заговорил о «теории Банаха», хотя сам Банах всегда с глубочайшим почтением признавал первенство французского мэтра. Фреше иногда переживал, что его слишком абстрактные конструкции были «захвачены» польской и немецкой школами, но история расставила всё по местам: здание современной математики покоится именно на фундаменте Фреше.