函数 把实数映到实数。用 表示它的不动点集,用 表示复合函数 的不动点集。证明 ;再证明严格递增的 必有 。最后构造一个严格递减且固定3的 ,使 ,并求出这两个集合。
这是解答题,请在纸上写出完整过程。写完后对照解答给自己评分。
固定点一定在两次迭代后回到原位;严格递增不允许两点相互交换。
若 ,则 ,故 。对 ,假如 ,严格递增给出 ,矛盾;假如 ,同理 ,仍矛盾。因此 ,即 。递减反例取 :,且 对每个实数成立,但 仅在 成立,故 。
两种严格不等式已穷尽 。反例的二次迭代是 ,固定点方程是 ;函数严格递减而非递增。
迭代方程先看固定点,再用单调性比较轨道上相邻两点;不能把递增结论直接套给递减函数。
要对二次迭代的偏离方向作反证,并区分递增与递减,不能只作函数代入。
已记下,谢谢!