Oblique projections in Hilbert spaces (Q1589823): Difference between revisions

Let \(X\), \(Y\) be two subspaces of a Hilbert space \(H\) satisfying \(X\cap Y= \{0\}\). The author studies the projection (i.e. \(PJ\)) \(P\) of \(Z= X+ Y\) onto \(X\) parallel to \(Y\) denoted by \(P: Z\downarrow X//Y\), orthogonal \(PJ\) onto \(X\) denoted by \(\widehat P:\downarrow X\), and associate \(PJ\) of \(P\) defined by \(P^0:\downarrow X//Y^\perp_0\) for \(Y_0= (X\oplus Y^\perp)\cap Y\) under the condition \(H= X\oplus Y\). Let \(\alpha= <P=<(X,Y)\) and \(\beta= <P^0\). If \(P\) has an associate \(P^0\) and \(\alpha+ \beta= \pi/2\), \(P\) is said to be 3DL. \(P\) is also associate to \(P^0\). An equivalent condition for \(P\) to be 3DL is \(\widehat P= \sin^2\alpha\cdot P+\cos^2\alpha\cdot P^0\). \(P\) is biorthogonal and to every orthonormal basis in \(X\), there is a unique orthogonal basis in \(Y_0\) and a unique orthonormal basis in \(Y^\perp\) with Gramians \(G_0= G(X,Y_0)= \cos\alpha\cdot I\), \(G^\perp= G(X,Y^\perp)= \sin\alpha\cdot I\), if and only if \(P\) is 3DL. Next, let \(J\cdot f\equiv \pi^{-1}\int_{(-\infty, \infty)}\{\sin(s- t) f(t)/(s- t)\} dt\) for \(f\in L^2\equiv L^2(-\infty, \infty)\), \(\theta(t)= 1- a\cdot\cos(bt)\); \(|a|< 1\), \(b>0\), and \(E= \{e(t)= F^{-1}\widehat e\); \(\widehat e\in L^2\), \(\widehat e(s)= 0\) for \(|s|> 1\}\). He applies his theorems to \(P= \theta J\theta^{-1}\), \(X=\theta E\), and \(Y=\theta E^\perp\).