想你的夜晚,
我在屋顶做着一个梦。
我和你拥抱在明亮的月光下,
动人的旋律环绕在我俩身边。
开始纠结是否要醒来,
因为梦里有你而更美。
——畅宝宝的傻逼哥哥
前面的文章中,我们提到了点到点算法的连续性,而点到点以及点到集合算法有个更加一般的性质:封闭性,对于点到点算法,这个性质就弱化为连续性。
定义1:
- 对于从空间
X
到空间
X1 的点到集合算法A,如果假设
xk→x̂ for xk∈Xxk+1→x1^for xk+1∈A(xk)
意味着
那么称算法在点 x̂ ∈X 处封闭。其中符号 xk→x̂ 表示序列 {xk}∞k=1 收敛到极限 x̂
- 对于点到集合算法A,如果对X中的每个点都是封闭的,那么称算法在X上封闭。
这个定义如图1所示,如果 x̂ ,x1^ 之间存在实线,那么称算法A在点 x̂ 处封闭,如果对所有 x̂ ∈X 都存在实线,那么A在X上封闭。
例1:
算法A定义为
如图2所示,说明算法在 x̂ =1 处不封闭。
解:
令序列
{xk}∞k
为
由此得到的序列为
因此
图1
对应的序列
{xk+1}∞k=0
为
所以
所以
接下来
且因为
x̂ 1=1.5
,我们有
故A在
x̂ =1
处不封闭。这个问题是由于
A(xk)
在
xk=1
处不连续造成的。
图2
例2:
算法A定义为
说明 A 是封闭的。