希洛夫边界

紧拓扑空间E中若存在紧子集E1，使∑中每个元素f在E1达到最小值且在同类集合中E1为最小，则称E1为E的希洛夫边界。设E为紧拓扑空间，∑是从E到(-∞,+∞]的下半连续函数的全体，E的点y称为∑极值点，指的是对E上的任何概率测度μ，不等式对μ中任何元素f成立蕴涵f为狄喇克测度εy。极值点全体称为E（相对于∑）的绍凯边界。