Un rigged Hilbert space (triple de Gelfand) es un triplete Φ ⊂ H ⊂ Φ' donde Φ es un subespacio denso del espacio de Hilbert H dotado de una topología más fina y Φ' es su dual topológico de funcionales antilineales continuos; este marco admite autovectores generalizados y distribuciones empleadas en la formalidad de Dirac.

Principio

Al situar H entre un espacio de vectores de prueba y su dual, se permiten objetos (autovectores generalizados, kets normalizados por δ) que no son cuadrado-integrables para ser tratados como funcionales continuos, posibilitando descomposiciones espectrales para operadores no acotados y espectros continuos.

Demostración

Para el operador posición en L^2(R), puede elegirse Φ como el espacio de Schwartz S(R) de funciones suaves de decaimiento rápido; los 'kets' |x⟩ de posición no pertenecen a L^2(R) pero definen elementos de Φ' y permiten interpretar rigurosamente expresiones como ψ(x) = ⟨x|ψ⟩ como emparejamientos distributionales.

Aplicación incorrecta

Tratar a los kets de Dirac |x⟩ o a estados de onda plana como miembros legítimos de H en lugar de Φ' conduce a manipulaciones incorrectas (por ejemplo asumir normalización ordinaria) y oculta problemas de dominio de operadores no acotados.

Consecuencia

La construcción del espacio rigged Hilbert proporciona un marco matemáticamente controlado para las manipulaciones bra–ket de Dirac, justifica la normalización por δ y las medidas espectrales generalizadas, y aclara el papel de las distribuciones en la teoría espectral cuántica.

Inversión

Restringirse estrictamente a H sin rigging impide representar autovectores del espectro continuo y obliga a usar solo medidas proyectivas y secuencias aproximantes, perdiendo expresiones formales útiles como |x⟩.

Límite

El triplete depende de la elección del espacio de prueba Φ y su topología; no es único y no elimina la necesidad de comprobar dominios y continuidad para operadores concretos: Φ debe escogerse según los operadores de interés.

Tensión semántica

Hay tensión entre la notación informal de Dirac, que trata kets generalizados como 'vectores', y la exigencia matemática de duales distributionales precisos; los tripletes de Gelfand reconcilian ambos enfoques pero añaden estructura y decisiones.

Síntesis

Un triplete de Gelfand complementa un espacio de Hilbert con un espacio de pruebas denso y su dual para que los autovectores distributionales y los estados normalizados por δ sean funcionales continuos bien definidos, proporcionando el trasfondo riguroso que justifica los cálculos al estilo Dirac para espectros continuos y operadores no acotados.