Ensaios sobre Computação e Informação Quânticas - DCCE - Unesp
Ensaios sobre Computação e Informação Quânticas - DCCE - Unesp
Ensaios sobre Computação e Informação Quânticas - DCCE - Unesp
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
2.10 Espaço de Estado - Notação de Dirac<br />
Consideremos que a posição de um ponto no espaço pode ser descrito por um conjunto<br />
de 3 números (R 3 ), os quais são as coordenadas com respeito a um dado sistema de eixos<br />
bem definidos, cuja alteração do sistema de eixos, faz com que um outro conjunto de<br />
coordenadas passe a corresponder ao mesmo ponto. Contudo, o conceito geométrico de<br />
vetor, nos isenta da preocupação de mencionar um sistema de eixos específicos, e assim<br />
na Mecânica Quântica: cada estado quântico de uma partícula será caracterizado por um<br />
vetor de estado, pertencente a um estado abstrato, ξr, chamado de espaço de estados de<br />
uma partícula. Definem-se agora a notação e as regras da álgebra e cálculo vetorial em<br />
ξr.<br />
2.10.1 O KET<br />
Notação: Qualquer elemento, ou vetor, do espaço ξr, é chamado de KET.<br />
pelo símbolo | >. Por exemplo |ψ >.<br />
É representado<br />
Como o conceito de função de onda é familiar, pode-se definir o espaço ξr dos estados<br />
de partícula pela associação com toda função ψ(r) quadrado integrável, um vetor KET<br />
|ψ > de ξr:<br />
2.10.2 O BRA<br />
ψ(r) ∈ Γ ⇔ |ψ >∈ ξr<br />
(2.56)<br />
Por definição, um funcional linear χ, é uma operação linear que associa um número<br />
complexo a todo KET |ψ >, ou seja,<br />
|ψ >∈ ξ ⇒ χ(|ψ >) ∈ C (2.57)<br />
Pode ser mostrado que um conjunto de funcionais lineares definidas nos KETs |ψ >∈ ξ,<br />
constitui um espaço vetorial, chamado de Espaço dual de ξ, e que será doravante simboli-<br />
zado por ξ ∗ . Qualquer elemento do espaço ξ ∗ é chamado de vetor BRA, ou simplesmente<br />
BRA.<br />
É simbolizado por < |. Por exemplo o BRA < χ| designa o funcional linear χ.<br />
Logo, pode-se usar a notação: < χ|ψ >, para denotar o número obtido da atuação do<br />
funcional linear < χ| no KET |ψ >, ou seja,<br />
χ(|ψ >) =< χ|ψ ><br />
23