样本集线性可分的充分必要条件是正实例点集所构成的凸集与负实例点集所构成的凸集互不相交。 n维欧式空间中k个点的凸组合式一个凸集: 必要性: 若样本集线性可分,即存在超平面使得对正实例点(y = +1),有