A Constructive Proof of a General Wigner's Theorem.
Daniel D. Spiegel
This paper presents a constructive proof of a non-bijective, non-separable form of Wigner's theorem, that uses only a few basic facts about Hilbert spaces, including the existence of orthonormal bases and the Fourier decomposition of a vector. Our proof is based on a proof by Steven Weinberg from 1995, but improves on that proof with greater simplicity and generality. Furthermore, our proof fills in a few holes where Weinberg is not completely mathematically rigorous.
•Oct 23, 2018•0 citations