Hilberts femte problem er et af de problemer , som David Hilbert stillede i sin rapport [1] [2] ved II International Congress of Mathematicians i Paris i 1900. Hilberts femte problem vedrører teorien om topologiske transformationsgrupper og Lie-grupper . Løsninger til vigtige specialsager blev opnået i 1933 og 1934, endelig løst i 1952.
En topologisk transformationsgruppe består af en topologisk gruppe , et topologisk rum og en kontinuerlig handling af gruppen på , hvilket er en kontinuerlig kortlægning
har følgende to egenskaber:
En topologisk gruppe er en Lie-gruppe, hvis er en reel analytisk manifold, og multiplikation er et reelt analytisk kort. Derefter, ved den implicitte funktionssætning, er afbildningen realanalytisk. Hvis er en Lie-gruppe, er en reel analytisk mangfoldighed, og gruppens handling er reel analytisk, så har vi en gruppe af reelle analytiske transformationer.
Lad være en lokalt euklidisk topologisk gruppe. Så opstår spørgsmålet, om det altid er muligt at udstyre med en realanalytisk struktur, således at multiplikationen
vil være real-analytisk? Dette spørgsmål, som efterfølgende blev besvaret bekræftende, betragtes i dag som Hilberts femte problem. [3]
For kompakte grupper blev det femte problem løst af von Neumann [4] i 1933. For lokalt kompakte kommutative grupper og nogle andre særlige tilfælde blev problemet løst af Pontryagin [3] [5] [6] i 1934. Disse beviser blev opnået ved hjælp af et resultat af den ungarske matematiker Alfred Haar [7] , som konstruerede et invariant mål på en lokalt kompakt topologisk gruppe [8] .
Det centrale i det generelle bevis viste sig at være spørgsmålet om eksistensen af "små" undergrupper i et vilkårligt lille kvarter af enheden (bortset fra selve enheden). Løgngrupper har ingen sådanne undergrupper. Et væsentligt bidrag til løsningen blev ydet af Gleason (Gleason) [9] , som beviste, at enhver finitdimensional lokalt kompakt topologisk gruppe , som ikke har små undergrupper, er en Lie-gruppe.
Den endelige løsning blev opnået i 1952 af Montgomery og Zippin , som beviste, at en lokalt forbundet finit-dimensional lokalt kompakt topologisk gruppe ikke har små undergrupper. [10] . Da hver lokalt euklidisk topologisk gruppe er lokalt forbundet, lokalt kompakt og finitdimensional, indebærer disse to resultater følgende påstand.
Sætning . Hver lokalt euklidisk gruppe er en Lie gruppe .
Som Glushkov senere viste , indrømmer denne teorem generaliseringer [11] .
Dette resultat betragtes ofte som en løsning på Hilberts femte problem, men Hilberts spørgsmål var bredere og vedrørte transformationsgrupper for det tilfælde, hvor mangfoldigheden ikke falder sammen med [3] [12] .
Svaret på Hilberts generelle spørgsmål i tilfælde af topologiske kontinuerlige handlinger viste sig at være negativt selv for den trivielle gruppe . Der er topologiske manifolder, der ikke har nogen glat struktur, og derfor ikke har en realanalytisk struktur [13] .
Hilbert problemer | |
---|---|