最小不动点

✍ dations ◷ 2025-07-15 14:58:13 #不动点

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

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

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

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

相关

  • 尿布疹尿布疹(英语:Diaper rash, Irritant diaper dermatitis),是指在婴儿的肛门附近、臀部、会阴、生殖器、和大腿根皱褶处等直接接触尿液、粪便的部位皮肤,出现发红发炎的现象,有散在
  • span class=nowrapUClsub3/sub/span三氯化铀(UCl3)是一个铀和氯的化合物。 三氯化铀主要用于再加工用过的核燃料。四氯化铀从各种方式可以合成三氯化铀,但三氯化铀不比四氯化铀稳定的。三氯化铀可由四氯合铀(III)
  • 杨树达杨树达(1885年6月1日-1956年2月14日),字遇夫,号积微,晚年号耐林翁。湖南省长沙县人。中国语言文字学家。中华民国教育部部聘教授、中央研究院院士、中国科学院院士。鲁迅有两篇文
  • 倒金字塔结构倒金字塔结构是绝大多数客观报道的写作规则,被广泛运用到严肃刊物的写作中,同时也是最为常见和最为短小的新闻写作叙事结构。内容上表现在在一篇新闻中,先是把最重要、最新鲜、
  • 约翰·诺尔斯·佩因约翰·诺尔斯·佩因(英语:John Knowles Paine,1839年1月9日-1906年4月25日),美国作曲家,音乐教育家。早年到欧洲学习,回国后定居于波士顿,并在哈佛大学任教,成为美国本土第一位音乐教
  • 叶娃·亚努什克维丘特叶娃·亚努什克维丘特(立陶宛语:Ieva Januškevičiūtė,1994年9月22日-),立陶宛女子高山滑雪运动员。2012年,18岁的叶娃·亚努什克维丘特即打破了立陶宛女子高山滑雪运动员在国际
  • 整体艺术整体艺术(德语:Gesamtkunstwerk)是由德国作曲家、剧作家瓦格纳提出的美学概念,在十九世纪的欧洲出现。这一理念源于瓦格纳早期接触并延续的德国浪漫主义。在其1849年的两篇论述
  • 伊濑茉莉也伊濑茉莉也(日语:伊瀬 茉莉也、本名同、1988年9月25日-),是日本神奈川县出身的女性声优。身高154公分。血型A型。代表作有ミシェル・キューイック(鲁邦三世)、春日野丽(Yes! 光之美
  • 陈瞻陈瞻(5世纪?-506年),匈奴屠各人,北魏时泾州起事领袖。宣武帝正始三年(506年) 在泾州(治所在今甘肃省泾川县)率屠各族起事,称王,年号圣明。北魏派太仆卿杨椿镇压,陈瞻据险自守,北魏军夜袭,陈
  • 鲍里斯·尼古拉耶维奇·帕斯图霍夫鲍里斯·尼古拉耶维奇·帕斯图霍夫(俄语:Борис Николаевич Пастухов,1933年10月10日-),男,莫斯科人,前苏联及俄罗斯联邦政治人物,外交官。第七至第十一届最高