限制点的定义冲突

计算科学 优化 收敛
2021-12-08 11:19:17

这个问题是在另一个地方提出的,没有足够的答案。

定义 1:我们说一个向量xRn是序列的极限点{xk}Rn如果存在子序列{xk}收敛到x. 该定义经常出现在优化文献中,例如,参见 Bertsekas,非线性规划,第 2 版,第 666 页。

但实际分析中对极限点的定义是不同的。

定义 2:一个点z0 是一组点的极限点,如果每个邻域z0包含点,除了z0套。

因此,an={5,4,3,2,1,0,0,...,}有一个极限点0基于第一个定义,但是0不是基于第二个定义的极限点。

问题是在文献中经常使用极限点但没有定义。那么计算机科学或优化中的默认定义是什么?定义 1 是默认的吗?例如,https: //arxiv.org/pdf/1209.2385 中限制点的假定定义是什么?

1个回答

序列极限的定义确实没有争议,可以在https://en.wikipedia.org/wiki/Limit_of_a_sequence找到。直观地说,一个序列{a1,a2,}收敛到极限a如果ak越来越近a. 坐在上面a被允许。所以{4,3,2,1,0,0,0,0,}收敛到零就好了。

您被混淆的概念如下:

  • 在紧集中,每个序列都有一个或多个收敛于某物的子序列。例如,序列{1,0,1,0,1,0,}不收敛,但它有收敛到零或一的子序列。这似乎是您在定义 2 中所建议的(尽管我不认为它是完全正确的)。

  • 在您引用的论文中,该序列由其他内容索引。例如,假设有一个序列{a1(x),a2(x),a3(x),}对于每一个选择x. 然后根据x,这些序列可能收敛到不同的极限a(x). 诸如您引用的预印本中的陈述说,对于任何选择x, 极限点a(x)=limkak(x)有一定的属性。(在预印本的例子中,x是起点,声明说无论你从哪里开始,你总是会收敛到一个固定点。但是,您收敛到哪个静止点可能会有所不同!)