New proof of Naimark's theorem on the existence of nonpositive invariant subspaces for commuting families of unitary operators in Pontryagin spaces (Q749852)

In the paper we give a new and short proof of \textit{M. A. Naimark}'s theorem [Acta Sci. Math. 24, 177-189 (1963; Zbl 0115.333)] asserting that for every commuting family \({\mathcal F}\) of unitary operators in a \(\pi_ k\)-space \(\Pi_ k\) there exists a k-dimensional, nonpositive subspace invariant under \({\mathcal F}\).