范数在闭凸集上能达到最小