武汉大学泛函分析讲义.2.6凸集的隔离定理.pdfVIP

第 14 讲 凸集的隔离定理 教学目的 介绍凸集的隔离定理及其应用。 授课要点 1、 超平面的分析表达。 2、 Minkowski 泛函的定义及属性。 3、 一般隔离定理的证明。 4、 紧凸集的严格隔离定理。 5 、 Helly 的第一、第二矩量定理。 凸集的隔离定理又称为 Hahn －Banach 定理的几何形式，它在规 划论，控制论与 Banach 空间几何理论上有重要的应用。 首先让我们考虑平面上的情况， 设 A,B 是平面 R 2 上两个不相交凸集， 则一定可以用一条直线将二者隔离开 来，即存在直线 l : ax +bx c ，使 1 2 得对于 A 中的每个点 x , x ， ( 1 2 ) ax +bx ≤c ，对于B 中每个点 1 2 (x , x )， ax +bx ≥c . （见图） 1 2 1 2 对于一般线性空间中的凸集，我们有理由提出类似的问题. 但是 有两个更基本的问题需要解决：用什么将一般线性空间的凸集隔开？ 怎样才算将两个凸集隔开？ 定义 1 设 X 是线性空间， E ⊂X 是某个集合. （1） 称E 是线性流形，若 E x0 +M ，其中x0 ∈X ，M 是 X 的某个线性子空间. 1 （2 ） 称E 是 X 的极大真子空间，若对于 X 的任一线性子空间 M ，当E ⊂M ，E ≠M 时，M X . （3 ） 称E 为 X 的超平面，若E x0 +M ，其中x0 ∈X ，M 是 X 的极大真子空间. X 上的线性泛函全体记为 X ′ （X ′中元不必连续），显然就点集 的包含关系来讲，X ∗ ⊂X ′. 有时称 X ′为 X 的代数共轭，称X ∗为 X 的拓扑共轭. 定理 1 （1 ）E 是 X 的极大真子空间当且仅当存在 f ∈X ′， f ≠0 ，E N f ， N f 是 f 的 0 空间. ( ) ( ) （2 ） E 是 X 的 超 平 面 当 且 仅 当 存 在 f ∈X ′ ， f ≠0 ， c E x ; f x c ，其中 是某个常数. { ( ) } ′ 证明 1 若 f ∈X ，f ≠0 ，考虑子空间 N f x ; f x 0 ， ( ) { ( ) } 若 W 是线性子空间并且 N f ⊂W , N f ≠W ，取x ∈W \ N f ， ( ) ( ) 0 ( ) f x