如果C是Hilbert空间X中的闭凸子集，那么在C上存在唯一元素取到最大模