Spectral inequalities for generalized Rayleigh quotients (Q1893093)

The abstract structure of \(s\)-spaces is discussed; it was introduced by \textit{D. Carlson} and \textit{E. Marques de Sá} [Linear Multilinear Algebra 15, 77-103 (1984; Zbl 0539.15011)] as a framework to prove unified versions of certain results concerning eigenvalues of Hermitian matrices, singular values of arbitrary complex matrices and invariant factors of matrices over a principal-ideal domain. In this paper, it is shown that the \(s\)-spaces with a few axioms added represent the natural framework to develop a unified abstract version of some procedures used to obtain generally valid inequalities for eigenvalues of sums of two Hermitian matrices, for singular values of products of two complex matrices and the invariant factors of a product of two matrices over a principal-ideal domain.