Un funcional lineal en el espacio dual de un espacio de Hilbert, normalmente denotado ⟨φ|; asigna a los kets (|ψ⟩) números complejos mediante el producto interior ⟨φ|ψ⟩. En representaciones de dimensión finita, un bra es la transpuesta conjugada (adjunta hermítica) en forma de vector fila correspondiente al ket vector columna.

Principio

Todo ket |ψ⟩ en un espacio de Hilbert complejo H define un bra correspondiente ⟨ψ| en el espacio dual H* según la representación de Riesz: los bras son funcionales lineales que actúan sobre kets para producir escalares, y la conjugación compleja relaciona las representaciones covariantes y contravariantes.

Demostración

Para H = C^n, si |ψ⟩ = (ψ1, ψ2,..., ψn)^T entonces el bra es ⟨ψ| = (ψ1*, ψ2*,..., ψn*), una fila 1×n que da ⟨ψ|φ⟩ = Σ_i ψi* φi. En notación matricial, ⟨ψ| es la adjunta hermítica del vector columna |ψ⟩.

Aplicación incorrecta

Tratar un bra como un ket independiente y aplicar operadores por la izquierda sin usar el adjunto apropiado, por ejemplo escribir A⟨ψ| en lugar de ⟨ψ|A†, mezcla dominio y codominio y conduce a identidades algebraicas erróneas.

Consecuencia

La identificación correcta de bras permite cálculos coherentes de amplitudes, valores esperados y elementos de matriz; impone la estructura conjugado-lineal necesaria para que las amplitudes de probabilidad tengan la simetría por conjugación.

Inversión

Desde la perspectiva inversa, un ket es un vector columna en H; invertir el bra produce el ket mediante la adjunta hermítica (⟨ψ|)† = |ψ⟩, intercambiando los papeles covariante y contravariante.

Límite

Se aplica a vectores en espacios con producto interno complejos (espacios de Hilbert). Los análogos en espacios reales carecen de conjugación compleja, aunque existen nociones duales similares. Un bra no es un estado físico autónomo en teoría de la medida hasta que se empareja con su ket para producir probabilidades.

Tensión semántica

El término bra enfatiza el papel covariante y conjugado-lineal, en tensión con usos informales que reducen los bras a meros “vectores fila” y pueden ignorar la conjugación y la naturaleza del espacio dual.

Síntesis

Un vector bra es el dual conjugado de un ket: un funcional lineal representado por la fila adjunta que evalúa kets en amplitudes complejas y establece la estructura de conjugación del producto interior.