フォンノイマンエントロピーの定義
フォンノイマンエントロピーの性質
【証明】
①直交する状態によって
と書くと、アンサンブルとしてはであり、
だから、確かにシャノンエントロピーのボルツマン定数倍である。
②、③
①から明らかである。
④をユニタリ変換すると
と書ける。直交する状態は異なるが、は変わらないので、①より、シャノンエントロピーが変化せずフォンノイマンエントロピーも変化しない。
⑤直交する状態によるスペクトル分解を
と書くと、
するとは合成系における互いに直交する状態であり、確率分布がなので、①から、
⑥準備中