×

Norm inequalities associated with two projections. (English) Zbl 1528.46043

Summary: Suppose that \(p\) and \(q\) are projections in a unital \(C^*\)-algebra \(\mathfrak{A}\) such that \(\Vert p(1-q)\Vert <1\). It is shown that there exists a unitary \(u\) in \(\mathfrak{A}\) which is homotopic to the unit of \(\mathfrak{A} \), and satisfies \(pup=pu^*p\), \(u(pqp)u^*=qpq\) and \[ \Vert 1-u\Vert \le \sqrt{\frac{2\Vert (qp)^† \Vert }{1+\Vert (qp)^† \Vert }}\cdot \Vert p(1-q)\Vert, \] where \((qp)^†\) denotes the Moore-Penrose inverse of \(qp\). Under the same restriction of \(\Vert p(1-q)\Vert <1\), it is proved that \(\Vert p-q\Vert <1\) if and only if there exists a unitary \(u\) in \(\mathfrak{A}\) such that \(pup\) is normal and \(q=upu^*\). An example is constructed to show that there exist certain Hilbert space \(H\) and projections \(p\) and \(q\) on \(H\) such that \(\Vert p-q\Vert =1\) and \(q=upu^*\) for some unitary operator \(u\) on \(H\).

MSC:

46L05 General theory of \(C^*\)-algebras
47A05 General (adjoints, conjugates, products, inverses, domains, ranges, etc.)
47A30 Norms (inequalities, more than one norm, etc.) of linear operators
15A09 Theory of matrix inversion and generalized inverses
Full Text: DOI

References:

[1] Böttcher, A.; Spitkovsky, IM, A gentle guide to the basics of two projections theory, Linear Algebra Appl., 432, 6, 1412-1459 (2010) · Zbl 1189.47073 · doi:10.1016/j.laa.2009.11.002
[2] Corach, G.; Maestripieri, A., Products of orthogonal projections and polar decompositions, Linear Algebra Appl., 434, 6, 1594-1609 (2011) · Zbl 1210.47001 · doi:10.1016/j.laa.2010.11.033
[3] Dou, Y.; Shi, W.; Cui, M.; Du, H., General explicit descriptions for intertwining operators and direct rotations of two orthogonal projections, Linear Algebra Appl., 531, 575-591 (2017) · Zbl 1492.47003 · doi:10.1016/j.laa.2017.06.036
[4] Harte, R.; Mbekhta, M., On generalized inverses in \(C^*\)-algebras, Studia Math., 103, 1, 71-77 (1992) · Zbl 0810.46062 · doi:10.4064/sm-103-1-71-77
[5] Harte, R.; Mbekhta, M., Generalized inverses in \(C^*\)-algebras II, Studia Math., 106, 2, 129-138 (1993) · Zbl 0810.46063 · doi:10.4064/sm-106-2-129-138
[6] Huang, L., Xu, Q., Fu, C.: A new formula for the weighted Moore-Penrose inverse and its applications (preprint)
[7] Kato, Y., Some theorems on projections of von Neumann algebras, Math. Japon., 21, 367-370 (1976) · Zbl 0355.46048
[8] Koliha, JJ, Continuity and differentiability of the Moore-Penrose inverse in \(C^*\)-algebras, Math. Scand., 88, 1, 154-160 (2001) · Zbl 1067.46047 · doi:10.7146/math.scand.a-14320
[9] Luo, W.; Moslehian, MS; Xu, Q., Halmos’ two projections theorem for Hilbert \(C^*\)-module operators and the Friedrichs angle of two closed submodules, Linear Algebra Appl., 577, 134-158 (2019) · Zbl 1432.46045 · doi:10.1016/j.laa.2019.04.025
[10] Murphy, GJ, \(C^*\)-Algebras and Operator Theory (1990), London: Academic Press, London · Zbl 0714.46041
[11] Rørdam, MF; Larsen, F.; Laustsen, N., An Introduction to \(K\)-Theory for \(C^*\)-Algebras. London Mathematical Society Student Texts 49 (2000), Cambridge: Cambridge University Press, Cambridge · Zbl 0967.19001
[12] Wegge-Olsen, NE, \(K\)-Theory and \(C^*\)-Algebras: A Friendly Approach (1993), Oxford: Oxford Univ. Press, Oxford · Zbl 0780.46038
[13] Xu, Q.; Sheng, L., Positive semi-definite matrices of adjontable operators on Hilbert \(C^*\)-modules, Linear Algebra Appl., 428, 992-1000 (2008) · Zbl 1142.47003 · doi:10.1016/j.laa.2007.08.035
[14] Xu, Q.; Yan, G., Harmonious projections and Halmos’ two projections theorem for Hilbert \(C^*\)-module operators, Linear Algebra Appl., 601, 265-284 (2020) · Zbl 1444.46038 · doi:10.1016/j.laa.2020.05.012
[15] Xu, Q.; Yan, G., Products of projections, polar decompositions and norms of differences of two projections, Bull. Iran. Math. Soc., 48, 1, 279-293 (2022) · Zbl 1494.46054 · doi:10.1007/s41980-020-00518-y
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.