Past exam of the mathematics course of the University of Cambridge / 2022 / iii / Paper 326 / 1 / a / Solution

For a bounded operator $A:X\to Y$ between Hilbert spaces, the Moore--Penrose inverse of a Hilbert-space operator is defined onand has range $\mathcal{R}(A^{†})=\mathcal{N}(A{)}^{\perp }$. Its Penrose equations areEquivalently, $A^{†}A=P_{\mathcal{N}(A{)}^{\perp }}$ and $A{A}^{†}$ is the restriction of $P_{\overline{\mathcal{R}(A)}}$ to $\mathcal{D}(A^{†})$.