bra-ket記法
使い方のイメージがつかめる
$ \Bra{x}:=x^\dagger
$ \Ket x:=x
$ \Ket\psi\in V,\Bra\phi\in V^*
$ \Braket{\phi|\psi}=\Bra{\phi}(\Ket{\psi})
$ T\Ket{x}:=T(\Ket{x})
$ \Braket{x|T|y}:=\Braket{x|T(y)}
$ \Ket{y}=\sum_i\Ket{e_i}\Braket{e^i|y}
$ I=\sum_i\Ket{e_i}\Bra{e^i}が恒等変換に相当する
性質
$ \Ket{x}^\dagger=\Bra{x}
$ \Bra{x}^\dagger=\Ket{x}
$ \Braket{x|T|y}^\dagger=\Braket{y|T^\dagger|x}