242凸集分离定理.docVIP

凸集的分离性 直观解释： 平面上两个不交凸集可用一条直线分开； 空间两个不交凸集可用一个平面分开… 超平面 设 f 是线性空间 X 上的非零线性泛函，c 为 常数，称线性流形 Hfc = {x：f(x) = c} 为 X 的 一个超平面。 例： X 为 Hilbert 空间，fX*，则由 Riesz 定理，存在 yfX，s.t. f(x) = (x，yf)， xX。 此时，Hf c 经过 cyf /|| yf ||2 并且与 yf 垂直。 超平面的性质 性质1、Hf c = x0 + Hf0，其中 f(x0) = c。 即将线性子空间 Hf0 平移到经过 x0 的位置。 证明：直接验证即可。 注：与线性代数中线性方程组理论比较， 非齐次线性方程组的通解 = 特解 + 对应齐次线性方程组的通解 超平面的性质 性质2、设 x0∈X\Hf0，则 X = span{x0}Hf0 X 的线性子空间 Hf0 比 X “少”一维。 即 Hf0 的余维数 codim Hf0 = 1 余维数：Y、Z闭，X = YZ，则 codim Y = dim Z = dim X/Y 超平面的性质 性质2、设 x0∈X\Hf0，则 X = span{x0}Hf0 证明：显然 span{x0}∩Hf0 = {0}，从而是直和。 下证 yX，必有 y = x+λx0，其中，xHf0， λK。令 λ = f(y)/f(x0)，x = y - λx0，则 f(x) = f(y) - f(λx 0) = 0， 即 xH 0 f 超平面的性质 性质3、M 为 X 的真子空间，x0X\M，s.t. X = span{x0}M 。 (*) 则存在 X 上的线性泛函 f，满足 f(x0) ≠ 0， f(M) = 0。 其中 x0 可以是 X\M中的任意元； 由(*)，比M更大的子空间只有 X 本身， 因此称 M 为极大子空间。 超平面的性质 证明：对任意 yX，由 (*) 可知 ! xM， λK，使得 y = x + λx 0。令 f(y) = λc 其中 c 0 为常数。则 f 满足 f(x0) = c ≠ 0， f(M) = 0。 超平面的性质 推论1、M 为超平面 M 为极大子空间。 推论2、若 X 为 B*空间，则 fX* M 闭 证明：由 f 定义知 N( f ) = {x | f(x) = 0} = M 若 f 连续，则 xcl N( f )，有 f(x) = 0。 因此， cl N( f ) = N( f )，即 M 闭。 超平面的性质 推论1、M 为超平面 M 为极大子空间。 推论2、若 X 为 B*空间，则 fX* M 闭 证明：由 f 定义知 N( f ) = {x | f(x) = 0} = M 反之，若 f 无界，则 { x n }X\M，满足 || xn ||=1，f(xn) = n。 于是， f(xn/n – x1) = 0，即 xn/n – x1M 但 xn/n – x1 – x1M。因此，M 不闭。 凸集的分离 称超平面 Hfc分离集合 E 和 F： f(x) ≤ c (≥ c)， xE； f(x) ≥ c (≤ c)， xF。 当上式中取“，”时称严格分离； 不考虑超平面的具体位置时上式即 sup f(x) ≤ () inf f(x)。 xE xF 凸集与点的分离 定理：设 X 为实 B* 空间，E 为 X 的凸子集， x0X\E，0 为 E 的内点。则 fX*，cR， 使得 Hfc 分离 x0 和 E。 分析：寻找超平面 Hfc，应利用 0 与 x0 的连 线与E 的边界的交点 x1。 这也是要求 0 为内点的原因。 凸集与点的分离 分析：如图，由超平面 Hfc 和直线 0x1x0 的位 置关系，可知 Hf0span {x0} = X。 注意到性质3，f 应该 满足 f(x0) 0，不妨取 x0 Hfc f 使得 f(x1) = 1。 然后，将 f 延拓到整个 X x1 使得 Hfc 将 E 和 x0 分离。 0 凸集与点的分离 为利用延拓定理，先确定次线性泛函 p(x)， 在 E 的边界上，令 p(x) = p(x1) = 1； 由于 E 为凸集，0 为 E 的内点，对 X\E 上的点 x，射线 0x 与 E 的边界有唯一交点， 可直接利用正齐次性确定 p(x) 的值。即 p(x) = ||x||/||y||， xX\E， 其中，y 为射线 0x 与 E 的边界的交点。 凸集与点的分离 易验证 p(x) 为 X 上的次线性泛函。且与 如下闵科夫斯基泛函相等， p(x) = inf {λ0：x/λE}。 p(x0) ≥ 1 (“=”成立 x0 = x1)。 在 E 的内部，p(x) ≤ 1。 要使得