A non-injective version of Wigner's theorem

Mark Pankov, Lucijan Plevnik

Let $H$ be a complex Hilbert space and let ${\mathcal{F}}_s(H)$ be the real vector space of all self-adjoint finite rank operators on $H$. We prove the following non-injective ver…