外延性

✍ dations ◷ 2025-12-08 22:20:29 #外延性

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

相关

耳部疾病ICD-10 第八章：耳和乳突疾病，为世界卫生组织创建的ICD-10中涉及耳与乳突的疾病分类。外耳疾病（H60-H62）中耳和乳突疾病（H65-H75）内耳疾病（H80-H83）耳的其他疾患（H90-H95）
碳头孢烯碳头孢烯（英语：Carbacephems）是一类合成的头孢菌素类抗生素，和头孢烯结构上类似，不过5号位置由亚甲基取代了原来的硫原子。碳头孢烯类抗生素通过抑制细胞壁合成来抑制细菌。羧基
微孢子虫门微孢子虫（学名：Microsporidia）为罗兹菌门下的一纲。它是由孢子形成的单细胞寄生虫。目前多于一百万种微孢子虫中的1500种版命名。微孢子虫只能寄生于动物宿主。大部分的动物物
螺旋动物螺旋动物（学名：Spiralia），又称螺旋卵裂动物，是原口动物的一大分支，包括多种型态的动物门类，如软体动物、环节动物门、扁形动物门等。其动物在发育的早期过程中以经典的“螺旋式”卵
工业灾难工业灾难是指由工业企业的疏忽、玩忽职守等造成的灾难。其中比较著名的有：
α溶血性溶血性(Hemolysis，来自希腊文αιμόλυση)指的是红血球的被破坏现象，分为α、β、γ三种。溶血现象通常由微生物引起；在实验室里，以血基琼脂培养皿培养，能分辨出不同溶血性
北亚北亚是亚洲次区域，由西伯利亚和俄罗斯远东组成，位于乌拉尔山脉以东、以及阿尔泰山脉以北。该区域因全属俄罗斯领土，有时也被称为亚洲俄罗斯（相对于西部较小但人口密度较高的欧洲
喜帕恰斯喜帕恰斯（ίππαρχος，Hipparkhos，约前190年－前120年），或译希帕求斯、伊巴谷、依巴谷，古希腊的天文学家，有“方位天文学之父”之称。公元前134年，他绘制出包含1025颗恒星的星图，
日尔曼语族日耳曼语族是印欧语系的一支，是居住在北部欧洲日耳曼民族的语族。这一族语言有鲜明的特征，最著名的有关于辅音演变的格里姆定律。一些早期（约公元2世纪）的日耳曼语言发展出自己
中文输入技术中文输入技术是指将汉字输入计算机等电子设备的技术，它是中文信息处理技术的一个重要组成部分。