olymmath

SCHWEITZER 2009 Problem 11

    Denote by HnH_n the linear space of n×nn\times n self-adjoint complex matrices, and by PnP_n the cone of positive-semidefinite matrices in this space. Let us consider the usual inner product on HnH_n ⟨A,B⟩=trAB(A,B∈Hn)\langle A,B\rangle = {\rm tr} AB (A,B\in H_n) and its derived metric. Show that every ϕ:Pn→Pn\phi: P_n\to P_n isometry (that is a not necessarily surjective, distance preserving map with respect to the above metric) can be expressed as ϕ(A)=UAU∗+X(A∈Hn)\phi(A) = UAU^* + X (A\in H_n) or ϕ(A)=UATU∗+X(A∈Hn)\phi(A) = UA^TU^* + X (A\in H_n) where UU is an n×nn\times n unitary matrix, XX is a positive-semidefinite matrix, and T^T and ∗^* denote taking the transpose and the adjoint, respectively.

    Dataset text AI-MO AoPS. Quoted with source.

    Solutions

    No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.

    Add a solution

    Similar problems

    These problems have the most words in common with this statement.

    Locator schweitzer/2009/p11 · Tag KDM6CBDJK7 · Edit this page on GitHub · Keys: j next, k previous