外延性

✍ dations ◷ 2025-12-03 07:28:37 #外延性

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

相关

胸部X光的百科知识|胸部X光的意思解释|胸部X光是什么意思胸部X光摄影(Chest film），又称为X光摄影或胸部摄影，是一种使用在胸部区域的放射造影技术，可以检视胸腔与周边器官状况。胸部X光是目前在医疗上最常见的检验项目之一。就像其他放
嗜盐生物嗜极生物（英文：Extremophile），或者称作嗜极端菌，是可以（或者需要）在极端环境（英语：extreme environment）中生长繁殖的生物，通常为单细胞生物。与此相对的，在较为温和的环境中生活的生物，
生物修复生物修复（英语：Bioremediation）是一种使用生物体来移除或中和污染现场内污染物的技术。根据美国国家环境保护局的定义，生物修复是一种“使用自然产生的生物体来把有害物质分解成
特异性免疫后天性免疫（英语：adaptive immunity）也称为获得性免疫、适应性免疫、特异性免疫、专一性防御，是一种经由与特定病原体接触后，产生能识别并针对特定病原体启动的免疫反应。和后天
贺拉斯昆图斯·贺拉斯·弗拉库斯（拉丁语：Quintus Horatius Flaccus、希腊语：Οράτιος，前65年12月8日意大利韦诺萨 - 前8年11月27日意大利罗马），奥古斯都时期的著名诗人、批评家、
多克隆多克隆抗体，亦作“多株抗体”（Polyclonal Antibody）是一种含有多种类型抗体的抗体混合物。其名称中的“多”指抗体混合物由不同类型的浆细胞生产而来:430。要生产多克隆抗体，首
化学趋向性趋化性（英语：Chemotaxis，亦被称为化学趋向性）是趋向性的一种，指身体细胞、细菌及其他单细胞、多细胞生物依据环境中某些化学物质而趋向的运动（详细请看细胞迁移）。这对细菌寻找食物
大韩民国总统外交 · 南北统一 · 阳光政策 · 行政区划 · 人权（朝鲜语：대한민국의 인권）政治主题大韩民国总统（韩语：대한민국 대통령／大韓民國大統領 Daehanminguk Daetongnyeong ?），通
葡萄牙葡萄牙国家图书馆（Biblioteca Nacional de Portugal）是葡萄牙的法定送存国家图书馆，位于该国首都里斯本。1796年创立时称为“Real Biblioteca Pública da Corte”，位于希亚多区
原住民原住民，旧称土著，是指某地方较早定居的族群，皆源自外来者（尤其是入侵者）对本地人（或族群）的称谓，原意指当地居民、原居民，但多具有土番、番人、土人等落后的贬意，然而到了二十世纪后期