Si| ϕ⟩
y| ψ⟩
son linealmente independientes, entonces siempre es posible asignarlos a los vectores columna
| ϕ⟩↦ (10) y | ψ⟩↦ (01) ,
pero si no son ortogonales, obviamente necesitará trabajar más en la representación del producto interno en esta base.
La forma más limpia de hacerlo es volver a pensar en los sujetadores.⟨ ϕ |
y⟨ ψ |
como la base dual para el espacio dual deH
. Por lo tanto, son funcionales lineales sobreC2
, representado por vectores fila
⟨ ϕ | ↦ ( unb ) y ⟨ ψ | ↦ ( dod) .
Los coeficientes en estos covectores están fijados por el requisito de que
⟨ ϕ |
y
⟨ ψ |
reproducir el antiguo producto escalar:
( unsegundo ) (10)( dod) (10)= 1 ,= ⟨ ψ | ϕ ⟩ ,( unsegundo ) (01)( dod) (01)= ⟨ ϕ | ψ⟩ , _= 1.
Esto fija la representación como
⟨ ϕ | ↦ ( 1⟨ ϕ | ψ ⟩ ) y ⟨ ψ | ↦ ( ⟨ ψ | ϕ ⟩1 ) .
Habiendo hecho esto, obtienes la representación correcta paraH
:
H= | ϕ ⟩ ⟨ ϕ | + | ψ ⟩ ⟨ ψ | = (10) ( 1⟨ ϕ | ψ ⟩ ) + (01) ( ⟨ ψ | ϕ ⟩1 ) = (1⟨ ψ | ϕ ⟩⟨ ϕ | ψ ⟩1) .
Ignacio Vergara Kausel
david z