 Picard criterion

For a compact operator with singular system $({\sigma }_j,u_j,v_j)$, the datum $f$ lies in the domain of $A^{†}$ exactly when its component in $\overline{\mathrm{ran}A}$ satisfies