外延性

✍ dations ◷ 2025-06-27 10:59:23 #外延性

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

相关

脱铁杆菌门脱铁杆菌门(Deferribacteres)是一类通过专性或兼性厌氧代谢获得能量的细菌，可利用多种电子受体。医学导航：病菌细菌（分类）gr+f／gr+a（t）／gr-p（c／gr-o药物（J1p、w、n、m、疫苗）
带原者带原者指受到传染病的感染或带有隐性（recessive）遗传疾病的不正常基因，却不表现症状的人。即使不受到疾病或基因可感染到的影响，他们仍能够将传染性疾病的病原体散播给其他个体
匿名戒酒会匿名戒酒会，或称戒酒无名会（英语：Alcoholics Anonymous，简称AA）是一个国际性互助戒酒组织，在1935年6月10日，由美国人比尔·威尔逊(Bill Wilson)和医生鲍勃·史密斯在美国俄亥俄州阿
2015年东南亚霾害2015年东南亚霾害是一场影响东南亚多个国家的空气污染危机，受灾地区包括文莱、印度尼西亚（印尼；特别是苏门答腊和加里曼丹岛）、马来西亚、新加坡、泰国南部、越南南部和菲律宾，
埃塞俄比亚界埃塞俄比亚界是一个面积达到2.21 亿km²的动物地理分区，涵盖撒哈拉以南的非洲。马达加斯加和邻近海岛形成很特别的区域，内有许多地方性罗汗松，譬如狐猴。马达加斯加和塞舌尔群
分解代谢异化作用（英语：Catabolism），又称作分解代谢，是生物的新陈代谢途径，将分子分解成更小的单位，并被氧化释放能量的过程，或用于其他合成代谢反应释放能量的过程。异化作用将大分子（例如
智囊团智库（英语：Think Tank）或称智囊团，另外也有许多智库以“基金会”、“研究所”、“研讨会”、“论坛”、“学会”或“协会”等名称称呼，智库是对政治、商业或军事政策进行调查、分
各国犹太教本文论述了犹太教的实践以及犹太人在各国的生活情形。详细见各条目
国际全球化学品统一分类和标签制度（Globally Harmonized System of Classification and Labeling of Chemicals，缩写为GHS）也称为“化学品分类及标记全球协调制度”，是一套由联合国
萨格勒布大学萨格勒布大学(克罗地亚语：Sveučilište u Zagrebu，拉丁语：Universitas Studiorum Zagrabiensis)是克罗地亚最大的大学，同时也是维也纳以南的中欧地区及东南欧持续办学时间最长