外延性

✍ dations ◷ 2025-07-21 09:45:29 #外延性

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

相关

越野滑雪越野滑雪（英语：Cross-country skiing）为讲求体能和技术的冬季运动，运动员要以滑雪的型式绕过布满雪的山地滑行，为冬季奥林匹克运动会比赛项目之一。由于路程长并需要大量体力，因此
北京协和医院坐标：39°54′50″N 116°22′05″E / 39.913923°N 116.368138°E / 39.913923; 116.368138北京协和医院（英语：Peking Union Medical College Hospital）是一所位于中国北京市东
EnsemblEnsembl是一项生物信息学研究计划，旨在开发一种能够对真核生物基因组进行自动诠释（automatic annotation）并加以维护的软件。该计划由英国维康基金桑格研究院（英语：Wellcome Trus
Nh5f14 6d10 7s2 7p1（预测）2, 8, 18, 32, 32, 18, 3（预测）主条目：鿭的同位素鿭（Nihonium，Nh）鿭是一种人工合成化学元素，化学符号为Nh，原子序数为113。它具有极高的放射性，该元素最稳定的
亚伯达省阿尔伯塔省（英语、法语：Alberta），简称艾省、亚省、阿省，是加拿大的一个省。阿尔伯塔是加拿大西部草原三省之一，西部与不列颠哥伦比亚相邻，东部与萨斯喀彻温相邻，北部与西北地区相邻，
恩纳恩纳（意大利语：Enna），是意大利恩纳省的一个市镇。总面积357.18平方公里，人口27963人，人口密度78.3人/平方公里（2009年）。ISTAT代码为086009。
希尔德里克一世希尔德里克一世（法语：Childéric Ier，440年－481年6月26日），自457或458年起任萨利昂法兰克人国王。他的名字来自法兰克语hild-“战斗”和-rik“强大”，Childericus是其拉丁文形
短肠症候群短肠症候群（简称SBS）是由于小肠较短，功能较弱所引起的吸收异常（英语：Malabsorption）。主要症状是腹泻，其可导致脱水，营养不良和体重减轻。其他症状可能包括腹胀，胃灼热，感觉疲倦，乳糖不
The Oxford English Dictionary《牛津英语词典》（英语：Oxford English Dictionary，OED）是由牛津大学出版社出版的20卷词典，截至2005年11月30日，该词典收录了301,100主词汇，字母数目达3亿5千万个。词典亦收录了157
波斯尼亚和黑塞哥维那波斯尼亚和黑塞哥维那国家和大学图书馆（NUBBiH，Nacionalna i univerzitetska biblioteka Bosne i Hercegovine）是波斯尼亚和黑塞哥维那的国家图书馆，位于萨拉热窝。图书馆修建于