Moreau's decomposition theorem

From Wikimization

Revision as of 14:50, 10 July 2009 by Nemeth (Talk | contribs)
Jump to: navigation, search

Moreau's theorem is a fundamental result characterizing projections onto closed convex cones in Hilbert spaces.

Let LaTeX: \mathcal K be a closed convex cone in the Hilbert space LaTeX: (\mathcal H,\langle\cdot,\cdot\rangle) and LaTeX: \mathcal K^\circ its polar. Denote by LaTeX: P_{\mathcal K} and LaTeX: P_{\mathcal K^\circ} the projections onto LaTeX: \mathcal K and LaTeX: \mathcal K^\circ, respectively. For LaTeX: x,y,z\in\mathcal H the following two statements are equivalent:

  1. LaTeX: z=x+y, LaTeX: x\in\mathcal K, y\in\mathcal K^\circ and LaTeX: \langle x,y\rangle=0
  2. LaTeX: x=P_{\mathcal K}z and LaTeX: y=P_{\mathcal K^\circ}z
Retrieved from "http://www.convexoptimization.com/wikimization/index.php/Moreau%27s_decomposition_theorem"
Personal tools