有限有序集M=0,1,2,3,4,f、g均为从M到M的非增函数。证明g∘f有不动点。
分数写 a/b,根号写 √ 或 sqrt,π 写 pi 也可以。
复合为非减映射,最小元素的迭代单调稳定。
设h=g∘f。若x≤y,则f(x)≥f(y),g非增给h(x)≤h(y),故h非减。以x0=0,x_(n+1)=h(x_n),有x1≥x0,归纳单调非减且值域有限,必在某步稳定;稳定点即h不动点。 所求为 。
非增允许相等,证明不依赖g(f0)的额外符号条件,因为0是最小元素。
复合为非减映射,最小元素的迭代单调稳定。
复合为非减映射,最小元素的迭代单调稳定。
已记下,谢谢!