最小不动点

✍ dations ◷ 2025-06-21 11:21:06 #不动点

在数学分支序理论中,函数的最小不动点是按照某种偏序小于等于其他不动点的不动点。

例如,如下实函数的最小不动点

是在实数的通常次序上的 = 0。有很多不动点定理生成定位最小不动点的算法。最小不动点通常有着合意的性质,是任意的不动点所没有的。

在数理逻辑中,最小不动点常与做递归定义有关。这导致了描述复杂性的结果,复杂性类 P(在多项式数量的计算时间内可计算的所有问题)精确的等价于可以用带有最小不动点的一阶逻辑所表达的语言的集合。

相关

  • 生长抑素· extracellular region · extracellular space· cell surface receptor linked signaling pathway · G-protein coupled receptor protein signaling pathway · ce
  • 新乡县新乡县在中华人民共和国河南省北部、卫河上游,是新乡市下辖的一个县。面积365平方公里,2002年人口31万;邮政编码453700,县政府驻新乡市红旗区。现辖:翟坡镇、小冀镇、七里营镇、
  • 岩崎民男岩崎 民男(日语:いわさき たみお、1894年8月8日-1978年1月30日)为日本陆军军人。最终阶级陆军中将。山口县出身。农业・岩崎孝长男。就读过萩中学校、广岛陆军地方幼年学校、陆
  • 轴电压轴电压是指出现在电动机及发电机的轴上,因为和马达绕组之间电感耦合或是电容耦合而产生的电压。轴电压一般会出现在变频器驱动的马达,像暖通空调及制冷(HVAC/R)系统就常用变频器
  • 阳离子聚合反应阳离子聚合反应为一种链增长聚合反应,反应中阳离子引发剂(cationic initiator)会将电荷转移单体,使单体变得有反应性。而这个具反应性单体会与其他单体进行相似的反应,最后形成
  • 有刺铁丝网有刺铁丝网(barbed wire),是一种防御型的金属丝,身上布满尖锐的刃口,刃与刃之间亦有相同的距离。这类丝网价格低廉,用来保护墙内的财产,并是第一次世界大战里堑壕战的重要防守设备
  • 无聊十亿年无聊十亿年是古生物学家马丁·布拉西尔(英语:Martin Brasier)提出的从18亿年前至8亿年前的地球历史时期。属于元古宙,表现为环境、生物进化、岩石圈异乎寻常的稳定。其确切起止
  • 台积电文学赏台积电文学赏,是台积电文教基金会设立的文学奖,两年举办一次,以鼓励两岸三地青年创作中篇小说、发掘文学新人为宗旨。应届征件年龄在该年一月一日之前40岁以下的海内外华人均可
  • 时间回旋《时间回旋》()是加拿大科幻小说作家罗伯特·查尔斯·威尔森的作品,于2005年出版,是罗伯特时间三部曲的第一部,其后的两部分别是《时间轴》()及《时间漩涡》()。双胞胎兄妹杰森和黛安
  • 涂世旻University of Santa Barbara,California涂世旻(Simon Twu,11月24日-,出生于台湾,大学研习声乐、戏剧和舞蹈,是美国、台湾的电影和电视演员。他曾与国际级金奖导演、摄影导演等制