Teorema de representación de Kolmogórov-Arnold

proposición que afirma que las funciones multivariadas se pueden escribir usando funciones de una variable y la suma

En análisis real y en teoría de la aproximación, el teorema de representación de Kolmogórov-Arnold (o teorema de superposición) establece que cada función continua multivariable se puede representar como una superposición de la suma con dos argumentos de funciones continuas de una variable. Su demostración supuso la resolución de una forma más restringida del decimotercer problema de Hilbert, por lo que el propio decimotercer problema original de Hilbert figura como un corolario del teorema.[1][2][3]

Los trabajos de Vladímir Arnold y de Andréi Kolmogórov establecieron que si f es una función continua multivariable, entonces f puede escribirse como una composición finita de funciones continuas de una sola variable y la operación binaria de adición.[4]​ Más específicamente,

.

donde y ; y siendo las 2n+1 funciones y las 2(n+1)n funciones todas ellas funciones continuas y de una sola variable.

Existen demostraciones del teorema con construcciones específicas.[5]

En cierto sentido, demostraron que la única función multivariada verdadera es la suma, ya que cualquier otra función se puede escribir usando funciones univariables y la suma.[6]: 180 

Historia editar

El teorema de representación de Kolmogorov-Arnold está estrechamente relacionado con el decimotercer problema de Hilbert. En su conferencia al Congreso Internacional de Matemáticos de París en 1900, David Hilbert formuló 23 problemas que, en su opinión, eran importantes para el desarrollo posterior de las matemáticas.[7]​ El decimotercero de estos problemas trataba de la solución de ecuaciones generales de grados superiores. Se sabe que para ecuaciones algebraicas de grado cuatro la solución se puede calcular mediante fórmulas que solo contienen radicales y operaciones aritméticas. Para órdenes superiores, la teoría de Galois demuestra que las soluciones de ecuaciones algebraicas no se pueden expresar en términos de operaciones algebraicas básicas. De la llamada transformación de Tschirnhaus se deduce que la ecuación algebraica general

 

se puede traducir a la forma  . La transformación de Tschirnhaus viene dada por una fórmula que contiene solo radicales y operaciones y transformadas aritméticas. Por tanto, la solución de una ecuación algebraica de grado   se puede representar como una superposición de funciones de dos variables si   y como una superposición de funciones de   variables si  . Para  , la solución es una superposición de operaciones aritméticas, radicales y la solución de la ecuación  .

Parece imposible una mayor simplificación con transformaciones algebraicas, lo que llevó a Hilbert a la conjetura de que "una solución de la ecuación general de grado 7 no puede representarse como una superposición de funciones continuas de dos variables". Esto explica la relación del decimotercer problema de Hilbert con la representación de una función de dimensiones superiores como superposición de funciones de dimensiones inferiores. En este contexto, ha estimulado muchos estudios en teoría de funciones y otros problemas relacionados por parte de diferentes autores.[8]

Kolmogórov declaró que este resultado fue el más difícil desde el punto de vista técnico al que se había enfrentado y el que le exigió un período más largo de concentración en el mismo problema.[9]

Variantes editar

Una variante del teorema de Kolmogorov que reduce el número de las funciones externas   se debe a George Lorentz.[10]​ Demostró en 1962 que las funciones externas   pueden reemplazarse por una única función  . Más precisamente, Lorentz demostró la existencia de funciones  ,  ,   tales que

 .

David Sprecher[11]​ reemplazó las funciones internas   por una única función interna con un cambio apropiado en su argumento. Demostró que existen valores reales  , una función continua   y una función real creciente continua   con  , para  , tales que

 .

Phillip A. Ostrand[12]​ generalizó el teorema de superposición de Kolmogorov a espacios métricos compactos. Para  , sea   un conjunto de espacios métricos compactos de dimensión finita   y sea  . Entonces, existen funciones continuas   y funciones continuas   tales que cualquier función continua   es representable en la forma

 .

Limitaciones editar

El teorema no se cumple en general para funciones complejas multivariable, como se analiza aquí.[2]​ Además, la falta de suavidad de las funciones internas y su "comportamiento salvaje" ha limitado el uso práctico de la representación,[13]​ aunque existe cierto debate al respecto.[14]

Véase también editar

Referencias editar

  1. Khesin, Boris A.; Tabachnikov, Serge L. (2014). Arnold: Swimming Against the Tide. American Mathematical Society. p. 165. ISBN 978-1-4704-1699-7. 
  2. a b Akashi, Shigeo (2001). «Application of ϵ-entropy theory to Kolmogorov—Arnold representation theorem». Reports on Mathematical Physics (en inglés) 48 (1-2): 19-26. doi:10.1016/S0034-4877(01)80060-4. 
  3. Morris, Sidney A. (6 de julio de 2020). «Hilbert 13: Are there any genuine continuous multivariate real-valued functions?». Bulletin of the American Mathematical Society (en inglés) 58 (1): 107-118. ISSN 0273-0979. doi:10.1090/bull/1698. 
  4. Bar-Natan, Dror. «Dessert: Hilbert's 13th Problem, in Full Colour». 
  5. Braun, Jürgen; Griebel, Michael (2009). «On a constructive proof of Kolmogorov’s superposition theorem». Constructive Approximation (en inglés) 30 (3): 653-675. doi:10.1007/s00365-009-9054-2. 
  6. Diaconis, Persi; Shahshahani, Mehrdad (1984). «On linear functions of linear combinations». SIAM Journal on Scientific Computing 5 (1): 175–191. 
  7. Hilbert, David (1902). «Mathematical problems». Bulletin of the American Mathematical Society 8 (10): 461-462. doi:10.1090/S0002-9904-1902-00923-3. 
  8. Jürgen Braun, On Kolmogorov's Superposition Theorem and Its Applications, SVH Verlag, 2010, 192 pp.
  9. C. Sánchez y C. Valdés, Kolmogórov: el zar del azar, p. 151
  10. Lorentz, G. G. (1962). «Metric entropy, widths, and superpositions of functions». American Mathematical Monthly 69 (6): 469-485. doi:10.1080/00029890.1962.11989915. 
  11. David A. Sprecher, On the structure of continuous functions of several variables, Transactions of the American Mathematical Society, 115 (1965), pp. 340–355.
  12. Ostrand, Phillip A. (1965). «Dimension of metric spaces and Hilbert's problem 13». Bulletin of the American Mathematical Society 71 (4): 619-622. doi:10.1090/s0002-9904-1965-11363-5. 
  13. F. Girosi and T. Poggio, "Representation Properties of Networks: Kolmogorov's Theorem Is Irrelevant," in Neural Computation, vol. 1, no. 4, pp. 465–469, Dec. 1989, doi: 10.1162/neco.1989.1.4.465.
  14. Věra Kůrková, "Kolmogorov's Theorem Is Relevant", https://doi.org/10.1162/neco.1991.3.4.617

Bibliografía editar

  • Andréi Kolmogórov, "On the representation of continuous functions of several variables by superpositions of continuous functions of a smaller number of variables" (Sobre la representación de funciones continuas de varias variables mediante superposiciones de funciones continuas de un número menor de variables), Proceedings of the USSR Academy of Sciences, 108 (1956), págs. 179–182; Traducción al inglés: Amer. Matemáticas. Soc. Traducción, 17 (1961), págs. 369–373.
  • Jürgen Braun, Michael Griebel: On a constructive proof of Kolmogorov’s superposition theorem.
  • Vladímir Arnold, "Sobre funciones de tres variables", Actas de la Academia de Ciencias de la URSS, 114 (1957), págs. 679–681; Traducción al inglés: Amer. Matemáticas. Soc. Traducción, 28 (1963), págs. 51–54.

Lectura adicional editar

  • S. Sí. Khavinson, "Mejor aproximación por superposiciones lineales (nomografía aproximada)", Traducciones AMS de monografías matemáticas (1997)

Enlaces externos editar