$ L $ on lineaarne operaator, mis tegutseb hilberti ruumis $ V $ dimensiooniga $ n $, $ L: V \ kuni V $. Lineaarse operaatori jälg on defineeritud kui mistahes maatriksi kujutise diagonaalsete kirjete summa samas väärtuses $ V $. Kuid kui $ L $ on lineaaroperaator, mis tegutseb $ V \ otimes V $ korral ja ma tahan esimese / teise süsteemi üle võtta osalise jälje, on minu jaoks mõistlik, kui operaator on väljendatud diraci tähis, nt lineaaroperaator, mis tegutseb $ H \ otimes H $, kus $ H $ on kahemõõtmeline hilberti ruum diraci tähistuses $$ L_ {AB} = | 01 \ rangle \ langle 00 | + | 00 \ rangle \ langle 10 | $$ $$ tr_A (L_ {AB}) = | 1 \ rangle \ langle 0 | $$ $$ tr_B (L_ {AB}) = | 0 \ rangle \ langle 1 | $$ siin $ \ {| 0 \ rangle , | 1 \ rangle \} $ on $ H $ jaoks ortonormaalne alus. Kuidas aga leitakse ja määratletakse osaline jälg lineaaroperaatori maatriksesitusena. Kas sisendi ja väljundi alus peab olema osalise jälje määratlemiseks sarnane jälje määratlusega?