最小不动点 在数学分支序理论中函数的最小不动点是按照某种偏序小于等于其他不动点的不动点 例如如下实函数的最小不动点 f  x   x  displaystyle fxx 是在实数的通常次序上的 x  有很多不动点定理生成定位最小不动点的算法最小不动点通常有着合意的性质是任意的不动点所没有的 在数理逻辑中最小不动点常与做递归定义有关这导致了描述复杂性的结果复杂性类 P在多项式数量的计算时间内可计算的所有问题精确的等价于可以用带有最小不动点的一阶逻辑所表达的语言的集合