El producto interno en el espacio de operadores Hilbert–Schmidt A,B definido por ⟨A,B⟩_{HS} = tr(A† B), que dota a ese espacio de estructura de espacio de Hilbert e induce la norma Hilbert–Schmidt (Frobenius) ||A||2 = √tr(A†A).

Principio

El emparejamiento por traza define una forma sesquilineal y definida positiva sobre operadores Hilbert–Schmidt; la invariancia unitaria (⟨U A V, U B V⟩ = ⟨A,B⟩) y las bases ortonormales de operadores permiten expansiones e identidades tipo Parseval a nivel operador.

Demostración

Para matrices finitas A y B, el producto Hilbert–Schmidt coincide con el producto de Frobenius Σij A*ij Bij; una base ortonormal de operadores {Eμ} satisface tr(Eμ† Eν) = δμν, de modo que cualquier operador HS se expande como A = Σμ ⟨Eμ,A⟩ Eμ con ||A||2^2 = Σμ |⟨Eμ,A⟩|^2.

Aplicación incorrecta

Aplicar el producto Hilbert–Schmidt a operadores que no son Hilbert–Schmidt (por ejemplo operadores no acotados o fuera de la clase L2) es inválido; confundir este producto con el producto interno inducido por la acción sobre vectores conduce a errores de categoría.

Consecuencia

Proporciona una noción bien comportada de ortogonalidad y norma para operadores, permite descomposiciones espectrales en bases de operadores, simplifica cálculos de solapamientos y fidelidades (con condiciones de clase traza) y soporta técnicas de proyección en estimación de operadores.

Inversión

La perspectiva inversa es el producto interno de la acción del operador sobre vectores (⟨ψ|A|φ⟩) en lugar de sobre los propios operadores; muchas manipulaciones del espacio de operadores fallan si se intercambian estos niveles sin comprobar la pertenencia de clase de los operadores implicados.

Límite

Definido para operadores Hilbert–Schmidt (clase Schatten p=2); en dimensión finita todos los operadores son HS y el producto coincide con el acoplamiento de Frobenius, mientras que en dimensión infinita solo califican los operadores con valores singulares cuadrado-sumables.

Tensión semántica

Tensión entre el producto Hilbert–Schmidt y el emparejamiento por traza utilizado en la dualidad de la clase traza: ambos implican trazas pero difieren en dominio (HS vs clase traza) y en su relación con normas de operador y espacios duales.

Síntesis

El producto interno Hilbert–Schmidt es la forma sesquilineal basada en la traza que convierte el espacio de operadores Hilbert–Schmidt en un espacio de Hilbert, permitiendo bases ortonormales de operadores, identidades de Parseval y cálculos prácticos de solapamiento entre operadores.