Operators on positive semidefinite inner product spaces

Let U be a semiunitary space; i.e., a complex vector space with scalar product given by a positive semidefinite Hermitian form < ., .>. If a linear operator A : U -> U is bounded (i.e., parallel to Au parallel to <= c parallel to u parallel to for some c is an element of R and all u is an element of U), then the subspace U-0 := {u is an element of U vertical bar < u, u > = 0} is invariant, and so A defines the linear operators A(0) : U-0 -> U-0 and A(1) : U/U-0 -> U/U-0. Let A be an indecomposable bounded operator on U such that 0 not equal U-0 not equal U. Let lambda be an eigenvalue of A(0). We prove that the algebraic multiplicity of lambda in A(1) is not less than the geometric multiplicity of A in A(0), and the geometric multiplicity of A in A(1) is not less than the number of Jordan blocks J(t) (lambda) of each fixed size t x t in the Jordan canonical form of A(0). We give canonical forms of selfadjoint and isometric operators on U, and of Hermitian forms on U. For an arbitrary system of semiunitary spaces and linear mappings on/between them, we give an algorithm that reduces their matrices to canonical form. Its special cases are Belitskii's and Littlewood's algorithms for systems of linear operators on vector spaces and unitary spaces, respectively. (C) 2020 Elsevier Inc. All rights reserved.