在本节中,让被修复。假设(i)与非空紧致值连续;(ii)如果,; (iii)对于任何。表示方式收藏混合一般类型的变分关系问题,使得定理2.2的所有条件成立。很明显。为了便于后面的演示,对于任何子集A类属于X,表示.
引理4.1([20])
让 C类,D类 是两个非空的,线性赋范空间的凸子集和紧子集 E类.然后 ,哪里 小时 是上定义的Hausdorff距离 E类,和 ,.
引理4.2([21])
让 是度量空间, 和 是的两个非空紧子集 Y(Y), 和 是的两个非空不相交的开子集 Y(Y).如果 ,然后
哪里 小时 Hausdorff指标定义于 Y(Y).
定理4.1 对于任何 ,的每个最小本质子集 已连接.
证明对于每个固定,让是的最小基本子集.如果不连通,则有两个非空紧子集,和两个不相交的开放子集,属于这样的话和,.自是一组最基本的,两者都没有也不是至关重要。存在两个开放集,这样,对于任何,存在具有
表示,,我们知道,是打开的,,我们可以假设,.表示
自具有非空紧值的连续性,并且,是非空的紧凑型根据引理3.1,,是非空的紧凑型Z轴.因此,在中打开.
通过对置证明,假设存在这样的话,这意味着和,即。,,。由此可见和,这与事实相矛盾.
表示.自至关重要,并且,存在这样的话对于任何具有.自是一组最基本的,两者都没有也不是至关重要。因此,对于,存在两个这样的话
因此接下来,定义如下:
哪里
很容易,我们检查(i),具有非空紧凸值的连续。(ii)自和被封闭在,A类在中关闭,这意味着已关闭。同样,已关闭。(iii)假设存在,有限子集和这样的话不适用于任何,即。,,.自
和在不失一般性的情况下,我们可以假设,这意味着.自为所有人也就是说,
然后,,即。,不适用于任何,这是一个矛盾。
(iv)假设存在,有限子集,和这样的话不适用于任何,即。,,.自
和在不失一般性的情况下,我们可以假设,这意味着.自为所有人也就是说,为所有人,然后
也就是说,有这样的话不适用于任何,这是一个矛盾。因此.
(v) 通过引理4.1、4.2,
因此和.
自,在不失一般性的情况下,我们假设。然后存在这样的话,,、和
它源自那个,,和因此,
然后,这是一个矛盾。这就完成了证明。□
定理4.2 对于任何 ,至少存在一个基本的连接组件.
证明根据定理4.1,至少存在一个连通的最小本质子集属于因此,有一个组件C类属于这样的话很明显C类在备注3.1(2)中至关重要。这就完成了证明。□