Abstract

The set DA0, of pairs of orthogonal projections (P,Q) in generic position with fixed difference P−Q=A0, is shown to be a homogeneous smooth manifold: it is the quotient of the unitary group of the commutant {A0}′ divided by the unitary subgroup of the commutant {P0,Q0}′, where (P0,Q0) is any fixed pair in DA0. Endowed with a natural reductive structure (a linear connection) and the quotient Finsler metric of the operator norm, it behaves as a classic Riemannian space: any two pairs in DA0 are joined by a geodesic of minimal length. Given a base pair (P0,Q0), pairs in an open dense subset of DA0 can be joined to (P0,Q0) by a unique minimal geodesic.

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.