stringtranslate.com

Por Enflo

Per H. Enflo ( en sueco: [ˈpæːr ˈěːnfluː] ; nacido el 20 de mayo de 1944) es un matemático sueco que trabajó principalmente en análisis funcional , un campo en el que resolvió problemas que se habían considerado fundamentales. Tres de estos problemas habían estado abiertos durante más de cuarenta años: [1]

Para resolver estos problemas, Enflo desarrolló nuevas técnicas que luego fueron utilizadas por otros investigadores en análisis funcional y teoría de operadores durante años. Algunas de las investigaciones de Enflo también han sido importantes en otros campos matemáticos, como la teoría de números y la informática , especialmente el álgebra computacional y los algoritmos de aproximación .

Enflo trabaja en la Universidad Estatal de Kent , donde tiene el título de profesor universitario. Enflo ha ocupado anteriormente puestos en el Instituto Miller de Investigación Básica en Ciencias de la Universidad de California, Berkeley , la Universidad de Stanford , École Polytechnique ( París ) y el Instituto Real de Tecnología de Estocolmo .

Enflo también es pianista de concierto .

Contribuciones de Enflo al análisis funcional y la teoría de operadores

En matemáticas , el análisis funcional se ocupa del estudio de los espacios vectoriales y los operadores que actúan sobre ellos. Tiene sus raíces históricas en el estudio de los espacios funcionales , en particular las transformaciones de funciones , como la transformada de Fourier , así como en el estudio de las ecuaciones diferenciales e integrales . En el análisis funcional, una clase importante de espacios vectoriales consiste en los espacios vectoriales normados completos sobre los números reales o complejos , que se denominan espacios de Banach . Un ejemplo importante de un espacio de Banach es un espacio de Hilbert , donde la norma surge de un producto interno . Los espacios de Hilbert son de importancia fundamental en muchas áreas, incluida la formulación matemática de la mecánica cuántica , los procesos estocásticos y el análisis de series de tiempo . Además de estudiar los espacios de funciones, el análisis funcional también estudia los operadores lineales continuos en espacios de funciones.

El quinto problema de Hilbert y las incrustaciones

En la Universidad de Estocolmo, Hans Rådström sugirió que Enflo considerara el quinto problema de Hilbert en el espíritu del análisis funcional. [4] En dos años, 1969-1970, Enflo publicó cinco artículos sobre el quinto problema de Hilbert; estos artículos se recopilan en Enflo (1970), junto con un breve resumen. Algunos de los resultados de estos artículos se describen en Enflo (1976) y en el último capítulo de Benyamini y Lindenstrauss .

Aplicaciones en informática

Las técnicas de Enflo han encontrado aplicación en la ciencia informática . Los teóricos de algoritmos derivan algoritmos de aproximación que incrustan espacios métricos finitos en espacios euclidianos de baja dimensión con baja "distorsión" (en la terminología de Gromov para la categoría de Lipschitz ; cf. distancia de Banach-Mazur ). Los problemas de baja dimensión tienen una menor complejidad computacional , por supuesto. Más importante aún, si los problemas se incrustan bien en el plano euclidiano o en el espacio euclidiano tridimensional , entonces los algoritmos geométricos se vuelven excepcionalmente rápidos.

Sin embargo, estas técnicas de incrustación tienen limitaciones, como lo demuestra el teorema de Enflo (1969): [5]

Para cada , el cubo de Hamming no puede ser incrustado con "distorsión " (o menos) en un espacio euclidiano de dimensión - si . En consecuencia, la incrustación óptima es la incrustación natural, que se realiza como un subespacio del espacio euclidiano de dimensión -. [6]

Este teorema, "descubierto por Enflo [1969], es probablemente el primer resultado que muestra una distorsión ilimitada para las incrustaciones en espacios euclidianos . Enflo consideró el problema de la incrustabilidad uniforme entre espacios de Banach , y la distorsión fue un recurso auxiliar en su prueba". [7]

Geometría de los espacios de Banach

Un espacio uniformemente convexo es un espacio de Banach de modo que, para cada hay algún tal que para cualesquiera dos vectores con y

implica que

Intuitivamente, el centro de un segmento de línea dentro de la bola unitaria debe estar profundamente dentro de la bola unitaria a menos que el segmento sea corto.

En 1972 Enflo demostró que "todo espacio de Banach superreflexivo admite una norma uniformemente convexa equivalente ". [8] [9]

El problema de la base y el ganso de Mazur

En un artículo, publicado en 1973, Per Enflo resolvió tres problemas que habían desconcertado a los analistas funcionales durante décadas: el problema de la base de Stefan Banach , el " problema del ganso " de Stanislaw Mazur y el problema de aproximación de Alexander Grothendieck . Grothendieck había demostrado que su problema de aproximación era el problema central en la teoría de los espacios de Banach y los operadores lineales continuos .

Problema básico de Banach

El problema de la base fue planteado por Stefan Banach en su libro Teoría de operadores lineales . Banach preguntó si todo espacio de Banach separable tiene una base de Schauder .

Una base de Schauder o base contable es similar a la base habitual (de Hamel) de un espacio vectorial ; la diferencia es que para las bases de Hamel utilizamos combinaciones lineales que son sumas finitas , mientras que para las bases de Schauder pueden ser sumas infinitas . Esto hace que las bases de Schauder sean más adecuadas para el análisis de espacios vectoriales topológicos de dimensión infinita, incluidos los espacios de Banach .

Las bases de Schauder fueron descritas por Juliusz Schauder en 1927. [10] [11] Sea V un espacio de Banach sobre el cuerpo F . Una base de Schauder es una secuencia ( b n ) de elementos de V tal que para cada elemento vV existe una secuencia única ( α n ) de elementos en F tal que

donde la convergencia se entiende con respecto a la topología de la norma . Las bases de Schauder también se pueden definir de forma análoga en un espacio vectorial topológico general .

En 1937, el matemático polaco Stanislaw Mazur prometió un "ganso vivo" como premio por resolver el problema 153 del Libro escocés . En 1972, Mazur le regaló el ganso a Per Enflo.

Problema 153 del Libro Escocés: El ganso de Mazur

En 1972, Stanislaw Mazur le otorgó a Enflo el ganso vivo prometido por resolver un problema en el libro escocés .

Banach y otros matemáticos polacos trabajaban en problemas matemáticos en el Café Escocés . Cuando un problema era especialmente interesante y su solución parecía difícil, el problema se escribía en el libro de problemas, que pronto se conocería como el Libro Escocés . En el caso de los problemas que parecían especialmente importantes o difíciles, o ambas cosas, el proponente del problema a menudo se comprometía a otorgar un premio por su solución.

El 6 de noviembre de 1936, Stanislaw Mazur planteó un problema sobre la representación de funciones continuas. Tras escribir formalmente el problema 153 en el Scottish Book , Mazur prometió como recompensa un "ganso vivo", un premio especialmente alto durante la Gran Depresión y en vísperas de la Segunda Guerra Mundial .

Poco tiempo después, se descubrió que el problema de Mazur estaba estrechamente relacionado con el problema de Banach sobre la existencia de bases de Schauder en espacios de Banach separables. La mayoría de los demás problemas del Libro Escocés se resolvieron con regularidad. Sin embargo, hubo pocos avances en el problema de Mazur y en algunos otros problemas, que se convirtieron en problemas abiertos famosos para los matemáticos de todo el mundo. [12]

Formulación de Grothendieck del problema de aproximación

El trabajo de Grothendieck sobre la teoría de los espacios de Banach y los operadores lineales continuos introdujo la propiedad de aproximación . Se dice que un espacio de Banach tiene la propiedad de aproximación , si cada operador compacto es un límite de operadores de rango finito . La inversa siempre es cierta. [13]

En una extensa monografía, Grothendieck demostró que si cada espacio de Banach tuviera la propiedad de aproximación, entonces cada espacio de Banach tendría una base de Schauder. Grothendieck centró así la atención de los analistas funcionales en decidir si cada espacio de Banach tendría la propiedad de aproximación. [13]

La solución de Enflo

En 1972, Per Enflo construyó un espacio de Banach separable que carece de la propiedad de aproximación y de una base de Schauder. [14] En 1972, Mazur le otorgó un ganso vivo a Enflo en una ceremonia en el Centro Stefan Banach en Varsovia ; la ceremonia de la "recompensa del ganso" se transmitió por toda Polonia . [15]

Problema del subespacio invariante y polinomios

En el análisis funcional , uno de los problemas más destacados fue el problema del subespacio invariante , que requería la evaluación de la verdad de la siguiente proposición:

Dado un espacio de Banach complejo H de dimensión > 1 y un operador lineal acotado T  :  H  →  H , entonces H tiene un subespacio T -invariante cerrado no trivial , es decir, existe un subespacio lineal cerrado W de H que es diferente de {0} y H tal que T ( W ) ⊆ W .

Para los espacios de Banach , el primer ejemplo de un operador sin un subespacio invariante fue construido por Enflo. (Para los espacios de Hilbert , el problema del subespacio invariante permanece abierto ).

Enflo propuso una solución al problema del subespacio invariante en 1975, publicando un esquema en 1976. Enflo presentó el artículo completo en 1981 y la complejidad y extensión del artículo retrasaron su publicación hasta 1987 [16] El largo "manuscrito" de Enflo tuvo una circulación mundial entre los matemáticos [17] y algunas de sus ideas fueron descritas en publicaciones además de Enflo (1976). [18] [19] Los trabajos de Enflo inspiraron una construcción similar de un operador sin un subespacio invariante, por ejemplo por parte de Beauzamy, quien reconoció las ideas de Enflo. [16]

En la década de 1990, Enflo desarrolló un enfoque "constructivo" para el problema del subespacio invariante en los espacios de Hilbert. [20]

Desigualdades multiplicativas para polinomios homogéneos

Una idea esencial en la construcción de Enflo fue la " concentración de polinomios en grados bajos ": para todos los enteros positivos y , existe tal que para todos los polinomios homogéneos y de grados y (en variables), entonces

donde denota la suma de los valores absolutos de los coeficientes de . Enflo demostró que no depende del número de variables . La prueba original de Enflo fue simplificada por Montgomery . [21]

Este resultado se generalizó a otras normas sobre el espacio vectorial de polinomios homogéneos . De estas normas, la más utilizada ha sido la norma de Bombieri .

Norma de Bombieri

La norma de Bombieri se define en términos del siguiente producto escalar : Para todo lo que tenemos

si
Para cada uno definimos

donde usamos la siguiente notación: si , escribimos y y

La propiedad más notable de esta norma es la desigualdad de Bombieri:

Sean dos polinomios homogéneos respectivamente de grado y con variables, entonces, se cumple la siguiente desigualdad:

En la afirmación anterior, la desigualdad de Bombieri es la desigualdad del lado izquierdo; la desigualdad del lado derecho significa que la norma de Bombieri es una norma del álgebra de polinomios bajo multiplicación.

La desigualdad de Bombieri implica que el producto de dos polinomios no puede ser arbitrariamente pequeño, y este límite inferior es fundamental en aplicaciones como la factorización de polinomios (o en la construcción de Enflo de un operador sin un subespacio invariante).

Aplicaciones

La idea de Enflo de "concentración de polinomios en grados bajos" ha dado lugar a importantes publicaciones en teoría de números [22] , geometría algebraica y diofántica [23] y factorización de polinomios [24] .

Biología matemática: dinámica de poblaciones

En matemáticas aplicadas , Per Enflo ha publicado varios artículos en biología matemática , específicamente en dinámica de poblaciones .

Evolución humana

Enflo también ha publicado en genética de poblaciones y paleoantropología . [25]

En la actualidad, todos los humanos pertenecen a una población de Homo sapiens sapiens , que se divide por barreras de especies. Sin embargo, según el modelo "Out of Africa", esta no es la primera especie de homínidos: la primera especie del género Homo , el Homo habilis , evolucionó en África oriental hace al menos 2 Ma, y los miembros de esta especie poblaron diferentes partes de África en un tiempo relativamente corto. El Homo erectus evolucionó hace más de 1,8 Ma, y hace 1,5 Ma se había extendido por todo el Viejo Mundo .

Los antropólogos han estado divididos en cuanto a si la población humana actual evolucionó como una población interconectada (como postula la hipótesis de la evolución multirregional ), o evolucionó sólo en África Oriental, se especió y luego migró fuera de África y reemplazó a las poblaciones humanas en Eurasia (llamado el modelo "Fuera de África" ​​o el modelo de "Reemplazo Completo").

Los neandertales y los humanos modernos coexistieron en Europa durante varios miles de años, pero la duración de este período es incierta. [26] Los humanos modernos pueden haber migrado por primera vez a Europa hace 40-43.000 años. [27] Los neandertales pueden haber vivido hace tan solo 24.000 años en refugios en la costa sur de la península Ibérica, como la cueva de Gorham . [28] [29] Se ha sugerido la interestratificación de restos de neandertales y humanos modernos, [30] pero se discute. [31]

Junto con Hawks y Wolpoff , Enflo publicó una explicación de la evidencia fósil sobre el ADN de los neandertales y los humanos modernos . Este artículo intenta resolver un debate en la evolución de los humanos modernos entre las teorías que sugieren orígenes multirregionales y africanos únicos . En particular, la extinción de los neandertales podría haber ocurrido debido a oleadas de humanos modernos que entraron en Europa; en términos técnicos, debido a "la afluencia continua de ADN humano moderno en el acervo genético neandertal". [32] [33] [34]

Enflo también ha escrito sobre la dinámica poblacional de los mejillones cebra en el lago Erie . [35]

Per Enflo, pianista de concierto, debutó en la Sala de Conciertos de Estocolmo en 1963. [36]

Piano

Per Enflo también es pianista de concierto .

Enflo, un niño prodigio tanto en música como en matemáticas, ganó el concurso sueco para jóvenes pianistas a los 11 años en 1956, y ganó el mismo concurso en 1961. [37] A los 12 años, Enflo apareció como solista con la Orquesta Real de la Ópera de Suecia. Debutó en la Sala de Conciertos de Estocolmo en 1963. Los maestros de Enflo incluyeron a Bruno Seidlhofer , Géza Anda y Gottfried Boon (quien fue alumno de Arthur Schnabel). [36]

En 1999, Enflo compitió en el primer Concurso Internacional de Piano Anual para Aficionados Destacados de la Fundación Van Cliburn . Archivado el 19 de abril de 2009 en Wayback Machine . [38]

Enflo actúa regularmente en Kent y en una serie de conciertos de Mozart en Columbus, Ohio (con la Triune Festival Orchestra). Sus recitales de piano solo han aparecido en la Classics Network de la estación de radio WOSU , patrocinada por la Universidad Estatal de Ohio . [36]

Referencias

Notas

  1. ^ Página 586 en Halmos 1990.
  2. ^ Per Enflo: Un contraejemplo del problema de aproximación en espacios de Banach. Acta Mathematica vol. 130, núm. 1, julio de 1973
  3. ^ * Enflo, Per (1976). "Sobre el problema del subespacio invariante en espacios de Banach". Séminaire Maurey--Schwartz (1975--1976) Espaces L p , aplicaciones radonifiantes et géométrie des espaces de Banach, Exp. Núms. 14-15 . Centro de Matemáticas, École Polytech., Palaiseau. pag. 7. SEÑOR  0473871.
    • Enflo, Per (1987). "Sobre el problema del subespacio invariante para espacios de Banach". Acta Mathematica . 158 (3): 213–313. doi : 10.1007/BF02392260 . ISSN  0001-5962. MR  0892591.
  4. ^ El propio Rådström había publicado varios artículos sobre el quinto problema de Hilbert desde el punto de vista de la teoría de semigrupos . Rådström también fue el asesor (inicial) de Martin Ribe, quien escribió una tesis sobre espacios lineales métricos que no necesitan ser localmente convexos; Ribe también utilizó algunas de las ideas de Enflo sobre geometría métrica , especialmente la "redondez", para obtener resultados independientes sobre incrustaciones uniformes y de Lipschitz (Benyamini y Lindenstrauss). Esta referencia también describe los resultados de Enflo y sus estudiantes sobre tales incrustaciones.
  5. ^ Teorema 15.4.1 en Matoušek.
  6. ^ Matoušek 370.
  7. ^ Matoušek 372.
  8. ^ Beauzamy 1985, página 298.
  9. ^ Pisier.
  10. ^ Schauder J (1927). "Zur Theorie stetiger Abbildungen in Funktionalraumen" (PDF) . Mathematische Zeitschrift . 26 : 47–65. doi :10.1007/BF01475440. hdl :10338.dmlcz/104881. S2CID  123042807.
  11. ^ Schauder J (1928). "Eine Eigenschaft des Haarschen Orthogonalsystems". Mathematische Zeitschrift . 28 : 317–320. doi :10.1007/BF01181164. S2CID  120228356.
  12. ^ Mauldin
  13. ^ ab Joram Lindenstrauss y L. Tzafriri.
  14. ^ La "sensación" de Enflo se analiza en la página 287 de Pietsch, Albrecht (2007). Historia de los espacios de Banach y operadores lineales. Boston, MA: Birkhäuser Boston, Inc. pp. xxiv+855 pp. ISBN 978-0-8176-4367-6.Sr. 2300779  .Las introducciones a la solución de Enflo fueron escritas por Halmos, por Johnson, por Kwapień, por Lindenstrauss y Tzafriri, por Nedevski y Trojanski, y por Singer.
  15. ^ Kałuża, Sajonia, Eggleton, Mauldin.
  16. ^ desde Beauzamy 1988; Yadav.
  17. ^ Yadav, página 292.
  18. ^ Por ejemplo, Radjavi y Rosenthal (1982).
  19. ^ Heydar Radjavi y Peter Rosenthal (marzo de 1982). "El problema del subespacio invariante". The Mathematical Intelligencer . 4 (1): 33–37. doi :10.1007/BF03022994. S2CID  122811130.
  20. ^ Página 401 en Foiaş, Ciprian; Jung, Il Bong; Ko, Eungil; Pearcy, Carl (2005). "Sobre operadores cuasinilpotentes. III". Journal of Operator Theory . 54 (2): 401–414.El método de Enflo de "vectores mínimos" ("hacia adelante") también se menciona en la revisión de este artículo de investigación por Gilles Cassier en Mathematical Reviews : MR 2186363 El método de Enflo de vector mínimo se describe con mayor detalle en un artículo de investigación sobre el problema del subespacio invariante por Enflo y Victor Lomonosov , que aparece en el Handbook of the Geometry of Banach Spaces (2001).
  21. ^ Schmidt, página 257.
  22. ^ Montgomery. Schmidt. Beauzamy y Enflo. Beauzamy, Bombieri, Enflo y Montgomery
  23. ^ Bombieri y Gubler
  24. ^ Knuth. Beauzamy, Enflo y Wang.
  25. ^ El modelo para la evolución de la genética de poblaciones humanas (desarrollado por Enflo y sus coautores) apareció en la portada de un importante periódico sueco. Jensfelt, Annika (14 de enero de 2001). "Ny brandfackla tänder debatten om manniskans ursprung". Svenska Dagbladet (en sueco): 1.
  26. ^ Mellars, P. (2006). "Una nueva revolución del radiocarbono y la dispersión de los humanos modernos en Eurasia". Nature . 439 (7079): 931–935. Bibcode :2006Natur.439..931M. doi :10.1038/nature04521. PMID  16495989. S2CID  4416359.
  27. ^ Bancos, William E.; Francisco d'Errico; A. Townsend Peterson; Masa Kageyama; Adriana Sima; María-Fernanda Sánchez-Goñi (24 de diciembre de 2008). Harpending, Henry (ed.). "Extinción de neandertales por exclusión competitiva". MÁS UNO . 3 (12). Biblioteca Pública de Ciencias: e3972. Código Bib : 2008PLoSO...3.3972B. doi : 10.1371/journal.pone.0003972 . ISSN  1932-6203. PMC 2600607 . PMID  19107186. 
  28. ^ Rincon, Paul (13 de septiembre de 2006). «El último refugio rocoso de los neandertales». BBC News . Consultado el 11 de octubre de 2009 .
  29. ^ Finlayson, C., FG Pacheco, J. Rodríguez-Vidal, DA Fa, JMG López, AS Pérez, G. Finlayson, E. Allue, JB Preysler, I. Caceres, JS Carrion, YF Jalvo, CP Gleed-Owen, FJJ Espejo, P. López, JAL Saez, JAR Cantal, AS Marco, FG Guzmán, K. Brown, N. Fuentes, CA Valarino, A. Villalpando, CB Stringer, FM Ruiz y T. Sakamoto. 2006. Supervivencia tardía de los neandertales en el extremo sur de Europa. Publicación en línea avanzada de Nature .
  30. ^ Gravina, B.; Mellars, P.; Ramsey, CB (2005). "Datación por radiocarbono de ocupaciones humanas interestratificadas de neandertales y de los primeros tiempos modernos en el yacimiento tipo Chatelperroniano". Nature . 438 (7064): 51–56. Bibcode :2005Natur.438...51G. doi :10.1038/nature04006. PMID  16136079. S2CID  4335868.
  31. ^ Zilhão, João; Francisco d'Errico; Jean-Guillaume Bordes; Arnaud Lenoble; Jean-Pierre Texier; Jean-Philippe Rigaud (2006). "Análisis de la interestratificación auriñaciense en el sitio de tipo Châtelperroniano e implicaciones para la modernidad conductual de los neandertales". PNAS . 103 (33): 12643–12648. Código bibliográfico : 2006PNAS..10312643Z. doi : 10.1073/pnas.0605128103 . PMC 1567932 . PMID  16894152. 
  32. ^ Página 665:
    • Pääbo, Svante y otros. "Análisis genéticos a partir de ADN antiguo". Año. Rev. Genet. 38, 645–679 (2004).
  33. ^ Jensfelt, Annika (14 de enero de 2001). "Ny brandfackla tänder debatten om manniskans ursprung". Svenska Dagbladet (en sueco): 1.
  34. ^ "'La teoría de Per Enflo está extremadamente bien pensada y es de la mayor importancia'... dijo el antropólogo estadounidense Milford Wolpoff , profesor de la Universidad de Michigan." (Página 14 en Jensfelt, Annika (14 de enero de 2001). "Ny brandfackla tänder debatten om manniskans ursprung". Svenska Dagbladet (en sueco): 14-15.)
  35. ^ Sajonia
  36. ^ abc * Serie de conciertos de música de cámara de Chagrin Valley 2009-2010 Archivado el 11 de noviembre de 2012 en Wayback Machine .
  37. ^ Sajonia.
  38. ^ Michael Kimmelman (8 de agosto de 1999). "El regreso de Prodigy". The New York Times Magazine . Sección 6, pág. 30.

Bibliografía

Fuentes externas