Пятая проблема Гильберта

Пятая проблема Гильберта — одна из проблем, поставленных Давидом Гильбертом в его докладе на II Международном Конгрессе математиков в Париже в 1900 году. Пятая проблема Гильберта относится к теории топологических групп преобразований и групп Ли. Для важных частных случаев решения были получены в 1933 и 1934 годах, окончательно решена в 1952 году.

Формулировка проблемы

Топологическая группа преобразований состоит из топологической группы $G$, топологического пространства $X$ и непрерывного действия группы $G$ на $X$, которое является непрерывным отображением

$\phi :G\times X\to X,(g,x)\to gx,$

обладающим следующими двумя свойствами:

1. $ex=x$ для всех $x\in X$, где $e$ — единичный элемент из $G$,
2. $g(g^{\prime }x)=(g{g}^{\prime })x$ для всех $g,g^{\prime }\in G$ и для всех $x\in X$.

Топологическая группа $G$ является группой Ли, если $G$ — вещественно-аналитическое многообразие, а умножение $\mu :G\times G\to G,(g,g^{\prime })\to g{g}^{\prime }$ — вещественно-аналитическое отображение. Тогда по теореме о неявной функции отображение $\iota :G\to G,g\to g^{-1}$ является вещественно-аналитическим. Если $G$ — группа Ли, $X$ — вещественно-аналитическое многообразие, а действие $\phi$ группы $G$ на $X$ — вещественно-аналитическое, то имеем группу вещественно-аналитических преобразований.

Пусть $G$ — локально евклидова топологическая группа. Тогда возникает вопрос о том, можно ли всегда снабдить $G$ вещественно-аналитической структурой такой, что умножение

$\mu :G\times G\to G$

будет вещественно-аналитическим? Этот вопрос, на который впоследствии был дан положительный ответ, и считается сегодня пятой проблемой Гильберта.

Решение проблемы

Для компактных групп пятая проблема была решена фон Нейманом в 1933 году. Для локально компактных коммутативных групп и некоторых других частных случаев проблему решил Понтрягин в 1934 году. Эти доказательства были получены с помощью результата венгерского математика Альфреда Хаара, который построил на локально компактной топологической группе инвариантную меру.

Центральным пунктом общего доказательства оказался вопрос о существовании «малых» подгрупп в сколь угодно малой окрестности единицы (кроме самой единицы). Группы Ли таких подгрупп не имеют. Значительный вклад в решение внёс Глизон (Глисон), доказавший, что каждая конечномерная локально компактная топологическая группа $G$, которая не имеет малых подгрупп, является группой Ли.

Окончательное решение получено в 1952 году Монтгомери и Циппин, которые доказали, что у локально связной конечномерной локально компактной топологической группы нет малых подгрупп. Поскольку всякая локально евклидова топологическая группа является локально связной, локально компактной и конечномерной, то из этих двух результатов вытекает следующее утверждение.

Теорема. Каждая локально евклидова группа является группой Ли.

Как впоследствии показал Глушков, данная теорема допускает обобщения.

Этот результат часто рассматривают как решение пятой проблемы Гильберта, но поставленный Гильбертом вопрос носил более широкий характер и касался групп преобразований $\phi :G\times X\to X$ для случая, когда многообразие $X$ не совпадает с $G$.

Ответ на общий вопрос Гильберта в случае топологических непрерывных действий оказался отрицательным даже для тривиальной группы $G=\{e\}$. Существуют топологические многообразия, не имеющие никакой гладкой структуры, а значит, не имеющие и вещественно-аналитической структуры.

Литература

• Шаблон:Книга Шаблон:Wayback