截图来自:
Lower bounds & Projected Gradient Descent
投影点的性质
如果X是一个非空闭凸集且
证明在http://users.ece.utexas.edu/~cmcaram/EE381V_2012F/Lecture_3_Scribe_Notes.final.pdf 一文的proposition 3里
distace to a convex set
也就是说如果distance函数大于0,则距离函数在每个x处的次微分都是唯一的。实际上距离函数这时就是可微的(因为次微分唯一),次微分等于倒数。
在Projected Gradient Method and LASSO一文里有一个简单的解释
Ps为project函数,
sk
为步长,
当
αk=1
时: