ブラ・ケットはヨッシーのたまごを連想させる

　ある物理量を演算子で表す。
　ある系の状態をケットベクトルで表す。

　エルミート演算子は実数の固有値を持つ。固有値を、固有ケットをとして、

となる。また、この固有ケットの集合は完全系になっている。つまり、この固有ケットを基底ケットとして使える。

　射影演算子をに作用させると、

であり、これはをで展開しているようにも見える。

　全然まとまってないけど、もう寝ます。