可证, S的仿射包
k
kLeabharlann affS { i xi | i 1,i R, xi S,i 1,.., k, k }
i1
i1
2. 凸集与凸函数
Df2.1 Rn中任一集合S的维数定义为它的仿射包 affS的维数,即包含S的仿射集的最小维数. Df 2.5 由m 1个向量组成的向量组x0 , x1 ,...xm 称为是仿射无关的,是指集合{x0 , x1 ,...xm}的维 数为m,即仿射包aff {x 0 , x1 ,...xm}维数是m. 一般,有限点集的仿射包aff {x0 , x1 ,...xm} L x0, L aff {0, x1 x 0 ,...xm x 0 } 是包含{x1 x0 ,...xm x 0 }的最小子空间. L的维数是m x1 x 0 ,...xm x 0线性无关.
m
有1x1 ... mxm S,其中 i 1, i1
i 0 R,i 1,.., m.
2. 凸集与凸函数
运用定义不难验证如下命题:
命题2.2 设S1和S2为En中两个凸集,是实数,则 1,S1 {x x S1}为凸集。 2,S1 S2为凸集 3,S1 S2 ={x(1)+x(2) x(1)S1 ,x(2)S2 }为凸集 4,S1 S2 ={x(1)-x(2) x(1) S1 ,x(2) S2 }为凸集
2. 凸集与凸函数
•可验证,仿射集的交集仍是仿射集
若记 AT (a1, a2 ,..., am ),b (b1,b2,...,bm )T
Hi {x | aiT x bi}.i 1, 2,..., m, 则
M
H m
i1 i
Df2.3 给定Rn中集合S,包含S的所有仿射集的交集,