Los matemáticos son flojos (al igual que los programadores son flojos). Quieren abstraer todo para que se pueda hacer una declaración que se aplique a tantas cosas como sea posible.
El espacio de Hilbert es una abstracción. Al igual que un grupo es una abstracción de una estructura en álgebra.
Un espacio de Hilbert es algo con:
– un espacio vectorial completo H (e incluso podemos dividirlo en estructuras en álgebra, es decir, H es un grupo abeliano con esto y aquello …)
– un operador de producto interno que cumple 3 requisitos de operador de producto interno
– finalmente, el operador interno del producto debe inducir una métrica de distancia que satisfaga las 4 condiciones métricas y se complete sobre H.
- ¿Por qué la función de onda se denomina densidad de probabilidad?
- ¿Los paneles solares serán más eficientes en una tendencia similar a la Ley de Moore?
- ¿Puede el universo en su conjunto ser tratado como una ola?
- ¿Cómo sería el código de programación para el universo como modelo 3D (siendo tan mecánico como es hasta el nivel cuántico), lo mejor que pueda aproximarse?
- Si el exterior de una manecilla del reloj se mueve una longitud de Planck, ¿el interior se movería menos de una longitud de Planck?
Como analogía: en el software, existe la idea de una clase base que abstraiga las características de muchas clases diferentes. Entonces podemos tener fruta, manzana y naranja con fruta como base.
Aquí, podemos tener Hilbert, luego tenemos SS (espacio de estado para la mecánica cuántica), [matemáticas] L ^ p [/ matemáticas], espacios vectoriales de dimensiones finitas y muchos otros espacios. Hilbert es el “espacio base”.
La ventaja de hacer esto es que los teoremas que se prueban en el espacio de Hilbert se aplican automáticamente a los espacios “derivados”. De esta forma, los matemáticos pueden escribir sus ideas una vez en una biblioteca de teoremas espaciales de Hilbert, y los físicos pueden usarlas (para QM), y los ingenieros pueden usarlas para el procesamiento de señales (en [matemáticas] L ^ 2 [/ matemáticas]).
Un ejemplo de algo que los matemáticos hicieron que es útil en espacios derivados posteriores es el teorema de representación de Riesz.
El enunciado del teorema parece extraño, pero es bastante profundo y útil. Por ejemplo, a los ingenieros se les enseña que cada sistema lineal puede representarse como una convolución con un núcleo único. Sabemos que esto es cierto aplicando el teorema de representación de Riesz. Esta es la base de la teoría del sistema lineal, que se utiliza para códec de audio, códec de video y muchas otras aplicaciones prácticas.
Podemos llevar esta idea incluso un paso más arriba y definir una estructura aún más débil que Hilbert llamada espacio de Banach. En un espacio de Banach, solo necesitas:
– un espacio vectorial completo B
– un operador normativo ||. ||
De modo que los espacios de Hilbert son espacios de Banach (donde definimos || x || como y es el producto interno).
Luego podemos hablar de teoremas en el espacio de Banach que se aplicarían automáticamente a los espacios de Hilbert, lo que significa que son automáticamente aplicables a SS, [matemática] L ^ 2 [/ matemática] y los otros espacios derivados.
Un ejemplo de un teorema en el espacio de Banach es algo llamado teorema de punto fijo de Banach (esto en realidad es sobre el espacio métrico). Sabemos que esto tiene profundas consecuencias en la economía.
Incluso podemos dar un paso adelante. El operador norma ||. || en el espacio de Banach induce una topología en ese espacio. Ahora podemos eliminar completamente el espacio vectorial y simplemente tener un espacio topológico … y esto puede seguir y seguir.
Entonces puede ver que, además de proporcionar seguridad laboral a los matemáticos, también es bastante profundo y útil para otros campos.
Este tipo de estructura es realmente genial en teoría. El problema es que, en la práctica, parece que tenemos que volver a probar los teoremas a lo largo de la cadena a medida que nos educamos más.
Por ejemplo, el teorema de representación de Reisz para [matemáticas] L ^ 2 [/ matemáticas] probablemente se enseña en la clase de análisis de pregrado. El teorema de representación de Reisz para el espacio vectorial finito también se enseña en álgebra lineal de pregrado. La versión de Hilbert es una versión graduada. ¿Quizás algunos matemáticos puedan darnos una idea de por qué este es el caso? Parece que puede ahorrar mucho tiempo yendo de arriba abajo.
Oh, aquí hay una imagen genial (aunque no es completa) de wikipedia (Espacio (matemáticas))
Supongo que las flechas representan “es una” relación, y está al revés de cómo los programadores suelen dibujar un diagrama de clase.