如果 是一个连续函数 对于所有 ,则 在 中有一个 不动点。这可以通过假设来证明
(1)
|
(2)
|
由于 是连续的,介值定理 保证存在一个 使得
(3)
|
因此,必定存在一个 使得
(4)
|
因此,必定存在一个 不动点 。
如果 是一个连续函数 对于所有 ,则 在 中有一个 不动点。这可以通过假设来证明
(1)
|
(2)
|
由于 是连续的,介值定理 保证存在一个 使得
(3)
|
因此,必定存在一个 使得
(4)
|
因此,必定存在一个 不动点 。
Weisstein, Eric W. “不动点定理。” 来自 MathWorld--Wolfram Web 资源。 https://mathworld.net.cn/FixedPointTheorem.html