11.4 Convergence of Prox Point Algorithm

Convergence of the PPA follows from our work on the proximal gradient algorithm. We briefly review this, and then also take the opportunity to connect to some of the deeper theory on fixed points of contractive and averaged operators.