外延性

✍ dations ◷ 2025-12-10 10:17:28 #外延性

在数学中，外延性通常指称某种形式的。可追溯到莱布尼兹的原理，两个数学对象是相等的，如果没有区分它们的检验。例如，给出两个数学函数 f 和 g，我们可以说它们是相等的，如果对于在公共函数域 X 内的所有 x。这种外延相等是平常的定义，如果函数范围 Y 对于两个也是公共的。在另一方面，如果我们在类型论的意义上通过附着到它们上的数据来区分函数，这样我们可以选择一个更大的集合比如 Z 作为它们之一的范围，则这种相等不同于“外延”意义的相等。这种意义下外延性可能会失败。另一种意义的相等考虑“函数被计算的过程”，如果这么考虑，通常会同外延性相抵触。在公理化集合论中，外延性被表达为外延公理，它声称两个集合是相等的，当且仅当它们包含相同的元素。在 lambda 演算中，外延性被表达为 eta-变换规则，它允许在指示相同函数的任何两个表达式之间的转换。考虑从自然数映射的两个函数 f {displaystyle f} 和 g {displaystyle g} ，定义如下：这些功能在外延性的意义上是相同的；给定相同的输入，两个函数总是产生相同的值。但是函数的定义并不相同；但是在内涵定义比较时，这两个函数并不相同。在自然语言中，类似地存在许多谓词（关系），这些谓词本质上原来可能是不同涵义的，但使用指称作用的外延性就变成同义词了。例如假设在一个城镇中有一个名叫乔的人，他是该镇最老的人。而句中的两个论证谓词“有一个人名”和“是最老的人”在比较内涵定义时明显是截然不同的概念，但解析整句后，对该“城镇”中有个“乔”“是最老的人”的外延性，则意义即等同。

相关

衰老人体解剖学 - 人体生理学组织学 - 胚胎学人体寄生虫学 - 免疫学病理学 - 病理生理学细胞学 - 营养学流行病学 - 药理学 - 毒理学在生物学及医学上，老化是生理状态随时
OMIM人类孟德尔遗传学（英语：Mendelian Inheritance in Man，缩写MIM）是一个数据库将现时所知的遗传病分类，并且连接相关的人类基因组中的基因。这个数据库出版了名为《孟德尔遗传定律
古元古代古元古代（英语：Paleoproterozoic，符号PP）是地质时代中的一个代，开始于同位素年龄25亿年前（Ma），结束于16亿年前（Ma）。而古元古代期间蓝藻、细菌非常繁盛。古元古代属于前寒武纪元古宙，上
北京协和医院坐标：39°54′50″N 116°22′05″E / 39.913923°N 116.368138°E / 39.913923; 116.368138北京协和医院（英语：Peking Union Medical College Hospital）是一所位于中国北京市东
服务业第三级产业，又称服务业，是指位处一件产品的生产链中最上层的行业，这些行业在一件产品的生产链中担任物流、分销、中介等工作。第三级产业需要接触产品的终端顾客，是该产品自生产
鲁本斯彼得·保罗·鲁本斯（荷兰语：Sir Peter Paul Rubens，/ˈruːbənz/;，荷兰语发音：.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","
水土流失水土流失（也被称为侵蚀作用或土壤侵蚀）是自然界的一种现象，是指地球的表面不断受到风、水、冰融等外力的磨损，地表土壤及母质、岩石受到各种破坏和移动、堆积过程以及水本身的损
色诺芬色诺芬（Ξενοφών，前427年－前355年）雅典人。军事家，文史学家。他以记录当时的希腊历史、苏格拉底语录而著称。色诺芬的出生日期不详。考古学者认为，公元前431年他出生于雅典
民法大全《民法大全》（Corpus Juris（亦作Iuris） Civilis），又称《查士丁尼法典》或《国法大全》，是东罗马帝国皇帝查士丁尼一世下令编纂的一部汇编式法典，完成于公元529至565年。严格来说，《
维他命B17扁桃苷（Amygdalin，源自希腊语“扁桃”ἀμυγδάλη amygdálē ），又名苦杏仁苷，是许多植物中发现的一种有毒的氰苷，但最引人注目的是存在于杏、苦杏仁、苹果、桃及梅子等植物