运筹学-凸集有限锥和Farkas选择(名校讲义).pptVIP

第五讲 凸集、有限锥和Farkas选择 §1 有关凸集中的割平面 §2 有限锥和Farkas选择 §1 有关凸集中的割平面（1） 本章将不加证明的引入凸集，割平面的部分定义和定理，以 供引出Farkas选择及对偶定理使用。 一、凸集定义 在N维实型欧拉空间Rn内，C是凸集的条件为，C上任意两点 连线上的点仍在C内，即若x，y是C上任意两点，则： （1—?）x+? y必在C 内 （0≤? ≤1） 若C是由一个点组成，也称C为凸集。 二、闭集定义 若F是闭集，则 F包括的一切极限点。即：若X1，X2，…， Xk,…处在F中，则当Xk→X0时（当K→?），则X0必是F上一点。 §1 有关凸集中的割平面（2） 举例说明。 1．两位空间中，半平面：3x1-5x27凸而不闭。 2．半平面3x1-5x2≤7，又凸又闭。 3．带形1≤|X|≤2，闭而不凸。 4．N维空间中，凸多面体可由若干有限点集X1，X2，…，XP 组合而成。即多面体（X1，X2，…，XP）可由下述凸组合 构成： X=?1X1+?2X2+…+?pXp (?1+…+?p=1, ?j,≥0) 于是，每一个凸多面体都是凸集合且为闭集。 §1 有关凸集中的割平面（3） 三、定理1 若C是不包含原点X=0的闭凸集，则C必含有一个离原点最近 的点X0，即： |X0|=min{|X|：X?C }0 (必须是闭凸集，例如X5是凸而不闭，则不存在离原点最近 的点)。 四、定义分离平面 若RN中的平面方程式为： aTX+β=0(a为非零矢量)，则称该平面为分离平面，它把 空间分成S1和S2集： §1 有关凸集中的割平面（4） S1 S2 分离平面 图 1-3 aTX+β≥0（X ? S1） aTX+β≤0（X ? S2） 上式中属“不严格分离定义”，C中有些点可能为S1和S2共有。若存在： aTX+β0（X ? S1） aTX+β0（X ? S2） 则称该平面严格分离出2个集S1和S2。 五、可以证明 若2个分离集是凸集,则它们之间必存在 一个严格的分离平面，如图1-3所示。 六、定理2 令C是闭凸集，设b点在C集之外，则 必有1个分离平面严格分离C和b。 §2 有限锥和Farkas选择（1） 考虑标准线性规划： AX=b，X≥0 (1) CTX=min (2) ?我们定义满足式（1）的所有矢量为可行解矢量，若又使 CTX=min，则称为最优可行解矢量。 下面将重点讨论可行解矢量的几何意义。 一、可行解的几何解释 令A为m×n矩阵，C为A中列矢量的线性组合，系数xj≥0。则 (3) 集C称为有限矢量a1,a2，…，an组合的有限锥。 §2 有限锥和Farkas选择（2） 即 C={AX：X≥0} (4) 当方程AX=b（X≥0）存在可行解，则b必处于锥C之中。 [例1-11] AX=b，X≥0， (5) 其有限锥如图1-4所示。 当可行解存在时，只有b处于锥C中才行。 例如，bs=(1,0)T，由于处于锥外，无可行解。 ba=(-9,63)，由于处于锥内，有可行解。 该锥主要由a1、a3构成，a2在中间。 §2 有限锥和Farkas选择（3） [例1-12] (6) bs a1 a2 ba C 图 1-4 a3 §2 有限锥和Farkas选择（4） 列矢量分布示如图1-5，锥C包含全平面。 显然，由a1，a2， a3组成的锥C包含全平面，因此AX=b必有可 行解X≥0。每对矢量线性独立，但无一对可产生全锥C，每一 对矢量分别产生子锥C1，C2，C3，全锥由子锥组成，即： C= C1∪C2∪C3 a3 C3 a1 C1 a2 C2 图 1-5 §2 有限锥和Farkas选择（5） 二、基础可行解的几何解释 定义：若矢量V1，…，Vk线性独立，则称它们所形成的有限锥 为基础锥，即 {p1V1+…+pkVk：所有pj≥0} (7) 1.定理1 令a1，a2，…，an构成有限锥C，令C1，C2，…，Cq 为独立矢量aj的子集构成的基础锥，则C必由基础锥构成： C= C1∪C2…∪Cq (8)