拓扑向量空间, V, p. 65
令E为实有限维向量空间,ϕ为从E到其对偶E∗的双射线性映射。令A为E中的对称紧凸集合,以0为内部点;假设对于A边界中的每个x,超平面以及方程⟨y−x,ϕ(x)⟩=0是超平面对A的支持。 a) 设f(x)=∣⟨x,ϕ(x)⟩∣,并令a为A的边界点,其中f(x)达到最小值。证明对于每个点 b 这样的 ⟨b,ϕ(a)⟩=0,我们也有 ⟨a,ϕ(b)⟩=0。 (观察x=0的⟨x,ϕ(x)⟩=0,因此我们可以假设f(x)=⟨x,ϕ(x)⟩≥0;使用以下事实:A在点a的每个支持超平面也是集合的支持超平面,定义为f(x)≤f(a)。) b) 证明(x,y)↦⟨x,ϕ(y)⟩是对称的双线性形式,并且A与所有点x中的集合相同,使得f(x)≤γ为合适的常数γ。 (用归纳对E的维数进行论证;用记号和a,用等式⟨x,ϕ(a)⟩=0考虑超平面。)