PROFILPELAJAR.COM

П'ята проблема Гільберта — одна з проблем, поставлених Давидом Гільбертом у його доповіді^[1]^[2] на II Міжнародному конгресі математиків у Парижі в 1900 році. П'ята проблема Гільберта належить до теорії топологічних груп перетворень та груп Лі. Для важливих окремих випадків рішення отримано в 1933 і 1934 роках, остаточно вирішено в 1952 році.

Формулювання проблеми

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

\varphi \colon G\times X\to X,\ (g,x)\to gx,

які мають такі дві властивості:

$ex=x$ для всіх $x\in X$ , де $e$ — одиничний елемент з $G$ ,
$g(g'x)=(gg')x$ для всіх $g,g'\in G$ і для всіх $x\in X$ .

Топологічна група $G$ є групою Лі, якщо $G$ — дійсно-аналітичне різноманіття, а множення $\mu \colon G\times G\to G,\ (g,g')\to gg'$ - Фактично-аналітичне відображення. Тоді за теоремою про неявну функцію відображення $\iota \colon G\to G,\ g\to g^{-1}$ є дійсно-аналітичним. Якщо $G$ - група Лі, $X$ — дійсно-аналітичне різноманіття, а дія $\varphi$ групи $G$ на $X$ — дійсно-аналітичне, маємо групу дійсно-аналітичних перетворень.

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

\mu \colon G\times G\to G

буде дійсно-аналітичним? Це питання, на яке згодом було дано позитивну відповідь, і вважається сьогодні п'ятою проблемою Гільберта.^[3]

Рішення проблеми

Для компактних груп п'ята проблема була вирішена фон Нейманом^[4] у 1933 році. Для локально компактних комутативних груп та деяких інших окремих випадків проблему вирішив Понтрягін^[3]^[5]^[6] в 1934 році. Ці докази були отримані за допомогою результату угорського математика Альфреда Хаара^[7], який побудував на локально компактній топологічній групі інваріантну міру^[8].

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

Остаточне рішення отримане в 1952 році Монтгомері і Лео Ципін, які довели, що у локально зв'язної кінцевомірної локально компактної топологічної групи немає малих підгруп^[10]. Оскільки будь-яка локально евклідова топологічна група є локально зв'язною, локально компактною і кінцевою, то з цих двох результатів випливає наступне твердження.

Теорема. Кожна локально евклідова група є групою Лі.

Як згодом показав Глушков, ця теорема допускає узагальнення^[11].

Цей результат часто розглядають як вирішення п'ятої проблеми Гільберта, але поставлене Гільбертом питання мало більш широкий характер і стосувалося груп перетворень. $\varphi \colon G\times X\to X$ для випадку, коли різноманіття $X$ не збігається з $G$ ^[3]^[12].

Відповідь на загальне питання Гільберта у разі топологічних безперервних дій виявилася негативною навіть для тривіальної групи $G=\{e\}$ . Існують топологічні різноманіття, що не мають жодної гладкої структури, а отже, не мають і дійсно-аналітичної структури^[13].

Примітки

↑ David Hilbert. Vortrag, gehalten auf dem internationalen Mathematiker-Kongreß zu Paris 1900 (нім.). Архів оригіналу за 8 квітня 2012. Процитовано 27 серпня 2009. {{cite web}}: Проігноровано невідомий параметр |description= (довідка)
↑ Перевод доклада Гильберта с немецкого — М. Г. Шестопал и А. В. Дорофеева, опубликован в книге Александров, 1969
↑ ^а ^б ^в Пятая проблема Гильберта: Обзор.
↑ Neumann J. von Die Einfuhrung analytischer Parameter in topologischen Gruppen// Ann. Math. — 1933. — 34. — C. 170—190
↑ Проблемы Гильберта и советская математика (PDF). Архів оригіналу (PDF) за 26 жовтня 2014. Процитовано 26 жовтня 2014.
↑ Pontryagin L. S. Topological groups. — Princeton: Univ. Press, 1939
↑ Der Maasbegriff in der Theorie der Kontinuerlichen Gruppen (Mértékfogalom a folytonos csoportok elméletében), 1933.
↑ Понтрягин Л. С. Жизнеописание Л. С. Понтрягина, математика, составленное им самим. Рождения 1908 г., Москва. — М. : Прима В, 1998. — 340 с. Архівовано з джерела 16 березня 2003
↑ Gleason A. M. Groups without small subgroups // Ann. Math. — 1952. — 56. — С. 193—212.
↑ Montgomery D., Zippin L. Small subgroups of finite-dimensional groups // Ann. Math. — 1952. — 56. — С. 213—241.
↑ В. М. Глушков. Строение локально бикомпактных групп и пятая проблема Гильберта(рос.), УМН, 1957, том 12, выпуск 2(74), 3—41.
↑ Montgomery D. Topological transformation groups // Proc. Int. Congr. Math. — 1954. — Vol. III. — Groningen-Amsterdam. — 1956. — С. 185—188 (РЖМат, 1958, 8602).
↑ Kervaire M. A. A manifold which does not admit any differentiable structure // Comment. Math. Helv. — 1960. — 34. — С. 257—270.

Література

Проблемы Гильберта / под ред. П. С. Александрова. — Москва : Наука, 1969. — 240 с. — 10700 прим. Архівовано з джерела 17 жовтня 2011

[1] David Hilbert. Vortrag, gehalten auf dem internationalen Mathematiker-Kongreß zu Paris 1900 (нім.). Архів оригіналу за 8 квітня 2012. Процитовано 27 серпня 2009. {{cite web}}: Проігноровано невідомий параметр |description= (довідка)

[2] Перевод доклада Гильберта с немецкого — М. Г. Шестопал и А. В. Дорофеева, опубликован в книге Александров, 1969

[Illman-3] а ^б ^в Пятая проблема Гильберта: Обзор.

[4] Neumann J. von Die Einfuhrung analytischer Parameter in topologischen Gruppen// Ann. Math. — 1933. — 34. — C. 170—190

[5] Проблемы Гильберта и советская математика (PDF). Архів оригіналу (PDF) за 26 жовтня 2014. Процитовано 26 жовтня 2014.

[6] Pontryagin L. S. Topological groups. — Princeton: Univ. Press, 1939

[7] Der Maasbegriff in der Theorie der Kontinuerlichen Gruppen (Mértékfogalom a folytonos csoportok elméletében), 1933.

[8] Понтрягин Л. С. Жизнеописание Л. С. Понтрягина, математика, составленное им самим. Рождения 1908 г., Москва. — М. : Прима В, 1998. — 340 с. Архівовано з джерела 16 березня 2003

[9] Gleason A. M. Groups without small subgroups // Ann. Math. — 1952. — 56. — С. 193—212.

[10] Montgomery D., Zippin L. Small subgroups of finite-dimensional groups // Ann. Math. — 1952. — 56. — С. 213—241.

[11] В. М. Глушков. Строение локально бикомпактных групп и пятая проблема Гильберта(рос.), УМН, 1957, том 12, выпуск 2(74), 3—41.

[12] Montgomery D. Topological transformation groups // Proc. Int. Congr. Math. — 1954. — Vol. III. — Groningen-Amsterdam. — 1956. — С. 185—188 (РЖМат, 1958, 8602).

[13] Kervaire M. A. A manifold which does not admit any differentiable structure // Comment. Math. Helv. — 1960. — 34. — С. 257—270.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

PROFILPELAJAR.COM

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

Формулювання проблеми

Рішення проблеми

Примітки

Література

Read other articles:

Mary Gordon (pemeran)

The River (film 1938)

Lido Vieri

Autorità intergovernativa per lo sviluppo

Film4

Red Bull RB4

Gandaberunda

Turkish Football Federation

Міністерство оборони України

The Contender (Lipsyte novel)

Filattiera

Saudi Aramco

Office of Oceanic and Atmospheric Research

Harmonic divisor number

America (magazine)

2024 Malaysia Open (badminton)

Ilyushin Il-18

Llaingoch

Poliuretano

Alan Shearer