si los vectores y se definen como
entonces uno puede ver que productos como
no convergen, lo que significa que y no pertenecen a un espacio de Hilbert ya que es necesario que . Entonces, ¿cómo se deben entender estos objetos y a qué espacio pertenecen?
Los físicos suelen relajar generosamente la condición de que la norma debe ser finita y a veces dicen que pertenecen al "espacio de Hilbert". Es exactamente el mismo lenguaje "generoso" que permite a los físicos decir que es una "función", la función delta, aunque sus valores alrededor son infinitos o "mal definidos", por lo que no es realmente una función.
Rigurosamente matemáticamente, esos objetos no pertenecen al espacio de Hilbert (porque su norma no es finita) pero (en analogía con el concepto de "distribuciones" que incluyen "funciones" como ) existe un concepto matemático que incluye dichos vectores no normalizables, el espacio amañado de Hilbert.
La idea de que uno puede definir un subespacio del espacio de Hilbert que contiene funciones suficientemente suaves. El espacio dual al espacio de Hilbert es sí mismo. Pero el espacio dual al subespacio es que es, por el contrario, mayor que , y es esto que se llama el espacio amañado de Hilbert y que contiene objetos tales como . Formalmente matemáticamente, el triplete completo generalmente se lo conoce como "el espacio de Hilbert amañado".
Solo para agregar a lo que se ha dicho y abordar el comentario de @LightnessRacesinOrbit, de hecho, puede tener funciones perfectamente buenas que solo se definen en algún subconjunto de los números reales. La razón por la que el delta de Dirac no es una función no es que solo esté bien definida para algunos números reales y no para otros; de hecho, ¡no está definida como una función en ninguna parte! En cambio, se define como una especie de función "hipotética", llámela , que, si existiera, cumpliría la propiedad de que cuando la integraste con cualquier otra función (suficientemente agradable) , obtendrías
.
No hay una función bien definida que realmente haga esto, pero hay funciones bien definidas que se acercan tanto como quieras: por ejemplo, funciones que podemos llamar que son iguales a cero en todas partes excepto en un pequeño intervalo alrededor de cero, y son iguales a por . Note que si es suave, entonces
.
Entonces podemos acercarnos a tener una función que se comporte de la manera que queremos que se comporte un delta de Dirac, pero no del todo (esa igualdad es solo aproximada, porque puede variar en el intervalo ). En lugar de una función, el delta de Dirac es realmente un operador lineal que toma una función suave y te devuelve el valor de esa función en . Notacionalmente todavía pretendemos que hay una "función" que encarna esta operación cuando integras otras funciones en su contra, pero más propiamente es un elemento del llamado "espacio dual" al espacio de funciones suaves que son cero fuera de un intervalo acotado, es decir, es un elemento de el espacio de operadores lineales sobre tales funciones (como tecnicismo: nótese que es un operador lineal continuo con respecto a la norma uniforme sobre funciones suaves de soporte compacto).
una mente curiosa