Lattice approach to Wigner-type theorems

The Wigner's Theorem states that a bijective transformation of the set of all one-dimensional linear subspaces of a complex Hilbert space which preserves orthogonality is induced by either a unitary or an anti-unitary operator. There exist many Wigner-type theorems, in particular in indefinite metric spaces, von Neumanns algebras and Banach spaces and we try to find a common origin of all these results by using properties of the lattice subspaces of certain topological vector spaces. We prove a Wigner-type theorem for a pair of dual spaces which allows us to obtain, as particular cases, the usual Wigner's Theorem and some of its generalizations.