The unique minimality of an averaging projection (Q1018009)

Let \(K(H)\) denote the space of all compact linear operators on a separable real Hilbert space \(H\). Let \(P(K(H),Y)\) be the set of all projections from \(K(H)\) to \(Y\), where \(Y= \{A\in K(H): A= A^T\}\). Here, \(A^T\) is the conjugate operator of \(A\). The averaging projection \(P_a(A)\) is defined by \(P_a(A)= {A+ A^T\over 2}\). In this paper, it is shown that \(P_a\) is the only norm-one projection in \(P(K(H), Y)\).