scientific article; zbMATH DE number 2059082

From MaRDI portal
Publication:4455602





Let \(a_1,\ldots ,a_n\) be positive numbers such that \(m=a_1+\cdots +a_n\) is an integer and \(m\geq n\). The author constructs orthoprojections \(P_0,P_1,\ldots ,P_{m-1}\) on \(\mathbb C^n\) such that \[ \sum\limits_{l=0}^{m-1}P_l=\operatorname{diag}\{ a_1,\ldots ,a_n\} . \] Their existence was proved by \textit{P. A. Fillmore} [J. Funct. Anal. 4, 146--152 (1969; Zbl 0176.43404)] without an explicit construction. For the more specific representation \(\sum_{j=1}^kP_j=\frac{k}{n}I\) the uniqueness (up to the unitary equivalence) takes place if \(k=n+1\) (by a different method that was proved earlier by \textit{E. R. Djeldubaev} and \textit{S. A. Kruglyak} [Methods Funct. Anal. Topol. 7, No. 2, 35--41 (2001; Zbl 0980.46039)]), while for \(k>n+1\) there is a continuum of non-equivalent representations.











This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4455602)