Если| ф⟩
и| ψ⟩
линейно независимы, то их всегда можно поставить в соответствие векторам-столбцам
| ф⟩↦ (10) и | ψ⟩↦ (01) ,
но если они не ортогональны, вам, очевидно, придется больше работать над представлением внутреннего продукта в этой основе.
Самый простой способ сделать это — вернуться к мыслям о бюстгальтерах.⟨ ϕ |
и⟨ ψ |
как двойственное основание для двойственного пространстваЧАС
. Таким образом, они являются линейными функционалами надС2
, представленный векторами-строками
⟨ ϕ | ↦ ( аб ) и ⟨ ψ | ↦ ( сг) .
Коэффициенты в этих ковекторах фиксируются требованием, чтобы
⟨ ϕ |
и
⟨ ψ |
воспроизвести старый скалярный продукт:
( аб ) (10)( сг) (10)= 1 ,знак равно ⟨ ψ | ф ⟩ ,( аб ) (01)( сг) (01)знак равно ⟨ ϕ | ф ⟩ ,= 1.
Это фиксирует представление как
⟨ ϕ | ↦ ( 1⟨ ϕ | ψ ⟩ ) и ⟨ ψ | ↦ ( ⟨ ψ | ϕ ⟩1 ) .
Сделав это, вы получите правильное представление дляЧАС
:
ЧАС= | ϕ ⟩ ⟨ ϕ | + | ψ ⟩ ⟨ ψ | = (10) ( 1⟨ ϕ | ψ ⟩ ) + (01) ( ⟨ ψ | ϕ ⟩1 ) = (1⟨ ψ | ф ⟩⟨ ϕ | ψ ⟩1) .
Игнасио Вергара Каусель
Дэвид З.