外延性

✍ dations ◷ 2025-11-29 13:14:19 #外延性

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

相关

EICD-10 第四章：内分泌、营养和代谢疾病，为WHO规定的已发现的各类内分泌，营养和代谢疾病。甲状腺疾患（E00-E07）糖尿病（E10-E14）其他葡萄糖调节和胰腺内分泌的疾患（E15-E16）其他内分
免疫学人体解剖学 - 人体生理学组织学 - 胚胎学人体寄生虫学 - 免疫学病理学 - 病理生理学细胞学 - 营养学流行病学 - 药理学 - 毒理学免疫学（英语：Immunology）是生物医学的一
灰婴症候群灰婴症候群，或称灰婴症及灰婴综合征，是一种初生婴儿在接受静脉注射氯霉素后出现的罕见严重副作用。初生婴儿由于并未能完全自行建立体内的酶，尤其是肝脏负责代谢的酶，去处理或分
人体骨架人体骨架包含了融合以及骨骼，并辅以关节韧带、肌腱、肌肉和关节软骨。骨架可以是一种防护支架，保护器官如脑、肺和心脏。
联合国日联合国日，于1948年由联合国大会宣布设立，以纪念于联合国宪章生效三周年。联合国日定为每年10月24日。联合国日的设立是意图让人们记住联合国的目标和成就。联合国日是10月20日
温带季风温带季风气候是一种分布于亚欧大陆东部的气候类型。温带季风气候分布于亚欧大陆的温带东部，具体在秦岭淮河以北、大兴安岭——阴山——贺兰山以东以南、日本关东以北，包括华北
塔巴南县塔巴南县（印尼语：Kabupaten Tabanan）是印度尼西亚巴厘省的一个县，位于巴厘岛中部，县治在塔巴南。2010年普查，全县有人口420,913人。塔巴南县下分为10个区（kecamatan），各区人口如下：
西爪哇省西爪哇（印尼语：Jawa Barat）是印度尼西亚爪哇岛上的一个省，首府为万隆。西爪哇是印尼最老的一个省，1950年它正式成为印尼的省，2000年10月17日万丹被从西爪哇分离出去形成了一个新的
西罗马帝国西罗马帝国是罗马帝国于286年被戴克里先分为两部分后把政权一分为二建立四帝共治制从而开始有的东西两部的概念，位处西部的部分即是最后分裂的西罗马帝国；而东部最后则成为东
乡札陶文 ‧ 甲骨文 ‧ 金文 ‧ 古文 ‧ 石鼓文籀文 ‧ 鸟虫书 ‧ 篆书（大篆 ‧ 小篆）隶书 ‧ 楷书 ‧ 行书 ‧ 草书漆书 ‧ 书法 ‧ 飞白书笔画 ‧