Essentially orthogonal subspaces

From MaRDI portal



Abstract: We study the set calC consisting of pairs of orthogonal projections P,Q acting in a Hilbert space calH such that PQ is a compact operator. These pairs have a rich geometric structure which we describe here. They are parted in three subclasses: calC0 which consists of pairs where P or Q have finite rank, calC1 of pairs such that Q lies in the restricted Grassmannian (also called Sato Grassmannian) of the polarization calH=N(P)oplusR(P), and calCinfty. Belonging to this last subclass one has the pairs P_If=chi_If , Q_Jf= left(chi_J hat{f} ight)check{ } , fin L^2(mathbb{R}^n), where I,JsubsetmathbbRn are sets of finite Lebesgue measure, chiI,chiJ denote the corresponding characteristic functions and hat,check denote the Fourier-Plancherel transform L2(mathbbR2)oL2(mathbbR2) and its inverse. We characterize the connected components of these classes: the components of calC0 are parametrized by the rank, the components of calC1 are parametrized by the Fredholm index of the pairs, and calCinfty is connected. We show that these subsets are (non complemented) differentiable submanifolds of calB(calH)imescalB(calH).












This page was built for publication: Essentially orthogonal subspaces

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