想請問一個有關partial trace運作的問題.

我們知道若有一系統X是由A與B兩個子系統所合成,
那如果寫tr_{B}(X)則是指"單單看X系統內的A的部分".

那我想問的是, 假設有個operator U,
這個U是可以合法apply在系統X上的operator,
那, 如果我寫tr_{B}(U)的話, 這樣算是一種合法的寫法嗎?
另外, tr_{B}(U)輸出的那個matrix我還是可以想成是一種operator且是"只作用在子系統
A的那部份的U"嗎?
(當然如果U是n*n的話, tr_{B}(U)應該會是m*m, m<n)

:)
謝謝

--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 61.228.173.214