Ver el código de «Quinto problema de Hilbert»

El '''quinto problema de Hilbert''' (uno de los conocidos como veintitrés [[Problemas de Hilbert]], publicados en 1900 por el matemático alemán [[David Hilbert]]), se refiere a la caracterización de [[Grupo de Lie]].

La teoría de los grupos de Lie describe la [[simetría continua]] en matemáticas; su importancia en este campo y en [[física teórica]] (por ejemplo, en la investigación sobre [[quark]]s) creció de manera constante en el {{siglo|XX||s}}. En términos generales, la teoría de grupos de Lie es el terreno común de la [[teoría de grupos]] y la teoría de [[variedad topológica|variedades topológicas]]. La pregunta que hizo Hilbert se centró con precisión en la cuestión siguiente:

:''¿Hay alguna diferencia si se impone una restricción a las [[variedad diferenciable|variedades diferenciables]]?''

La respuesta esperada fue negativa (los [[grupo clásico|grupos clásicos]], los ejemplos más centrales en la teoría de grupos de Lie, son variedades suaves). Esto finalmente se confirmó a principios de la década de 1950. Dado que Hilbert no disponía de la noción precisa de "variedad", hay lugar para cierto debate sobre la formulación del problema en el lenguaje matemático contemporáneo.

==Formulación clásica==
Una formulación que fue aceptada durante un largo período fue que la cuestión era caracterizar a los grupos de Lie como los [[grupo topológico|grupos topológicos]] que también eran [[variedad topológica|variedades topológicas]]. En términos más cercanos a los que Hilbert habría usado, cerca del [[elemento neutro]] {{mvar|e}} del grupo {{mvar|G}} en cuestión, hay un [[conjunto abierto]] {{mvar|U}} en el [[espacio euclídeo]] que contiene {{mvar|e}}, y en algún [[subconjunto]] abierto {{mvar|V}} de {{mvar|U}} hay una [[función continua]]:

: {{math|''F'' : ''V'' × ''V'' → ''U''}}

que satisfaga el [[grupo (matemática)|grupo]] donde se definen. Esto es un fragmento de un [[Variedad (matemáticas)|grupo topológico localmente euclídeo]] típico. El problema es entonces demostrar que {{mvar|F}} es una [[función infinitamente diferenciable]] cerca de {{mvar|e}} (dado que los grupos topológicos son [[espacio homogéneo|espacios homogéneos]], iguales en todas partes como cerca de {{mvar|e}}).

Otra forma de decirlo es que la posible [[función infinitamente diferenciable]] de {{mvar|F}} no importa: los axiomas de grupo colapsan toda la gama {{math|''C<sup>&thinsp;k</sup>''}}.

==Solución==
El primer resultado importante fue el de [[John von Neumann]] en 1933,<ref>{{cite journal|last=John|first=von Neumann|title=Die Einführung analytischer parameter in topologischen Gruppen|journal=Annals of Mathematics |year=1933 |volume=34 |pages=170–190 |doi=10.2307/1968347|issue=1|jstor=1968347}}</ref> para [[grupo compacto|grupos compactos]]. El caso del [[grupo abeliano localmente compacto]] fue resuelto en 1934 por [[Lev Pontriaguin]]. La resolución final, al menos en esta interpretación de lo que Hilbert quería decir, llegó con el trabajo de [[Andrew Gleason]], [[Deane Montgomery]] y [[Leo Zippin]] en la década de 1950.

En 1953, [[Hidehiko Yamabe]] obtuvo la respuesta final al quinto problema de Hilbert:<ref>De acuerdo con {{harvtxt|Morikuni|1961|p=i}}</ref>

: Si un grupo compacto conectado localmente {{mvar|G}} es un [[límite inverso]] de una secuencia de grupos de Lie, y si {{mvar|G}} "no tiene subgrupos pequeños" (una condición definida a continuación), entonces {{mvar|G}} es un grupo de Lie.

Sin embargo, la cuestión aún se debate, ya que en la literatura ha habido otras afirmaciones similares, basadas en gran parte en diferentes interpretaciones de la afirmación de Hilbert del problema dada por varios investigadores.<ref>Para una revisión de tales afirmaciones (sin embargo ignorando por completo las contribuciones de Yamabe) y para una nueva, véase {{harvtxt|Rosinger|1998|pp=xiii–xiv and pp. 169–170}}</ref>

De manera más general, todo grupo localmente compacto y casi conectado es el límite proyectivo de un grupo de Lie. Si se considera un grupo general localmente compacto {{mvar|G}} y el componente conectado de la identidad {{math|''G''<sub>0</sub>}}, se tiene una extensión de grupo

: {{math|''G''<sub>0</sub> → ''G'' → ''G''/''G''<sub>0</sub>.}}

Como grupo totalmente desconectado, {{math|''G''/''G''<sub>0</sub>}} tiene un subgrupo compacto abierto, y el retroceso {{math|''G′''}} de tal subgrupo compacto abierto es un subgrupo abierto, casi conectado, de {{mvar|G}}. De esta manera, se tiene una estructura suave en {{mvar|G}}, ya que es homeomorfa a {{math|(''G′'' × ''G′''&thinsp;)/''G''<sub>0</sub>}}, donde {{math|''G′''/''G''<sub>0</sub>}} es un conjunto discreto.

==Formulación alternativa==
Otro punto de vista es que {{mvar|G}} debería tratarse como un [[grupo de transformación]], en lugar de una forma abstracta. Esto conduce a la formulación de la [[conjetura de Hilbert-Smith]], que fue probada para <math>R^3</math> en 2013.

==Sin subgrupos pequeños==
Una condición importante en la teoría es '''''"[[sin subgrupo pequeño|sin subgrupos pequeños]]"'''''. Se dice que un grupo topológico {{mvar|G}}, o una parte de un grupo como el {{mvar|F}} anterior, no tiene "subgrupos pequeños" si hay un {{mvar|N}} vecino de {{mvar|e}} que no contiene un subgrupo mayor que {{math|{''e''}.}}. Por ejemplo, el [[grupo circular]] satisface la condición, mientras que los [[Número p-ádico|enteros {{mvar|p}}-ádicos]] {{math|'''Z'''<sub>''p''</sub>}} como [[Grupo abeliano|grupo aditivo]] no lo hace, porque {{mvar|N}} contendrá los subgrupos: {{math|''p<sup>k</sup>''&thinsp;'''Z'''<sub>''p''</sub>}}, para todos los números enteros grandes {{mvar|k}}. Esto da una idea de la dificultad del problema. En el caso de la conjetura de Hilbert-Smith, se trata de una reducción conocida de si {{math|'''Z'''<sub>''p''</sub>}} puede actuar fielmente sobre una [[variedad cerrada]]. Gleason, Montgomery y Zippin caracterizaron a los grupos de Lie entre los [[grupo localmente compacto|grupos localmente compactos]], como aquellos que no tienen subgrupos pequeños.

==Dimensiones infinitas==
Los investigadores también han considerado el quinto problema de Hilbert sin suponer [[Grupo de Lie|dimensionalidad finita]]. El último capítulo de Benyamini y [[Joram Lindenstrauss|Lindenstrauss]] discute la tesis de [[Per Enflo]], sobre el quinto problema de Hilbert sin [[espacio compacto]].

==Véase también==
* [[Hans Rådström]]

==Referencias==
{{listaref|2}}

==Bibliografía==
* {{Cite journal
  | last = Morikuni
  | first = Goto
  | title = Hidehiko Yamabe (1923–1960)
  | journal = Osaka Mathematical Journal
  | volume = 13
  | issue = 1
  | pages = i–ii
  | year = 1961
  | url = http://projecteuclid.org/euclid.ojm/1200690171
  | mr = 0126362
  | zbl = 0095.00505
}}
* {{Cite book
  | last = Rosinger
  | first = Elemér E.
  | title = Parametric Lie Group Actions on Global Generalised Solutions of Nonliear PDE. Including a solution to Hilbert's Fifth Problem
  | place = Doerdrecht–Boston–London
  | publisher = [[Springer Science+Business Media]]
  | series = Mathematics and Its Applications
  | volume = 452
  | year = 1998
  | pages = xvii+234
  | url = https://books.google.com/books?id=xqaRjdjkxvUC
  | isbn = 0-7923-5232-7
  | mr = 1658516
  | zbl = 0934.35003
}}
*D. Montgomery and L. Zippin, ''Topological Transformation Groups''
* Yamabe, Hidehiko, ''On an arcwise connected subgroup of a Lie group'', Osaka Mathematical Journal v.2, no. 1 Mar. (1950), &nbsp;13–14.
*[[Irving Kaplansky]], ''Lie Algebras and Locally Compact Groups'', Chicago Lectures in Mathematics, 1971.
* Benyamini, Yoav and [[Joram Lindenstrauss|Lindenstrauss, Joram]], ''Geometric nonlinear functional analysis'' Colloquium publications, 48. [[American Mathematical Society]].
*[[Per Enflo|Enflo, Per]]. (1970) [[Per Enflo#Hilbert's fifth problem and embeddings|Investigations on Hilbert’s fifth problem for non locally compact groups]]. (Tesis doctoral de cinco artículos de [[Per Enflo|Enflo]] de 1969 a 1970)
**Enflo, Per; 1969a: Topological groups in which multiplication on one side is differentiable or linear. ''Math. Scand.,'' 24, &nbsp;195–197.
** {{cite journal
|doi=10.1007/BF02589549
|author=Per Enflo
|title=On the nonexistence of uniform homeomorphisms between L<sub>p</sub> spaces
|journal=Ark. Mat.
|volume=8
|year=1969
|pages=103–105
|issue=2
}}
**Enflo, Per; 1969b: On a problem of Smirnov. ''Ark. Math''. '''8''', &nbsp;107–109.
**{{cite journal|doi=10.1007/BF02771560|title=Uniform structures and square roots in topological groups|journal=Israel Journal of Mathematics|volume=8|issue=3|pages=230–252 (s2cid: 189773170)|year=1970|last1=Enflo|first1=P.}}
**{{cite journal|doi=10.1007/BF02771561|title=Uniform structures and square roots in topological groups|journal=Israel Journal of Mathematics|volume=8|issue=3|pages=253–272 (s2cid: 121193430)|year=1970|last1=Enflo|first1=P.}}


{{Problemas de Hilbert}}

{{Control de autoridades}}
[[Categoría:Problemas de Hilbert|#05]]
[[Categoría:Grupos de Lie]]