外延性

✍ dations ◷ 2025-12-05 18:32:00 #外延性

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

相关

菌毛线毛（拉丁语：fimbria，复数：fimbriae）是很多革兰氏阴性菌表面的附属物，比鞭毛细。通常直径3~10奈米，长度可达几微米。线毛可被细菌用于附着在物体表面上。一个细菌可以有上千条线毛
头孢卡品头孢卡品（其国际非专利药品名称为“Cefcapene”）是一种第三代头孢菌素。该抗生素常以盐酸头孢卡品酯的形式生产。羧基青霉素：羧苄西林（卡茚西林） · 替卡西林 · 替莫西林
几丁质甲壳素（英语：Chitin，IPA:/ˈkaɪtᵻn/ KY-tin），分子结构“(C8H13O5N)n”，又名“几丁质”、“几丁聚糖”、“几丁寡糖”、“甲壳质”或“壳多糖”，是一种含氮的多糖类物质，为虾、蟹、
打喷嚏喷嚏，又称喷嚏反射，是一种人和动物的生理反射行为。反射的感受器在鼻黏膜，由三叉神经传导到脑部。打喷嚏前，鼻子变得发酸、发痒。过程一般为急促吸气，张嘴，然后高速（可达每小时50公
Ac6d1 7s22, 8, 18, 32, 18, 9, 2第一：499 kJ·mol−1 第二：1170 kJ·mol主条目：锕的同位素锕是一种放射性金属元素，符号为Ac，原子序为89。锕在1899年被发现，是首个得到分离的非
波黑面积以下资讯是以2017估计家用电源国家领袖国内生产总值（购买力平价）以下资讯是以2018年估计国内生产总值（国际汇率）以下资讯是以2018年估计人类发展指数以下资讯是以2018年
苯二氮平类苯二氮䓬类药物（拉丁语：Benzodiazepines，BZDs、䓬/zhuó/），又译苯二氮平，是一种精神药物，其核心化学结构是一个苯环和一个䓬环。第一种此类药物是氯氮䓬（利眠宁），由Leo Sternbach在195
闭元音表内成对的元音分别为不圆唇／圆唇。闭元音（close vowel、high vowel(美国使用)）是元音的一种，特征是舌头的位置尽可能接近上颚，而不产生属于辅音的过狭收缩。这个限定是由国际语
修纳语修纳语（修纳语：ChiShona），或称绍纳语，是属于班图语支的一种语言。是赞比亚南部与津巴布韦修纳人的母语，也是津巴布韦的官方语言之一。修纳语所有的音节都以元音结尾，且一个字词中的
上标上标，也叫上角标，是出现在一列正常字体文字的上边的数字、字母或其他符号，在其他字母或符号的左边或右边。上标具有多种用途，常用于公式、数学式或化学复合物及同位素。也能用于