Question: Using Maple to prove invariance of trace


I'm new in Mapleprimes and I'm looking forward to interesting discussions.

I was just wondering if and how it would be possible to use Maple for something like proving invariance of trace under unitary transformation.


tr(\Omega) = tr(U^{+} O U)


U^{+}U = I

After a number of reformulations, one arrives at an expression tr(O) = tr(U \Omega U^{+}).

Another example would be to show that (AB)^{-1} = B^{-1}A^{-1}. This I show by using A^{-1}A = I. Is it possible to "teach" Maple this property, and then just "ask" if (AB)^{-1} = B^{-1}A^{-1} and Maple would then use the defined properties to carry out the proof.

Can this be done?

Thanks for any feedback

Please Wait...