Banach空间上凸函数的β可微性

本文证明了如何可分Ｂａｎａｃｈ空间Ｅ的每个开凸子集Ｄ上的连续凸函数在Ｄ中某一点β可微，则Ｅ的每个有界弱闭凸子集关于其上弱于或等于由β导出的拓扑τβ的距离是可分的。