2011-3

是一个非空紧集, 的算子,且满足 。令 ,证明:

  1. 上的连续函数
  2. 中有唯一不动点

解答

1. 上的连续函数

,故 为 Lipschitz 映射,连续。

对于任意的 ,取 ,考虑 ,有

上的连续函数。

2. 中有唯一不动点

为非空紧集,故 完备且完全有界。

上的连续函数,故 上有最小值,设为

假设 ,则

为最小值,故 ,即 ,与题设矛盾。

,即 为不动点。

再验证其唯一性,设 也为不动点,则

这与题设 矛盾,故 为唯一不动点。