Linear manifolds of projectors
https://doi.org/10.22405/2226-8383-2022-23-2-42-55
Abstract
The paper shows that a linear manifold of matrices of the form: Q=Q0+Σ︀a𝑖P𝑖, can consist of projectors only. It turns out that for this it is necessary and sufficient that P𝑖 =Q𝑖-Q0 and all the matrices Q𝑖 be projectors, moreover: (Q𝑖-Q𝑗)2=0 for any pair i and j. It is established that all projectors that make up this linear manifold have one rank and any pair A, B of these projectors satisfies (A-B)2=0.
Several conditions were found equivalent to the fact that two projectors A,B satisfy (AB) 2=0, one of them in terms of the subspaces defining these projectors.
Let n be the order of the projectors Q𝑖, r be their rank, then it is shown that the maximum number of linearly independent matrices P𝑖=Q𝑖-Q0 such that the conditions (Q𝑖-Q𝑗)2=0 are
satisfied is r(n-r). Therefore, any projector of rank r can be represented as the sum of an orthoprojector Q0 and a linear combination of at most r(n-r) projectors Q𝑖 so that (Q𝑖-Q𝑗)2=0,
i,j=0,1,..,r(n-r).
The paper calculates the minimum distance between two projectors of ranks k and l - |𝑘 − 𝑙|1/2. The maximum distance between two orthoprojectors of the same rank k is (2𝑘)1/2.
It is established that the polynomial h(p,q)=(p-q)2 plays a special role for the algebra 𝒜(𝑝, 𝑞) generated by the projectors p,q,I. The polynomial h generates the center of this algebra — the set of elements commuting with all elements of 𝒜(𝑝, 𝑞).
About the Author
Alexander Mikhailovich VetoshkinRussian Federation
candidate of technical sciences, associate professor
References
1. Voevodin V. V. 2006, Enciklopediya linejnoj algebry. Elektronnaya sistema LINEAL, [Encyclopedia of linear algebra. Electronic system LINEAL] — SPb.: BHV-Peterburg, — 544 p.
2. Baksalary J.K., Baksalary O. M. 2000, “Idempotency of linear combinations of two idempotent matrices”, Linear Algebra Appl., 321, pp.3-7.
3. Flanders H. 1962, “On spaces of linear transformations with bounded rank”, J. London Math. Soc., vol. 37, pp. 10-16.
4. Prasolov V. V. 1994, Problems and Theorems in Linear Algebra, AMS.
5. Godunov S. K. 1997, Sovremennye aspekty linejnoj algebry, [Modern Aspects of Linear Algebra], — Novosibirsk: Nauchnaya kniga, — 390p.
6. Ikramov Kh. D. 1998, "On simultaneous reduction of a pair of oblique projectors to block triangular form Comput. Math. Math. Phys, vol. 38, pp. 173-174.
7. Ikramov Kh. D. 2011, "Simultaneous reduction to block triangular form and theorems on pairs of complex idempotents Comput. Math. Math. Phys, vol. 51, pp. 915-918.
8. George A. & Ikramov Kh. D. 2006, "A note on the canonical form for a pair of orthoprojectors J. Math. Sci., vol. 132, pp. 153-155.
9. Ikramov Kh. D. 1996, “A canonical form for projectors under unitary similarity”, Comput. Math. Math. Phys. vol. 36, pp. 279–281.
10. Ikramov Kh. D. 2000, “The canonical form as a tool for proving the properties of projectors”, Comput. Math. Math. Phys., vol. 40, pp. 1233–1238.
11. Ikramov Kh. D. 2000, “The quasidiagonalizability of oblique projectors as a particular case of the noncommutative spectral theorem”, Comput. Math. Math. Phys., vol. 40, pp. 1077–1084.
12. Ikramov Kh. D. 2004, “Canonical forms of projectors with respect to unitary similarity and their applications”, Comput. Math. Math. Phys., vol. 44, pp. 1456–1461.
13. Djokovic D. Z. 1991, “Unitary similarity of projectors”, Aequationes Mathematicae, vol. 42, pp. 220-224.
14. Vetoshkin A. M., 2015, "Property of polynomials in two projectors Comput. Math. Math. Phys., vol. 55, pp. 179-182.
15. Vetoshkin A. M., 2017, “Always nonsingular polynomials of two projectors”, Chebyshevskii Sbornik, vol. 18, no. 1, pp. 44-64.
Review
For citations:
Vetoshkin A.M. Linear manifolds of projectors. Chebyshevskii Sbornik. 2022;23(2):42-55. (In Russ.) https://doi.org/10.22405/2226-8383-2022-23-2-42-55