外延性

✍ dations ◷ 2025-12-01 16:39:44 #外延性

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

相关

冬虫夏草Sphaeria sinensis Berkeley (1843) Cordyceps sinensis (Berk.) Sacc. (1878)冬虫夏草（学名：Ophiocordyceps sinensis，藏语：.mw-parser-output .uchen{font-family:"Qomolangma
氧化物氧化物，是负价氧和另外一个化学元素组成的二元化合物，例如氧化铁（Fe2O3）或氧化铝（Al2O3），通常经由氧化反应产生。氧化物在地球的地壳极度普遍，而在宇宙的固体中也是如此。氧离子（O2−
阴道癌阴道肿瘤，也称阴道癌（英语：Vaginal cancer），是指一类病发于阴道的癌症肿瘤。原发性阴道肿瘤很罕见，其主要为鳞状细胞癌。恶性肿瘤相对更为常见。阴道癌的病发年龄通常为50岁以上的
嘴巴口腔，简称口，俗称嘴巴、嘴或咀，是指唇、腭、面颊和口腔底之间的空间，向上它与鼻腔相通。向后口腔与两个颌弓后的咽腔相连。口腔的后面的开口是咽峡，前面的开口是嘴。整个口腔的内
用户界面用户界面（User Interface，简称UI，亦称使用者界面）是系统和用户之间进行交互和信息交换的介质，它实现信息的内部形式与人类可以接受形式之间的转换。用户界面是介于用户与硬件而设
计划行为理论计划行为理论 (Theory of Planned Behavior，TPB) 是一个由Icek Ajzen所提出的行为决策模型，主要用以预测和了解人类的行为。计划行为理论的模型中主要由行为信念、行为态度、
图瓦卢面积以下资讯是以2018年估计国家领袖国内生产总值（购买力平价）以下资讯是以2016年估计国内生产总值（国际汇率）以下资讯是以2016年估计立国历史图瓦卢（英语：Tuvalu）是一个由九个环
基克拉泽斯文明基克拉泽斯文明（或称为基克拉泽斯文化、基克拉泽斯时期）是爱琴海基克拉泽斯群岛上的一种早期青铜时代（Early Bronze Age）文化，他大致从公元前3300年延续到前2000年，考古发现上最早
萨格勒布萨格勒布（克罗地亚语：Zagreb；德语旧称：Agram，阿格拉姆；匈牙利语：Zágráb）是克罗地亚的首都和萨格勒布县的首府同时也是全国最大城市、一个直辖市。萨格勒布克罗地亚国内足球强队萨
乌克兰乌克兰维尔纳茨基国家图书馆（乌克兰语：Національна бібліотека України імені В. І. Вернадського）是乌克兰规模最大的图书馆