SCHWEITZER 2009 Problem 11
Denote by the linear space of self-adjoint complex matrices, and by the cone of positive-semidefinite matrices in this space. Let us consider the usual inner product on and its derived metric. Show that every isometry (that is a not necessarily surjective, distance preserving map with respect to the above metric) can be expressed as or where is an unitary matrix, is a positive-semidefinite matrix, and 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.
Similar problems
These problems have the most words in common with this statement.